News for hackers. Stuff that matters.

hackernj

Link to the "Advancing Mathematics Research with AI-Driven Formal Proof Search" paper that the article references: https://arxiv.org/html/2605.22763v1
Re:Cistercian Numbers on Wednesday February 18, 2026 @10:28PM (#47069549)
Two OEIS sequences for Cistercian numeral system: https://oeis.org/A341737 and https://oeis.org/A381327

Older »