Hacker News new | past | comments | ask | show | jobs | submit | from login
The Minimal Megaparsec Tutorial (tweag.io)
2 points by ingve 5 days ago | past | discuss
Front end live-coding via ghci (tweag.io)
2 points by ingve 13 days ago | past | discuss
Practical recursion schemes in Rust: traversing and extending trees (tweag.io)
1 point by ingve 20 days ago | past
Introduction to NixOS Specialisations (2022) (tweag.io)
1 point by steve-chavez 33 days ago | past
Evaluating the evaluators: know your RAG metrics (tweag.io)
2 points by ingve 62 days ago | past
Compact normal forms and linear types = efficient network communication (2017) (tweag.io)
2 points by todsacerdoti 62 days ago | past
Bashfulness (tweag.io)
2 points by ingve 76 days ago | past
Writing a formatter has never been so easy: a Topiary tutorial (tweag.io)
6 points by Xophmeister 83 days ago | past
Writing a formatter has never been so easy: a Topiary tutorial (tweag.io)
2 points by JNRowe 89 days ago | past
GHC's WASM back end now supports Template Haskell and ghci (tweag.io)
5 points by ingve 5 months ago | past
Exploring Effect in TypeScript: Simplifying Async and Error Handling (tweag.io)
3 points by emschwartz 5 months ago | past | 1 comment
Exploring Effect in TypeScript: Simplifying Async and Error Handling (tweag.io)
3 points by Smaug123 5 months ago | past
Topiary – The Universal Code Formatter (tweag.io)
1 point by burglins 6 months ago | past | 1 comment
How to make your papers run: Executable formal semantics for your language (201 (tweag.io)
1 point by todsacerdoti 7 months ago | past
Bazel, Cabal, Stack: Why choose when you can have them all? (2019) (tweag.io)
2 points by transpute 7 months ago | past
Reflecting away from definitions in Liquid Haskell (tweag.io)
4 points by JNRowe 7 months ago | past
Reflecting away from definitions in Liquid Haskell (tweag.io)
2 points by ingve 7 months ago | past
Adding algebraic data types to Nickel (tweag.io)
62 points by JNRowe 7 months ago | past | 21 comments
Adding algebraic data types to Nickel (tweag.io)
1 point by ingve 7 months ago | past
Deploying Buildbarn on Kubernetes with MTLS on the Side (tweag.io)
1 point by ingve 8 months ago | past
Let there be types: observable type sharing for GHC Core (tweag.io)
2 points by ingve 8 months ago | past
Safe Composable Python (tweag.io)
2 points by ingve 9 months ago | past
Integration testing: pain points and remedies (tweag.io)
1 point by JNRowe 9 months ago | past
Nickel Modules (tweag.io)
57 points by ryangibb 10 months ago | past | 21 comments
Safe Composable Python (tweag.io)
2 points by ingve 10 months ago | past
Liquid Haskell Through the Compilers (tweag.io)
6 points by ingve 11 months ago | past
Nickel: Toward a Programmable LSP for Configurations (tweag.io)
2 points by ingve 11 months ago | past
Re-implementing the Nix protocol in Rust (tweag.io)
2 points by ellieh 11 months ago | past
The right words in the right place: Nix documentation is getting better (tweag.io)
3 points by ingve 12 months ago | past
Re-implementing the Nix protocol in Rust (tweag.io)
2 points by JNRowe on April 26, 2024 | past

Join us for AI Startup School this June 16-17 in San Francisco!

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: