Sign in

TheZoq2

@thezoq2.bsky.social
254 followers 74 following 136 posts

Developing spade-lang.org and the Surfer waveform viewer. Post doc at Hochschule München Usually at mastodon.social/@thezoq2

PostsRepliesMedia
TheZoq2 @thezoq2.bsky.social · 28/09/2026
We have a Spade discord discord.gg/YtXbeamxEX which is bridged to matrix.to#/#spade:matr... For DMs, either of those or signal would be my preferred platform :)
discord.gg
Join the Spade Discord Server!
Check out the Spade community on Discord – hang out with 423 other members and enjoy free voice and text chat.
010
TheZoq2 @thezoq2.bsky.social · 28/09/2026
✅ECP5 ✅Lots of camera inputs ✅Ethernet ✅Drone stuff ✅Running Spade Yep, very much up my alley :) I'm surprised to not see any memory in the schematic. Can the feature extraction stuff be done using only internal RAM?
110
TheZoq2 @thezoq2.bsky.social · 27/09/2026
Oh my, that looks like a project right up my alley! What FPGA are you using?
110
TheZoq2 @thezoq2.bsky.social · 20/09/2026
One of the coolest things to happen in Spade yet 👀 @breakingtaps.com wrote and taped out a Transport Triggered Architecture processor from scratch in a month with 0 prior experience! www.youtube.com/watch?v=q6yt...
youtube.com
I designed a microprocessor
YouTube video by Breaking Taps
0215
TheZoq2 @thezoq2.bsky.social · 19/09/2026
Yeah, it certainly comes with some community downsides :D And gitlab -> codeberg is a lot easier to motivate than github -> codeberg I did a poll on mastodon and apparently more people there have codeberg accounts than gitlab.com accounts, which surprised me a bit
101
TheZoq2 @thezoq2.bsky.social · 19/09/2026
The RAM situation is something we do need to work on :)(assuming this wasn't just a yosys issue)
100
TheZoq2 @thezoq2.bsky.social · 19/09/2026
You may be interested in codeberg.org/theZoq2/quic... Though I'd love to see something RTT+defmt like too
codeberg.org
quickscope
quickscope
110
TheZoq2 @thezoq2.bsky.social · 19/09/2026
Hej! Spade maintainer here :) Cool to see the language being used in the wild and fun to hear it is working for you! I think this is the third ethernet implementation I'm vaguely aware of, at some point I want to connect them all together on the same network :D
120
Reposted by TheZoq2
Emil Fresk / korken89 @emilfresk.com · 19/09/2026
A fun experiment, tried spade-lang.org and made an Ethernet stack running GbE with UDP and ARP support. Nice (Rust) feeling for an HDL, might migrate to it from Amaranth :D Tested on a Colorlight 5A 75B, ECP5 25F. The stack is about 5k LUTs/4k FF, the rest debugging, UART and MDIO scanning.
Colorlight board with Ethernet cable and CH347F JTAG[INFO] Place and route maximum frequencies:
$glbnet$clk125: 131.4 MHz (target: 125 MHz)
$glbnet$clk25$TRELLIS_IO_IN: 57.4 MHz (target: 25 MHz)
$glbnet$clk_sys: 90.4 MHz (target: 62.5 MHz)
$glbnet$eth0_rx_clk$TRELLIS_IO_IN: 146.5 MHz (target: 125 MHz)
$glbnet$eth1_rx_clk$TRELLIS_IO_IN: 141.4 MHz (target: 125 MHz)
[INFO] Place and route components:
ALU54B: 0/14                (0.0%)
CLKDIVF: 0/4                (0.0%)
DCCA: 5/56                  (8.9%)
DCSC: 0/2                   (0.0%)
DCUA: 0/1                   (0.0%)
DDRDLL: 0/4                 (0.0%)
DLLDELD: 0/8                (0.0%)
DP16KD: 5/56                (8.9%)
DQSBUFM: 0/8                (0.0%)
DTR: 0/1                    (0.0%)
ECLKBRIDGECS: 0/2           (0.0%)
ECLKSYNCB: 0/10             (0.0%)
EHXPLLL: 1/2               (50.0%)
EXTREFB: 0/1                (0.0%)
GSR: 0/1                    (0.0%)
IOLOGIC: 22/128            (17.2%)
JTAGG: 0/1                  (0.0%)
MULT18X18D: 0/28            (0.0%)
OSCG: 0/1                   (0.0%)
PCSCLKDIV: 0/2              (0.0%)
SEDGA: 0/1                  (0.0%)
SIOLOGIC: 0/69              (0.0%)
TRELLIS_COMB: 14481/24288  (59.6%)
TRELLIS_ECLKBUF: 0/8        (0.0%)
TRELLIS_FF: 10054/24288    (41.4%)
TRELLIS_IO: 34/197         (17.3%)
TRELLIS_RAMW: 0/3036        (0.0%)
USRMCLK: 1/1              (100.0%)
2154
TheZoq2 @thezoq2.bsky.social · 18/09/2026
We have finally moved Spade to Codeberg 🎉 If you have existing Spade projects, you have to take a few small steps to update blog.spade-lang.org/moving-to-co...
121
TheZoq2 @thezoq2.bsky.social · 20/08/2026
My summer vacation is over, so it is time to release Spade v0.20.0 🎉 As a tooling guy, it feels great to finally have autocomplete working in the LSP We also finally added support for static methods, and the docs (docs.spade-lang.org) have seen a ton of improvements blog.spade-lang.org/v0-20-0/
042
Reposted by TheZoq2
Chris Person @papapishu.bsky.social · 24/07/2026
Really suggest reading the whole thing, they do a great job at discussing the externalities with nuance blog.codeberg.org/protecting-o...
blog.codeberg.org
Protecting our FLOSS commons from LLMs — Codeberg News
In Brief: Two motions regarding
4356134
TheZoq2 @thezoq2.bsky.social · 08/07/2026
Ohh, Spade shoutout ❤️ I'll also throw in Elm. While TypeScript is pretty OK, Elm gives me the same vibes as Typst of being an extremely well thought out "DSL" for one application
030
TheZoq2 @thezoq2.bsky.social · 06/07/2026
Oh that's super exciting. Few languages bring me as joy to write as Elm, so I'm really excited to hear that it is being worked on again
020
Reposted by TheZoq2
Evan Czaplicki @acadia.engineering · 06/07/2026
New Elm release today! 🎉 0.19.2 🥳 Incremental builds of 850k lines of Elm in <350ms. Gearing up for a batch of smaller releases as we head towards Elm 1.0. elm-lang.org/news/faster-...
917157
TheZoq2 @thezoq2.bsky.social · 28/05/2026
Today we release Spade v0.19.0, a release which contains a lot of small improvements to the language along with the launch of reef.spade-lang.org, a package index for Spade libraries. You can learn more at blog.spade-lang.org/v0-19-0/
A screenshot of a webpage with a header that says "Reef - The Spade Package Index.

