GoKawiil - Tech News

Topics: Today This Week This Month This Year

Types and Neural Networks (news.ycombinator.com)

2026-04-21 | by Bruno Gavranovic | get Neural Network Starter Kit → | tags: neural networks, large language models, idris

Building a coding agent in Swift from scratch (news.ycombinator.com)

2026-03-25 | get Swift Playgrounds for iPad → | tags: swift, claude code, ivanmagda.dev

Thinnings: Sublist Witnesses and de Bruijn Index Shift Clumping (news.ycombinator.com)

2026-03-09 | by Hey There Buddo | get Sublist → | tags: agda, sublist, de bruijn

Today's top topics: openai apple microsoft windows 11 elon musk tim cook promo codes meta anthropic tesla