Technology
- Ridiculous trillionaire scalesFlowingData
- Hart’s theoremJohn D. Cook
- Climate.us, successor to Climate.gov, launches to the publicFlowingData
- ✚ Visualization tools, resources, and datasets — June 2026 roundupFlowingData
- Incircles and Excircles of Pythagorean trianglesJohn D. Cook
- Consecutive Pythagorean triangle sidesJohn D. Cook
- Simulations show what happens when a car and a truck hit a personFlowingData
- The Star Trek lemmaJohn D. Cook
- How synthesizers work, a visual guideFlowingData
- Regular expressions that work “everywhere”John D. Cook
- Less than half of U.S. adults have access to quality healthcareFlowingData
- Fake Polymarket winningsFlowingData
- Lobachevsky’s integral formulaJohn D. Cook
- Turning the flag algae greenFlowingData
- Queens on a prime order boardJohn D. Cook
- All pieces on a 6 by 5 boardJohn D. Cook
- Large scale hand-drawn, fictional mapFlowingData
- ✚ Great expectationsFlowingData
- Formalizing a ring theorem with Lean 4 and ClaudeJohn D. Cook
- Partial fraction decompositionJohn D. Cook
- Three examples sufficeJohn D. Cook
- Testing pentagonal numbersJohn D. Cook
- Quaternion Rotations, Claude, and LeanJohn D. Cook
- Writing Prolog with ChatGPTJohn D. Cook
- RSA munitions T-shirtJohn D. Cook
- Solving a chess puzzle with Claude and PrologJohn D. Cook
- Formally proving a calculation with Claude and LeanJohn D. Cook
- Pulling on a threadJohn D. Cook
- Aitken acceleration before AitkenJohn D. Cook
- The Laplace limitJohn D. Cook
- A crank formula for πJohn D. Cook
- From Kepler to BesselJohn D. Cook
- Mr. Bessel’s eponymous functionsJohn D. Cook
- The Latin of LinuxJohn D. Cook
- Integrating smooth periodic functionsJohn D. Cook
- Maths GCSE Paper 3Mathematics, Learning and Technology
- Partitions over permutationsJohn D. Cook
- Naively summing an alternating seriesJohn D. Cook
- It’s not just Taylor seriesJohn D. Cook
- Subscribe by emailJohn D. Cook
- Another Gaussian approximationJohn D. Cook