💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

The Vibe Coding Gambit
polyfloyd.net·2d
🔄Language Evolution
I Need a Job as a Software Developer, anyone help me pls
future.forem.com·21h·
Discuss: DEV
🌀Brotli Dictionary
Ditch those words!
robinrendle.com·13h·
Discuss: Hacker News
🎨Swedish Design Philosophy
When is a climate model 'good enough?'
phys.org·3d
🧮Kolmogorov Bounds
How to (and Not to) Manipulate Transformers: A Logic-First Guide
lightcapai.medium.com·4d·
Discuss: Hacker News
✨Effect Handlers
Development Priorities for 2025/26
redox-os.org·2d·
Discuss: Lobsters, Hacker News
🌊Streaming Systems
UTF-8 is a Brilliant Design
iamvishnu.com·2d·
Discuss: Lobsters, Hacker News
🔤Character Encoding
Vibecoding is scarily powerful: minutes to get C and Python recursive pdf-to-txt
news.ycombinator.com·3d·
Discuss: Hacker News
📄PDF Internals
Using JavaScript in Debusine without depending on JavaScript (by Enrico Zini)
freexian.com·2d
🌐WASI
Best on-prem authoritative DNS server for Kubernetes + external-dns?
reddit.com·1d·
Discuss: r/kubernetes
📦Container Security
How to Use Claude Code Subagents to Parallelize Development
zachwills.net·4d·
Discuss: Hacker News
⚔️Lean Tactics
A College Student Accidentally Broke the Laws of Thermodynamics
popularmechanics.com·2d
⚛️Information Physics
Fused Lasso Improves Accuracy of Co-occurrence Network Inference in Grouped Samples
arxiv.org·2d
🌸Bloom Variants
NutriLens AI: Personalized Nutrition Analyzer Using Gemini's Multimodal Magic 🍎✨
dev.to·11h·
Discuss: DEV
🎛️Feed Filtering
Advanced Solid-State Electrolyte Interphase Engineering for Enhanced Aerospace Battery Performance
dev.to·2d·
Discuss: DEV
⚙️Tape Engineering
Unlock Restaurant Efficiency: How Voice AI Reveals Hidden Team Coordination
dev.to·7h·
Discuss: DEV
🎙️Whisper
MenuMaster: Your Menu Anxiety Solution
dev.to·19h·
Discuss: DEV
🧮Algorithmic Cooking
SFD-Mamba2Net: Strcture-Guided Frequency-Enhanced Dual-Stream Mamba2 Network for Coronary Artery Segmentation
arxiv.org·2d
🌀Riemannian Computing
UltrON: Ultrasound Occupancy Networks
arxiv.org·2d
🌀Hyperbolic Geometry
Cytonic: Transforming Blockchain with Multi-VM Ecosystem
dev.to·1d·
Discuss: DEV
🤝Distributed Consensus