Underneath there is a description of how to add libraries to a project, followed by rounded boxes with libraries including their name, description, and links to documentation
001
TheZoq2 @thezoq2.bsky.social · 27/05/2026
I need this post on mastodon too so I can boost there :D
020
Reposted by TheZoq2
YosysHQ @yosyshq.com · 27/05/2026
$1200 too much for a Vivado license? How about: $0 - Yosys $0 - nextpnr $0 - OpenROAD $30 -Subnautica 2 $30 - Blahaj $180 - Glasgow interface explorer from @crowdsupply.bsky.social $950 -160kum^2 of Sky130 silicon + ASIC from @tinytapeout.com #opensource #FPGA #ASIC
1207
Reposted by TheZoq2
Wenting @wenting.bsky.social · 27/05/2026
Sorry for not posting for so long... I have been extremely busy working on my new project: The Enchanter (also called Modos Flow): a 300-ppi Eink portable monitor with 60Hz refresh rate and touch screen. It's fully open-source: gitlab.com/zephray/ench....
19563136
Reposted by TheZoq2
Adrian Sampson @adrian.discuss.systems.ap.brid.gy · 26/05/2026
This blog post is an extended metaphor that serves as an excuse to complain about Verilog. www.cs.cornell.edu/~asampson/blog/b…
cs.cornell.edu
Back to the Building Blocks’ Building Blocks
Verilog is the foundation of all hardware design, and it is fatally flawed. We should all be worried about a glut of hardware bugs caused by Verilog’s unpredictable semantics and simplistic type system.
138
TheZoq2 @thezoq2.bsky.social · 21/05/2026
Oh oops, bad copy paste from mastodon. Here you go codeberg.org/TheZoq2/next...
codeberg.org
nextpnr-xilinx-quickstart
nextpnr-xilinx-quickstart
010
TheZoq2 @thezoq2.bsky.social · 21/05/2026
With AMD dropping #vivado linux support on the free tier, I've tried to point a few people at nextpnr-xilinx. Butit is not obvious exactly what repo to use and how to use it, so I wrote a small quick start guide that worked for me and which I can point people to codeberg.org/TheZoq2/next...
codeberg.org
130
TheZoq2 @thezoq2.bsky.social · 27/04/2026
We just released Surfer 0.7.0 🎉 One of the cool new features we added is framebuffer rendering, which you can see here rendering our (now official) logo! In addition to that, we have a bunch of new improvements that you can read more about here gitlab.com/surfer-proje...
032
TheZoq2 @thezoq2.bsky.social · 24/04/2026
The plugin seems really impressive, it goes quite far beyond what my own Spade integration does in that it allows user defined customization. Maybe I'll have to steal that 😉
020
TheZoq2 @thezoq2.bsky.social · 24/04/2026
This is great to see. I always wanted the translation features in Surfer to be used by more HDLs. For a while that was blocked a lack of support for plugins, but that was fixed a while back.
141
TheZoq2 @thezoq2.bsky.social · 17/04/2026
Nice, I'm glad it resonates with people :)
010
TheZoq2 @thezoq2.bsky.social · 17/04/2026
Me having just published a blog post with text-align: justify 😰 Maybe I'm too academic-pilled but I really like the the aesthetic
110
TheZoq2 @thezoq2.bsky.social · 17/04/2026
fransskarman.com/im_not_using... All of my colleagues are using AI while I'm not. It feels like I'm missing out so I decided to sit down and write down my thoughts on why I'm so resistant to it. In the end, I'm very happy with what I wrote so I put it on my blog
fransskarman.com
041
TheZoq2 @thezoq2.bsky.social · 16/04/2026
Spade 0.18.0 is now released 🎉 It comes with significant improvements to the stdlib, and with spadedoc which can generate HTML documentation for Spade projects. Run `swim doc` or visit docs.spade-lang.org/std/ to see the new documentation in action! Full release blog blog.spade-lang.org/v0-18-0/
052
Reposted by TheZoq2
SIGBOVIK @harryqbovik.bsky.social · 09/04/2026
SIGBOVIK IS TOMORROW!!!!!! GET EXCITED!!!!!! Sincerely, Your Ever-Dedicated And Sleep Deprived Organizers
0102
TheZoq2 @thezoq2.bsky.social · 27/03/2026
Swim (the spade build tool) now supports GateMate FPGAs. Super cool to have a European made #fpga with official open source tools on my desk :)
092
Reposted by TheZoq2
Andrew Lilley Brinker @alilleybrinker.com · 20/03/2026
Wow, what an autopsy from @kennethreitz.bsky.social about his experiences with mental health and life as a very public open source software maintainer.
kennethreitz.org
Open Source Gave Me Everything Until I Had Nothing Left to Give
I thought I was having a spiritual awakening. I was having a psychiatric emergency. I was at a tech conference in Sweden when it started. I hadn't slept in...
7437
Reposted by TheZoq2
Typst @typst.app · 11/03/2026
Still have to publish with LaTeX? Just use Typst with ttt! Listen in on how @thezoq2.bsky.social plugged into the Typst compiler to create only slightly dubious LaTeX code (it got accepted by the journals!). www.youtube.com/watch?v=8nH8...
youtube.com
Write in Typst, submit in LaTeX with ttt | Typst Meetup
YouTube video by Typst
1314
Reposted by TheZoq2
xd009642 @xd009642.bsky.social · 11/03/2026
Right now Github's only hope of 3 9s of uptime is if they hit 89.99%
2281
TheZoq2 @thezoq2.bsky.social · 05/03/2026
Massive thanks to @omixann.me for contributing 19/22 MRs with a changelog entry in this release 👀
010
TheZoq2 @thezoq2.bsky.social · 05/03/2026
It is Spade release day once again, and 0.17.0 is packed with new features 🎉 It was pretty hard to pick which features to show in this "teaser image", so you should head to the blog to see what other exciting stuff got added 😉 blog.spade-lang.org/v0-17-0/
A release image for Spade 0.17. Apart from a celebrating spadefish, it contains a code example that showcases operator overloading, wrapping operators, and type aliases.
152
Reposted by TheZoq2
SIGBOVIK @harryqbovik.bsky.social · 27/02/2026
SIGBOVIK has a Bluesky now! Follow to learn more cutting-edge research from the world’s most comedic and occasionally scientific academic conference
06525
Reposted by TheZoq2
TinyTapeout @tinytapeout.com · 02/03/2026
What if you could design your own microchip - and actually have it manufactured? Free if you live in switzerland! 🇨🇭 Get started with this 1 hour online workshop. Go to tinytapeout.com/swisschips2026 to sign up!
164
TheZoq2 @thezoq2.bsky.social · 13/02/2026
Yes! Very happy to see so many HDLs represented. That experimental language seems cool, I could essentially copy their motivation from the ReadMe verbatim for Spade :D
010
TheZoq2 @thezoq2.bsky.social · 13/02/2026
Hey look, I got featured as a winner in the JaneStreet Advent of FPGA challenge :) blog.janestreet.com/advent-of-fp...
blog.janestreet.com
Results from the Advent of FPGA Challenge
At the end of last year, we decided to try something new: achallenge that would runalongside Advent of Code, where we asked the community toshow us how they ...
091
TheZoq2 @thezoq2.bsky.social · 08/02/2026
Yeah, that is indeed a concern. Unfortunately, it is also the easiest way to motivate the language right now, since it gives a clear an concrete example to point to as "Look, languages can improve things" Without it, and without something like user studies, motivating the work would be much harder.
020
TheZoq2 @thezoq2.bsky.social · 03/02/2026
Our paper on Spade - A modern HDL is finally available! Not only is it a relatively complete description of the language, but I'm also very pleased with how we managed to articulate the need for a new HDL at the "RTL with abstractions on top" level dl.acm.org/doi/10.1145/...
191
Reposted by TheZoq2
Rachit Nigam @notypes.bsky.social · 27/01/2026
Hardware design should be SAFER! Memory-safe software languages changed the world and allowed to us to build massively larger systems. At their heart, memory-safe languages eliminate a category of bugs that pointer-manipulating programs suffer from.
1132
TheZoq2 @thezoq2.bsky.social · 23/01/2026
Apparently this is how I spell monomorphization in parts of the Spade compiler and I haven't noticed before 🤔 I get the feeling I maybe slightly dyslexic
030
Reposted by TheZoq2
depths of wikipedia @depthsofwikipedia.bsky.social · 20/01/2026
2354221343
TheZoq2 @thezoq2.bsky.social · 22/01/2026
Oh, and thanks @jmi2k.me for making 12/17 changelog-worthy MRs that went into this release :)
110
TheZoq2 @thezoq2.bsky.social · 22/01/2026
Today we are releasing Spade 0.16.0! 🎉 While it doesn't come with any major new features, it has a ton of improvements all over the language, and a hefty compiler performance improvement! You can read about all the changes in our blog: blog.spade-lang.org/v0-16-0/
A youtube clickbait thumbnail-style picture with text talking about some new features in Spade 0.16.
1122
TheZoq2 @thezoq2.bsky.social · 14/01/2026
While I put a TL;DR there, you should really go read either the original Servo version book.servo.org/contributing... or my cheap copy, because the motivation for this is important
book.servo.org
Getting Started - The Servo Book
000
TheZoq2 @thezoq2.bsky.social · 14/01/2026
@servo.org's AI policy was so well written that I had to adapt it to the Spade project. gitlab.com/spade-lang/s... TL;DR: No LLM contributions please, they - Take maintainer time for less reward than human contributions - Are questionable from a copyright perspective - Have ethical concerns - ...
gitlab.com
Add an LLM contributions section to the readme (!556) · Merge requests · spade-lang / spade · GitLab
Closes #385
110
Reposted by TheZoq2
Clash Language @clash-lang.bsky.social · 14/01/2026
What happens when Clash meets Rust? Interesting things that bring us to the edge of what the languages can handle! See how we approached representing Clash’s numeric types in Rust in this new blog post. clash-lang.org/blog/0008-cl... #rustlang #haskell #fpga
clash-lang.org
Putting a Clash Coat of Paint on Rust
Reproducing Clash's numeric types in Rust
001