💧 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
Conway's Law and Data Modeling
practicaldatamodeling.substack.com·3d·
Discuss: Substack
🔄Lens Laws
I Need a Job as a Software Developer, anyone help me pls
future.forem.com·1d·
Discuss: DEV
🌀Brotli Dictionary
Pgschema – Declarative schema migration for Postgres
pgschema.com·1d·
Discuss: Hacker News
🔄Schema Evolution
Does the world need another distributed queue?
techblog.cloudkitchens.com·4d·
Discuss: r/programming
🌊Streaming Systems
How to (and Not to) Manipulate Transformers: A Logic-First Guide
lightcapai.medium.com·4d·
Discuss: Hacker News
✨Effect Handlers
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
Vibecoding is scarily powerful: minutes to get C and Python recursive pdf-to-txt
news.ycombinator.com·3d·
Discuss: Hacker News
📄PDF Internals
Decoding the Heart: Can AI Predict Failure Before It Strikes?
dev.to·2h·
Discuss: DEV
🎵Audio ML
Voice AI: The Secret to Restaurant Efficiency & Happier Customers with Pannalabs.ai
dev.to·2h·
Discuss: DEV
🎙️Whisper
Using RPI 5 Compute Module for FPGA Test
hackster.io·6d·
Discuss: Hacker News
⚡Homebrew CPUs
Magical systems thinking
worksinprogress.news·1d·
Discuss: Hacker News
⚙️systems theory
HISPASpoof: A New Dataset For Spanish Speech Forensics
arxiv.org·2d
🔍FLAC Forensics
🛡️ Understanding Prompt Injection Attacks in LLMs — with Real Scenarios and Code Examples
dev.to·5d·
Discuss: DEV
🛡️WASM Security
NutriLens AI: Personalized Nutrition Analyzer Using Gemini's Multimodal Magic 🍎✨
dev.to·15h·
Discuss: DEV
🎛️Feed Filtering
Data Literacy: Empowering Employees with Essential Data Skills for the Modern Workplace
hackernoon.com·2d
🛡Cybersecurity
Unlock Restaurant Efficiency: How Voice AI Reveals Hidden Team Coordination
dev.to·11h·
Discuss: DEV
🎙️Whisper
Unlocking Restaurant Efficiency: How AI Voice Agents are Revolutionizing Operations
dev.to·5h·
Discuss: DEV
🤖AI Curation
Designing user interfaces with bots not buttons
interconnected.org·2d·
Discuss: Hacker News
🖥️Terminal Renaissance