Windows update just erased all my custom desktop backgrounds to show their spotlight photos instead What a stupid, user hostile, customer hating OS

I am delighted to announce that after 5 years of work, 15 early releases, 50,000 words written, and 100,000 more deleted, *Logic for Programmers* is now complete and available in print! Blog post announcement: www.hillelwayne.com/post/lfp/ Website: logicforprogrammers.com

Logic for Programmers

Practical math for the working programmer.

logicforprogrammers.com

Still on social media break, but popping in to say two things: 1. Next Monday I'll be speaking at @tigerbeetle.com 's Systems Distributed conference 2. Next Monday, barring a last minute catastrophe, Logic for Programmers will be purchasable in print

Taking a large social media mental health break. Reachable by email. Probably back on before softwareshould.work starts up again. Seeya in July!

Software Should Work

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

softwareshould.work

Does anybody have ins at Google marketing? I NEED to know how who was in charge of making sure this car miniature had A Chrome advert on it and how much Google had to pay (I believe the actual car had a Chrome advert, too, but surely they have to negotiate the merchandise, too?)

New newsletter, short buttondown.com/hillelwayne/...

Logic for Programmers v0.15, Livecoding

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...

buttondown.com

Next up... "Logic isn't just for detectives and mathematicians! A small bit of logic helps us programmers in all sorts of ways, from testing better to actually making sense of left outer joins." @hillelwayne.com returns to #systemsdistributed to teach Logic for Programmers!

TigerBeetle@tigerbeetle.com · 2mo ago

Opening Systems Distributed '26: Andrew Kelley's State of the Tagged Union Address! Find out what's cooking in Zig land: recent major advancements, demos of what's close to finishing, and roadmap for the next several years. #systemsdistributed @ziglang.bsky.social

Logic for Programmers v0.15 is now available! This version has the first of two proofreading passes and a smaller form-factor for phone reading. Next month: 1.0, out in print! logicforprogrammers.com

Logic for Programmers

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

logicforprogrammers.com

The next version of logicforprogrammers.com is gonna effectively be the first release candidate. I still need some minor layouting changes and indexing, but other than that all the remaining work is stuff like book covers, website, etc. If it all lines up *perfectly* it could be out by end of month

Logic for Programmers

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

logicforprogrammers.com

New newsletter: Nontrailing Do Not Spark Joy, about how JSON needs to let you end lists with commas (and tbh start them with commas) buttondown.com/hillelwayne/...

Three months ago @ttto-ok.bsky.social told me he didn't think there were any "good" tongue twisters. So for the past three months I've had like 20% of my brain dedicated to proving him wrong. Here are some of the candidates for "good" tongue twisters we found 🧵 1. "Rich liquorice fish dish"

Do you think I can sell print copies of *logic for programmers* for $50 USD y/n

Day two of #CraftConf! Gonna try skeeting from Edge in hopes it doesn't kill my battery as much as Firefox. I just got in a couple minutes late for @kentbeck.com 's "Forest & Desert & Genie". About how AI unlocks so much creativity but also has so many challenges

Hello from #CraftConf Budapest! As always, I'll be doing my best to liveskeet all the talks I attend (until my computer runs out of battery, which happens earlier every year) Keynote speaker: "Slow Down to Speed up", @gergely.pragmaticengineer.com

Giving a talk tomorrow booya

The full house of speakers for Systems Distributed '26: Andrew Kelley @axboe.bsky.social Gerard Holzmann @jamescowling.dev @heidihoward.bsky.social Ram Alagappan Aishwarya Ganesan @zooko.bsky.social @hillelwayne.com Margaret Holzmann @dominiktornow.bsky.social @joran.tigerbeetle.com

New newsletter: knowing about things is cheaper than knowing things buttondown.com/hillelwayne/...

Knowing about things is cheaper than knowing things

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...

buttondown.com

What's the weirdest category you have a favorite thing in? For example, I have a favorite math theorem en.wikipedia.org/wiki/Picard_...

Picard theorem - Wikipedia

en.wikipedia.org

Is it possible to make a slide deck in Da Vinci resolve? It's probably a terrible idea but so far no slideshow software has better fit my specific, inane needs than PowerPoint, and I despise PowerPoint

Just updated the book blurb for *Logic for Programmers*. Let me know what you think! leanpub.com/logic/

Logic for Programmers

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

leanpub.com

I've started saying "x, y, and zed" instead of "x, y, and z". I don't know where this comes from and I don't remember saying zed in any other context. Dialects are weird

Apparently books need a publisher label to be professional looking so now I'm mocking up injokes

I want this book to be over

New newsletter: adding assumptions weakens properties of systems buttondown.com/hillelwayne/...

Assumptions weaken properties

Assume a spherical cowputer

buttondown.com

It is incredible just how much better an experience it is to watch youtube on Firefox mobile than to watch Youtube on the official app (why? Adblock.)

How come nobody told me about `git add -i`

Goddamn I miss having a giant whiteboard in my home

Whenever I come back to Raku I find it so hard adjusting to the implicit coercions. Eg if you have a list of pairs, and cast that to a set, you get... a list of keys. I find I have to spend a lot of time experimenting in a REPL to write any scripts, which cuts down on my velocity

Okay this newsletter is a rabbit hole: Points are a weird and inconsistent unit of measure buttondown.com/hillelwayne/... As part of researching this, I thought I found an error in Donald Knuth's TeXBook. Turned out I didn't, but it took me way too long realize my mistake. 🧵

Points are a weird and inconsistent unit of measure

Where Webtech and LaTeX can't agree

buttondown.com

An abstraction is just a homomorphism to a non-isomorphic structure, what's the problem?