GoKawiil - Tech News

Topics: Today This Week This Month This Year

Principia Mathematica is modern and insightful (news.ycombinator.com)

2026-08-12 | tags: principia mathematica, whitehead russell, lambda calculus

Extraordinary Ordinals (news.ycombinator.com)

2026-05-12 | by Marvin Borner | get Bitcoin Ordinal Inscriptions Kit → | tags: lambda calculus, borner, tikz

7 lines of code, 3 minutes: Implement a programming language (2010) (news.ycombinator.com)

2026-05-11 | get Python Programming Book → | tags: lambda calculus, alonzo church, turing machine

Lambda Calculus Benchmark for AI (news.ycombinator.com)

2026-04-25 | get Lambda Calculus Puzzle Game → | tags: lambda calculus, benchmark, computation

Effectful Recursion Schemes (news.ycombinator.com)

2026-04-20 | by The Effekt Research Team | tags: recursion schemes, effekt, haskell

Show HN: Visual Lambda Calculus – a thesis project (2008) revived for the web (news.ycombinator.com)

2026-02-28 | get Lambda Calculus → | tags: bubble notation, visual lambda calculus, python 3.8

Today's top topics: ai safety openai ai agents anthropic dario amodei artificial intelligence android england succession crisis software engineering