💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

Show HN: DataCompose – Prevent downstream data failures with composite functions
datacompose.io·19h·
Discuss: Hacker News
✅Format Validation
Quality Precision
lesswrong.com·21h·
Discuss: Hacker News
✅FLAC Verification
My thoughts on Vertical Slices, CQRS, Semantic Diffusion and other fancy words
architecture-weekly.com·1d·
Discuss: Hacker News, r/programming
🔌Interface Evolution
How I Make Claude Code Work for Me (Aug 2025)
craftingteams.substack.com·13h·
Discuss: Substack
🔩Systems Programming
TaMaRa: Towards a Triple Modular Redundancy Pass for Yosys
blog.yosyshq.com·2d·
Discuss: Lobsters, Hacker News
🔍FPGA Verification
Winetricks/winetricks
github.com·13h
🔄Sync Engine
Revolutionize Your Workflow: Process Compose - The Docker-less Orchestrator You've Been Waiting For!
dev.to·1h·
Discuss: DEV
🏠Homelab Orchestration
Trust Spanning Protocol (TSP) Specification
trustoverip.github.io·1d·
Discuss: Hacker News
🌳Archive Merkle Trees
Troubleshooting EKS with MCP: The Good, the Bad, and the Ugly (plus the Setup)
dev.to·4h·
Discuss: DEV
📦Container Security
A Defect Classification Framework for AI-Based Software Systems (AI-ODC)
arxiv.org·11h
👁️System Observability
Shelling Out Is Selling Out
petersobot.com·13h·
Discuss: Hacker News
🎞️MKV Forensics
Sets & Heaps in Haskell and Rust
mmhaskell.com·1d
🔒Type Safety
A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·2d·
Discuss: Lobsters, Hacker News, r/programming
🔗Functional Compilers
The MLOps Maturity Playbook: Practical Steps to Production-Ready ML
blog.devops.dev·1d
🔄Reproducible Builds
It takes 26 yottabytes of RAM to typecheck a union of Safe Integers
jacobasper.com·14h·
Discuss: Hacker News
🦀Rusty Databases
Certificates and Witnesses for Multi-objective {\omega}-regular Queries in Markov Decision Processes
arxiv.org·11h
🎯Performance Proofs
Safe Is What We Call Things Later: Some Software Engineering Folklore
worksonmymachine.ai·2d·
Discuss: Hacker News
⚙️Proof Engineering
Manuel M T Chakravarty: Functional data structures in Swift
justtesting.org·2d
🧬Functional Programming
Explaining Fully Homomorphic Encryption to My Mom
olshansky.medium.com·11h·
Discuss: Hacker News
🔐Homomorphic Encryption
Grok: Thousands LOC a day in C is a big deal even if the "coder" uses LLM?
news.ycombinator.com·17h·
Discuss: Hacker News
📏Code Metrics