💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

Securing AI Workloads in Kubernetes: Why Traditional Network Security Isn’t Enough
tigera.io·4d
👁️Observatory Systems
When Should You Upgrade to Apple’s OS 26 Releases?
tidbits.com·12h
🖥️Vintage Macintosh
Show HN: I made a generative online drum machine with ClojureScript
dopeloop.ai·3d·
Discuss: Hacker News, r/webdev
🎵Gameboy Sound
UAE Lab Releases Open-Source Model to Rival China's DeepSeek
slashdot.org·2d
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
I watched the first three episodes of Gen V season 2, and The Boys' college spin-off falls just short of being a grade-A student on Prime Video
techradar.com·14h
🏺Gaming Archaeology
Show HN: TurboStitchGif new version 1.1 (alternative to giflib)
news.ycombinator.com·3d·
Discuss: Hacker News
🗜️LZW Variants
Scientists Discover Massive DNA “Inocles” Living in the Human Mouth
scitechdaily.com·16h
🔄Burrows-Wheeler
The Hotel Chocolat velvetiser gets a major switch up – here’s my honest review
the-independent.com·22h
☕Coffee
I murdered my way up a vertical city and snooped through environments in search of shiny quartz crystals in Styx: Blades of Greed, and I can’t wait to get my sn...
techradar.com·16h
🏺Gaming Archaeology
Pocket-Sized Precision: AI-Powered Soil Insights with Your Smartphone
dev.to·6h·
Discuss: DEV
📱QR Archaeology
Show HN: VibeDbg – Cconversational, LLM-Powered AI Assistant for WinDbg
github.com·3d·
Discuss: Hacker News
🎙️Whisper
Service Discovery: The Backbone of Modern Distributed Systems day 50 of system design
dev.to·2d·
Discuss: DEV
🏠Homelab Orchestration
Dispelling Myths of Open Source Complexity With Apache Iceberg
thenewstack.io·4d
🔌Interface Evolution
Taming the Data Tsunami: Handling Big Data in Real-Time
dev.to·2d·
Discuss: DEV
🌊Stream Processing
Agentic Temporal Graph of Reasoning with Multimodal Language Models: A Potential AI Aid to Healthcare
arxiv.org·2h
🗺️Competency Maps
Vibe coding has turned senior devs into ‘AI babysitters,’ but they say it’s worth it
techcrunch.com·1d·
Discuss: Hacker News, r/programming
🏠Homelab Automation
What I think about when I think about Claude Code
interconnected.org·3d·
Discuss: Hacker News
🔩Systems Programming
Synaptic Shortcuts: Predicting Spike Timing for Ultra-Fast Pathfinding
dev.to·23h·
Discuss: DEV
🔲Cellular Automata
Poisoned Prompts: How Malicious Documentation Can Hijack Your AI Code
dev.to·4d·
Discuss: DEV
⚡Proof Automation
Your Favorite Framework Won't Matter in 5 Years
dev.to·4d·
Discuss: DEV
🔌Interface Evolution