💧 Liquidhaskell

Refinement Types, SMT Integration, Dependent Haskell, Contract Programming

Interoperability in 2025: Beyond the Erlang VM
elixir-lang.org·15h·
Discuss: Lobsters, Hacker News
🔒Linear Types
Clojure Async Flow Guide
clojure.github.io·1d·
Discuss: Lobsters, Hacker News
🐚Shell Calculus
Binary Tree BFS: Zigzag Order
mmhaskell.com·1d
🔗Topological Sorting
Oxlint Introduces Type-Aware Linting Preview
socket.dev·18h·
Discuss: Hacker News
🎯Gradual Typing
Injection-proof SQL builders in Go
oblique.security·21h·
Discuss: r/golang
✅Format Verification
Are We Teaching Rust Effectively?
blog.kodewerx.org·1d·
Discuss: Hacker News
🦀Rust Borrowing
Modular Arithmetic in Data Science
towardsdatascience.com·13h
📐Interval Arithmetic
Code Smell 308 - The Key to Safer, Cleaner, More Polymorphic Code
hackernoon.com·1d
🎯Gradual Typing
GPT-5 goes hard on real-world programming
omerba.dev·23h·
Discuss: Lobsters, Hacker News
✅Format Verification
Implicit-Explicit Scheme with Multiscale Vanka Two-Grid Solver for Heterogeneous Unsaturated Poroelasticity
arxiv.org·9h
🎯Performance Proofs
Generic Reduction-Based Interpreters (Extended Version)
arxiv.org·1d
🔗Parser Combinators
Customizing Lisp REPLs
aartaka.me·1d·
Discuss: Lobsters, Hacker News, r/programming
🐚Nordic Shell
Unification
eli.thegreenplace.net·1d·
Discuss: Hacker News
🤝Unification Algorithms
AI Agentic Programming: A Survey of Techniques, Challenges, and Opportunities
blog.raymond.burkholder.net·1d
⚡Incremental Computation
Mastering MCP Servers with LangChain and LangGraph: A Beginner's Guide
dev.to·2h·
Discuss: DEV
⚙️WASM Runtime
Czkawka / Krokiet 10.0,
medium.com·22h
🦀Rust Macros
We raised $7.3M to build an open-source stack for industrial-grade LLM apps
tensorzero.com·6h·
Discuss: Hacker News
⚡SMT Integration
haskell/bytestring
github.com·2d
🧬Functional Programming
From Monolith to Cloud: Automating Your Migration Journey
blog.qaware.de·1d·
Discuss: Hacker News
🔄Migration Tools
Where to define return structs for the ‘accept interfaces, return structs’ idiom
reddit.com·2d·
Discuss: r/golang
🌐Protocol Synthesis