From Paper to Proof: How We Can Formally Verify Blockchain Protocols with Lean4
medium.com·2h·
Discuss: Hacker News
🎲Branden Fitelsin
AWS announced support for clusters with up to 100k nodes
aws.amazon.com·1d·
Discuss: Hacker News
🦀Rust
A distributed systems reliability glossary
antithesis.com·2d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust
Lessons from scaling PostgreSQL queues to 100k events per second
rudderstack.com·1h·
Discuss: Hacker News
🦀Rust
Crawling a billion web pages in just over 24 hours, in 2025
andrewkchan.dev·23h·
Discuss: Hacker News, r/programming
🦀Rust
Undone Computer Science
undonecs.org·4h·
Discuss: Hacker News
⚙Complex ststems
Transitioning to Virtual Threads Using the Micronaut Loom Carrier
micronaut.io·1d·
Discuss: Hacker News
🦀Rust
Reactive Java Operator-fusion (2016)
akarnokd.blogspot.com·20h·
Discuss: Hacker News
🦀Rust
Agents Built from Alloys
xbow.com·27m·
Discuss: Hacker News
⚙Complex ststems
A Wide Reduction Trick (2022)
words.filippo.io·13h·
Discuss: Lobsters, Hacker News
🎲Branden Fitelsin
Migrating over 30 lambdas from Serverless Framework with LLMs
intmaker.com·6h·
Discuss: Hacker News
🦀Rust
Project Servfail: One Year In
sdomi.pl·18h·
Discuss: Lobsters, Hacker News
🦀Rust
Shaping AI's Mind from the Shadows: My Journey with ArXiv and Alpay Algebra
lightcapai.medium.com·45m·
Discuss: Hacker News
🧠Machine learning
Distilling the Cloud: The Journey Continues
eric.mann.blog·3h·
Discuss: Hacker News
⚙Complex ststems
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·1d·
Discuss: Hacker News
🎲Branden Fitelsin
First electronic-photonic quantum chip manufactured in commercial foundry
news.northwestern.edu·20h·
Discuss: Hacker News
🌊Helen Czerski
A Minimal DDPM
github.com·1d·
Discuss: Hacker News
🧠Machine learning
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·2d·
Discuss: Hacker News, r/programming
⚙Complex ststems
How TPMs Work and Why We Added Support in Bottlerocket
molnett.com·1h·
Discuss: Hacker News
⚙Complex ststems
Why Aggregators Ate the Internet
every.to·3h·
Discuss: Hacker News
⚙Complex ststems