GoKawiil - Tech News

Topics: Today This Week This Month This Year

Finding a bug in Dummit and Foote's Abstract Algebra (news.ycombinator.com)

2026-09-04 | get Abstract Algebra Dummit Foote 3rd edition → | tags: dummit and foote, abstract algebra, rocq

An introduction to formal proof verification and the Curry-Howard Correspondence (news.ycombinator.com)

2026-07-25 | tags: lean, rocq, curry-howard

Type checker may be wrong – Lean and the Curry-Howard correspondence (news.ycombinator.com)

2026-07-25 | tags: lean, curry-howard, proof assistants

Today's top topics: apple openai anthropic iphone 18 pro iphone duo google ios 27 ai safety apple watch series 12 iphone