madeofmistake

heh

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

You can cheat a test suite with a big enough polynomial TDD Gone Wrong (Gone Z3xual)

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

Click here for more canonical smackdown:

www.smbc-comics.com/comic/auteur

YouTube video by robert therriault Julia - an Array Language

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!

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

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

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

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

he's basically just a walking ATM

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

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

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

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]

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

that doesn't sound like a problem

black scrying orb

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

true prolog has never been tried...

The Halting Problem is a terrible example of NP-Harder It's a justifiable copout, but it's still a copout.

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

thank you for hanging in there lol

lol sigh

yes of course

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

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

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

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