GNU social JP
  • FAQ
  • Login
GNU social JPは日本のGNU socialサーバーです。
Usage/ToS/admin/test/Pleroma FE
  • Public

    • Public
    • Network
    • Groups
    • Featured
    • Popular
    • People

Notices by TheZoq2 (thezoq2@mastodon.social)

  1. Embed this notice
    TheZoq2 (thezoq2@mastodon.social)'s status on Saturday, 06-Dec-2025 17:55:35 JST TheZoq2 TheZoq2
    in reply to
    • Daniil Baturin
    • ✧✦Catherine✦✧
    • dram🎀

    @whitequark @dmbaturin @dramforever Oh, being able to set CORS headers would have made a lot of tings easier for me in the past

    In conversation about 3 days ago from mastodon.social permalink
  2. Embed this notice
    TheZoq2 (thezoq2@mastodon.social)'s status on Tuesday, 02-Dec-2025 07:10:12 JST TheZoq2 TheZoq2
    in reply to
    • Graham Sutherland / Polynomial
    • ✧✦Catherine✦✧

    @whitequark @gsuberland That's easy Surfer can live reload the underlying file (as long as the names don't get moved around)

    I don't _think_ we have a way to load waves from a string via wasm but that's easy enough to add, I can look at that in the next few days

    In conversation about 8 days ago from mastodon.social permalink
  3. Embed this notice
    TheZoq2 (thezoq2@mastodon.social)'s status on Tuesday, 02-Dec-2025 07:07:16 JST TheZoq2 TheZoq2
    in reply to
    • Graham Sutherland / Polynomial
    • ✧✦Catherine✦✧

    @whitequark @gsuberland How embeddable are we talking here? You can absolutely throw a Surfer instance into a tab on the playground and have it show waves (assuming you have a VCD string you can hand over)

    Some automation (like adding signals on the top level) automatically should also be pretty easy

    In conversation about 8 days ago from mastodon.social permalink
  4. Embed this notice
    TheZoq2 (thezoq2@mastodon.social)'s status on Friday, 28-Nov-2025 21:54:35 JST TheZoq2 TheZoq2
    in reply to
    • ✧✦Catherine✦✧

    @whitequark Damn, that is extremely cool

    In conversation about 11 days ago from mastodon.social permalink
  5. Embed this notice
    TheZoq2 (thezoq2@mastodon.social)'s status on Thursday, 27-Nov-2025 22:12:47 JST TheZoq2 TheZoq2
    in reply to
    • ✧✦Catherine✦✧

    @whitequark I... uhhh... damn, that sucks :/

    In conversation about 12 days ago from mastodon.social permalink
  6. Embed this notice
    TheZoq2 (thezoq2@mastodon.social)'s status on Thursday, 27-Nov-2025 22:09:08 JST TheZoq2 TheZoq2
    in reply to
    • ✧✦Catherine✦✧

    @whitequark Oh never mind then :D

    ~~Maybe you need an exhaustive list of projects you didn't build on your website too~~

    In conversation about 12 days ago from mastodon.social permalink
  7. Embed this notice
    TheZoq2 (thezoq2@mastodon.social)'s status on Thursday, 27-Nov-2025 20:43:59 JST TheZoq2 TheZoq2
    in reply to
    • ✧✦Catherine✦✧

    @whitequark You should! Especially with such a wide variety of projects.

    It took me a long time to realize you were the original author of solvespace for example

    In conversation about 12 days ago from mastodon.social permalink

    Attachments

    1. No result found on File_thumbnail lookup.
      PROJECTS.IT
  8. Embed this notice
    TheZoq2 (thezoq2@mastodon.social)'s status on Tuesday, 25-Nov-2025 19:03:36 JST TheZoq2 TheZoq2
    in reply to
    • ✧✦Catherine✦✧

    @whitequark @wren6991 Needs more tcl

    In conversation about 14 days ago from mastodon.social permalink
  9. Embed this notice
    TheZoq2 (thezoq2@mastodon.social)'s status on Monday, 17-Nov-2025 07:39:54 JST TheZoq2 TheZoq2

    @wren6991 I love it when I learn about basic things missing from gtkwave like this :D

    Glad you like Surfer :)

    In conversation about 23 days ago from mastodon.social permalink
  10. Embed this notice
    TheZoq2 (thezoq2@mastodon.social)'s status on Sunday, 16-Nov-2025 17:28:30 JST TheZoq2 TheZoq2
    in reply to
    • ✧✦Catherine✦✧
    • Tom Verbeure

    @whitequark @tom_verbeure @wren6991 time for a repost

    In conversation about 23 days ago from mastodon.social permalink

    Attachments


    1. https://files.mastodon.social/media_attachments/files/115/558/429/716/102/468/original/3f647c731da22570.png
  11. Embed this notice
    TheZoq2 (thezoq2@mastodon.social)'s status on Thursday, 13-Nov-2025 17:36:39 JST TheZoq2 TheZoq2
    in reply to
    • Lukas

    @karotte I'd be curious how many i2c targets actually ignore clocks that are too fast

    In conversation about a month ago from mastodon.social permalink
  12. Embed this notice
    TheZoq2 (thezoq2@mastodon.social)'s status on Monday, 10-Nov-2025 19:59:57 JST TheZoq2 TheZoq2
    • ✧✦Catherine✦✧
    • Lucas :lisp:

    @wren6991 @whitequark You may be interested in https://sonic-rv.ics.jku.at/. I don't know the full technical details but it does allow fully in-browser simulation of a few risc-v cores.

    Given that it uses GHDL I assume that this has a backend and doesn't simulate in-browser but I could be wrong. Maybe @lcsklmmr knows more

    In conversation about a month ago from mastodon.social permalink

    Attachments

    1. Domain not in remote thumbnail source whitelist: sonic-rv.ics.jku.at
      SonicRV
  13. Embed this notice
    TheZoq2 (thezoq2@mastodon.social)'s status on Monday, 10-Nov-2025 19:32:57 JST TheZoq2 TheZoq2
    in reply to
    • ✧✦Catherine✦✧

    @whitequark @wren6991 Oh true, I forgot that the cxxrtl is probably way easier to just build and embed in wasm, I should give this a try

    In conversation about a month ago from mastodon.social permalink
  14. Embed this notice
    TheZoq2 (thezoq2@mastodon.social)'s status on Monday, 10-Nov-2025 18:43:24 JST TheZoq2 TheZoq2

    @wren6991 The only piece missing from that puzzle at this point is a good verilator wasm port. (There is one but it is several years old and has a few annoying limitations, like not allowing >64 bit signals iirc)

    In conversation about a month ago from mastodon.social permalink
  15. Embed this notice
    TheZoq2 (thezoq2@mastodon.social)'s status on Friday, 07-Nov-2025 00:19:55 JST TheZoq2 TheZoq2

    After *checks notes* 8 months, I finally got around to doing another Surfer release 🎉

    The change log is long with lots of big and small changes, my favorites being the new wasm based translators, and improvements to the waveform control protocol.

    I also took the opportunity to set up automatic builds of the VSCode extension from `main` so it will be in sync with the rest of our binaries :)

    Full change log at https://gitlab.com/surfer-project/surfer/-/blob/main/CHANGELOG.md?ref_type=heads#040---2025-11-06

    #fpga #asic #verilog #vhdl

    In conversation about a month ago from mastodon.social permalink

    Attachments


    1. https://files.mastodon.social/media_attachments/files/115/503/383/224/112/925/original/637524654711a751.png
    2. Domain not in remote thumbnail source whitelist: gitlab.com
      CHANGELOG.md · main · surfer-project / surfer · GitLab
      GitLab.com
  16. Embed this notice
    TheZoq2 (thezoq2@mastodon.social)'s status on Sunday, 26-Oct-2025 04:02:55 JST TheZoq2 TheZoq2
    in reply to
    • ✧✦Catherine✦✧

    @whitequark @multisn8 I too want to know what this abomination is

    In conversation about a month ago from gnusocial.jp permalink
  17. Embed this notice
    TheZoq2 (thezoq2@mastodon.social)'s status on Saturday, 25-Oct-2025 21:54:14 JST TheZoq2 TheZoq2
    in reply to
    • ✧✦Catherine✦✧

    @whitequark Oh yeah, quickscope is like 100 lines of HDL and 200 lines of client code. Probably much better to re-implement something similar in Amaranth :D

    A Surfer plugin for Amaranth would be super cool. My goal from the start was to have more HDLs do rich translation with it but I only added the wasm system for that recently

    In conversation about a month ago from mastodon.social permalink
  18. Embed this notice
    TheZoq2 (thezoq2@mastodon.social)'s status on Saturday, 25-Oct-2025 21:51:00 JST TheZoq2 TheZoq2
    in reply to
    • ✧✦Catherine✦✧

    @whitequark If you want to copy that system, you'll have to implement a Surfer plugin for Amaranth types (can be used for both Sim and this) https://docs.surfer-project.org/translator_docs/index.html

    You could also do the unwrapping when generating the vcd file too, I just did it this way because I already have the Surfer translation infrastructure in place

    In conversation about a month ago from mastodon.social permalink

    Attachments


  19. Embed this notice
    TheZoq2 (thezoq2@mastodon.social)'s status on Saturday, 25-Oct-2025 21:47:44 JST TheZoq2 TheZoq2
    in reply to
    • ✧✦Catherine✦✧

    @whitequark Shouldn't be that hard, it is essentially 3 parts

    Quickscope itself that runs on the hardware, it just serializes an arbitrary value https://gitlab.com/TheZoq2/quickscope

    The client (./client) does reads the serialized data from the serial port (main.rs), and for the Spade integration, works out which which top module was used for the quickscope instantiation (spade.rs). It then writes the .vcd file -> top module mapping which the Spade plugin for Surfer looks for https://gitlab.com/spade-lang/spade/-/tree/main/spade-surfer-plugin?ref_type=heads

    In conversation about a month ago from mastodon.social permalink

    Attachments


    1. No result found on File_thumbnail lookup.
      Julian Beltz
      Personal site of Julian Beltz. Security researcher, low-level systems engineer, and reverse engineer.

    2. Domain not in remote thumbnail source whitelist: gitlab.com
      spade-surfer-plugin · main · spade-lang / spade · GitLab
      A better hardware description language.
  20. Embed this notice
    TheZoq2 (thezoq2@mastodon.social)'s status on Saturday, 25-Oct-2025 20:48:42 JST TheZoq2 TheZoq2
    in reply to

    Here it is in use, with newly added Surfer integration so it shows actual Spade values instead of just bit vectors :)

    In conversation about a month ago from mastodon.social permalink

    Attachments


    1. https://files.mastodon.social/media_attachments/files/115/434/629/326/924/797/original/e718dece6404eaf1.png
  • Before

User actions

    TheZoq2

    TheZoq2

    Developing http://spade-lang.org, https://surfer-project.org/ and other fun stuff in Rust. PhD from Linköping university, now working as a post doc at Hochschule München

    Tags
    • (None)

    Following 0

      Followers 0

        Groups 0

          Statistics

          User ID
          179780
          Member since
          27 Sep 2023
          Notices
          38
          Daily average
          0

          Feeds

          • Atom
          • Help
          • About
          • FAQ
          • TOS
          • Privacy
          • Source
          • Version
          • Contact

          GNU social JP is a social network, courtesy of GNU social JP管理人. It runs on GNU social, version 2.0.2-dev, available under the GNU Affero General Public License.

          Creative Commons Attribution 3.0 All GNU social JP content and data are available under the Creative Commons Attribution 3.0 license.