💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

Google Cloud: When the Load Balancer Frontend Hands you an F
sven.stormbind.net·1d
⚡gRPC
CEFS: Finally Solving CE's Mount(ing) Problems
xania.org·5d
🔗Archive Combinators
Erchen Chang’s recipes for Taiwanese braised pork belly and daikon tots
theguardian.com·2h
🧮Algorithmic Cooking
Launching tomorrow: “Networking for System Administrators, 2nd edition”
mwl.io·1d
📡RSS Readers
Talos + Terraform = ♥️
blog.wheezy.fr·2d
📦Container Security
Trigger crossbar
serd.es·2d·
Discuss: Hacker News
🔌Single Board PC
Spiral
spiraldb.com·5d·
Discuss: Hacker News
🏺Database Archaeology
Writing a Good AI Image Prompt Isn't Hard, but You Need These Essential Elements
cnet.com·1d·
Discuss: Hacker News
⚡Proof Automation
Top 4 HOT Skills to take into IT as Fresher
dev.to·1d·
Discuss: DEV
🗺️Competency Maps
Breaking the Statistical Similarity Trap in Extreme Convection Detection
arxiv.org·5d
🧠Machine Learning
Google’s Quantum AI Unlocks a Strange New Phase of Matter
scitechdaily.com·2d
⚛️Information Physics
Visual Programmability: A Guide for Code-as-Thought in Chart Understanding
arxiv.org·5d
⟷Bidirectional Programming
APPLE-SA-09-15-2025-8 tvOS 26
seclists.org·1d
🏺ZIP Archaeology
What's the best way to develop an AI Agent with a Go backend?
reddit.com·3d·
Discuss: r/golang
🔌Interface Evolution
GlidePath: Smooth as Ice Robot Motion Using Convergent Flow Fields by Arvind Sundararajan
dev.to·3d·
Discuss: DEV
⚙️Cassette Mechanics
October 2025: Science History from 50, 100 and 150 Years Ago
scientificamerican.com·21h
🔍Tape Forensics
Learning to Route: Per-Sample Adaptive Routing for Multimodal Multitask Prediction
arxiv.org·3h
📊Learned Metrics
Stop Coding. Start Writing
rgoldfinger.com·3d·
Discuss: Hacker News
🔩Systems Programming
Quantum Entanglement Dynamics in Neural Oscillations: A Closed-Loop Validation Framework
dev.to·3d·
Discuss: DEV
🕸️Tensor Networks
Why AI Labs Hiring SWEs AI Trainers Won't Last
dev.to·3d·
Discuss: DEV
🧮SMT Solvers