| | Integrating Nix and Buck2 (tweag.io) |
| 4 points by ingve 42 days ago | past |
|
| | Re-implementing the Nix protocol in Rust (tweag.io) |
| 2 points by fanf2 60 days ago | past |
|
| | Publish all your crates everywhere all at once (tweag.io) |
| 2 points by ingve 63 days ago | past |
|
| | Quantifying the impact of an AI tool in our company (tweag.io) |
| 2 points by ingve 3 months ago | past |
|
| | The Minimal Megaparsec Tutorial (tweag.io) |
| 2 points by ingve 4 months ago | past |
|
| | Front end live-coding via ghci (tweag.io) |
| 2 points by ingve 4 months ago | past |
|
| | Practical recursion schemes in Rust: traversing and extending trees (tweag.io) |
| 1 point by ingve 5 months ago | past |
|
| | Introduction to NixOS Specialisations (2022) (tweag.io) |
| 1 point by steve-chavez 5 months ago | past |
|
| | Evaluating the evaluators: know your RAG metrics (tweag.io) |
| 2 points by ingve 6 months ago | past |
|
| | Compact normal forms and linear types = efficient network communication (2017) (tweag.io) |
| 2 points by todsacerdoti 6 months ago | past |
|
| | Bashfulness (tweag.io) |
| 2 points by ingve 7 months ago | past |
|
| | Writing a formatter has never been so easy: a Topiary tutorial (tweag.io) |
| 6 points by Xophmeister 7 months ago | past |
|
| | Writing a formatter has never been so easy: a Topiary tutorial (tweag.io) |
| 2 points by JNRowe 7 months ago | past |
|
| | GHC's WASM back end now supports Template Haskell and ghci (tweag.io) |
| 5 points by ingve 9 months ago | past |
|
| | Exploring Effect in TypeScript: Simplifying Async and Error Handling (tweag.io) |
| 3 points by emschwartz 9 months ago | past | 1 comment |
|
| | Exploring Effect in TypeScript: Simplifying Async and Error Handling (tweag.io) |
| 3 points by Smaug123 10 months ago | past |
|
| | Topiary – The Universal Code Formatter (tweag.io) |
| 1 point by burglins 11 months ago | past | 1 comment |
|
| | How to make your papers run: Executable formal semantics for your language (201 (tweag.io) |
| 1 point by todsacerdoti 11 months ago | past |
|
| | Bazel, Cabal, Stack: Why choose when you can have them all? (2019) (tweag.io) |
| 2 points by transpute 11 months ago | past |
|
| | Reflecting away from definitions in Liquid Haskell (tweag.io) |
| 4 points by JNRowe 12 months ago | past |
|
| | Reflecting away from definitions in Liquid Haskell (tweag.io) |
| 2 points by ingve 12 months ago | past |
|
| | Adding algebraic data types to Nickel (tweag.io) |
| 62 points by JNRowe on Sept 6, 2024 | past | 21 comments |
|
| | Adding algebraic data types to Nickel (tweag.io) |
| 1 point by ingve on Sept 5, 2024 | past |
|
| | Deploying Buildbarn on Kubernetes with MTLS on the Side (tweag.io) |
| 1 point by ingve on Aug 29, 2024 | past |
|
| | Let there be types: observable type sharing for GHC Core (tweag.io) |
| 2 points by ingve on Aug 15, 2024 | past |
|
| | Safe Composable Python (tweag.io) |
| 2 points by ingve on July 20, 2024 | past |
|
| | Integration testing: pain points and remedies (tweag.io) |
| 1 point by JNRowe on July 13, 2024 | past |
|
| | Nickel Modules (tweag.io) |
| 57 points by ryangibb on June 21, 2024 | past | 21 comments |
|
| | Safe Composable Python (tweag.io) |
| 2 points by ingve on June 7, 2024 | past |
|
| | Liquid Haskell Through the Compilers (tweag.io) |
| 6 points by ingve on May 30, 2024 | past |
|
|
| More |
