Nice, I'm glad it resonates with people :)

Me having just published a blog post with text-align: justify

😰

Maybe I'm too academic-pilled but I really like the the aesthetic

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

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/

SIGBOVIK IS TOMORROW!!!!!! GET EXCITED!!!!!!

Sincerely,
Your Ever-Dedicated And Sleep Deprived Organizers

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 :)

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...

Wow, what an autopsy from @kennethreitz.bsky.social about his experiences with mental health and life as a very public open source software maintainer.

Write in Typst, submit in LaTeX with ttt | Typst Meetup YouTube video by Typst

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...

Right now Github's only hope of 3 9s of uptime is if they hit 89.99%

Massive thanks to @omixann.me for contributing 19/22 MRs with a changelog entry in this release 👀

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.

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/

SIGBOVIK has a Bluesky now! Follow to learn more cutting-edge research from the world’s most comedic and occasionally scientific academic conference

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!

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

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 ...

Hey look, I got featured as a winner in the JaneStreet Advent of FPGA challenge :) blog.janestreet.com/advent-of-fp...

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.

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/...

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.

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

Oh, and thanks @jmi2k.me for making 12/17 changelog-worthy MRs that went into this release :)

A youtube clickbait thumbnail-style picture with text talking about some new features in Spade 0.16.

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/

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

Add an LLM contributions section to the readme (!556) · Merge requests · spade-lang / spade · GitLab Closes #385

@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
- ...

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

Yeah, it's an awful situation

For me the switch was as simple as it could be, I just changed the `bincode::serde::(en/de)code` to `postcard::(from/to)_vec` and everything just works

In this case I needed the runtime version. Most of the space was taken up by a hash map and a vector being duplicated a few hundred times inside another vector :D

With that function and a bit of really ugly code I was able to generate this report for my serialized size.

I wonder if I should make a proc macro for this 🤔

@jamesmunns.com Thanks for writing postcard! I switched over to it from bincode since that's now deprecated

I've been struggling to figure out why my serialized structs are so big, but thanks to docs.rs/postcard/lat... I was able to quickly narrow the problem down to a few fields :)