💧 Liquidhaskell

Refinement Types, SMT Integration, Dependent Haskell, Contract Programming

The Easiest Way to Build a Type Checker
jimmyhmiller.com·10h·
Discuss: Hacker News
⬌Bidirectional Typing
Flag this post
10 Essential Java Libraries - How Essential Are They Really?
hackernoon.com·1d
📝Concrete Syntax
Flag this post
Dingo: A Meta-Language for Go
github.com·4h·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Flag this post
Angular v21 Adds Signal Forms, New MCP Server
thenewstack.io·15h
🔌Interface Evolution
Flag this post
Show HN: Makefiles, Metalanguages, and Matrioshka Automata
robot-wranglers.github.io·1d·
Discuss: Hacker News
🦀Rust Macros
Flag this post
Railway Oriented Programming
fsharpforfunandprofit.com·3d·
Discuss: Hacker News
🧬Functional Programming
Flag this post
Lang’s theorem — Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.com·9h
λLambda Encodings
Flag this post
Building an impossible Tic-Tac-Toe with Minimax and LemonadeJS
dev.to·10h·
Discuss: DEV
⚔️Lean Tactics
Flag this post
Trying Out C++26 Executors
mropert.github.io·10h·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Flag this post
On Cloudfare and Unwrap
reddit.com·1d·
Discuss: r/rust
🦀Rust Borrowing
Flag this post
PHP 8.5 Brings Long-Awaited Pipe Operator, Adds New URI Tools
developers.slashdot.org·4h
📝Shell Parsing
Flag this post
Taming the Beast: The Move To Declarative API Validation in Kubernetes - Yongrui Lin, Google
youtube.com·1d
✅Format Validation
Flag this post
Show HN: Use any LLM in Go with stable, minimal API
github.com·1d·
Discuss: Hacker News
🧠Lisp Dialects
Flag this post
FAWK: LLMs can write a language interpreter
martin.janiczek.cz·1d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
Flag this post
From Prototype to Production: How to Engineer Reliable LLM Systems
dev.to·7h·
Discuss: DEV
💻Local LLMs
Flag this post
Type-safe `net/rpc` alternative with context support
reddit.com·9h·
Discuss: r/golang
⚡gRPC
Flag this post
Rethinking C++: Architecture, Concepts, and Responsibility
blogs.embarcadero.com·3d·
Discuss: Hacker News
🛠Language Design
Flag this post
eBPF Rootkit
synacktiv.com·12h·
Discuss: Hacker News
🛡️eBPF Security
Flag this post
Architecting Uncertainty: Designing Reliable Systems on Top of LLMs
medium.com·1d·
Discuss: Hacker News
🧩WASM Components
Flag this post
Verifying and testing timeliness constraints of Haskell programs
well-typed.com·2d·
Discuss: Hacker News
🔍Concolic Testing
Flag this post