GoKawiil - Tech News

Topics: Today This Week This Month This Year

Super Mario is mathier than you think (technologyreview.com)

2026-06-23 | by Veronika Moroz | tags: super mario, undecidable, oracle

Typechecking is undecidable when 'type' is a type (1989) [pdf] (news.ycombinator.com)

2026-01-30 | get Type checker → | tags: type, type pdf, type type

Today's top topics: prime day zdnet amazon