TLA+ Modeling of AWS outage DNS race condition
muratbuffalo.blogspot.com·1d·
Discuss: Lobsters, Hacker News
🤖language models
Flag this post
Code research projects with async coding agents like Claude Code and Codex
simonwillison.net·1d·
Discuss: Lobsters, Hacker News
🤖language models
Flag this post
Linking and shrinking Rust static libraries: a tale of fire
centricular.com·19h·
Discuss: Lobsters, Hacker News, r/rust
🤖language models
Flag this post
Magika 1.0: now faster, smarter, and rebuilt in Rust
opensource.googleblog.com·1d·
Discuss: Lobsters, Hacker News
🤖language models
Flag this post
Pg_lake: Postgres with Iceberg and data lake access
github.com·3d·
Discuss: Lobsters, Hacker News
🤖language models
Flag this post
Ikea’s new low-cost line is a huge win for Matter and your smart home
theverge.com·1d
🤖language models
Flag this post
Zensical – A modern static site generator built by the Material for MkDocs team
squidfunk.github.io·2d·
Discuss: Lobsters, Hacker News, Hacker News
🤖language models
Flag this post
Nintendo is getting the Switch ready for retirement
theverge.com·2d
🤖language models
Flag this post
We found embedding indexing bottleneck in the least expected place: JSON parsing
nixiesearch.substack.com·4d·
Discuss: Substack
🤖language models
Flag this post
Mr Tiff
inventingthefuture.ghost.io·3d·
Discuss: Lobsters, Hacker News
🤖language models
Flag this post
Error Codes for Control Flow
matklad.github.io·2d·
Discuss: Lobsters, Hacker News
🤖language models
Flag this post
Quoting Ben Stolovitz
simonwillison.net·1d
🤖language models
Flag this post
Kroxylicious
kroxylicious.io·16h·
Discuss: Lobsters
🤖language models
Flag this post
Mastodon 4.5
simonwillison.net·3h
🤖language models
Flag this post
A Security Model for Systemd
lwn.net·1d·
Discuss: Lobsters, Hacker News
🤖language models
Flag this post
C++ move semantics from scratch (2022)
cbarrete.com·4d·
Discuss: Lobsters, Hacker News
🤖language models
Flag this post
Skeena Indigenous Typeface
microsoft.github.io·5d·
Discuss: Lobsters, Hacker News
🤖language models
Flag this post
Why Engineers Can't Be Rational About Programming Languages
spf13.com·4d·
Discuss: Lobsters, Hacker News
🤖language models
Flag this post
AI's 70% Problem
zed.dev·2d·
Discuss: Lobsters, Hacker News
🤖language models
Flag this post
The Verge’s favorite holiday gifts under $100
theverge.com·14h
🤖language models
Flag this post