Hacker News new | past | comments | ask | show | jobs | submit | from login

Counterexamples in Type Systems (counterexamples.org) 1 point by fanf2 3 months ago | past Counterexamples in Type Systems (counterexamples.org) 3 points by marvinborner 5 months ago | past Counterexamples in Type Systems (counterexamples.org) 4 points by surprisetalk 6 months ago | past Counterexamples in Type Systems: programs that crash, segfault or explode (2021) (counterexamples.org) 234 points by nequo on June 6, 2023 | past | 95 comments Counterexamples in Type Systems (counterexamples.org) 172 points by tempodox on May 23, 2021 | past | 62 comments Counterexamples in Type Systems (counterexamples.org) 3 points by EvgeniyZh on May 21, 2021 | past Counterexamples in Type Systems (counterexamples.org) 1 point by jlward4th on May 18, 2021 | past Counterexamples in Type Systems (counterexamples.org) 1 point by jcelerier on May 15, 2021 | past Counterexamples in Type Systems (counterexamples.org) 3 points by vilhelm_s on May 14, 2021 | past Counterexamples in Type Systems (counterexamples.org) 4 points by matt_d on May 14, 2021 | past

Consider applying for YC's Spring batch! Applications are open till Feb 11. Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact Search: