true!
Posts by cosmo.
auspicious juxtaposition
aerospike engines look so goddamn cool
Folkert and Waffle have submitted a project goal to move explicit tail calls forward in 2026. In this blog, Folkert explains the work ahead: trifectatech.org/blog/tail-ca...
@wffl.ihatereality.space
#rustlang
ah, nice!
e.g. when humans are playing chess at the highest level, they always deliberately play unusual moves (instead of just the “best” one) in order to prevent the opponent from playing a standard draw, in the hopes that they will make mistakes as they deviate
getting a draw in chess isn’t actually very impressive – it’s widely agreed that the starting position is a dead draw at even moderately high levels, and the real test of a chess engine is to play using a varied opening book!
negamax is the main algorithm used by chess engines to determine the value of positions. quiescence is a restricted form of negamax that searches only moves that change the material on the board, like captures and promotions (trying to make the position “quiet” → quiescing search).
Servo 0.1.0 is out! 🚀
This is our first release available in crates.io and our first LTS version
servo.org/blog/2026/04...
linguistics researchers are massive dorks. "ARPABET" is a ridiculous name in itself but if you made a large pronunciation dataset, what would you name it?
..not "WikiPron", right? well. they would.
guy who pronounces mutex like latex
"Reid Wiseman reporting four green crewmembers. That is not their complexion, that is ... that's the fact that they're in great condition. That's what that means."
thank you nasa explainey guy
enjoying a flight of directed acyclic graphs at the Innsmouth crafthouse
this is such a clever joke
Mythos
nutella free in space on artemis orion
THE NUTELLA HAS COME LOOSE
claude shannon was serving here
That's home. That's us.
This image of home just came down from the Artemis II crew.
Taken after their translunar injection burn, there are aurorae at top right and lower left, and zodiacal light at lower right.
Credit: NASA/Reid Wiseman
SRB SEP
ITS BEAUTIFUL
"We've got a beautiful moonrise and we're headed right at it." -Wiseman
the pumping dilemna: there are a sequence of s people tied to a railroad track, s drawn from regular language L. if s is big enough, you can pull a lever l, you can split s into subsequences x y z, such that the trolley only hits y, the subsequence x z is still in L.
but i don't want to use SPSA. i want to use some bullshit i half-remembered seeing on arxiv
WAR IS PEACE
FREEDOM IS SLAVERY
CAR EXTENDS VEHICLE