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