You Need Subtyping (blog.polybdenum.com) | HN Screenshots

YHacker Newsscreenshots

Screenshot of blog.polybdenum.com: You Need Subtyping

First screen, captured 1 year ago.

Looks similar

Screenshot of blog.polybdenum.com: Subtype Inference by Example

Subtype Inference by Example (blog.polybdenum.com)

18 points by azhenley 1 year ago | 4 comments

Screenshot of blog.polybdenum.com: X Design Notes: Unifying OCaml Modules and Values

X Design Notes: Unifying OCaml Modules and Values (blog.polybdenum.com)

23 points by todsacerdoti 1 year ago | 0 comments

Screenshot of blog.polybdenum.com: Designing type inference for high quality type errors

Designing type inference for high quality type errors (blog.polybdenum.com)

61 points by PaulHoule 1 year ago | 13 comments

Screenshot of solmaz.io: Typed languages are better suited for vibecoding

Typed languages are better suited for vibecoding (solmaz.io)

235 points by hosolmaz 1 year ago | 190 comments

Screenshot of philipzucker.com: Thinnings: Sublist Witnesses and de Bruijn Index Shift Clumping

Thinnings: Sublist Witnesses and de Bruijn Index Shift Clumping (philipzucker.com)

12 points by matt_d 7 months ago | 0 comments

Screenshot of journal.stuffwithstuff.com: Does Go Have Subtyping?

Does Go Have Subtyping?(journal.stuffwithstuff.com)

79 points by grep_it 3 years ago | 61 comments