| 1. | | Preventing conflicts in authoritative DNS config using formal verification (cloudflare.com) |
| 64 points by rscho 6 months ago | past | 3 comments |
|
| 2. | | Preventing conflicts in authoritative DNS config using formal verification (cloudflare.com) |
| 3 points by rscho 7 months ago | past |
|
| 3. | | How to Make Racket Go Almost as Fast as C (lambdaland.org) |
| 2 points by rscho 9 months ago | past |
|
| 4. | | Rhombus-in-the-Rough (github.com/gopiandcode) |
| 3 points by rscho on May 25, 2023 | past | 1 comment |
|
| 5. | | Playing the Game with PLT Redex (youtube.com) |
| 1 point by rscho on Sept 16, 2022 | past | 1 comment |
|
| 6. | | How does find by example work in the Pharo Finder (chicoary.wordpress.com) |
| 108 points by rscho on May 22, 2022 | past | 51 comments |
|
| 7. | | ArrayCast Episode 19:Aaron Hsu (arraycast.com) |
| 2 points by rscho on Jan 22, 2022 | past |
|
| 8. | | Ask HN: Under pressure from industry, how can academics protect themselves? |
| 6 points by rscho on Sept 23, 2021 | past | 19 comments |
|
| 9. | | ATS: Why Linear Types Are the Future of Systems Programming (youtube.com) |
| 2 points by rscho on Feb 19, 2021 | past | 1 comment |
|
| 10. | | MediKanren: A System for Bio-Medical Reasoning (youtube.com) |
| 2 points by rscho on Feb 7, 2021 | past | 1 comment |
|
| 11. | | J vs. K by Example (sourceforge.net) |
| 26 points by rscho on Feb 5, 2021 | past | 13 comments |
|
| 12. | | CakeML: A Verified Implementation of ML (cakeml.org) |
| 3 points by rscho on Feb 5, 2021 | past |
|
| 13. | | Cuis Smalltalk (github.com/cuis-smalltalk) |
| 5 points by rscho on Jan 23, 2021 | past | 1 comment |
|
| 14. | | J Language: Direct Definitions (jsoftware.com) |
| 3 points by rscho on Oct 24, 2020 | past | 5 comments |
|
| 15. | | Production Prolog (google.com) |
| 3 points by rscho on June 30, 2020 | past |
|
| 16. | | Deploying Racket Web Apps (defn.io) |
| 2 points by rscho on June 29, 2020 | past |
|
| 17. | | Ask HN: Uses of reflection/introspection for statistical programming? |
| 1 point by rscho on Jan 25, 2019 | past |
|
| 18. | | Ask HN: Can an interpreted-only language be implemented in a JITted one? |
| 4 points by rscho on Feb 25, 2018 | past | 4 comments |
|
| 19. | | Show HN: A software solution to ultrasound blood flow monitoring (epfl.ch) |
| 85 points by rscho on Jan 20, 2017 | past | 21 comments |
|
| 20. | | Show HN: A pure software solution to ultrasound blood flow measurement (epfl.ch) |
| 21 points by rscho on Dec 4, 2016 | past |
|
