GoKawiil - Tech News

Topics: Today This Week This Month This Year

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

Opinion | Where Are the Trustworthy Checkers AI Needs? (feeds.content.dowjones.io)

2026-06-28 | get AI Content Verification Tool → | tags: checkers, campbell brown, jonathan rauch

Are you expected to run five Python type-checkers now? (news.ycombinator.com)

2026-06-08 | by Marco Gorelli | get Python Type Checker Bundle → | tags: checkers, code, library

It doesn’t matter if the Netanyahu coffee video is real. We are screwed no matter what (feeds.feedburner.com)

2026-03-19 | get Smart Coffee Mug → | tags: netanyahu, israeli prime minister, coffee shop

The U.S. is now blocking visas for people who fight misinformation (feeds.feedburner.com)

2025-12-16 | get Social Media → | tags: checkers, fact, fact checkers

Today's top topics: google gemini openai tilly norwood piers morgan flock safety license plate readers surveillance technology voluntary severance ai safety