
| Pronouns | any |
| GitHub | https://github.com/ethanuppal |
| neovim | btw |
| Pronouns | any |
| GitHub | https://github.com/ethanuppal |
| neovim | btw |

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
https://blog.spade-lang.org/v0-17-0/
Full changelog: https://gitlab.com/spade-lang/spade/-/blob/main/CHANGELOG.md?ref_type=heads
Starting the day with Michalis Pardalos talking about a formally verified equivalence checker for Verilog
Watch along at https://capra.cs.cornell.edu/latte25/
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 https://capra.cs.cornell.edu/latte25/
Also, we have a cozy little Matrix chat for the community over at https://matrix.to/#/#latte-chat:fossi-foundation.org