💧 Liquidhaskell

Refinement Types, SMT Integration, Dependent Haskell, Contract Programming

Issue 481
haskellweekly.news·2h
🔗Functional Compilers
Zig Interface Revisited
williamw520.github.io·21h·
Discuss: Hacker News
🧩WASM Components
Python Fundamentals: case
dev.to·1h·
Discuss: DEV
✅Format Verification
Functional Abstract Interpretation
simon.peytonjones.org·2d·
Discuss: Hacker News
🔗Functional Compilers
How to actually use Model Context Protocol
seangoedecke.com·14h
⚡Proof Automation
Gradual negation types and the Python type system
jellezijlstra.github.io·7h·
Discuss: Hacker News
🔬Refinement Types
A Wide Reduction Trick (2022)
words.filippo.io·11h·
Discuss: Lobsters, Hacker News
🌳Archive Merkle Trees
AwesomeAssertions/AwesomeAssertions
github.com·23h
✅Format Verification
Go interfaces and json.Unmarshal
fbrs.io·19h
🔧Binary Parsers
Converting Future to CompletableFuture With Java Virtual Threads
morling.dev·5h
🌊Streaming Systems
How Apex Fusion and Well-Typed Are Shaping the Future of Institutional DeFi on Cardano
hackernoon.com·23h
🤝Distributed Consensus
Reactive Java Operator-fusion (2016)
akarnokd.blogspot.com·19h·
Discuss: Hacker News
✨Algebraic Effects
Almost Always Auto (2013)
herbsutter.com·4h·
Discuss: Hacker News
🔒Type Safety
A Rust shaped hole
ente.io·3d
🦀Rust Macros
Parsing Protobuf Like Never Before
mcyoung.xyz·1d·
Discuss: Lobsters, Hacker News
🔧Binary Parsers
Show HN: From Zod schema to agent-ready MCP server – minimal, typed, deployable
github.com·1d·
Discuss: Hacker News
🔐CBOR
Heterogeneous Dynamic Logic: Provability Modulo Program Theories
arxiv.org·3d
🧠Computational Logic
From Paper to Proof: How We Can Formally Verify Blockchain Protocols with Lean4
medium.com·59m·
Discuss: Hacker News
🤝Distributed Consensus
Understanding TypeScript A Beginner-Friendly Dive Into Types
blog.codeminer42.com·1d
🎯Gradual Typing
Inheritance over composition, sometimes
death.andgravity.com·2d
🦀Rust Macros