Hillel is taking a break
@hillelwayne.com
Formal methods, software history, chocolatiering. DMs open and happy to meet up in Chicago. Currently writing *Logic for Programmers* (out Q1 2026)
Newsletter: https://buttondown.email/hillelwayne/
Newsletter: https://buttondown.email/hillelwayne/
Help us feed Chicagoans who lost their SNAP benefits! Until the end of the month, buy Logic for Programmers with the coupon `feedchicago` to get 50% off. All royalties from the coupon will be donated to the Greater Chicago Food Depository (@fooddepository.bsky.social) leanpub.com/logic/c/feed...
Logic for Programmers
The mathematics that will help you in your everyday programming.
leanpub.com
November 10, 2025 at 4:37 PM
Help us feed Chicagoans who lost their SNAP benefits! Until the end of the month, buy Logic for Programmers with the coupon `feedchicago` to get 50% off. All royalties from the coupon will be donated to the Greater Chicago Food Depository (@fooddepository.bsky.social) leanpub.com/logic/c/feed...
Doom spiraled today, taking a short bsky break until I'm in a better place
October 25, 2025 at 3:50 AM
Doom spiraled today, taking a short bsky break until I'm in a better place
Being really into the Roman Empire is a major red flag, because you should be really into the Roman Republic instead
October 24, 2025 at 5:44 PM
Being really into the Roman Empire is a major red flag, because you should be really into the Roman Republic instead
Logic for programmers is now the 136th best-selling book on Leanpub! "Building Backbone Plugins", your days are NUMBERED
Logic for Programmers
The mathematics that will help you in your everyday programming.
leanpub.com
October 24, 2025 at 4:41 PM
Logic for programmers is now the 136th best-selling book on Leanpub! "Building Backbone Plugins", your days are NUMBERED
You can measure the economic value of something in Garfields. Garfield makes about 1 billion USD in revenue annually, so if an industry is smaller than that it's worth less to the world than Garfield
October 24, 2025 at 4:01 PM
You can measure the economic value of something in Garfields. Garfield makes about 1 billion USD in revenue annually, so if an industry is smaller than that it's worth less to the world than Garfield
The three hardest problems in LaTeX are line breaks, page breaks, and tweaking fonts
October 23, 2025 at 6:39 PM
The three hardest problems in LaTeX are line breaks, page breaks, and tweaking fonts
In two hours (11:40 central time) I'll be speaking about designing distributed systems with TLA+ at #P99conf! It's a free virtual conference, so no excuses not to go :)
www.p99conf.io
www.p99conf.io
P99 CONF Event 2025 – All Things Performance On-Demand
P99 CONF is a cross-industry virtual event for _engineers_ and by engineers, centered around low-latency, high-performance design.
www.p99conf.io
October 23, 2025 at 2:39 PM
In two hours (11:40 central time) I'll be speaking about designing distributed systems with TLA+ at #P99conf! It's a free virtual conference, so no excuses not to go :)
www.p99conf.io
www.p99conf.io
Kinda listless today, got basically nothing done :/
October 22, 2025 at 9:47 PM
Kinda listless today, got basically nothing done :/
Reposted by Hillel is taking a break
The New York Times recently introduced daily puzzles called Pips. You place the dominoes on the grid so the numbers satisfy the labels.
I solved Pips with cool software called a constraint solver. You give the constraints, e.g. "sum to 8", and it "magically" finds a solution. Let's look closer...
I solved Pips with cool software called a constraint solver. You give the constraints, e.g. "sum to 8", and it "magically" finds a solution. Let's look closer...
October 18, 2025 at 4:20 PM
The New York Times recently introduced daily puzzles called Pips. You place the dominoes on the grid so the numbers satisfy the labels.
I solved Pips with cool software called a constraint solver. You give the constraints, e.g. "sum to 8", and it "magically" finds a solution. Let's look closer...
I solved Pips with cool software called a constraint solver. You give the constraints, e.g. "sum to 8", and it "magically" finds a solution. Let's look closer...
After writing the last newsletter I did some experiments to see how well GPT5 would have written the same thing, and the answer is "not very".
Also I found the best real-world analogue to GPT5's writing style: quippy highscooler five paragraph essays
On the patreon: www.patreon.com/posts/gpt5-i...
Also I found the best real-world analogue to GPT5's writing style: quippy highscooler five paragraph essays
On the patreon: www.patreon.com/posts/gpt5-i...
GPT5 isn't very good at research essays | Hillel Wayne
Get more from Hillel Wayne on Patreon
www.patreon.com
October 21, 2025 at 7:20 PM
After writing the last newsletter I did some experiments to see how well GPT5 would have written the same thing, and the answer is "not very".
Also I found the best real-world analogue to GPT5's writing style: quippy highscooler five paragraph essays
On the patreon: www.patreon.com/posts/gpt5-i...
Also I found the best real-world analogue to GPT5's writing style: quippy highscooler five paragraph essays
On the patreon: www.patreon.com/posts/gpt5-i...
I've got a shiny new newsletter! "Modal editing is a weird historical contingency we have through sheer happenstance" continues my roasting of Vim in particular and modal editing in general. What can I say, hate your tools!
buttondown.com/hillelwayne/...
buttondown.com/hillelwayne/...
Modal editing is a weird historical contingency we have through sheer happenstance
If vi didn't exist, it would not have been invented.
buttondown.com
October 21, 2025 at 4:41 PM
I've got a shiny new newsletter! "Modal editing is a weird historical contingency we have through sheer happenstance" continues my roasting of Vim in particular and modal editing in general. What can I say, hate your tools!
buttondown.com/hillelwayne/...
buttondown.com/hillelwayne/...
I know this is bait (4/5 of his "good" games are shooters) but I love talking about videogames, so here's a list of videogames that gave me sublime experiences, that make videogames into something precious and special and worthy of respect. Screenshots when I 'got em
🧵
🧵
(honest question) what are the “good” video games? artistically i mean, not in a “i enjoyed this escapist slop” kind of way
Well. It's not Red Dead Redemption 2, but it's like one of three video games I'd genuinely consider good.
October 20, 2025 at 5:28 PM
I know this is bait (4/5 of his "good" games are shooters) but I love talking about videogames, so here's a list of videogames that gave me sublime experiences, that make videogames into something precious and special and worthy of respect. Screenshots when I 'got em
🧵
🧵
Is there any equivalent of www.thetorah.com for other religions, like Christianity or Islam? Basically a collaborative effort between religious authorities, academics, and historians to grappled with tough questions about Judaism, like "why is Channukah eight days when the miracle was only seven"
TheTorah.com - Academic Biblical Scholarship
Scholarship on the Torah portion, Jewish holidays, and questions of faith: Torah from Sinai, Torah from Heaven, Biblical criticism and Documentary Hypothesis.
www.thetorah.com
October 20, 2025 at 3:04 PM
Is there any equivalent of www.thetorah.com for other religions, like Christianity or Islam? Basically a collaborative effort between religious authorities, academics, and historians to grappled with tough questions about Judaism, like "why is Channukah eight days when the miracle was only seven"
Affine units are ones where X - Y is defined, as is X + (Y - Z), but X + Y is not.
Examples: temperature, timestamps, coordinate systems.
Any others that are useful in CS?
Examples: temperature, timestamps, coordinate systems.
Any others that are useful in CS?
October 17, 2025 at 9:59 PM
Affine units are ones where X - Y is defined, as is X + (Y - Z), but X + Y is not.
Examples: temperature, timestamps, coordinate systems.
Any others that are useful in CS?
Examples: temperature, timestamps, coordinate systems.
Any others that are useful in CS?
Email software is so bad
Calendar software is so bad
Android spam filter won't let me filter by prefix
Just kinda miffed at technology today
Calendar software is so bad
Android spam filter won't let me filter by prefix
Just kinda miffed at technology today
October 17, 2025 at 7:54 PM
Email software is so bad
Calendar software is so bad
Android spam filter won't let me filter by prefix
Just kinda miffed at technology today
Calendar software is so bad
Android spam filter won't let me filter by prefix
Just kinda miffed at technology today
Oh geeze TIL Zohran Mamdani is younger than me
Not by much, but still
Not by much, but still
October 17, 2025 at 2:42 PM
Oh geeze TIL Zohran Mamdani is younger than me
Not by much, but still
Not by much, but still
Sphinx doesn't support putting captions *below* code blocks in LaTeX, and after looking at how many edgecases they hardcoded into the latex stylesheets I can kinda see why
October 16, 2025 at 7:45 PM
Sphinx doesn't support putting captions *below* code blocks in LaTeX, and after looking at how many edgecases they hardcoded into the latex stylesheets I can kinda see why
Short newsletter this week, 'The Phase Change', about two years of running and what it taught me about teaching software. buttondown.com/hillelwayne/...
The Phase Change
buttondown.com
October 16, 2025 at 3:38 PM
Short newsletter this week, 'The Phase Change', about two years of running and what it taught me about teaching software. buttondown.com/hillelwayne/...
The more quotes you use the more sarcastic it is. Compare `AI "Thought Leaders"` to `AI """"Thought Leaders""""`
October 16, 2025 at 3:07 AM
The more quotes you use the more sarcastic it is. Compare `AI "Thought Leaders"` to `AI """"Thought Leaders""""`
Aww man I doomscrolled today and now I'm bummed
October 16, 2025 at 12:29 AM
Aww man I doomscrolled today and now I'm bummed
Just signed up and convinced two other people to go
still blocking literally anyone who says “don’t sign up for protests”
you should sign up for no kings
if you reply to this to argue i’m gonna block you!
you should sign up for no kings
if you reply to this to argue i’m gonna block you!
October 15, 2025 at 11:19 PM
Just signed up and convinced two other people to go
Almost 1500 people have purchased copies of *Logic for Programmers*! Has anybody had any experiences trying to apply the ideas in practice? Want to know if the book is doing its job!
October 15, 2025 at 12:55 AM
Almost 1500 people have purchased copies of *Logic for Programmers*! Has anybody had any experiences trying to apply the ideas in practice? Want to know if the book is doing its job!
I find this article by @b0rk.jvns.ca really fascinating: "Notes on switching to Helix from Vim"
I see Julia as a "tinkerer" who's really good at customizing her environments, *and also* she very much enjoys how she doesn't have to configure Helix.
Some thoughts:
jvns.ca/blog/2025/10...
I see Julia as a "tinkerer" who's really good at customizing her environments, *and also* she very much enjoys how she doesn't have to configure Helix.
Some thoughts:
jvns.ca/blog/2025/10...
Notes on switching to Helix from vim
Notes on switching to Helix from vim
jvns.ca
October 14, 2025 at 5:13 PM
I find this article by @b0rk.jvns.ca really fascinating: "Notes on switching to Helix from Vim"
I see Julia as a "tinkerer" who's really good at customizing her environments, *and also* she very much enjoys how she doesn't have to configure Helix.
Some thoughts:
jvns.ca/blog/2025/10...
I see Julia as a "tinkerer" who's really good at customizing her environments, *and also* she very much enjoys how she doesn't have to configure Helix.
Some thoughts:
jvns.ca/blog/2025/10...