News

johndcook.com
johndcook.com > blog > 03/13/2026 > typesetting-sheet-music-with-ai

Typesetting sheet music with AI

4+ hour, 54+ min ago  (439+ words) Lilypond is a TeX-like typesetting language for sheet music. I've had good results asking AI to generate Lilypond code, which is surprising given the obscurity of the language. There can't be that much publicly available Lilypond code to train on....

johndcook.com
johndcook.com > blog > 03/08/2026 > how-much-certainty-is-worthwhile

Economics of formal methods

5+ day, 2+ hour ago  (335+ words) A couple weeks ago I wrote a post on a composition table, analogous to a multiplication table, for trig functions and inverse trig functions. My initial version of the table above had some errors that have been corrected. When I…...

johndcook.com
johndcook.com > blog > 03/04/2026 > an-ai-odyssey-part-2-prompting-peril

An AI Odyssey, Part 2: Prompting Peril

1+ week, 2+ day ago  (302+ words) I was working with a colleague recently on a project involving the use of the OpenAI API. I brought up the idea that, perhaps it is possible to improve the accuracy of API response by modifying the API call to…...

johndcook.com
johndcook.com > blog > 03/04/2026 > from-logistic-regression-to-ai

From logistic regression to AI

1+ week, 2+ day ago  (407+ words) It is sometimes said that neural networks are "just" logistic regression. (Remember neural networks? LLMs'are neural networks, but nobody talks about neural networks anymore.) In some sense a neural network is logistic regression with more parameters, a'lot more parameters, but…...

johndcook.com
johndcook.com > blog > 03/02/2026 > an-ai-odyssey-part-1-correctness-conundrum

An AI Odyssey, Part 1: Correctness Conundrum

1+ week, 3+ day ago  (541+ words) I recently talked with a contact who repeated what he'd heard regarding agentic AI systems'namely, that they can greatly increase productivity in professional financial management tasks. However, I pointed out that though this is true, these tools do not guarantee…...

johndcook.com
johndcook.com > blog > 02/28/2026 > file-extensions-bash

file extensions in bash scripts | shell parameter expansion

1+ week, 6+ day ago  (155+ words) I've never been good at shell scripting. I'd much rather write scripts in a general purpose language like Python. But occasionally a shell script can do something so simply that it's worth writing a shell script. Sometimes a shell scripting…...

johndcook.com
johndcook.com > blog > 02/21/2026 > big-certified-fibonacci

Computing big, certified Fibonacci numbers

2+ week, 6+ day ago  (296+ words) I've written before about computing big Fibonacci numbers, and about creating a certificate to verify a Fibonacci number has been calculated correctly. This post will revisit both, giving a different approach to computing big Fibonacci numbers that produces a certificate…...

johndcook.com
johndcook.com > blog > 02/14/2026 > wagons-algorithm-in-python

Wagon’s algorithm in Python

3+ week, 5+ day ago  (241+ words) The last three posts have been about Stan Wagon's algorithm for finding x and y satisfying x" + y" = p where p is an odd prime. The first post in the series gives Gauss' formula for a solution, but shows why…...

johndcook.com
johndcook.com > blog > 02/11/2026 > orthogonal-procrustes

Aligning one matrix with another

1+ mon, 2+ day ago  (335+ words) Suppose you have two'n " n matrices, A and B, and you would like to find a rotation matrix " that lines up'B with'A. That is, you'd like to find " such that This is asking too much, except in the trivial case…...

johndcook.com
johndcook.com > blog > 01/30/2026 > agi-asi-ai-do-we-have-all-we-need-to-get-there

AGI, ASI, A*I – Do we have all we need to get there?

1+ mon, 2+ week ago  (229+ words) Demis: "[to get to AGI] maybe there's one or two big innovations needed" Sam: "everything based off what we see today is that it will happen." Ilya: "But is the belief really that if you just 100x the scale, everything would…...