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), page 2

  1. 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 7 months ago from mastodon.social permalink
  2. 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 7 months 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
  3. 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 8 months ago from gnusocial.jp permalink
  4. 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 8 months ago from mastodon.social permalink
  5. 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 8 months ago from mastodon.social permalink

    Attachments


  6. 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 8 months 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.
  7. 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 8 months ago from mastodon.social permalink

    Attachments


    1. https://files.mastodon.social/media_attachments/files/115/434/629/326/924/797/original/e718dece6404eaf1.png
  8. Embed this notice
    TheZoq2 (thezoq2@mastodon.social)'s status on Saturday, 25-Oct-2025 20:48:42 JST TheZoq2 TheZoq2

    Integrated logic analyzer in Spade that perfectly fits in a mastodon alt-text and took about 3 hours to write :)

    You just hook the output up to anything that can consume an `Rv<uint<8>>`. For example a UART driver or UDP streamer

    (I think it works at least, my one test case does do the right thing but I haven't tried it in hardware on account of it being 10pm)

    In conversation about 8 months ago from mastodon.social permalink

    Attachments


    1. https://files.mastodon.social/media_attachments/files/115/413/945/037/906/569/original/c129b1ddd8254575.png
  9. Embed this notice
    TheZoq2 (thezoq2@mastodon.social)'s status on Saturday, 11-Oct-2025 15:57:40 JST TheZoq2 TheZoq2
    in reply to
    • abadidea
    • ✧✦Catherine✦✧
    • mei

    @whitequark @mei @0xabad1dea journal of advanced research sure sounds like a paper mill publication, and I guess the title of the paper as well

    In conversation about 8 months ago from gnusocial.jp permalink
  10. Embed this notice
    TheZoq2 (thezoq2@mastodon.social)'s status on Thursday, 18-Sep-2025 22:36:30 JST TheZoq2 TheZoq2
    in reply to
    • ✧✦Catherine✦✧

    @whitequark It certainly doesn't make either "language" look good :D

    In conversation about 9 months ago from mastodon.social permalink
  11. Embed this notice
    TheZoq2 (thezoq2@mastodon.social)'s status on Thursday, 18-Sep-2025 22:36:04 JST TheZoq2 TheZoq2

    I have been writing react the bast few days, and I can't shake the feeling that react has the same fundamental programming model as VHDL and Verilog

    You have a bunch of state, and any you update that state with ~~processes~~ effects, which are triggered by changes to other state

    In conversation about 9 months ago from mastodon.social permalink
  12. Embed this notice
    TheZoq2 (thezoq2@mastodon.social)'s status on Tuesday, 09-Sep-2025 03:00:48 JST TheZoq2 TheZoq2
    • ✧✦Catherine✦✧

    @multisn8 @whitequark I think DDG has a toggle to never show AI summaries

    In conversation about 9 months ago from mastodon.social permalink
  13. Embed this notice
    TheZoq2 (thezoq2@mastodon.social)'s status on Saturday, 30-Aug-2025 06:16:51 JST TheZoq2 TheZoq2

    And just like that I have now successfully defended my PhD :)

    In conversation about 10 months ago from mastodon.social permalink
  14. Embed this notice
    TheZoq2 (thezoq2@mastodon.social)'s status on Wednesday, 18-Jun-2025 22:42:49 JST TheZoq2 TheZoq2
    in reply to
    • ✧✦Catherine✦✧

    @whitequark oh yeah, I'm looking forward to that

    In conversation about a year ago from gnusocial.jp permalink
  15. Embed this notice
    TheZoq2 (thezoq2@mastodon.social)'s status on Wednesday, 18-Jun-2025 20:54:04 JST TheZoq2 TheZoq2

    Challenge: Write Spade for an hour without nerd sniping myself into writing more tooling [Impossible]

    This time, I didn't like the readability of nextpnr timing reports

    In conversation about a year ago from mastodon.social permalink
  16. Embed this notice
    TheZoq2 (thezoq2@mastodon.social)'s status on Saturday, 14-Jun-2025 07:56:38 JST TheZoq2 TheZoq2

    This is actually a pretty exciting commit. I've finally added a WASM based plugin system to Surfer, so the Spade integration can now live in its own repo and be loaded at runtime

    No more having to have a surfer version that matches the Spade version you're using!

    In conversation about a year ago from mastodon.social permalink
  17. Embed this notice
    TheZoq2 (thezoq2@mastodon.social)'s status on Wednesday, 11-Jun-2025 00:09:22 JST TheZoq2 TheZoq2

    There it is!

    In conversation about a year ago from mastodon.social permalink

    Attachments


    1. https://files.mastodon.social/media_attachments/files/114/659/641/798/072/246/original/3017d9392b1f066a.jpg
  18. Embed this notice
    TheZoq2 (thezoq2@mastodon.social)'s status on Wednesday, 04-Jun-2025 16:39:41 JST TheZoq2 TheZoq2

    My thesis is now published online :blobcat:

    http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-214272

    In conversation about a year ago from mastodon.social permalink

    Attachments


    1. https://files.mastodon.social/media_attachments/files/114/619/261/014/195/655/original/58e797f65c3559bc.png
    2. Domain not in remote thumbnail source whitelist: liu.diva-portal.org
      Improved Tooling for Digital Hardware Development: Spade, Surfer, and more
      from Skarman, Frans
      Hardware complexity is ever-growing but the front-end tools used to design hardware are not keeping up, especially when compared with software tooling. While software and hardware have fundamental ...
  19. Embed this notice
    TheZoq2 (thezoq2@mastodon.social)'s status on Tuesday, 06-May-2025 15:48:09 JST TheZoq2 TheZoq2
    in reply to
    • ✧✦Catherine✦✧

    @whitequark Ah yes, verilog concatenation syntax, truly the most universal way to express this

    Also, beautiful formatting, no notes

    In conversation about a year ago from mastodon.social permalink
  20. Embed this notice
    TheZoq2 (thezoq2@mastodon.social)'s status on Thursday, 02-Jan-2025 23:14:16 JST TheZoq2 TheZoq2

    On March 30, we're hosting LATTE ☕ - A Workshop on Languages, Tools, and Techniques for Accelerator Design at ASPLOS

    If you're working with languages and/or accelerators, you should absolutely submit a paper! The focus of the workshop is discussion, so papers on work in progress ideas and projects, or papers that identify gaps that need to be solved are highly encouraged!

    Papers are 2 pages and the deadline for submission is on January 31

    More info at https://capra.cs.cornell.edu/latte25/

    In conversation Thursday, 02-Jan-2025 23:14:16 JST from mastodon.social permalink

    Attachments

    1. No result found on File_thumbnail lookup.
      LATTE ’25
      from Rachit Nigam
  • After
  • 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
          45
          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.