| | SK in egglog: part 4, extensional equality (chriswarbo.net) |
|
1 point by todsacerdoti 6 months ago | past
|
|
| | SK Logic in Egglog (chriswarbo.net) |
|
12 points by chriswarbo 6 months ago | past | 1 comment
|
|
| | Dependency Solving in Nix (chriswarbo.net) |
|
1 point by chriswarbo 8 months ago | past | 1 comment
|
|
| | Nix from the Bottom Up (chriswarbo.net) |
|
2 points by lemper 9 months ago | past
|
|
| | The Metric Red Herring (2022) (chriswarbo.net) |
|
20 points by thunderbong 10 months ago | past | 49 comments
|
|
| | The Backwards Compatibility of Text (chriswarbo.net) |
|
2 points by chriswarbo 10 months ago | past
|
|
| | Nix from the Bottom Up (chriswarbo.net) |
|
5 points by chriswarbo 10 months ago | 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
|
|
