Principia Mathematica is modern and insightful (okmij.org) | HN Screenshots

YHacker Newsscreenshots

Screenshot of okmij.org: Principia Mathematica is modern and insightful

First screen, captured 2 months ago.

Looks similar

Screenshot of okmij.org: Compilers: Incrementally and Extensibly (2024)

Compilers: Incrementally and Extensibly (2024)(okmij.org)

133 points by todsacerdoti 1 year ago | 31 comments

Screenshot of okmij.org: Higher-kinded bounded polymorphism in OCaml (2021)

Higher-kinded bounded polymorphism in OCaml (2021)(okmij.org)

132 points by tinyspacewizard 2 years ago | 9 comments

Screenshot of pespmc1.vub.ac.be: Ashby's book "Introduction to Cybernetics" (2003)

Ashby's book "Introduction to Cybernetics" (2003)(pespmc1.vub.ac.be)

44 points by carapace 3 years ago | 1 comments

Screenshot of pespmc1.vub.ac.be: Welcome to Principia Cybernetica Web (2002)

Welcome to Principia Cybernetica Web (2002)(pespmc1.vub.ac.be)

15 points by RafelMri 2 years ago | 5 comments

Screenshot of paultaylor.eu: Practical Foundations of Mathematics

Practical Foundations of Mathematics (paultaylor.eu)

95 points by nill0 1 year ago | 19 comments

Screenshot of orwell.ru: Second Thoughts on James Burnham (1946)

Second Thoughts on James Burnham (1946)(orwell.ru)

25 points by allthebest 3 years ago | 5 comments