💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

5 Maths Gems #192
resourceaholic.com·11h·
Discuss: www.resourceaholic.com
👑Isabelle
Building a Synthesizer, Chapter 12: Breadboarding the VCF
craigstuntz.com·4d
⚙️DIY Electronics
Yurei & The Ghost of Open Source Ransomware
research.checkpoint.com·1d
🎫Kerberos Exploitation
News for August 2025
ptreview.sublinear.info·6d
🌸Bloom Variants
Upgradable Laptop GPUs Have Arrived
spectrum.ieee.org·9h·
Discuss: Hacker News
🖥️Modern Terminals
Exploring Canton: a privacy-preserving distributed ledger for finance
quant.engineering·3d·
Discuss: Hacker News
🌳Archive Merkle Trees
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
Famulor AI Call Center: Multi-Calendar Support
docs.famulor.io·3d·
Discuss: Hacker News
🌀Brotli Internals
Synthetic Magnetic Fields Steer Light On a Chip For Faster Communications
science.slashdot.org·15h
🧲Magnetic Domains
Redditor fishes a fully-functional Core i5-9400F and GTX 1660 PC gaming rig out of the trash
tomshardware.com·11h
🕹️Retro Gaming
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
Data-Efficient Fine-Tuning of Vision-Language Models for Diagnosis of Alzheimer's Disease
arxiv.org·3d
🤖Advanced OCR
Unlock the Power of Voice: Build Smarter AI Agents with Ease
dev.to·3h·
Discuss: DEV
🎙️Whisper
Voice AI Revolutionizes Restaurant Management: Pannalabs.ai Leads the Charge
dev.to·3h·
Discuss: DEV
🎙️Whisper
Voice AI: Building Restaurant Empires, One Order at a Time - Ethically
dev.to·3h·
Discuss: DEV
🎙️Whisper
Greptile vs Panto AI: Which AI Code Review Tool Delivers More in 2025?
dev.to·2d·
Discuss: DEV
📏Code Metrics
Accelerating Reinforcement Learning Algorithms Convergence using Pre-trained Large Language Models as Tutors With Advice Reusing
arxiv.org·2d
💻Local LLMs
📰StackNews Digest
dev.to·6d·
Discuss: DEV
🖥️Modern Terminals