The logarithms of rational numbers have irrationality exponent 2 [pdf](jdb19937.github.io)

16 points by jdb1729 16 days ago | 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.

Decompiling the Synergy: Human–LLM Teaming in Reverse Engineering [pdf](zionbasque.com)

38 points by matt_d 10 months ago | 1 comments

The cryptoint library (2025) [pdf](cr.yp.to)

21 points by akkartik 11 days ago | 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.

The Legend of von Neumann (1973) [pdf](gwern.net)

292 points by suopspaces 24 days ago | 163 comments

A 1973 essay by mathematician Paul Halmos recounting the life, achievements, and legends of John von Neumann, presented as a scanned PDF.

Sophie Germain Prime Project(palaiologos.rocks)

17 points by snoofydude 1 year ago | 0 comments

Mathematics for Computer Science (2018) [pdf](courses.csail.mit.edu)

366 points by vismit2000 9 months ago | 62 comments

PDF of the 2018 revision of the MIT textbook Mathematics for Computer Science by Eric Lehman, F. Thomson Leighton, and Albert R. Meyer.

The recently proposed o(n log n) integer multiplication algorithm [pdf](web.maths.unsw.edu.au)

295 points by craigcitro 4 days ago | 290 comments

A PDF by David Harvey (UNSW) on the recently proposed O(n log n) algorithm for integer multiplication.

Three Inverse Laws of AI(susam.net)

508 points by blenderob 5 months ago | 334 comments

Susam Pal's essay proposing three "inverse laws" of AI and robotics, arguing people should not uncritically trust output from generative AI chatbots.

Some critical issues with the SWE-bench dataset(arxiv.org)

331 points by joshwa 1 year ago | 113 comments

arXiv paper introducing SWE-Bench+, an empirical analysis revealing data quality issues in the SWE-bench coding benchmark for LLMs, such as solution leakage and weak tests.

Calculus for Mathematicians, Computer Scientists, and Physicists [pdf](mathcs.holycross.edu)

332 points by o4c 11 months ago | 70 comments

A free PDF textbook by Andrew D. Hwang, 'Calculus for Mathematicians, Computer Scientists, and Physicists: An Introduction to Abstract Mathematics'.

TimeGPT-1(arxiv.org)

373 points by PaulHoule 3 years ago | 114 comments

arXiv paper introducing TimeGPT, a foundation model for time series forecasting that performs zero-shot predictions on unseen datasets.

Were RNNs all we needed?(arxiv.org)

466 points by beefman 2 years ago | 245 comments

arXiv paper proposing minimal LSTM and GRU variants without hidden-state gate dependencies that can be trained in parallel, rivaling recent sequence models.