8 Followers
23 Following
80 Posts
student interested in PL, hardware, and systems :)
Pronounsany
GitHubhttps://github.com/ethanuppal
neovimbtw
dumping thoughts, but with more and more ai-slop in big projects, it's really hard keeping them out of your daily tech stack. why isn't there more traction for a movement for handcrafted libraries and programs fully siloed off from slop? maybe it's too impractical given how many dependencies you would need to rewrite 
very sad to see that almost everything (from neovim to jj to ghostty) is now vibe coded, including mastodon :( https://codeberg.org/small-hack/open-slopware
open-slopware

Free/Open Source Software tainted by LLM developers/developed by genAI boosters, along with alternatives. Fork of the repo by @gen-ai-transparency after its deletion.

Codeberg.org

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

And just like that I have now successfully defended my PhD :)
Hey if anyone is interested in killing proc_macro2, this issue links to a PR that needs someone to adopt it: https://github.com/rust-lang/rust/issues/130856
Tracking issue for `proc_macro` in non-`proc-macro` crates ยท Issue #130856 ยท rust-lang/rust

This is a tracking issue for making proc_macro usable in all crates, not just those with crate type proc-macro. Advantages: Simplified testing of procedural macros Examples in the API docs can get ...

GitHub

Starting the day with Michalis Pardalos talking about a formally verified equivalence checker for Verilog

Watch along at https://capra.cs.cornell.edu/latte25/

LATTE โ€™25

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

LATTE โ€™25

today I learned Rust lets you destructure in function parameters...I always thought the axum handler stuff was some crazy hack
Help, I accidentally put my entire thesis on a single page