| | Sheaves in Haskell (tweag.io) |
| 2 points by matt_d 21 days ago | past |
|
| | Writing static checks to an unsuspecting library with Liquid Haskell (tweag.io) |
| 2 points by matt_d 21 days ago | past |
|
| | Sheaves in Haskell (tweag.io) |
| 4 points by ingve 43 days ago | past |
|
| | Writing static checks to an unsuspecting library with Liquid Haskell (tweag.io) |
| 3 points by ingve 47 days ago | past |
|
| | Nickel Since 1.0 (tweag.io) |
| 1 point by ingve 5 months ago | past |
|
| | Doctor Xælong, or: How I learnt to stop worrying and love AI (tweag.io) |
| 3 points by Xophmeister 5 months ago | past | 1 comment |
|
| | The quest for grammar combinators: introducing the Pup library (tweag.io) |
| 2 points by ingve 6 months ago | past |
|
| | A faster path to container images in Bazel (tweag.io) |
| 104 points by malt3 7 months ago | past | 58 comments |
|
| | Shrinking While Linking (tweag.io) |
| 29 points by ingve 8 months ago | past | 8 comments |
|
| | Shrinking While Linking (tweag.io) |
| 2 points by synergy20 8 months ago | past |
|
| | Shrinking While Linking (tweag.io) |
| 49 points by ingve 8 months ago | past | 32 comments |
|
| | Mapping a universe of open source software: the Nixpkgs dependency graph (tweag.io) |
| 5 points by fanf2 8 months ago | past | 1 comment |
|
| | Migrating to Bazel symbolic macros (tweag.io) |
| 24 points by todsacerdoti 8 months ago | past | 11 comments |
|
| | Integrating Nix and Buck2 (tweag.io) |
| 4 points by ingve on July 31, 2025 | past |
|
| | Re-implementing the Nix protocol in Rust (tweag.io) |
| 2 points by fanf2 on July 14, 2025 | past |
|
| | Publish all your crates everywhere all at once (tweag.io) |
| 2 points by ingve on July 10, 2025 | past |
|
| | Quantifying the impact of an AI tool in our company (tweag.io) |
| 2 points by ingve on May 29, 2025 | past |
|
| | The Minimal Megaparsec Tutorial (tweag.io) |
| 2 points by ingve on April 25, 2025 | past |
|
| | Front end live-coding via ghci (tweag.io) |
| 2 points by ingve on April 17, 2025 | past |
|
| | Practical recursion schemes in Rust: traversing and extending trees (tweag.io) |
| 1 point by ingve on April 10, 2025 | past |
|
| | Introduction to NixOS Specialisations (2022) (tweag.io) |
| 1 point by steve-chavez on March 28, 2025 | past |
|
| | Evaluating the evaluators: know your RAG metrics (tweag.io) |
| 2 points by ingve on Feb 27, 2025 | past |
|
| | Compact normal forms and linear types = efficient network communication (2017) (tweag.io) |
| 2 points by todsacerdoti on Feb 27, 2025 | past |
|
| | Bashfulness (tweag.io) |
| 2 points by ingve on Feb 13, 2025 | past |
|
| | Writing a formatter has never been so easy: a Topiary tutorial (tweag.io) |
| 6 points by Xophmeister on Feb 6, 2025 | past |
|
| | Writing a formatter has never been so easy: a Topiary tutorial (tweag.io) |
| 2 points by JNRowe on Jan 31, 2025 | 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 |
|
|
| More |
