GoKawiil - Tech News

Topics: Today This Week This Month This Year

Lf-lean: The frontier of verified software engineering (news.ycombinator.com)

2026-03-12 | by Pierce | get Verified Software Engineering → | tags: lean, rust, lf-lean

Today's top topics: openai zdnet amazon trail of bits codex security patch the planet open source fire tv stick prime day streaming deals