perihelions

16 ymm registers ought to be enough for anybody

Posts

• Kruskal's Tree Theorem
  by perihelionson 11/11/2025, 4:26 AMwith 0 comments
• The seven virtues of simple type theory (2008) [pdf]
  by perihelionson 11/11/2025, 12:40 AMwith 0 comments
• Trüth, Beaüty, and Volapük (2012)
  by perihelionson 11/10/2025, 2:29 PMwith 0 comments
• Volapük Is a Constructed Language
  by perihelionson 11/10/2025, 2:28 PMwith 0 comments
• Book Notes on Logic and the Philosophy of Mathematics
  by perihelionson 11/10/2025, 1:18 PMwith 0 comments
• Special counsel indicts ex-President Yoon on charges of aiding enemy
  by perihelionson 11/10/2025, 12:17 PMwith 0 comments
• South Korea's ex-president Yoon indicted on new charges
  by perihelionson 11/10/2025, 11:47 AMwith 0 comments
• Beginning Mathematical Logic: A Study Guide
  by perihelionson 11/10/2025, 3:20 AMwith 0 comments
• Deep Beneath Helsinki, the Playgrounds Are Bomb Shelters
  by perihelionson 11/7/2025, 10:07 PMwith 1 comments
• Rovina's Choice
  by perihelionson 11/7/2025, 8:37 PMwith 0 comments
• China reached out to NASA to avoid a potential satellite collision
  by perihelionson 11/7/2025, 11:33 AMwith 0 comments
• Colonial spider community in Sulfur Cave sustained by chemoautotrophy
  by perihelionson 11/6/2025, 12:25 PMwith 0 comments
• China delays Shenzhou-20 crew return after suspected space debris impact
  by perihelionson 11/6/2025, 11:38 AMwith 0 comments
• Two videos captured meteorite impacts on the lunar surface
  by perihelionson 11/5/2025, 11:50 AMwith 0 comments
• Some Data from LeelaPieceOdds
  by perihelionson 11/5/2025, 11:37 AMwith 0 comments