Lambda Capabilities (roscidus.com) | HN Screenshots

YHacker Newsscreenshots

Screenshot of roscidus.com: Lambda Capabilities

First screen, captured 3 years ago.

Looks similar

Screenshot of roscidus.com: Linux mode setting, from the comfort of OCaml

Linux mode setting, from the comfort of OCaml (roscidus.com)

75 points by ibobev 11 months ago | 15 comments

Screenshot of roscidus.com: Proving Liveness with TLA

Proving Liveness with TLA (roscidus.com)

28 points by ibobev 9 months ago | 1 comments

Screenshot of troydm.github.io: Writing Micro Compiler in OCaml (2014)

Writing Micro Compiler in OCaml (2014)(troydm.github.io)

18 points by notagoodidea 1 year ago | 0 comments

Screenshot of jacquesmattheij.com: Domain knowledge or a lack thereof (2013)

Domain knowledge or a lack thereof (2013)(jacquesmattheij.com)

91 points by ggr2342 3 years ago | 27 comments

Screenshot of crocidb.com: Demystifying the (Shebang): Kernel Adventures

Demystifying the (Shebang): Kernel Adventures (crocidb.com)

168 points by thunderbong 1 year ago | 32 comments

Screenshot of thomasw.dev: Emulating the Early Macintosh Floppy Drive

Emulating the Early Macintosh Floppy Drive (thomasw.dev)

78 points by GloriousCow 2 years ago | 36 comments