🙏 @washingtonpost.com for reviewing 'This Is for Everyone'
www.washingtonpost.com/books/2025/0...
🙏 @washingtonpost.com for reviewing 'This Is for Everyone'
www.washingtonpost.com/books/2025/0...
www.youtube.com/watch?v=XGGS...
www.youtube.com/watch?v=XGGS...
Build #rust via buck2 instead of x.py, very cool project by @dtolnay.bsky.social
Build #rust via buck2 instead of x.py, very cool project by @dtolnay.bsky.social
@canonicalltd.bsky.social is supporting us to get sudo-rs ready for Ubuntu 25.10.
trifectatech.org/blog/memory-...
@canonicalltd.bsky.social is supporting us to get sudo-rs ready for Ubuntu 25.10.
trifectatech.org/blog/memory-...
🎧 sound on! I'm proud of this one
🎧 sound on! I'm proud of this one
aws.amazon.com/blogs/comput...
#rustlang
aws.amazon.com/blogs/comput...
#rustlang
https://news.denfaminicogamer.jp/news/250505h
There are multiple instances of authors comparing verification efforts of systems projects by looking at the ratio of proof to code size. I demonstrate why this is nonsense and constitutes a benchmarking crime.
There are multiple instances of authors comparing verification efforts of systems projects by looking at the ratio of proof to code size. I demonstrate why this is nonsense and constitutes a benchmarking crime.