GoKawiil - Tech News

Topics: Today This Week This Month This Year

The Proof Machine (2016) (news.ycombinator.com)

2026-07-27 | tags: proof assistant, isabelle, propositional logic

Binding Application in Idris (news.ycombinator.com)

2025-10-31 | by Andre Videla | get car accessories → | tags: binding, orn, predicate

Implementing Logic Programming (news.ycombinator.com)

2025-10-31 | by Sir Whinesalot | get Google Nest Mini → | tags: atom, fact, parent

Today's top topics: apple google iphone android memory game acm sigplan commandment compute shalt