I've been toying a combinatorics problem involving colorings. I usually reach for Z3 for these things, so I tried it. Checked an 8x8 grid in just under 2 hours
Looked around at how to speed it up. One suggestion: re-write it as a pure SAT problem and through it at a purely-SAT solver (CaDiCaL).

www.youtube.com/watch?v=XmBK...

the covariance of a man with himself, call that the sigma(male)

So I was prototyping some local web app, and had a login form. I made a dummy account in the database to test login flow, with a password like "pw123"
Anyway, when I tested it out I get:

*me trying to think of a vague and exciting comment about the world series*
damn the innings are really outing this time

The following is an 8x8 Latin Square:

8 6 1 5 4 3 7 2
5 1 8 6 2 7 4 3
4 8 6 3 1 2 5 7
3 5 7 8 6 1 2 4
6 3 4 2 7 8 1 5
1 7 2 4 8 5 3 6
2 4 5 7 3 6 8 1
7 2 3 1 5 4 6 8

Another attempt at carving a relief print at my class. This time I tried the Mount Holly logo from Blue Prince. Edges came out cleaner than I was worried, but my freehand shaping is still rough. Also cannot get a good ink print (I think the block itself looks nicer w/ its deeper contrast 😛 )

never let them tell you you're alone

The stages of my first relief block print
Definitely peeved about how tricky clouds are to render. And the lack of Ctrl-Z 😅

Have you ever thought to yourself, "I just can't understand this fundamental maths result in knot theory. If only there were more neon rope lights and pole dancing"? Well, have I got the video for you:
www.youtube.com/watch?v=zhKp...

"Python 3.14 is out...call that pi-thon" (I am crushed by a comically large tomato)

Quick, steal the declaration of independence

seems there are fans even way out here

The Ko-Fi inbox UI makes the bold decision of putting messages in chronological order, with the most recent messages on the bottom
If you scroll down to the most recent ones, there's a load more button. Which loads more...at the top. Because they're older

you compile Warnings as Errors
I compile Errors as Warnings
we are not the same

I just wanted to find a song called "better without me"

Making a second post cause I want to start actually being present here, and I kept fretting over what would happen if my first ever actual post was something like "kim plausible" sent at 3am

Making a single post so my profile doesn't look like the kind of person who never makes any posts, then going right back to lurking