Really suggest reading the whole thing, they do a great job at discussing the externalities with nuance blog.codeberg.org/protecting-o...

gabby@fullmoon.id · 2w ago

I thought this was a pretty interesting take from Codeberg's announcement of their anti-LLM policy They argue that many developers using LLMs are essentially heaven-banning themselves where they don't realize they're developing for a nonexistent community

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

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/

$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

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

This blog post is an extended metaphor that serves as an excuse to complain about Verilog. https://www.cs.cornell.edu/~asampson/blog/buildingblocks.html

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.

cs.cornell.edu

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

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

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.

Clash Language@clash-lang.bsky.social · 4mo ago

We're happy to announce the first release of `clash-shockwaves`! Thanks to the flexibility of surfer-project.org you can now see your Clash data types directly in your traces - and with colours!! 🌈 clash-lang.org/blog/2026-04... #Haskell #FPGA

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

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

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

kennethreitz.org

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

Write in Typst, submit in LaTeX with ttt | Typst Meetup

YouTube video by Typst

youtube.com

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

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!

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

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

blog.janestreet.com

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

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/

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

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

Closes #385

gitlab.com

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

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

Yesterday we merged analog drawing in Surfer 🎉 The project also turns 3 years old on Monday so it is a fitting time to release v0.5.0 There are of course a bunch of other improvements that you can read more about in the change log Massive thanks to Roman Popov for the analog drawing feature!

I built a custom processor for #adventofcode day 8 and it only took 3 minutes to solve the problem blog.spade-lang.org/processor-fo...