What Jamie Brandon thinks about mathematics

@jamie-brandon · 18 positions · On ppll ↗

Programmer based in Vancouver who writes at scattered-thoughts.net about databases, programming language design and developer tools; author of the Imp, Dida and Zest language experiments.

Jamie Brandon 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 mathematics · Newest first

Topic

All 18 mathematics 1 LLMs 5 education 2 AGI 1 AI alignment 1 AI slop 1 behavioural science 1 code generation 1 coding agents 1

9 more topics

energy 1 epidemiology 1 health and fitness 1 libertarianism 1 SaaS 1 scaling laws 1 software performance 1 software quality 1 TypeScript 1

Sort

Newest Oldest

Only Jamie Brandon on mathematics. See everyone on mathematics

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

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

7 Apr 2026

Our readingFormalizing math is a translation task, so AI will boost top mathematicians' productivity more than top writers'.

Their wordsI expect AI to increase productivity of top mathematicians much more than that of top writers, because formalization is a kind of translation task, it doesn't require much judgement, and as long as it compiles noone needs to read the result.

↗0058: borrow-checking surprises, books, linksscattered-thoughts.net 3rd of 3 in this piece