Counterexamples in type systems (2021) (counterexamples.org) | HN Screenshots

YHacker Newsscreenshots

Screenshot of counterexamples.org: Counterexamples in type systems (2021)

First screen, captured 3 months ago.

Looks similar

Screenshot of counterexamples.org: Counterexamples in Type Systems: programs that crash, segfault or explode (2021)

Counterexamples in Type Systems: programs that crash, segfault or explode (2021)(counterexamples.org)

212 points by nequo 3 years ago | 91 comments

Screenshot of v5.chriskrycho.com: How to Do a TypeScript Conversion

How to Do a TypeScript Conversion (v5.chriskrycho.com)

77 points by chriskrycho 3 years ago | 31 comments

Screenshot of sdiehl.github.io: Typechecker Zoo

Typechecker Zoo (sdiehl.github.io)

161 points by todsacerdoti 1 year ago | 24 comments

Screenshot of retrocmp.de: FDD – Diskettes

FDD – Diskettes (retrocmp.de)

24 points by susam 1 year ago | 4 comments

Screenshot of retrocmp.de: Floppy Disk / Diskettes // retrocmp / retro computing

Floppy Disk / Diskettes // retrocmp / retro computing (retrocmp.de)

49 points by rbanffy 1 year ago | 14 comments

Screenshot of xpqz.github.io: What about K?

What about K?(xpqz.github.io)

181 points by tosh 1 year ago | 109 comments