GoKawiil - Tech News

Topics: Today This Week This Month This Year

A new ceiling for Λ: the de Bruijn–Newman constant (news.ycombinator.com)

2026-08-25 | get Prime Obsession John Derbyshire book → | tags: riemann hypothesis, de bruijn–newman constant, prime number theorem

A new ceiling for Λ: the de Bruijn–Newman constant is at most 0.1787854 (news.ycombinator.com)

2026-08-25 | get Prime Obsession Derbyshire book → | tags: de bruijn–newman constant, riemann hypothesis, prime number theorem

Unusual uses of OEIS sequences on GitHub (news.ycombinator.com)

2026-05-18 | get OEIS Sequence Puzzle Book → | tags: oeis, sonic pi, fibonacci

“Why not just use Lean?” (news.ycombinator.com)

2026-04-27 | get Lean Software Development Book → | tags: lean, automath, de bruijn

"Why not just use Lean?" (news.ycombinator.com)

2026-04-27 | get Lean Software Development Book → | tags: automath, lean, de bruijn

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 anthropic android authority chatgpt artificial intelligence dario amodei claude iphone 18 pro iphone duo ai regulation