|
|
| | Show HN: Live software archaeology of FOL (theory of reasoning) (livecode.ch) | | 3 points by namin 7 months ago | past | |
| | The Unsound Playground: Java and Scala's type systems are unsound (livecode.ch) | | 4 points by josephcsible on Aug 20, 2022 | past | |
| | Show HN: Turn GitHub repos into tutorials with code that can be edited and run (livecode.ch) | | 4 points by namin on May 1, 2022 | past | 1 comment | |
| | The Unsound Playground (2016) (livecode.ch) | | 15 points by tosh on April 15, 2021 | past | 1 comment | |
| | Black Scheme (livecode.ch) | | 2 points by dustingetz on Aug 8, 2020 | past | |
| | miniKanren: an interactive Tutorial (livecode.ch) | | 1 point by homarp on Sept 26, 2018 | past | 1 comment | |
| | A Unified Approach to Solving Seven Programming Problems (Functional Pearl) (livecode.ch) | | 2 points by allenleee on Feb 20, 2018 | past | |
| | A Unified Approach to Solving Seven Programming Problems (livecode.ch) | | 2 points by colinprince on Sept 12, 2017 | past | |
| | logic programming with miniKanren: an interactive Tutorial (livecode.ch) | | 1 point by setra on Dec 20, 2016 | past | |
| | The Unsound Playground: Java and Scala's Type Systems are Unsound (livecode.ch) | | 206 points by theemathas on Nov 27, 2016 | past | 124 comments | |
| | The Java (and Scala) type system is unsound (livecode.ch) | | 2 points by RMarcus on Nov 27, 2016 | past | |
| | The Unsound Playground – Breaking Java's and Scala's Type Systems (livecode.ch) | | 3 points by virtualwhys on Oct 18, 2016 | past | 1 comment | |
| | interactive programming tutorials, powered by GitHub and Docker (livecode.ch) | | 7 points by namin on April 1, 2016 | past | |
|
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact
|
