HarfBuzz Slug Support with WebGL(harfbuzz.github.io)

12 points by mcraiha 6 months ago | 3 comments

SBCL: A Sanely-Bootstrappable Common Lisp (2008) [pdf](research.gold.ac.uk)

102 points by pabs3 7 months ago | 68 comments

In Praise of APL (1977)(jsoftware.com)

84 points by tosh 9 months ago | 52 comments

I Want a Wife (1971) [pdf](sevanoland.com)

66 points by NaOH 1 month ago | 43 comments

How I program with LLMs(crawshaw.io)

762 points by stpn 1 year ago | 292 comments

David Crawshaw's blog post summarizing a year of personal experience using LLMs while programming, and introducing sketch.dev, a Go-focused tool.

Agentic test processes, LLM benchmarks, and other notes on agentic coding fr(danluu.com)

11 points by lifeisstillgood 3 months ago | 1 comments

Terence Tao: Math 2.0 [pdf](teorth.github.io)

533 points by Anon84 15 days ago | 530 comments

PDF slide deck titled "Math 2.0" by mathematician Terence Tao, dated October 2026, apparently from a Caltech talk.

Ruby Central's Attack on RubyGems [pdf](pup-e.com)

651 points by jolux 1 year ago | 220 comments

A PDF statement by longtime RubyGems maintainer Ellen (duckinator) describing how Ruby Central took control of the RubyGems GitHub enterprise and removed maintainers in September 2025.

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'.

OpenAI mistranslated mathematics into code for its Navier-Stokes proof(newscientist.com)

50 points by danielmorozoff 16 days ago | 5 comments

New Scientist article reporting that OpenAI's human-readable Navier-Stokes proof and its computer-formalized version do not match due to mistranslation into code.

Everything you always wanted to know about mathematics (2013) [pdf](math.cmu.edu)

841 points by ggr2342 3 years ago | 142 comments

A PDF textbook from Carnegie Mellon introducing mathematical thinking, logic, and proof-writing for beginning university students.

'Breathtaking,' 'Devastating': Mathematics Reels After New OpenAI Release(nytimes.com)

8 points by marojejian 16 days ago | 6 comments

New York Times article on mathematicians' reactions to a new OpenAI release; the capture shows a bot-detection block page instead of the article.