💧 Liquidhaskell

Refinement Types, SMT Integration, Dependent Haskell, Contract Programming

Explicit Lossless Vertex Expanders!
gilkalai.wordpress.com·19h
💎Information Crystallography
Lobsters Interview with Zdsmith
lobste.rs·23h·
Discuss: Lobsters
🔗Concatenative Programming
Cactus Language • Semantics 3
inquiryintoinquiry.com·13h
🔢Denotational Semantics
Kubetorch: Fast ML Development on Kubernetes
run.house·1d·
Discuss: Hacker News
🏠Homelab Orchestration
Simplicity • Pragmatic Dave Thomas & Sarah Taraporewalla
youtube.com·16h
⬜Minimalism
Combobulate: Structured Editing and Navigation in Emacs with Tree-sitter
github.com·21h·
Discuss: Hacker News
✨Effect Handlers
Next steps for BPF support in the GNU toolchain
lwn.net·2d·
Discuss: Lobsters, Hacker News, r/programming
🐚Shell Monads
Love C, Hate C: Web Framework Memory Problems
alew.is·1d·
Discuss: Hacker News
🔩Systems Programming
SAT problems are kind of cool
blog.karanjanthe.me·2d·
Discuss: Hacker News
🧮SMT Solvers
English - the hottest programming language of the future
dev.to·11h·
Discuss: DEV
🔄Language Evolution
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.org·1d
⛪Church Encoding
Trillion-Scale Goldbach Verification on Consumer Hardware -novel Algorithm [pdf]
zenodo.org·1d·
Discuss: Hacker News
🔢Reed-Solomon Math
The effective LLM multi-tenant security with SQL
getbruin.com·1d·
Discuss: Hacker News
🗄️Database Internals
Python 3.14 Released with Template String Literals, Deferred Annotations, and
socket.dev·3d·
Discuss: Hacker News
💧Liquid Types
Behind the Scenes of Pingoo: Slashing allocations in Rust with mimalloc and heapless to build the fastest reverse proxy
kerkour.com·2d·
Discuss: Hacker News, r/programming
🔒Linear Types
Seeking advice on a licensing gray area: "Derivative work" or not?
news.ycombinator.com·3d·
Discuss: Hacker News
💧Liquid Types
Go + gRPC microservices (URL shortener). Looking for collaborators to improve this or start a new build.
reddit.com·1d·
Discuss: r/golang
⚡gRPC
Preventing Invalid Database Access at Compile Time
svix.com·3d·
Discuss: Hacker News, r/rust
🦀Rust Borrowing
I built a translator for spatial thinking (because I can't interview in Python)
graemefawcett.ca·10h·
Discuss: Hacker News
🔗Concatenative Programming
C++ Reflection and Qt MOC
wiki.qt.io·2d·
Discuss: Hacker News
🧩WASM Modules