perihelions

16 ymm registers ought to be enough for anybody

Posts

• Blue Origin lands New Glenn rocket booster on second try
  by perihelionson 11/13/25, 9:24 PMwith 110 comments
• Danish man given suspended sentence for sharing film scenes on Reddit
  by perihelionson 11/13/25, 10:32 AMwith 1 comments
• Typesetting the "Begriffsschrift" by Gottlob Frege in Plain TeX [pdf]
  by perihelionson 11/11/25, 10:22 PMwith 1 comments
• The AI Cold War
  by perihelionson 11/11/25, 5:15 PMwith 2 comments
• Kruskal's Tree Theorem
  by perihelionson 11/11/25, 4:26 AMwith 0 comments
• The seven virtues of simple type theory (2008) [pdf]
  by perihelionson 11/11/25, 12:40 AMwith 0 comments
• Trüth, Beaüty, and Volapük (2012)
  by perihelionson 11/10/25, 2:29 PMwith 0 comments
• Volapük Is a Constructed Language
  by perihelionson 11/10/25, 2:28 PMwith 0 comments
• Book Notes on Logic and the Philosophy of Mathematics
  by perihelionson 11/10/25, 1:18 PMwith 0 comments
• Special counsel indicts ex-President Yoon on charges of aiding enemy
  by perihelionson 11/10/25, 12:17 PMwith 0 comments
• South Korea's ex-president Yoon indicted on new charges
  by perihelionson 11/10/25, 11:47 AMwith 0 comments
• Beginning Mathematical Logic: A Study Guide
  by perihelionson 11/10/25, 3:20 AMwith 0 comments
• Deep Beneath Helsinki, the Playgrounds Are Bomb Shelters
  by perihelionson 11/7/25, 10:07 PMwith 1 comments
• Rovina's Choice
  by perihelionson 11/7/25, 8:37 PMwith 0 comments
• China reached out to NASA to avoid a potential satellite collision
  by perihelionson 11/7/25, 11:33 AMwith 0 comments
• Colonial spider community in Sulfur Cave sustained by chemoautotrophy
  by perihelionson 11/6/25, 12:25 PMwith 0 comments
• China delays Shenzhou-20 crew return after suspected space debris impact
  by perihelionson 11/6/25, 11:38 AMwith 0 comments
• Two videos captured meteorite impacts on the lunar surface
  by perihelionson 11/5/25, 11:50 AMwith 0 comments
• Some Data from LeelaPieceOdds
  by perihelionson 11/5/25, 11:37 AMwith 0 comments