GoKawiil - Tech News

Topics: Today This Week This Month This Year

Postmortem for Kernel Soundness Bug #14576 (news.ycombinator.com)

2026-08-01 | by Leonardo De Moura | tags: lean kernel, collatz conjecture, nanoda

Unicode's transliteration rules are Turing-complete (news.ycombinator.com)

2026-07-08 | tags: collatz, letter, rule

Why Busy Beaver hunters fear the Antihydra (news.ycombinator.com)

2025-10-31 | get Meta Quest → | tags: beaver, busy, collatz

Today's top topics: disney marvel star wars pixar math high-school dropout apple memory chips