![Screenshot of lua.org: The evolution of Lua, continued [pdf]](https://hn.urlbox.com/shots/renders/2025/10/7/81ab37cc-740f-4109-b23c-b580cc20c6ac.jpg)
First screen, captured .
Looks similar
![Screenshot of cr.yp.to: The cryptoint library (2025) [pdf]](https://hn.urlbox.com/shots/renders/2026/10/17/d7252175-f03a-4bd6-9d9e-1f6d618c09c4.jpg)
The cryptoint library (2025) [pdf](cr.yp.to)
21 points by akkartik | 0 comments
Daniel J. Bernstein's paper describing cryptoint, a C/C++ library of constant-time integer functions designed to resist compiler optimizations that introduce timing leaks.
![Screenshot of cs.ru.nl: Formal Reasoning [pdf]](https://hn.urlbox.com/shots/renders/2025/10/26/77013c5c-81bc-408e-84d4-d56e391bc5f8.jpg)
Formal Reasoning [pdf](cs.ru.nl)
129 points by Thom2503 | 27 comments
![Screenshot of xescu.re: Modeling and Verification of Keeta's Consensus [pdf]](https://hn.urlbox.com/shots/renders/2026/8/15/c4f7c7ee-390e-440d-9eb7-7fe6df04a3ee.jpg)
![Screenshot of jdb19937.github.io: The logarithms of rational numbers have irrationality exponent 2 [pdf]](https://hn.urlbox.com/shots/renders/2026/10/10/3771ae7f-7658-4460-b339-470c583bc18c.jpg)
The logarithms of rational numbers have irrationality exponent 2 [pdf](jdb19937.github.io)
16 points by jdb1729 | 3 comments
A math paper by Dan Brown claiming the irrationality measure of log of any rational number other than 1 is 2, with the proof formalized in Lean 4 over Mathlib.
Treewidth?(ams.org)
26 points by RafelMri | 10 comments