YHacker Newsscreenshots

counterexamples.org on Hacker News

2 stories on the front page, newest first. Scroll down to watch the site change over time.

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 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