| | Shrinking While Linking (tweag.io) |
| 29 points by ingve 14 days ago | past | 8 comments |
|
| | Shrinking While Linking (tweag.io) |
| 2 points by synergy20 16 days ago | past |
|
| | Shrinking While Linking (tweag.io) |
| 49 points by ingve 17 days ago | past | 32 comments |
|
| | Mapping a universe of open source software: the Nixpkgs dependency graph (tweag.io) |
| 5 points by fanf2 17 days ago | past | 1 comment |
|
| | Migrating to Bazel symbolic macros (tweag.io) |
| 24 points by todsacerdoti 22 days ago | past | 11 comments |
|
| | Integrating Nix and Buck2 (tweag.io) |
| 4 points by ingve 4 months ago | past |
|
| | Re-implementing the Nix protocol in Rust (tweag.io) |
| 2 points by fanf2 5 months ago | past |
|
| | Publish all your crates everywhere all at once (tweag.io) |
| 2 points by ingve 5 months ago | past |
|
| | Quantifying the impact of an AI tool in our company (tweag.io) |
| 2 points by ingve 6 months ago | past |
|
| | The Minimal Megaparsec Tutorial (tweag.io) |
| 2 points by ingve 7 months ago | past |
|
| | Front end live-coding via ghci (tweag.io) |
| 2 points by ingve 8 months ago | past |
|
| | Practical recursion schemes in Rust: traversing and extending trees (tweag.io) |
| 1 point by ingve 8 months ago | past |
|
| | Introduction to NixOS Specialisations (2022) (tweag.io) |
| 1 point by steve-chavez 8 months ago | past |
|
| | Evaluating the evaluators: know your RAG metrics (tweag.io) |
| 2 points by ingve 9 months ago | past |
|
| | Compact normal forms and linear types = efficient network communication (2017) (tweag.io) |
| 2 points by todsacerdoti 9 months ago | past |
|
| | Bashfulness (tweag.io) |
| 2 points by ingve 10 months ago | past |
|
| | Writing a formatter has never been so easy: a Topiary tutorial (tweag.io) |
| 6 points by Xophmeister 10 months ago | past |
|
| | Writing a formatter has never been so easy: a Topiary tutorial (tweag.io) |
| 2 points by JNRowe 10 months ago | past |
|
| | GHC's WASM back end now supports Template Haskell and ghci (tweag.io) |
| 5 points by ingve on Nov 21, 2024 | past |
|
| | Exploring Effect in TypeScript: Simplifying Async and Error Handling (tweag.io) |
| 3 points by emschwartz on Nov 16, 2024 | past | 1 comment |
|
| | Exploring Effect in TypeScript: Simplifying Async and Error Handling (tweag.io) |
| 3 points by Smaug123 on Nov 7, 2024 | past |
|
| | Topiary – The Universal Code Formatter (tweag.io) |
| 1 point by burglins on Oct 16, 2024 | past | 1 comment |
|
| | How to make your papers run: Executable formal semantics for your language (201 (tweag.io) |
| 1 point by todsacerdoti on Oct 2, 2024 | past |
|
| | Bazel, Cabal, Stack: Why choose when you can have them all? (2019) (tweag.io) |
| 2 points by transpute on Sept 23, 2024 | past |
|
| | Reflecting away from definitions in Liquid Haskell (tweag.io) |
| 4 points by JNRowe on Sept 13, 2024 | past |
|
| | Reflecting away from definitions in Liquid Haskell (tweag.io) |
| 2 points by ingve on Sept 12, 2024 | 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 |
|
|
| More |
