Tractatus Logico-Philosophicus(en.wikipedia.org)

46 points by stefankuehnel 3 years ago | 36 comments

λProlog: Logic programming in higher-order logic(lix.polytechnique.fr)

149 points by ux266478 8 months ago | 36 comments

Cleo (Mathematician)(en.wikipedia.org)

246 points by djoldman 20 days ago | 55 comments

Wikipedia article on Cleo, the pseudonym of Vladimir Reshetnikov, known for posting precise answers to hard integrals on Math Stack Exchange without showing work.

Zenzizenzizenzic(en.wikipedia.org)

97 points by gyosifov 4 months ago | 29 comments

André Weil and the Hodge Conjecture(jiahao116.github.io)

29 points by caojiahao 1 month ago | 11 comments

Fundamental Problems of Lisp, the Cons Cell (2024)(xahlee.info)

66 points by gudzpoz 1 year ago | 43 comments