💧 Liquidhaskell

Refinement Types, SMT Integration, Dependent Haskell, Contract Programming

Feeds to Scour
SubscribedAll
Release 0.4: My Plan for Contributions to Open Source
dev.to·7h·
Discuss: DEV
🌊Apache Kafka
Preview
Report Post
REshare Ramblings - Bad Vibes with IDA
scrapco.de·1h
🔧KAITAI
Preview
Report Post
My experience with Lean 4 for general programming
quamserena.com·2d·
Discuss: Hacker News
🦀Rust Macros
Preview
Report Post
grindlemire/graft: A minimal, type-safe Go DI library with no reflection or codegen
reddit.com·2d·
Discuss: r/golang
🦀Rust Borrowing
Preview
Report Post
Gist of Go: Concurrency is out!
antonz.org·1d
⚔️Lean Tactics
Preview
Report Post
Closures as Win32 window procedures
nullprogram.com·17h
🚀Compiler Optimizations
Preview
Report Post
The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale
terrytao.wordpress.com·3d
🧮Theorem Proving
Preview
Report Post
Translating Informal Proofs into Formal Proofs Using a Chain of States
arxiv.org·1d
⚔️Lean Tactics
Preview
Report Post
From Bash Script to Native macOS App: The Evolution of Simple Security Check
macvfx.blog·1d
📟Terminal Forensics
Preview
Report Post
The Coming Need for Formal Specification
benjamincongdon.me·12h
📋Formal Verification
Preview
Report Post
Liquid-rust: Liquid templating for Rust
github.com·3d·
Discuss: Hacker News
🦀Rust Macros
Preview
Report Post
OSS Friday Update – Fibers Are the Future of Ruby
noteflakes.com·5h·
Discuss: Hacker News
🌊Streaming Systems
Preview
Report Post
Iksemel Rusted
thinkerf.blogspot.com·2d·
Discuss: Hacker News
🦀Rust Borrowing
Preview
Report Post
Fine-tuning Gemma 3 for mobile
opensource.googleblog.com·14h·
Discuss: Hacker News
💻Local LLMs
Preview
Report Post
It’s 2 AM. Do You Know Which AIs Your MCP Server Is Talking To?
bitsight.com·1d
📞Session Types
Preview
Report Post
Building Production Ready Kubernetes Operators Course for Free
github.com·1d·
Discuss: Hacker News
📦Container Security
Preview
Report Post
Tap: At Repository Synchronization Made Simple
docs.bsky.app·1d·
Discuss: Bluesky
🔄Sync Engine
Preview
Report Post
Indexed Reverse Polish Notation, an Alternative to AST
burakemir.ch·17h·
Discuss: Hacker News
🔗Concatenative Programming
Preview
Report Post
Microfeatures I'd like to see in more languages
buttondown.com·2d·
Discuss: Hacker News
💻Programming languages
Preview
Report Post
Fighting the Client Spaghetti Monster with Rust Traits
gnunicorn.org·3d·
Discuss: Hacker News
🦀Rust Borrowing
Preview
Report Post