💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

Building a Synthesizer, Chapter 12: Breadboarding the VCF
craigstuntz.com·5d
⚙️DIY Electronics
Yurei & The Ghost of Open Source Ransomware
research.checkpoint.com·1d
🎫Kerberos Exploitation
Observable Notebooks Data Loaders
observablehq.com·3d·
Discuss: Hacker News
🌊Streaming Systems
Beyond the surface - Exploring attacker persistence strategies in Kubernetes
raesene.github.io·1d·
Discuss: Hacker News
📦Container Security
I Wasn’t Sure I Wanted Anthropic to Pay Me for My Books—I Do Now
wired.com·1d
📚MARC Evolution
Ditch those words!
robinrendle.com·8h·
Discuss: Hacker News
🎨Swedish Design Philosophy
When is a climate model 'good enough?'
phys.org·3d
🧮Kolmogorov Bounds
Synthetic Magnetic Fields Steer Light On a Chip For Faster Communications
science.slashdot.org·17h
🧲Magnetic Domains
My (speculative) master plan for immortality
maxwellnye.com·2d·
Discuss: Hacker News
🏠Homelab Archaeology
Personal AI Integrated with WhatsApp and Telegram
news.ycombinator.com·2d·
Discuss: Hacker News
🎛️Feed Filtering
Future Trends in Advanced File Transfer 2030 & Beyond
dev.to·1d·
Discuss: DEV
🔐Archive Encryption
Cytonic: Transforming Blockchain with Multi-VM Ecosystem
dev.to·1d·
Discuss: DEV
🤝Distributed Consensus
Advanced Solid-State Electrolyte Interphase Engineering for Enhanced Aerospace Battery Performance
dev.to·2d·
Discuss: DEV
⚙️Tape Engineering
Unlock Restaurant Efficiency with AI Voice: The Pannalabs.ai Revolution
dev.to·42m·
Discuss: DEV
🎙️Whisper
Quantifying REM-NREM Sleep Cycle Coordination via Bayesian Dynamic Networks
dev.to·1d·
Discuss: DEV
🧠Machine Learning
Vegi: Vegetables are not Aliens
dev.to·1d·
Discuss: DEV
🎮Gameboy Emulation
Beyond NIST: How NSF-Funded Research Shapes AI Persona, Memory, and Systems
news.ycombinator.com·1d·
Discuss: Hacker News
🛡️Preservation Proofs
Data-Efficient Fine-Tuning of Vision-Language Models for Diagnosis of Alzheimer's Disease
arxiv.org·3d
🤖Advanced OCR
Voice AI Revolutionizes Restaurant Management: Pannalabs.ai Leads the Charge
dev.to·5h·
Discuss: DEV
🎙️Whisper
Unlock the Power of Voice: Build Smarter AI Agents with Ease
dev.to·5h·
Discuss: DEV
🎙️Whisper