Skip to content
Tech News
clear
Topics: Today This Week This Month This Year
1.
Unusual uses of OEIS sequences on GitHub (news.ycombinator.com)
2026-05-18 | get OEIS Sequence Puzzle Book → | tags: oeis, sonic pi, fibonacci
2.
“Why not just use Lean?” (news.ycombinator.com)
2026-04-27 | get Lean Software Development Book → | tags: lean, automath, de bruijn
3.
"Why not just use Lean?" (news.ycombinator.com)
2026-04-27 | get Lean Software Development Book → | tags: automath, lean, de bruijn
4.
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: apple android app store telegram iphone microsoft universal clipboard openai android authority
View all today's topics →

© 2026 GoKawiil | 4 articles displayed

About | Editorial Policy | Contact