madeofmistake
@madeofmistake.bsky.social
world renowned webcomic maker and sage
Pinned
Reposted by madeofmistake
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
May 11, 2025 at 4:57 AM
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
Reposted by madeofmistake
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/hillelwayne/...
You can cheat a test suite with a big enough polynomial
TDD Gone Wrong (Gone Z3xual)
buttondown.com
June 24, 2025 at 4:35 PM
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/hillelwayne/...
Reposted by madeofmistake
May 21, 2025 at 2:18 PM
Reposted by madeofmistake
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!
www.youtube.com/watch?v=EeXs...
If you have no idea what array languages are, you're in for a treat!
Julia - an Array Language
YouTube video by robert therriault
www.youtube.com
May 9, 2025 at 8:52 PM
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!
www.youtube.com/watch?v=EeXs...
If you have no idea what array languages are, you're in for a treat!
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
May 11, 2025 at 4:57 AM
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
Reposted by madeofmistake
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]
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]
April 17, 2025 at 11:23 PM
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]
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]
Reposted by madeofmistake
No, that part is obviously good. I just don't know if robots should be drinking pina coladas.
April 17, 2025 at 8:16 PM
No, that part is obviously good. I just don't know if robots should be drinking pina coladas.
Reposted by madeofmistake
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/...
The Halting Problem is a terrible example of NP-Harder
It's a justifiable copout, but it's still a copout.
buttondown.com
April 16, 2025 at 5:42 PM
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/...
Reposted by madeofmistake
Bluesky won't replace Twitter in my heart until a dumb programming tweet can start a week of ten-sided flamewars
April 11, 2025 at 2:33 AM
Bluesky won't replace Twitter in my heart until a dumb programming tweet can start a week of ten-sided flamewars
Reposted by madeofmistake
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/...
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...
buttondown.com
April 8, 2025 at 6:34 PM
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/...
Reposted by madeofmistake
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...
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...
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...
www.hillelwayne.com
April 1, 2025 at 2:42 PM
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...
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...
Reposted by madeofmistake
n² likes = n stupid Python tricks
April 2, 2025 at 2:30 PM
n² likes = n stupid Python tricks
Reposted by madeofmistake
Tacit Talk Episode 17: Uiua 0.15 with Kai Schmidt! Tune in on Feb 21! youtube.com/live/qPNbCqU...
Tacit Talk Episode 17: Uiua 0.15 with Kai Schmidt
YouTube video by code_report
youtube.com
February 5, 2025 at 12:22 AM
Tacit Talk Episode 17: Uiua 0.15 with Kai Schmidt! Tune in on Feb 21! youtube.com/live/qPNbCqU...