Most of Europe is glowing pink under the aurora
L: https://www.foto-webcam.eu/webcam/lucknerhaus/
C: https://news.ycombinator.com/item?id=40324179
posted on 2024.05.10 at 17:59:03 (c=0, p=7)

The Foundation of a Generic Theorem Prover (1989) [pdf]
L: https://arxiv.org/pdf/cs/9301105
C: https://news.ycombinator.com/item?id=40316319
posted on 2024.05.10 at 03:41:22 (c=0, p=4)