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

madeofmistake @madeofmistake.bsky.social · 20/04/2026

maybe you could do a star trek transporter accident thing and split into your component races?

010

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

madeofmistake @madeofmistake.bsky.social · 01/04/2026

grAy -> A = Actual grEy -> E = Erroneous

000

madeofmistake @madeofmistake.bsky.social · 24/03/2026

depending on the money i think i'd take the beating

010

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

madeofmistake @madeofmistake.bsky.social · 30/01/2026

which of those covers incompetent comic artist?

120

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

honestly within a few year i think with an LLM and some patience it will be quite doable.

010

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

in no way is the twin language for people to "use" (though they are welcome to). it's more for the aesthetics.

110

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

even in 3 i can find a ton of things to "fix"

010

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

282

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

he's basically just a walking ATM

050

madeofmistake @madeofmistake.bsky.social · 29/04/2025

as you get less egg in your diet your mind clears as if from a fog

000

madeofmistake @madeofmistake.bsky.social · 22/04/2025

just a cursory glance but this just the excuse to do a deep dive

010

madeofmistake @madeofmistake.bsky.social · 21/04/2025

i want to make a principled argument against this but in my heart i know that i only like it because it's fun as a "puzzle" language (in various senses). it has interesting things to teach but i don't know what exactly

100

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

madeofmistake @madeofmistake.bsky.social · 18/04/2025

i'm curious if you're familiar with www.metalevel.at/prolog i'm not going to claim prolog is a perfect language but this online book helped me to really enjoy prolog

metalevel.at

The Power of Prolog

Introduction to modern Prolog

110

madeofmistake @madeofmistake.bsky.social · 18/04/2025

that doesn't sound like a problem

070

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

madeofmistake @madeofmistake.bsky.social · 16/04/2025

true prolog has never been tried...

020

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

madeofmistake @madeofmistake.bsky.social · 12/04/2025

thank you for hanging in there lol

010

madeofmistake @madeofmistake.bsky.social · 12/04/2025

the book "1943" is kinda fantastic and it's all about the columbian exchange. lot's of crazy insights like about the potato

110

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