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

YHacker Newsscreenshots

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

First screen, captured 1 year 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 seebs.net: Infrequently Asked Questions in Comp.lang.c (1999)

Infrequently Asked Questions in Comp.lang.c (1999)(seebs.net)

60 points by hummusandsushi 3 years ago | 33 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 of thewisenerd.com: The order of files in your ext4 filesystem does not matter

The order of files in your ext4 filesystem does not matter (thewisenerd.com)

60 points by thewisenerd 1 year ago | 48 comments

Screenshot of c-faq.com: C "clockwise/spiral" rule to understand declarations

C "clockwise/spiral" rule to understand declarations (c-faq.com)

33 points by galkk 1 year ago | 38 comments

Screenshot of nongnu.org: TXR Lisp

TXR Lisp (nongnu.org)

141 points by tosh 2 years ago | 18 comments