Let's chill just a little bit on the "TLA+ will save AI from itself" narrative

Here’s some Rust code: // define a function fn foo (x : i32 , y : i32 ) -> i32 { // body elided } // call it let z = foo ( 5 , 6 ); In programming language jargon, we call x and y parameters and 5 and 6 arguments . Rust does not have many fancy features related to parameters and…

There's this post going around the internet called Has UML died without anyone noticing?, In the piece, Ernesto Garbarino says that UML was killed by...

You can't get them to stop talking about spines!

I started writing Logic for Programmers because there weren’t any good resources on logic for, uh, programmers. Now that the book’s out, the new problem is that there aren’t any good free resources on...

The two sides of the editor divide, and why I'm on the losing side.

Logic for Programmers [Wayne, Hillel] on Amazon.com. *FREE* shipping on qualifying offers. Logic for Programmers

Practical math for the working programmer.

An independent conference on software reliability in Columbia, MO on July 16-17, 2026

There's a new release of Logic for Programmers! This one, version 0.15, is the first true release candidate. There's a couple of minor touch-ups I need to do...

Use math to amplify your testing, data modeling, software design, and more!

Use math to amplify your testing, data modeling, software design, and more!

Short one this week because I'm way behind on book and conference prep. Last week a LinkedIn Influencer wrote about how math has nothing to do with...

Use math to amplify your testing, data modeling, software design, and more!