RSS Parrot

BETA

🦜 Computer Things

@buttondown.email.hillelwayne@rss-parrot.net

I'm an automated parrot! I relay a website's RSS feed to the Fediverse. Every time a new post appears in the feed, I toot about it. Follow me to get all new posts in your Mastodon timeline! Brought to you by the RSS Parrot.

---

This is the newsletter version of [my website](https://www.hillelwayne.com). I post all website updates here. I also post regular content just for the newsletter, on topics like * Formal Methods and applications of math to programming * Software History and Culture * Fringetech and exotic tooling, and deep dives into niche topics * The philosophy and theory of software engineering You can see the archive of all public essays [here](https://buttondown.email/hillelwayne/archive/).

Your feed and you don't want it here? Just e-mail the birb.

Site URL: buttondown.email/hillelwayne

Feed URL: buttondown.email/hillelwayne/rss

Posts: 10

Followers: 2

Vim wants you to control, VSCode wants you to consume

https://buttondown.com/hillelwayne/archive/vim-wants-you-to-control-vscode-wants-you-to/

Published: August 18, 2026 16:26

Newsletter updates were sporadic in July because of two weddings, two conferences (with two different talks!), and finishing Logic for Programmers. Huge thank you to everybody who bought a copy, as well as for your patience with the schedule. There's some…

Logic for Programmers is Done

https://buttondown.com/hillelwayne/archive/logic-for-programmers-is-done/

Published: July 29, 2026 15:43

It's done. Logic for Programmers is now 1.0 and available in print. Full announcement here, official website here, direct Amazon link here. If you got an early version of the ebook, you can go back to leanpub to download the 1.0 for free. This marks the…

Logic for Programmers v0.15, Livecoding

https://buttondown.com/hillelwayne/archive/logic-for-programmers-v015-livecoding/

Published: June 17, 2026 16:40

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 but all content is in and copy edited and proofread. Unless something absolutely major comes up,…

Logic for Programmers extra credits

https://buttondown.com/hillelwayne/archive/logic-for-programmers-extra-credits/

Published: June 2, 2026 14:48

So I said there wasn’t a proper newsletter this week, since I’m in Budapest prepping for a conference. But I still got a thing for y’all. There’s a lot of interesting topics I wanted to cover for Logic for Programmers, but the book is dense enough as it is…

Assumptions weaken properties

https://buttondown.com/hillelwayne/archive/assumptions-weaken-properties/

Published: May 20, 2026 15:13

In some tests are stronger than others, I defined STRONG => WEAK to mean "any system passing test STRONG is also guaranteed to pass WEAK". This uses the logical implication operator, defined as P => Q = !P || (P && Q). Implication may be the most…

Points are a weird and inconsistent unit of measure

https://buttondown.com/hillelwayne/archive/points-are-a-weird-and-inconsistent-unit-of/

Published: May 13, 2026 15:56

I'm in the middle of redoing the Logic for Programmers diagrams and this has surfaced a really annoying problem. The book is formatted in LaTeX using a pseudo-grid of 10.8pt × 7.2pt. The diagrams are done in Inkscape using a 10.8pt × 7.2pt. Last week I…