Unusual uses of OEIS sequences on GitHub
(news.ycombinator.com)
1.
2.
“Why not just use Lean?”
(news.ycombinator.com)
3.
"Why not just use Lean?"
(news.ycombinator.com)
4.
Thinnings: Sublist Witnesses and de Bruijn Index Shift Clumping
(news.ycombinator.com)