| | Multibase CLI (chriswarbo.net) |
| 1 point by ibobev 14 days ago | past |
|
| | Multibase CLI (chriswarbo.net) |
| 1 point by chriswarbo 15 days ago | past |
|
| | Homotopy Type Theory for Dummies (chriswarbo.net) |
| 2 points by fanf2 50 days ago | past | 1 comment |
|
| | Homotopy Type Theory for Dummies (chriswarbo.net) |
| 1 point by todsacerdoti 51 days ago | past |
|
| | Git in Nix via IPFS (chriswarbo.net) |
| 4 points by chriswarbo 9 months ago | past |
|
| | Lock Files Considered Harmful (chriswarbo.net) |
| 2 points by signa11 12 months ago | past |
|
| | Lock Files Considered Harmful (chriswarbo.net) |
| 3 points by todsacerdoti 12 months ago | past | 8 comments |
|
| | Nix Is a Build System (chriswarbo.net) |
| 3 points by todsacerdoti on Dec 21, 2024 | past |
|
| | SK in egglog: part 4, extensional equality (chriswarbo.net) |
| 1 point by todsacerdoti on May 10, 2024 | past |
|
| | SK Logic in Egglog (chriswarbo.net) |
| 12 points by chriswarbo on May 10, 2024 | past | 1 comment |
|
| | Dependency Solving in Nix (chriswarbo.net) |
| 1 point by chriswarbo on Feb 16, 2024 | past | 1 comment |
|
| | Nix from the Bottom Up (chriswarbo.net) |
| 2 points by lemper on Jan 26, 2024 | past |
|
| | The Metric Red Herring (2022) (chriswarbo.net) |
| 20 points by thunderbong on Jan 15, 2024 | past | 49 comments |
|
| | The Backwards Compatibility of Text (chriswarbo.net) |
| 2 points by chriswarbo on Jan 14, 2024 | past |
|
| | Nix from the Bottom Up (chriswarbo.net) |
| 5 points by chriswarbo on Jan 10, 2024 | past | 1 comment |
|
| | Nat-Like Types, or Dynamic and Static Information (chriswarbo.net) |
| 3 points by Y_Y on Feb 14, 2023 | past |
|
| | Environment Variables Are Dynamically Scoped Keyword Arguments (chriswarbo.net) |
| 2 points by chriswarbo on April 8, 2021 | past |
|
| | More Testing Terminology (chriswarbo.net) |
| 4 points by chriswarbo on July 7, 2020 | past |
|
| | The Metric Red-Herring (chriswarbo.net) |
| 3 points by chriswarbo on June 9, 2020 | past |
|
| | Minimalist Programming Languages (2014) (chriswarbo.net) |
| 1 point by chriswarbo on May 3, 2019 | past |
|
| | Free Elves (chriswarbo.net) |
| 1 point by AndyKelley on Feb 15, 2018 | past |
|
| | Curry your calls, uncurry your returns (chriswarbo.net) |
| 4 points by chriswarbo on Jan 24, 2018 | past |
|
| | Better Currying in JavaScript (2012) (chriswarbo.net) |
| 3 points by chriswarbo on Dec 9, 2017 | past |
|
| | Show HN: Haskell Theory Exploration (chriswarbo.net) |
| 1 point by chriswarbo on Nov 10, 2017 | past |
|
| | Web Hosting with IPFS and Nix (chriswarbo.net) |
| 2 points by chriswarbo on April 11, 2017 | past |
|
| | Show HN: “Active Code” in Markdown (chriswarbo.net) |
| 36 points by chriswarbo on Oct 13, 2014 | past | 10 comments |
|
| | Show HN: Plumb, a functional language embedded in PHP, JS and Python (chriswarbo.net) |
| 7 points by chriswarbo on Aug 22, 2014 | past | 6 comments |
|
| | Partial application and currying in PHP (chriswarbo.net) |
| 1 point by chriswarbo on Feb 21, 2014 | past |
|
