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
More
Join us for
AI Startup School
this June 16-17 in San Francisco!
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search: