GoKawiil - Tech News

Topics: Today This Week This Month This Year

1940s Irish sci-fi novel features early mecha and gravity assists (news.ycombinator.com)

2026-02-15 | get Mecha → | tags: book, errors, extracted

Extracting verified C++ from the Rocq theorem prover at Bloomberg (news.ycombinator.com)

2026-01-20 | get Rocq theorem prover → | tags: browse, code, crane

Today's top topics: blade runner ridley scott neo-noir fan art writing authors fourth wing nvidia vernor vinge