What Daniel Lemire thinks about code generation

@daniel-lemire · 14 positions · On ppll ↗

Computer science professor who works on fast data processing; co-author of the simdjson parser and a weekly blogger about software performance since 2004.

Daniel Lemire did not write this page.

We collected these quotes from things they published elsewhere, and every quote links to where it was said. They have no account here and have not endorsed this site. Quotes are word for word; the short line under each one is our own restatement, not their wording. Their own site. Is this you? Claim it or ask us to remove it. Or tell us what is wrong here.

Filter code generation · Newest first

Topic

All 14software performance 4mathematics 3AI alignment 2hiring 2semiconductors 2behavioural science 1code generation 1formal proof 1ideas vs execution 1

1 more topics

metascience 1

Sort

NewestOldest

Only Daniel Lemire on code generation. See everyone on code generation

1 dated position, 2026, in their own words. Our reading of what Daniel Lemire has said — not written or endorsed by them.

1 position so far — this page is not yet offered to search engines.

1. 11 Sept 2026

   Our readingAI will increasingly produce mathematical proofs, just as it already writes most code.

   Their wordsDifficult proofs will now be built with AI, just as most code will be written with AI.

   ↗The four-colour theorem was only the startlemire.me 2nd of 3 in this piece