GoKawiil - Tech News

Topics: Today This Week This Month This Year

Lean proved this program correct; then I found a bug (news.ycombinator.com)

2026-04-14 | by Kiran Gopinathan | get Debugging Software Toolkit → | tags: lean, zlib, lean-zip

Gzip decompression in 250 lines of Rust (news.ycombinator.com)

2026-03-24 | by Ian Erik Varatalu | get Rust Programming Book → | tags: gzip, zlib, rust

Today's top topics: google android apple et al amazon camera gemini galaxy phone model