Skip to content
Tech News
clear
Topics: Today This Week This Month This Year
1.
“Why not just use Lean?” (news.ycombinator.com)
2026-04-27 | get Lean Software Development Book → | tags: lean, automath, de bruijn
2.
"Why not just use Lean?" (news.ycombinator.com)
2026-04-27 | get Lean Software Development Book → | tags: automath, lean, de bruijn
3.
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
4.
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: openai chatgpt apple android authority iphone google chrome promo code google privacy ai models
View all today's topics →

© 2026 GoKawiil | 4 articles displayed

About | Editorial Policy | Contact