Everything you care about in one place
Follow feeds: blogs, news, RSS and more. An effortless way to read and digest content of your choice.
Get Feederbuttondown.email
Newsletter feed for Computer Things
Get the latest updates from Newsletter feed for Computer Things directly as they happen.
Follow now 28 followers
Latest posts
Last updated 10 days ago
Software books I wish I could read
10 days ago
New Logic for Programmers Release v0.11 is now available! This is over...
2000 words about arrays and tables
17 days ago
I'm way too discombobulated from getting next month's release of Logic for...
Programming Language Escape Hatches
23 days ago
The excellent-but-defunct blog Programming in the 21st Century defines "puzzle languages" as...
Maybe writing speed actually is a bottleneck for programming
29 days ago
I'm a big (neo)vim buff. My config is over 1500 lines and...
Maybe writing speed actually is a bottleneck for programming
29 days ago
I'm a big (neo)vim buff. My config is over 1500 lines and...
Logic for Programmers Turns One
about 1 month ago
I released Logic for Programmers exactly one year ago today. It feels...
Logical Quantifiers in Software
about 1 month ago
I realize that for all I've talked about Logic for Programmers in...
You can cheat a test suite with a big enough polynomial
about 2 months ago
Hi nerds, I'm back from Systems Distributed! I'd heartily recommend it, wildest...
Solving LinkedIn Queens with SMT
2 months ago
No newsletter next week I’ll be speaking at Systems Distributed. My talk...
AI is a gamechanger for TLA+ users
2 months ago
New Logic for Programmers Release v0.10 is now available! This is a...
AI is a gamechanger for TLA+ users
2 months ago
New Logic for Programmers Release v0.10 is now available! This is a...
What does "Undecidable" mean, anyway
3 months ago
Systems Distributed I'll be speaking at Systems Distributed next month! The talk...