Skip to content

Oleg Kiselyov personal blog

Principia Mathematica is modern and insightful

okmij.org 8 min read

Notes on Chapter 1 of Principia Mathematica

Read on okmij.org → Discuss on HN (157) Archived copy

Points: 281
HN comments: 157
Submissions: 1
Cited by: 0 commenters

Math & Algorithms History & Retro Computing 2026

On Hacker News

Submitted	Title on HN	Points	Comments
Aug 12, 2026	Principia Mathematica is modern and insightful by matt_d	281	157

More from Oleg Kiselyov

All 8 posts →

A dream of an ultimate OS (1995)

2019246 points175 comments Systems & Performance details

How the OCaml type checker works (2022)

2024219 points45 commentscited by 8Software Engineering details

Compilers: Incrementally and Extensibly (2024)

2025143 points44 comments Software Engineering details

Higher-kinded bounded polymorphism in OCaml (2021)

2024141 points10 comments Software Engineering details

Implementing and Understanding Type Classes (2014)

2018118 points26 commentscited by 5Software Engineering details

Monads in Scheme

2015104 points19 comments Software Engineering details

Related posts from the same era

An OpenAI model has disproved a central conjecture in discrete geometry

OpenAI Blog20261,429 points1,055 commentscited by 13 details

Sharing AI progress in mathematics

OpenAI Blog20261,363 points1,539 comments details

On the Navier–Stokes Millennium Prize Problem

OpenAI Blog20261,346 points1,137 commentscited by 21 details

Fable 5.1 Solves the Cyphral Distich, a 370-year-old cipher

Vals AI Blog20261,218 points570 comments details

Formalizing Fermat's Last Theorem

Anthropic2026773 points512 commentscited by 3 details

Square Theory

Adam Aaronson2025750 points138 comments details