Hillel
@hillelwayne.com
Formal methods, software history, chocolatiering. DMs open and happy to meet up in Chicago. Currently writing *Logic for Programmers* (out Q2 2026)
Newsletter: https://buttondown.email/hillelwayne/
Newsletter: https://buttondown.email/hillelwayne/
Reposted by Hillel
You can get your own spinning avvie by following these instructions! gist.github.com/hwayne/51150...
Bsky spinner
Bsky spinner. GitHub Gist: instantly share code, notes, and snippets.
gist.github.com
January 15, 2026 at 8:31 PM
You can get your own spinning avvie by following these instructions! gist.github.com/hwayne/51150...
You can get your own spinning avvie by following these instructions! gist.github.com/hwayne/51150...
Bsky spinner
Bsky spinner. GitHub Gist: instantly share code, notes, and snippets.
gist.github.com
January 15, 2026 at 8:31 PM
You can get your own spinning avvie by following these instructions! gist.github.com/hwayne/51150...
Looks like the first two are X11 only? Last one does only key remapping, doesn't do GUIs or window switching or anything like that
(Also second one looks like it does AHKv1 syntax, which is a bad syntax)
(Also second one looks like it does AHKv1 syntax, which is a bad syntax)
January 15, 2026 at 5:59 PM
Looks like the first two are X11 only? Last one does only key remapping, doesn't do GUIs or window switching or anything like that
(Also second one looks like it does AHKv1 syntax, which is a bad syntax)
(Also second one looks like it does AHKv1 syntax, which is a bad syntax)
Windows 11 updates reaaaaaally bringing me to my breaking point
Someone please convert AutoHotKey to ubuntu so I can free myself of this OS
Someone please convert AutoHotKey to ubuntu so I can free myself of this OS
January 15, 2026 at 5:36 PM
Windows 11 updates reaaaaaally bringing me to my breaking point
Someone please convert AutoHotKey to ubuntu so I can free myself of this OS
Someone please convert AutoHotKey to ubuntu so I can free myself of this OS
There's a reason logic programming didn't take over the world, and half that reason is `sort`
January 14, 2026 at 4:58 PM
There's a reason logic programming didn't take over the world, and half that reason is `sort`
I have some complaints about Prolog.
I have many complaints about Prolog.
I wrote up *most* of my complaints about Prolog in this week's newsletter: buttondown.com/hillelwayne/...
I have many complaints about Prolog.
I wrote up *most* of my complaints about Prolog in this week's newsletter: buttondown.com/hillelwayne/...
My Gripes with Prolog
It's not my favorite language
buttondown.com
January 14, 2026 at 4:50 PM
I have some complaints about Prolog.
I have many complaints about Prolog.
I wrote up *most* of my complaints about Prolog in this week's newsletter: buttondown.com/hillelwayne/...
I have many complaints about Prolog.
I wrote up *most* of my complaints about Prolog in this week's newsletter: buttondown.com/hillelwayne/...
Reposted by Hillel
Reading "logic for programmers" by @hillelwayne.com
I love how it articulates the relationship between types, tests, contracts.
I love how it articulates the relationship between types, tests, contracts.
January 11, 2026 at 8:59 PM
Reading "logic for programmers" by @hillelwayne.com
I love how it articulates the relationship between types, tests, contracts.
I love how it articulates the relationship between types, tests, contracts.
The problem is that the minizinc section of the book is already 4000 words and LP only like 2000
January 12, 2026 at 4:31 PM
The problem is that the minizinc section of the book is already 4000 words and LP only like 2000
Already did! A little bit
January 9, 2026 at 9:41 PM
Already did! A little bit
CLP is interesting in that it influenced development of search-guided constraint solvers and the creation of Picat, but there's not much else to say besides "hey Prolog has a CP library"
January 9, 2026 at 9:14 PM
CLP is interesting in that it influenced development of search-guided constraint solvers and the creation of Picat, but there's not much else to say besides "hey Prolog has a CP library"
Finally trying to add Constraint Logic Programming to Logic for Programmers. As part of due diligence I also looked into Answer Set Programming... and now I'm not even sure if I want to cover CLP? ASP just seems like a much more important topic
January 9, 2026 at 9:14 PM
Finally trying to add Constraint Logic Programming to Logic for Programmers. As part of due diligence I also looked into Answer Set Programming... and now I'm not even sure if I want to cover CLP? ASP just seems like a much more important topic
If I had another year to work on Logic for Programmers I'd have a chapter on data modeling refinements between OLTP and OLAP
January 9, 2026 at 3:28 AM
If I had another year to work on Logic for Programmers I'd have a chapter on data modeling refinements between OLTP and OLAP
TIL SQLite doesn't automatically enforce foreign key constraints. You gotta add `PRAGMA foreign_keys = ON;`
January 8, 2026 at 7:46 PM
TIL SQLite doesn't automatically enforce foreign key constraints. You gotta add `PRAGMA foreign_keys = ON;`
Hey I love explaining things to people!
January 8, 2026 at 6:40 PM
Hey I love explaining things to people!
Right now just one note with five headers. I haven't organized tasks properly uyet, mostly using it for knowledge management. A friend showed me a really cool plugin for when I eventually do task management.
New ideas and topics get separate notes
New ideas and topics get separate notes
January 8, 2026 at 4:23 PM
Right now just one note with five headers. I haven't organized tasks properly uyet, mostly using it for knowledge management. A friend showed me a really cool plugin for when I eventually do task management.
New ideas and topics get separate notes
New ideas and topics get separate notes
Can I drag and drop an image onto it and have it automatically save the image and embed it
January 8, 2026 at 3:31 AM
Can I drag and drop an image onto it and have it automatically save the image and embed it
One new note for each day with standardized categories gets a lot of the way there. I've got {Habits, Tasks, TIL, Ideas, Media}
January 8, 2026 at 3:31 AM
One new note for each day with standardized categories gets a lot of the way there. I've got {Habits, Tasks, TIL, Ideas, Media}
@obsidian.md has accomplished the impossible feat of being a knowledge management software I've stuck with for more than a month
January 8, 2026 at 2:14 AM
@obsidian.md has accomplished the impossible feat of being a knowledge management software I've stuck with for more than a month
TIL it's not true that "cake mixes added an egg so housewives would feel like they did something." They added an egg because eggless cake mixes sucked.
(To make housewives feel like they did something, companies suggested making multilayered frosted cakes with mixes)
www.snopes.com/fact-check/s...
(To make housewives feel like they did something, companies suggested making multilayered frosted cakes with mixes)
www.snopes.com/fact-check/s...
Requiring an Egg Made Instant Cake Mixes Sell?
Rumor: Instant cake mixes sold poorly until one food company decided to require the addition of a fresh egg to their product.
www.snopes.com
January 7, 2026 at 9:01 PM
TIL it's not true that "cake mixes added an egg so housewives would feel like they did something." They added an egg because eggless cake mixes sucked.
(To make housewives feel like they did something, companies suggested making multilayered frosted cakes with mixes)
www.snopes.com/fact-check/s...
(To make housewives feel like they did something, companies suggested making multilayered frosted cakes with mixes)
www.snopes.com/fact-check/s...
Clean coders would literally rather give functions misleading names than write informative comments
January 7, 2026 at 5:33 AM
Clean coders would literally rather give functions misleading names than write informative comments
Aiming for 1.0 sometime this spring
January 6, 2026 at 9:09 PM
Aiming for 1.0 sometime this spring