aparker314159
averypi.space
aparker314159
@averypi.space
Computers, TTRPGs, and math
they/them
Reposted by aparker314159
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
November 30, 2025 at 6:03 PM
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 :)
November 30, 2025 at 11:40 AM
Reposted by aparker314159
November 24, 2025 at 11:31 PM
Formal verification is basically just "@rocq is this true?"
November 20, 2025 at 9:06 PM
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
November 14, 2025 at 9:26 PM
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.
November 12, 2025 at 9:35 PM
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.
October 31, 2025 at 3:47 AM
apartment complex? what are you gonna do, compute its cohomology sequence?
October 29, 2025 at 5:54 AM
does auto insurance cover md5 collisions? asking for a friend.
October 22, 2025 at 9:02 PM
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.
October 18, 2025 at 4:08 AM
Why hasn't LLVM eliminated Toys R Us yet? It's a dead store.
October 3, 2025 at 9:04 PM
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
September 30, 2025 at 3:50 AM
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
September 29, 2025 at 2:56 PM