Turner, Bird, Eratosthenes: An eternal burning thread(cambridge.org)43 points by matt_d 1 year ago | 10 comments
A correct-by-construction conversion from lambda calculus to combinatory logic(cambridge.org)54 points by matt_d 2 years ago | 7 comments
Monumental snake engravings of the Orinoco River (2024)(cambridge.org)17 points by bryanrasmussen 10 months ago | 2 comments
Machine conquest: Jules Verne's technocratic worldmaking(cambridge.org)54 points by johntfella 2 years ago | 61 comments
Monumental architecture in Atlantic Europe: fifth-millennium BC enclosure(cambridge.org)44 points by bookofjoe 2 years ago | 2 comments
We can mine asteroids for space food(cambridge.org)156 points by reinaldnaufal 1 year ago | 192 comments
