News

General Loading...

Software books I wish I could read

New Logic for Programmers Release! v0.11 is now available! This is over 20% longer than v0.10, with a new chapter on code proofs, three chapter overhauls,...

Read more
General Loading...

2000 words about arrays and tables

I’m way too discombobulated from getting next month’s release of Logic for Programmers ready, so I’m pulling a idea from the slush pile. Basically I wanted...

Read more
General Loading...

Programming Language Escape Hatches

The excellent-but-defunct blog Programming in the 21st Century defines “puzzle languages” as languages were part of the appeal is in figuring out how to express a...

Read more
General Loading...

Who is LLM

It’s become a common habit for developers to give Large Language Models (LLMs) a persona when working with them. I describe four of them, a stubborn...

Read more