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

YHacker Newsscreenshots

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

First screen, captured 3 years ago.

Looks similar

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

Counterexamples in type systems (2021)(counterexamples.org)

40 points by bramadityaw 3 months ago | 1 comments

Screenshot of sdiehl.github.io: Typechecker Zoo

Typechecker Zoo (sdiehl.github.io)

161 points by todsacerdoti 1 year ago | 24 comments

Screenshot of numbat.dev: Show HN: Numbat – A programming language with physical dimensions as types

Show HN: Numbat – A programming language with physical dimensions as types (numbat.dev)

107 points by sharkdp 2 years ago | 79 comments

Screenshot of borgo-lang.github.io: Borgo Programming Language

Borgo Programming Language (borgo-lang.github.io)

334 points by MrBuddyCasino 1 year ago | 159 comments

Interactive intro and playground for Borgo, a new statically typed programming language with Rust-like features that compiles to Go.

borgo go rust programming-languages

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

What about K?(xpqz.github.io)

181 points by tosh 1 year ago | 109 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