Hillel
hillelwayne.com
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/
Already did! A little bit
January 9, 2026 at 9:41 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"
January 9, 2026 at 9:14 PM
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
Hey I love explaining things to people!
January 8, 2026 at 6:40 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
January 8, 2026 at 4:23 PM
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
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
Can it run on a phone
January 8, 2026 at 3:26 AM
This is a subskeet
January 7, 2026 at 5:33 AM
Aiming for 1.0 sometime this spring
January 6, 2026 at 9:09 PM
To be fair, I've prolly thrown out over 100k words while writing LfP drafts, and the NaNo was 60% filler

To be unfair, it's taken two years to get this far. At NaNo pace I would have had the book out late 2024
January 6, 2026 at 9:09 PM
I didn't write this, maybe you're thinking of this? matklad.github.io/2022/10/28/e...

I like Sphinx/rST but know a lot of people will quite reasonably bounce off it
Elements Of a Great Markup Language
This post contains some inconclusive musing on lightweight markup languages (Markdown, AsciiDoc, LaTeX, reStructuredText, etc). The overall mood is that I don't think a genuinely great markup language...
matklad.github.io
January 6, 2026 at 5:20 PM
And with that, I'm off bsky for the rest of the year! Happy holidays, take care of yourselves, and take care of one another.
December 10, 2025 at 7:16 PM
Yes, this is deliberately slightly more expensive than it cost during the charity drive. Ya shoulda fed those starving orphans
December 9, 2025 at 3:28 PM