Representing Type Lattices Compactly (bernsteinbear.com) | HN Screenshots

YHacker Newsscreenshots

Screenshot of bernsteinbear.com: Representing Type Lattices Compactly

First screen, captured 1 year ago.

Looks similar

Screenshot of bernsteinbear.com: Compiling Typed Python

Compiling Typed Python (bernsteinbear.com)

94 points by tekknolagi 3 years ago | 46 comments

Screenshot of bernsteinbear.com: Compiling a Lisp (2020)

Compiling a Lisp (2020)(bernsteinbear.com)

95 points by swatson741 2 years ago | 27 comments

Screenshot of bernsteinbear.com: Some Tricks from the Scrapscript Compiler

Some Tricks from the Scrapscript Compiler (bernsteinbear.com)

18 points by surprisetalk 2 years ago | 6 comments

Screenshot of bernsteinbear.com: Compiling ML models to C for fun

Compiling ML models to C for fun (bernsteinbear.com)

107 points by signa11 3 years ago | 27 comments

Screenshot of bernsteinbear.com: scrapscript.py

scrapscript.py (bernsteinbear.com)

285 points by surprisetalk 2 years ago | 74 comments

Screenshot of bernsteinbear.com: Damas-Hindley-Milner inference two ways

Damas-Hindley-Milner inference two ways (bernsteinbear.com)

109 points by todsacerdoti 2 years ago | 8 comments