YHacker Newsscreenshots

okmij.org on Hacker News

8 stories on the front page, newest first. Scroll down to watch the site change over time.

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

Principia Mathematica is modern and insightful (okmij.org)

254 points by matt_d 2 months ago | 135 comments

Screenshot of okmij.org: Freer Monads, More Extensible Effects (2015) [pdf]

Freer Monads, More Extensible Effects (2015) [pdf](okmij.org)

83 points by todsacerdoti 11 months ago | 19 comments

Screenshot of okmij.org: Normal-order syntax-rules and proving the fix-point of call/cc

Normal-order syntax-rules and proving the fix-point of call/cc (okmij.org)

33 points by Bogdanp 1 year ago | 1 comments

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: How the OCaml type checker works (2022)

How the OCaml type checker works (2022)(okmij.org)

207 points by mooreds 2 years ago | 37 comments

Screenshot pending…

Unhygienic and referentially opaque macros with Scheme syntax-rules [pdf] (2013)(okmij.org)

30 points by fanf2 2 years ago | 8 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 okmij.org: Patterns of data flow in words

Patterns of data flow in words (okmij.org)

46 points by sctb 3 years ago | 1 comments