|
|
| | 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 allenleein 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
|
|
|
Consider applying for YC's Spring batch! Applications are open till Feb 11.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact
|
