💧 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·5h·
Discuss: rescue1130.blogspot.com
⚡Circuit Archaeology
ExecPlans – How to get your coding agent to run for hours
kau.sh·3h
⚡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
My First Home-Built NAS
preview.redd.it·3h·
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
Software Architecture Horror Story
blog.mihaisafta.com·1d·
Discuss: Hacker News
🔌Interface Evolution
Which Heads Matter for Reasoning? RL-Guided KV Cache Compression
arxiv.org·3d
📼Cassette Combinators
Automated Fault Isolation & Healing in Linear Control Systems via Multi-Modal Data Fusion & Reinforcement Learning
dev.to·1d·
Discuss: DEV
🛡️Error Boundaries
The 64 KB Challenge: Teaching a Tiny Net to Play Pong
dev.to·13h·
Discuss: DEV
⚡Homebrew CPUs
Conformal Risk Training: End-to-End Optimization of Conformal Risk Control
arxiv.org·59m
🧠Machine Learning
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·14h·
Discuss: DEV
🦀Rust Macros
Predictive Modeling of Neutron Capture Cross-Sections via Bayesian Kernel Regression
dev.to·2h·
Discuss: DEV
🧲Magnetic Resonance
BLINK-Twice: You see, but do you observe? A Reasoning Benchmark on Visual Perception
arxiv.org·59m
📊Learned Metrics
Hierarchical Scheduling for Multi-Vector Image Retrieval
arxiv.org·59m
🧮Vector Embeddings
Does OpenCode Support Hooks? A Complete Guide to Extensibility
dev.to·3d·
Discuss: DEV
🔓Open Source Software
Quantum Agents: The Algorithmic Alchemists Reshaping Discovery
dev.to·1d·
Discuss: DEV
⚛️Quantum Algorithms
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·2d·
Discuss: DEV
✅Format Validation