iiinova — where your digital self keeps evolving

Reposted by madeofmistake

Hillel @hillelwayne.com · 29/07/2026

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

logicforprogrammers.com

Logic for Programmers

Practical math for the working programmer.

1020348

Reposted by madeofmistake

Hillel @hillelwayne.com · 07/04/2026

Doomscrolling has made me unmotivated to do long-term work, so to force myself to be doing *something* besides doomscrolling: n² likes = n obscure software engineering concepts/principles/memes I find super useful

425814

Reposted by madeofmistake

qntm @qntm.org · 14/03/2026

Cokes Zero

8732

Reposted by madeofmistake

kota ⭔ @maristela.org · 06/03/2026

investors ask me "ok but what IS lilypad" and i just show them this image and leave like a boss

021

Reposted by madeofmistake

Hillel @hillelwayne.com · 14/01/2026

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

buttondown.com

My Gripes with Prolog

It's not my favorite language

4182

Reposted by madeofmistake

madeofmistake @madeofmistake.bsky.social · 11/05/2025

there should be two versions of every programming language: the regular one for getting things done and the twin language with no regard for backward compatibility that fixes every suboptimal decision and makes the best version of the language

282

Reposted by madeofmistake

Hillel @hillelwayne.com · 24/06/2025

New newsletter! "You can cheat a test suite with a big enough polynomial" shows how to generate polynomials that pass a set of unit tests, using the insanely cool technology of SMT solving! buttondown.com/hillelwayne/...

buttondown.com

You can cheat a test suite with a big enough polynomial

TDD Gone Wrong (Gone Z3xual)

0174

Reposted by madeofmistake

Zach Weinersmith @zachweinersmith.bsky.social · 21/05/2025

Click here for more canonical smackdown: www.smbc-comics.com/comic/auteur

1634956

Reposted by madeofmistake

miguelraz_t @movraxrax.bsky.social · 09/05/2025

Oh btw I was recently on the #arraycast with @codereport.bsky.social , Bob Therriault and Marshall Lochbaum www.youtube.com/watch?v=EeXs... If you have no idea what array languages are, you're in for a treat!

youtube.com

Julia - an Array Language

YouTube video by robert therriault

021

madeofmistake @madeofmistake.bsky.social · 11/05/2025

282

Reposted by madeofmistake

Keenan Crane @keenancrane.bsky.social · 18/04/2025

Here's a nice "proof without words": The sum of the squares of several positive values can never be bigger than the square of their sum. This picture helps make sense of how ℓ₁ and ℓ₂ norms regularize and sparsify solutions (resp.). [1/n]

416531

Reposted by madeofmistake

Cow Tongue @cowtung.eth.xyz · 17/04/2025

No, that part is obviously good. I just don't know if robots should be drinking pina coladas.

1121

Reposted by madeofmistake

Hillel @hillelwayne.com · 16/04/2025

Newsletter for this week is finally out! It's about why The Halting Problem is a bad example of an NP-hard problem, why finding a better example is really damn difficult, and what my choice of a "better example" ends up being. buttondown.com/hillelwayne/...

buttondown.com

The Halting Problem is a terrible example of NP-Harder

It's a justifiable copout, but it's still a copout.

2278

Reposted by madeofmistake

Hillel @hillelwayne.com · 11/04/2025

Bluesky won't replace Twitter in my heart until a dumb programming tweet can start a week of ten-sided flamewars

2402

Reposted by madeofmistake

Hillel @hillelwayne.com · 08/04/2025

I just wrote 'Solving a "Layton Puzzle" with Prolog'. It's about the most important use-case of logic programming: solving hard puzzles! buttondown.com/hillelwayne/...

buttondown.com

Solving a "Layton Puzzle" with Prolog

I have a lot in the works for the this month's Logic for Programmers release. Among other things, I'm completely rewriting the chapter on Logic Programming...

1161

Reposted by madeofmistake

Hillel @hillelwayne.com · 01/04/2025

Today's April Cools! Every year on April 1st, a bunch of us write blog posts outside our normal blogging content. This year, I wrote a 3,000 word introduction to video games! It's about the best ones to try if you've never played a videogame before. www.hillelwayne.com/post/vidja-g...

hillelwayne.com

Gamer Games for Non-Gamers

It’s April Cools! It’s like April Fools, except instead of cringe comedy you make genuine content that’s different from what you usually do. For example, last year I talked about the 3400-year history...

5234

Reposted by madeofmistake

Hillel @hillelwayne.com · 02/04/2025

n² likes = n stupid Python tricks

518614