Hey @SDF, your cert for 'mastodon.sdf.org' is expired.
Hasbro is releasing a version of Monopoly that, for some reason, promises to take even longer to play than regular Monopoly.
Since 12% of Monopoly games already last an infinite length of time (see: https://informs-sim.org/wsc09papers/036.pdf ), we have to assume that Hasbro has increased the average length of the game from a countably infinite length (aleph null time) to an uncountably infinite (omega) length game.
@brad makes sense, since Guix is hosted on Savannah and 'guix pull' pulls in the latest from the Git repo.
Does anyone know of a good proof for the A005566 formula in https://cs.uwaterloo.ca/journals/JIS/VOL3/GUY/catwalks.html?
#fsfbulletin was waiting for me when I got home.
@kai nope! It'd be completely new to me
"Arbitrary Code Execution in Ocarina of Time"
@a9 Yume Nikki?
How Much of a Genius-Level Move Was Using Binary Space Partitioning in Doom?
Choco now officially supports Freedoom as of last week. My two babies playing together. https://github.com/chocolate-doom/chocolate-doom/pull/1210
Here it is! I wrote up about building Terminal Phase, a space shooter which runs in your terminal, using the Racket programming language https://dustycloud.org/blog/terminal-phase-prototype/
Getting close to hitting the milestone for me to turn it into a full game: https://www.patreon.com/cwebber
I prefer AT&T syntax and probably lift more than you do.
"I appreciate SDF but it's a general-purpose server and the name doesn't make it obvious that it's about art." - Eugen Rochko