TheZoq2
@thezoq2.bsky.social
Developing http://spade-lang.org and other fun stuff in Rust. PhD student at Linköping University
Usually at https://mastodon.social/@thezoq2
Usually at https://mastodon.social/@thezoq2
Pinned
TheZoq2
@thezoq2.bsky.social
· Oct 21
Spade | Spade Hardware Description Language
spade-lang.org
I guess #introduction is a thing here too
👋 Hi, I'm Frans
I'm a PhD student at Linköping University, working on programming tools for #fpga. I develop spade-lang.org, an HDL inspired by Rust with abstractions for common hardware constructs and the surfer-project.org waveform viewer.
👋 Hi, I'm Frans
I'm a PhD student at Linköping University, working on programming tools for #fpga. I develop spade-lang.org, an HDL inspired by Rust with abstractions for common hardware constructs and the surfer-project.org waveform viewer.
A few weekends ago I wrote a logic analyzer in Spade 🐠, and it took less than 4 hours
I figured I'd write a blog post to show how that was possible and how the code works: blog.spade-lang.org/quickscope/
I figured I'd write a blog post to show how that was possible and how the code works: blog.spade-lang.org/quickscope/
November 10, 2025 at 2:23 PM
A few weekends ago I wrote a logic analyzer in Spade 🐠, and it took less than 4 hours
I figured I'd write a blog post to show how that was possible and how the code works: blog.spade-lang.org/quickscope/
I figured I'd write a blog post to show how that was possible and how the code works: blog.spade-lang.org/quickscope/
I finally got around to doing another Surfer release, so now we're on v0.4.0 🎉
My personal highlights are the new web assembly based translator system, and the improvements to our waveform control protocol, and you can read the full change log at gitlab.com/surfer-proje...
My personal highlights are the new web assembly based translator system, and the improvements to our waveform control protocol, and you can read the full change log at gitlab.com/surfer-proje...
November 6, 2025 at 3:08 PM
I finally got around to doing another Surfer release, so now we're on v0.4.0 🎉
My personal highlights are the new web assembly based translator system, and the improvements to our waveform control protocol, and you can read the full change log at gitlab.com/surfer-proje...
My personal highlights are the new web assembly based translator system, and the improvements to our waveform control protocol, and you can read the full change log at gitlab.com/surfer-proje...
Reposted by TheZoq2
Reposted by TheZoq2
please enjoy: my Wasm-hosted, Wasm-targeting build of Clang/Clang++/LLD: a self-contained, 25 MiB (gzipped) pure function
www.npmjs.com/package/@yow...
www.npmjs.com/package/@yow...
October 26, 2025 at 9:49 AM
please enjoy: my Wasm-hosted, Wasm-targeting build of Clang/Clang++/LLD: a self-contained, 25 MiB (gzipped) pure function
www.npmjs.com/package/@yow...
www.npmjs.com/package/@yow...
Reposted by TheZoq2
I'm bad at self-promo but I am currently on the job market looking for industry gigs. If your team needs a compiler engineer, language developer, rust programmer, or language tools person, drop me a line! All my details are on my personal site.
October 9, 2025 at 6:16 PM
I'm bad at self-promo but I am currently on the job market looking for industry gigs. If your team needs a compiler engineer, language developer, rust programmer, or language tools person, drop me a line! All my details are on my personal site.
I sometimes stream Spade dev over at twitch.tv/thezoq2. Today i'm going to work on clock domain inference, which I think I finally have a good plan for again
TheZoq2 - Twitch
TheZoq2 streams live on Twitch! Check out their videos, sign up to chat, and join their community.
twitch.tv
October 1, 2025 at 3:36 PM
I sometimes stream Spade dev over at twitch.tv/thezoq2. Today i'm going to work on clock domain inference, which I think I finally have a good plan for again
I got inspired at orconf, so now play.spade-lang.org supports a full in-browser flow for submitting to tinytapeout.com/
Still experimental, so if you try it and run into any issues, let me know :)
Still experimental, so if you try it and run into any issues, let me know :)
September 20, 2025 at 9:12 AM
I got inspired at orconf, so now play.spade-lang.org supports a full in-browser flow for submitting to tinytapeout.com/
Still experimental, so if you try it and run into any issues, let me know :)
Still experimental, so if you try it and run into any issues, let me know :)
Reposted by TheZoq2
We are hiring! Both technical and admin, please take a look at our jobs page!
www.yosyshq.com/jobs
#jobs #hire
www.yosyshq.com/jobs
#jobs #hire
Jobs
Employee Profile: Synthesis or Formal Verification Developer at YosysHQ
You might know YosysHQ from our many Open Source EDA Projects. We are the maintainers of Yosys and the accompanying Open Source ...
www.yosyshq.com
September 18, 2025 at 3:28 PM
We are hiring! Both technical and admin, please take a look at our jobs page!
www.yosyshq.com/jobs
#jobs #hire
www.yosyshq.com/jobs
#jobs #hire
This Friday I successfully defended my PhD 🎉 If you want to watch a recording of the defense there is a recording here vimeo.com/1114208379/89dcd4f302
Improved Tooling for Digital Hardware Development - Frans Skarman
This is "Improved Tooling for Digital Hardware Development - Frans Skarman" by Linköping University on Vimeo, the home for high quality videos and…
vimeo.com
August 31, 2025 at 6:54 AM
This Friday I successfully defended my PhD 🎉 If you want to watch a recording of the defense there is a recording here vimeo.com/1114208379/89dcd4f302
Reposted by TheZoq2
This is one of the better succinct summaries of Rust's value prop, and I really like the phrasing of "Rust exposes impedence mismatches": it feels annoying to some people, but often you WANT to be able to "see" these awkward steps, because it matters.
news.ycombinator.com/item?id=4497...
news.ycombinator.com/item?id=4497...
August 22, 2025 at 10:36 AM
This is one of the better succinct summaries of Rust's value prop, and I really like the phrasing of "Rust exposes impedence mismatches": it feels annoying to some people, but often you WANT to be able to "see" these awkward steps, because it matters.
news.ycombinator.com/item?id=4497...
news.ycombinator.com/item?id=4497...
Reposted by TheZoq2
Want to help build a crowdsourced microcontroller?
You're invited to design peripherals (UARTs, timers, synths, etc.) for a @riscv.org.web.brid.gy chip that will be fabbed for real!
Take part for free!
tinytapeout.com/competitions...
You're invited to design peripherals (UARTs, timers, synths, etc.) for a @riscv.org.web.brid.gy chip that will be fabbed for real!
Take part for free!
tinytapeout.com/competitions...
July 25, 2025 at 10:57 AM
Want to help build a crowdsourced microcontroller?
You're invited to design peripherals (UARTs, timers, synths, etc.) for a @riscv.org.web.brid.gy chip that will be fabbed for real!
Take part for free!
tinytapeout.com/competitions...
You're invited to design peripherals (UARTs, timers, synths, etc.) for a @riscv.org.web.brid.gy chip that will be fabbed for real!
Take part for free!
tinytapeout.com/competitions...
Our CAV paper on Surfer is now available online doi.org/10.1007/978-...
In it, we talk about the user facing stuff like extensible translators, how Surfer is designed to be extensible and embeddable, and we describe our waveform parsing library - Wellen.
In it, we talk about the user facing stuff like extensible translators, how Surfer is designed to be extensible and embeddable, and we describe our waveform parsing library - Wellen.
Surfer — An Extensible Waveform Viewer
The waveform viewer is one of the most important tools in a hardware engineer’s toolbox. It is the main interface used to track down design bugs found by simulation or formal verification. In th...
doi.org
July 24, 2025 at 9:11 AM
Our CAV paper on Surfer is now available online doi.org/10.1007/978-...
In it, we talk about the user facing stuff like extensible translators, how Surfer is designed to be extensible and embeddable, and we describe our waveform parsing library - Wellen.
In it, we talk about the user facing stuff like extensible translators, how Surfer is designed to be extensible and embeddable, and we describe our waveform parsing library - Wellen.
Reposted by TheZoq2
Post a meme made by you
July 5, 2025 at 10:18 PM
Post a meme made by you
After 2 skipped releases due to me finishing my thesis, it is time for Spade 0.14.0 🎉
This brings long awaited lambda functions into the language, new standard library functions that use them, and a much improved LSP
Release blog post: blog.spade-lang.org/v0-14-0/
This brings long awaited lambda functions into the language, new standard library functions that use them, and a much improved LSP
Release blog post: blog.spade-lang.org/v0-14-0/
June 26, 2025 at 1:16 PM
After 2 skipped releases due to me finishing my thesis, it is time for Spade 0.14.0 🎉
This brings long awaited lambda functions into the language, new standard library functions that use them, and a much improved LSP
Release blog post: blog.spade-lang.org/v0-14-0/
This brings long awaited lambda functions into the language, new standard library functions that use them, and a much improved LSP
Release blog post: blog.spade-lang.org/v0-14-0/
Something you may hopefully did not notice about my thesis is that the whole thing was written in @typst.app
I wrote a few words about why, what I liked, and what I didn't like about it for such a big document
fransskarman.com/phd_thesis_i...
TL;DR 8/10, would recommend
I wrote a few words about why, what I liked, and what I didn't like about it for such a big document
fransskarman.com/phd_thesis_i...
TL;DR 8/10, would recommend
I recently submitted my PhD thesis, and while waiting for the physical copies to get printed I thought I'd write about something you (hopefully) wouldn't notice when reading it. I wrote it in Typst, not LaTeX. In this post I will talk a bit about what went well and what didn't.
fransskarman.com
June 13, 2025 at 4:40 PM
Something you may hopefully did not notice about my thesis is that the whole thing was written in @typst.app
I wrote a few words about why, what I liked, and what I didn't like about it for such a big document
fransskarman.com/phd_thesis_i...
TL;DR 8/10, would recommend
I wrote a few words about why, what I liked, and what I didn't like about it for such a big document
fransskarman.com/phd_thesis_i...
TL;DR 8/10, would recommend
Reposted by TheZoq2
June 3, 2025 at 12:23 PM
June 3, 2025 at 12:23 PM
Reposted by TheZoq2
I’d like to formally propose that academic journals (specifically those in bioinformatics and Cs, but more generally) begin accepting manuscripts prepared with @typst.app. I mean not only for initial submission (where PDF is often sufficient), but for submission of accepted manuscripts as well!
May 28, 2025 at 2:39 PM
I’d like to formally propose that academic journals (specifically those in bioinformatics and Cs, but more generally) begin accepting manuscripts prepared with @typst.app. I mean not only for initial submission (where PDF is often sufficient), but for submission of accepted manuscripts as well!
Reposted by TheZoq2
A year ago on a video I said science direct was trash but look at it nowwww... AI garbage. Why read an article??? Why not just let this algorithm spit garbage at you instead? Research!
May 21, 2025 at 5:34 PM
A year ago on a video I said science direct was trash but look at it nowwww... AI garbage. Why read an article??? Why not just let this algorithm spit garbage at you instead? Research!
This seems like really solid advice to me!
Wrote another little something, this time it's the advice I find myself often giving new or prospective PhD students.
griffinberlste.in/blog/what-ma...
griffinberlste.in/blog/what-ma...
Finding what matters | Griffin Berlstein
griffinberlste.in
April 18, 2025 at 8:32 PM
This seems like really solid advice to me!
Me and a friend (Well mostly my friend, she did most of the design work) built a fully analog flappy bird last weekend
No digital logic, just ~30 op amps and 70-80 resistors, a bunch of capacitors and a few analog switches. All assembled during a 48 hour game jam
No digital logic, just ~30 op amps and 70-80 resistors, a bunch of capacitors and a few analog switches. All assembled during a 48 hour game jam
April 11, 2025 at 5:44 PM
Me and a friend (Well mostly my friend, she did most of the design work) built a fully analog flappy bird last weekend
No digital logic, just ~30 op amps and 70-80 resistors, a bunch of capacitors and a few analog switches. All assembled during a 48 hour game jam
No digital logic, just ~30 op amps and 70-80 resistors, a bunch of capacitors and a few analog switches. All assembled during a 48 hour game jam
Reposted by TheZoq2
Do you love Rust, Typst, and Open Source? You may have found your dream job. Typst is looking for a Rust software engineer to work on the Typst compiler. Join us in Berlin or remotely anywhere from Germany or France. Learn more and apply: typst.app/jobs/
April 1, 2025 at 4:21 PM
Do you love Rust, Typst, and Open Source? You may have found your dream job. Typst is looking for a Rust software engineer to work on the Typst compiler. Join us in Berlin or remotely anywhere from Germany or France. Learn more and apply: typst.app/jobs/
On Sunday we're hosting LATTE ☕, our workshop on Languages and Tools for Accelerator design! We have 15 super cool papers and plenty of time for discussion!
You can attend virtually via zoom or in person with #asplos in Rotterdam capra.cs.cornell.edu/latte25/
You can attend virtually via zoom or in person with #asplos in Rotterdam capra.cs.cornell.edu/latte25/
LATTE ’25
capra.cs.cornell.edu
March 28, 2025 at 3:53 PM
On Sunday we're hosting LATTE ☕, our workshop on Languages and Tools for Accelerator design! We have 15 super cool papers and plenty of time for discussion!
You can attend virtually via zoom or in person with #asplos in Rotterdam capra.cs.cornell.edu/latte25/
You can attend virtually via zoom or in person with #asplos in Rotterdam capra.cs.cornell.edu/latte25/