I'm personally a fan of this image, which gives us a raw look at all the vibrant colors of a celestial body. It shows us a hopeful future where we all have the freedom to run into an asteroid at 6.6 km/s

This has always been one of my favorite space photos. It's not as beautiful as some others, but it's simultaneously alien and familiar. And the effort to take this photo was monumental.

Hopefully the Dragonfly probe can give us plenty more of these :)

Formal verification is basically just "@rocq is this true?"

person who uses xe/xim pronouns with the intent of getting them added to the scrabble dictionary and all the pros have to readjust their game

They say Rocq functions are total and so always will produce a value, but if I rip the CPU out of the socket during program execution I don't get anything. Curious.

Really Haskell? You call this a `gets` function? Where's the utter lack of bounds checks? The security holes caused by buffer overflows? The docs don't even warn me never to use this function! Until this lack of bug is fixed, I will be forced to continue using C.

apartment complex? what are you gonna do, compute its cohomology sequence?

does auto insurance cover md5 collisions? asking for a friend.

When Haskell defers computations until needed it's a "revolutionary programming paradigm" and it "streamlines optimization", but when I do it I "need to properly withhold my federal taxes"? smh my head.

Why hasn't LLVM eliminated Toys R Us yet? It's a dead store.

man I'm tired of all these bot followers like I make one post and suddenly some account with a bunch of random letters for its username follows me

I have a banger idea for a post but I don't want anyone stealing it so I'm just gonna post the SHA-256 hash instead:

404cdd7bc109c432f8cc2443b45bcfe95980f5107215c645236e577929ac3e52