← Feed

Posts

• Post #3788525

  Again reminded that the kids are alright. Just overheard a ~15 year old lecture his mom about using AI being unethical and to add `-noai` to searches to not get the stupid AI overview from google :blobaww:

• Post #3764854

  I have a few hours to spend in Hamburg this evening, any recommendations for things to see?

• Post #2560189

  We now have working #tinytapeout templates for Spade! For IHP: https://github.com/spade-lang/ttihp-spade-template For Sky130: https://github.com/spade-lang/ttsky-spade-template The IHP shuttle closing in 5 days is full, But! if you are a Swiss resident you can still get on there and get the chip manufactured for free 🇨🇭 This also came with the nice benefit of me finally making swim download the compiler binaries instead of rebuilding for every project, so initial builds of other Spade project...

• Post #2550023

  RE: https://mastodon.transneptune.net/@owen/116558532213274094 "We’re evolving our strategy to optimize for the future state of software engineering: Software will be built by machines, directed by people. AI is the substrate on which future software gets built. Agents will plan, code, review, deploy, and repair. Humans still own the judgment that matters most: architecture, deep understanding of the customer problem, the tradeoffs that require taste." Holy shit, I really r...

• Post #2217686

  I need a favor. A good friend of mine got laid off. She's in NYC on a H1B, and being trans means she's not very keen to return to her home country! She's an amazing software engineer, with experience leading teams, working with stakeholders, and is happy to come in to existing code bases to improve things. She's primarily looking for full stack and is very comfortable with TS, JS, Python and Rust, but is happy to adapt. NYC/Remote DM me for contact details #get...

• Post #1920499

  I published a short blog post on the quickscope integrated logic analyzer that I wrote a few weeks ago, and how I was able to do that in under 4 hours with Spade https://blog.spade-lang.org/quickscope/ #fpga #langdev

• Post #1920497

  Finally, we have a proper journal paper about Spade 🎉! It is a pretty complete description of the current state of the language, but I'm honestly more excited about the way we managed to argue for having a new HDL at Spade's abstraction level, roughly RTL but with zero cost abstractions on top https://dl.acm.org/doi/10.1145/3793550

• Post #1700834

  And here I was wondering why Spade was getting slower recently. Turns out it was because I started using pre-built binaries from CI, and the `musl` allocator is just _slow_ https://nickb.dev/blog/default-musl-allocator-considered-harmful-to-performance/

• Post #1700833

  RE: https://fosstodon.org/@ClashHDL/116447339493948977 This is really nice to see. I always wanted the translation features in Surfer to be used by more HDLs. For a while that was blocked by it not supporting true plugins, but that was fixed a while back. 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 😉

• Post #1700832

  Gee, thanks gitlab! I'm so glad I can't use an API library that is slightly out of date because you at some point had a *skype* field in your user data, and somehow that user data is included in a request for merge request status...

• Post #1689610

  We have an open PhD position for working on formal verification in Yosys and other open source tools, including Surfer :) https://aemy.cs.hm.edu/open-positions/2026/01/19/open-source-formal-verification.html Come join an exciting group here in Munich, we are currently ~15 people working on various aspects of open source chip design, and we are planning to grow even more this year And a more permanent link with other positions too https://aemy.cs.hm.edu/open-positions/

• Post #1350750

  Spade 0.18.0 is now released 🎉 It comes with a bunch of improvements to the standard library, and with `spadedoc` which can generate HTML documentation for Spade projects. You can se the `core` and `std` documentation online at https://docs.spade-lang.org/std/ and https://docs.spade-lang.org/core/. Or run `swim doc` to generate documentation for your own project and all its dependencies Release blog post: https://blog.spade-lang.org/v0-18-0/ Thanks @lixou for writing spadedoc!

• Post #1339088

  Made ~~Minecraft~~ a forklift game over the weekend on two "networked" #fpga s All built in https://spade-lang.org/ and not a processor in sight :) Everything except @acqrel's 3d renderer was written over the past 48 hours

• Post #1339085

  Me and @acqrel (well, mostly @acqrel she did almost all the the design work) built a fully analog flappy bird!

• Post #1298634

  https://fransskarman.com/im_not_using_ai.html 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

• Post #1173546

  Going to stream some Spade development for the first time in months https://www.twitch.tv/thezoq2/

• Post #1173545

  Wrote a small Spade UI library. Something a bit nicer and more powerful than just a bitmap grid but still quite performant since most things are pre-computed https://codeberg.org/theZoq2/uwui :blobcat: #fpga

• Post #949520

  Very good read on LLMs in academia 👀 https://ergosphere.blog/posts/the-machines-are-fine/

• Post #906742

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

• Post #906741

  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 :blobcat: https://blog.spade-lang.org/v0-17-0/ Full changelog: https://gitlab.com/spade-lang/spade/-/blob/main/CHANGELOG.md?ref_type=heads

• Post #839781

  OH: We only depend on windows-sys:0.74 because we need it for android

• Post #839780

  I love it when websites report "your password is too long" as "your password is too short"

• Post #813841

  Swim (the spade build tool) now supports GateMate FPGAs. Since they use yosys and nextpnr for the official flow this was just a 30 minute addition :)

• Post #714125

  Big Endian won't tell you this but you don't actually need to chose between big- and little-endian, you can just select no endianness! Endinaness was invented by Big Endian to sell more big-endian

• Post #676347

  Today we finally released 🏄 Surfer 0.2.0 🎉 This release contains months of improvements, both big and small. Some highlights: - A remote server - A more powerful Risc-V decoder that now supports RV32IMAFDZicsr - Lots of interface improvements including - Edge stepping - Multiple view ports - Undo/Redo - Variable drag and drop - Selectable themes - Experimental support for GHW - Lots of bug fixes Release blog post: https://blog.surfer-project.org/v0-2-0/ Changelog: https://git...

• Post #676342

  It is time for the most boring Spade release yet 🎉 Boring is good though, it includes 13 bug fixes, along with a system for preventing previously common code gen bugs in the future. Feature wise, swim now supports Gowin #FPGA s, the swim output is a lot cleaner (https://asciinema.org/a/j9HRvwzAWnoFBVCt4Zj8wM2LE), and you can now implement methods on arrays and other non-named types. Release blog post: https://blog.spade-lang.org/v0-12-0/ Thanks @acqrel @lixou and @ethan for the contribution...

• Post #674735

  https://docs.spade-lang.org/ now lives on codeberg via https://grebedoc.dev/ :) https://codeberg.org/spade-lang/docs.spade-lang.org

• Post #674732

  As part of that Advent of FPGA challenge, I won a Kria KV260 Vision AI Starter Kit (https://www.amd.com/en/products/system-on-modules/kria/k26/kv260-vision-starter-kit.html) However, I hate Vivado with a passion, have plenty of FPGA dev boards already, and this one isn't supported by the open source flows yet, so I have very little motivation to use it. So, if anyone is interested I'd be happy to sell it for a pretty discounted price :) Located in Munich, happy to ship to wher...

• Post #580279

  Another incredible @bcantrill talk, especially the second half for me now that i'm slowly drifting into having "leadership responsibilities" https://youtu.be/WF7J7qtZ8TA