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: apple meta google android million model mexico openai apps gaming