💧 Liquidhaskell

Refinement Types, SMT Integration, Dependent Haskell, Contract Programming

Literate testing with pytest-bashdoctest helps keep your Bash examples up-to-date
danielnouri.org·1d
📝Shell Parsing
IBM 1130 MRAM memory replacement - investigating Parity Check and random data occurrences
rescue1130.blogspot.com·10h·
Discuss: rescue1130.blogspot.com
⚡Circuit Archaeology
ExecPlans – How to get your coding agent to run for hours
kau.sh·8h
⚡Proof Automation
Experiments With Sonnet 4.5's Fiction
lesswrong.com·1d·
Discuss: Hacker News
🔗Concatenative Languages
N8n vs. Windmill vs. Temporal
blog.arcbjorn.com·3d·
Discuss: Hacker News
🌊Stream Processing
Software Architecture Horror Story
blog.mihaisafta.com·2d·
Discuss: Hacker News
🔌Interface Evolution
My First Home-Built NAS
preview.redd.it·8h·
Discuss: r/homelab
🏠HomeLab
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blog·3d·
Discuss: Hacker News, r/programming
✅Format Verification
Python 3.12.12, 3.11.14, 3.10.19 and 3.9.24 are now available!
pythoninsider.blogspot.com·3d
🔍Z3 Parsing
Conformal Risk Training: End-to-End Optimization of Conformal Risk Control
arxiv.org·5h
🧠Machine Learning
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·19h·
Discuss: DEV
🦀Rust Macros
Predictive Modeling of Neutron Capture Cross-Sections via Bayesian Kernel Regression
dev.to·7h·
Discuss: DEV
🧲Magnetic Resonance
BLINK-Twice: You see, but do you observe? A Reasoning Benchmark on Visual Perception
arxiv.org·5h
📊Learned Metrics
Hierarchical Scheduling for Multi-Vector Image Retrieval
arxiv.org·5h
🧮Vector Embeddings
Show HN: TrustMesh – Open-source reputation layer for AI agents
github.com·2d·
Discuss: Hacker News, r/opensource
🌳Archive Merkle Trees
Using Pydantic for ETL - Clean, Validate, and Transform Data with Confidence
dev.to·3d·
Discuss: DEV
✅Format Validation
A 7-year-old CLI tool reborn with AI, meet gokill
reddit.com·1d·
Discuss: r/golang
🪟Awesome windows command-line
HLA-A*31:01-Associated Drug-Induced Stevens-Johnson Syndrome Prediction via Multi-Modal Federated Learning
dev.to·1d·
Discuss: DEV
📈Mutual Information
Tech With Tim: Why 1M People Tried This AI Coding Tool (Full Vibe Coding Tutorial)
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
Tech With Tim: Why 1M People Tried This AI Coding Tool (Full Vibe Coding Tutorial)
dev.to·15h·
Discuss: DEV
🌀Brotli Internals