💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

DjVuLibre 3.5.29 ZPCodec Unsigned Integer Overflow in Arithmetic Encoding
seclists.org·5d
📦Deflate
Internet Phone Book
naiveweekly.com·8h
📰RSS Reading Practices
Build, run and debug iOS and Mac apps in Zed instead of Xcode
luxmentis.org·1d·
Discuss: Hacker News
🍎XNU Internals
Microsoft agrees to unbundle Teams from Office in landmark EU settlement
techspot.com·20h
🔓Open Source Software
Rails on SQLite: exciting new ways to cause outages
andre.arko.net·2d·
Discuss: Hacker News
🗄️SQLite Internals
Choosing a model for a research platform with real data and metrics
maxirwin.com·3d·
Discuss: Hacker News
📊Count-Min Sketch
Behind The Scenes of Bun Install
bun.com·3d·
Discuss: Lobsters, Hacker News, r/programming, r/programming
🔩Systems Programming
HairMama – AI-powered hair analysis and personalized care recommendations
news.ycombinator.com·1d·
Discuss: Hacker News
🤖Archive Automation
Maintaining Arch Linux AUR Packages: Updating python-simple-term-menu to the Latest Release
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
Vergilian - The speech coach
dev.to·2h·
Discuss: DEV
🗣️CMU Pronouncing
Language Native Lightly Structured Databases for Large Language Model Driven Composite Materials Research
arxiv.org·5d
🗂️Vector Databases
What We Lost When Ethereum Switched to Proof-of-Stake
hackernoon.com·2d
🤝Distributed Consensus
Decoding the Heart: Can AI Predict Failure Before It Strikes?
dev.to·4h·
Discuss: DEV
🎵Audio ML
Voice AI: The Secret to Restaurant Efficiency & Happier Customers with Pannalabs.ai
dev.to·4h·
Discuss: DEV
🎙️Whisper
Using RPI 5 Compute Module for FPGA Test
hackster.io·6d·
Discuss: Hacker News
⚡Homebrew CPUs
DCP-o-matic • Re: DCP with CPLs with different audio tracks, Verify gives an error.
dcpomatic.com·2d
✅FLAC Verification
HISPASpoof: A New Dataset For Spanish Speech Forensics
arxiv.org·2d
🔍FLAC Forensics
Agentic Misalignment in LLMs: Unmasking Risks, Real Examples, and What CTOs Must Do Now
dev.to·2d·
Discuss: DEV
⚙️Proof Engineering
How I Handle 15-Second AI Tasks Without Losing 87% of Users
dev.to·1d·
Discuss: DEV
🌊Stream Processing
NutriLens AI: Personalized Nutrition Analyzer Using Gemini's Multimodal Magic 🍎✨
dev.to·17h·
Discuss: DEV
🎛️Feed Filtering