💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

Almost a third of European businesses don't have a formal, comprehensive AI policy in place amidst surging generative AI use amongst professionals
techradar.com·8h
🧠Intelligence Compression
Why we (finally) built our own managed Kubernetes
clever-cloud.com·1d
🌊Streaming Systems
AST, Bytecode and the In Between: An Exploration of Interpreter Design Tradeoffs
2025.ecoop.org·2d·
Discuss: Hacker News
🔤DSLs
Show HN: Natrul AI – An API for autocomplete, search, and content enhancement
natrul.ai·2h·
Discuss: Hacker News
🌀Brotli Internals
Implementing Post Quantum algorithms in PKCS #11 - DevConf.CZ 2025
youtube.com·2d
🔐Quantum Security
rxi/microui
github.com·1d
📺Terminal UI
[$] How to write Rust in the kernel: part 2
lwn.net·1d
🔩Systems Programming
New rust mocking library Injectorpp 0.4.0 is released! Type check is added and more
reddit.com·4d·
Discuss: r/rust
🦀Rust Verification
Mastering Go Modules: Create, Publish, Conquer! 🚀
dev.to·1d·
Discuss: DEV
🔄Reproducible Builds
Open-Source & Cyber Resilience Act - Differing opinions aside
dev.to·2d·
Discuss: DEV
🔐Capability Systems
Just some example work notes
dev.to·6d·
Discuss: DEV
🌀Brotli Internals
🧠 Code That Explains Itself: Writing Self-Documenting Code in 2025
dev.to·2d·
Discuss: DEV
🔄Reproducible Builds
How I Built a Self-Correcting Prompt Generator with Multi-Stage LLM Calls"
dev.to·3d·
Discuss: DEV
🤖Lisp Machines
Python Fundamentals: asyncio
dev.to·2d·
Discuss: DEV
🌊Stream Processing
Orchestrating Multi-Agent Systems with AWS Bedrock: A Comprehensive Guide
dev.to·1h·
Discuss: DEV
🤖Network Automation
Notion + Zapier = Developer Superpowers: Automate Everything
dev.to·10h·
Discuss: DEV
⚡Proof Automation
How to Prompt an LLM to Write Angular Code: Straight from the Experts
dev.to·4d·
Discuss: DEV
🔗Concatenative Programming
🧠 RAG in Minutes with MultiMind SDK — No LangChain Needed
dev.to·20h·
Discuss: DEV
🌀Brotli Internals
VMware Fundamentals: Photon Linux
dev.to·1d·
Discuss: DEV
🔌Operating system internals
Re-Evaluating Code LLM Benchmarks Under Semantic Mutation
arxiv.org·4d
📏Code Metrics