GoKawiil - Tech News

Topics: Today This Week This Month This Year

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

De Bruijn Numerals (news.ycombinator.com)

2025-11-16 | by Marvin Borner | get De Bruijn Numbers → | tags: bruijn, lambda, lambda lambda

Today's top topics: apple amazon google openai nvidia android meta chatgpt android authority samsung