Stories by perihelions

Wheel Running in the Wild

U.S. Congress considers ban on Chinese collaborations

Blue Origin lands New Glenn rocket booster on second try

Danish man given suspended sentence for sharing film scenes on Reddit

Typesetting the "Begriffsschrift" by Gottlob Frege in Plain TeX [pdf]

The AI Cold War

Kruskal's Tree Theorem

The seven virtues of simple type theory (2008) [pdf]

Trüth, Beaüty, and Volapük (2012)

Volapük Is a Constructed Language

Book Notes on Logic and the Philosophy of Mathematics

Special counsel indicts ex-President Yoon on charges of aiding enemy

South Korea's ex-president Yoon indicted on new charges

Beginning Mathematical Logic: A Study Guide

Deep Beneath Helsinki, the Playgrounds Are Bomb Shelters

Rovina's Choice

China reached out to NASA to avoid a potential satellite collision

Colonial spider community in Sulfur Cave sustained by chemoautotrophy

China delays Shenzhou-20 crew return after suspected space debris impact

Two videos captured meteorite impacts on the lunar surface

1
2
3
4
5
6
7
8
9
10