💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

Project: Pi Stats
connortumbleson.com·1d
🕵️Domain Enumeration
Design Principles for Precision Mechatronics
dspe.nl·1d·
Discuss: Hacker News
⌨️Mechanical Keyboards
New and simple detection method for nanoplastics
uni-stuttgart.de·1d·
Discuss: Hacker News
💿Optical Forensics
The Graphing Calculator Story
pacifict.com·2d·
Discuss: Hacker News
🍎Apple Computing
Show HN: A Deep Research MCP Agent (and pitfalls I hit along the way)
thealliance.ai·5d·
Discuss: Hacker News
🔄Archival Workflows
Debian Contributions: Preparing for setup.py install deprecation, Salsa CI, Debian 13 "trixie" release and more! (by Anupa Ann Joseph)
freexian.com·5d
❄️Nix Flakes
Artificial protein combines elasticity and cell signaling to enhance tissue regeneration
phys.org·10h
🧬Palindrome Codes
FBI Warns of Threat Actors Hitting Salesforce Customers
darkreading.com·8h
🔓Hacking
Jason’s Tahoe Review
512pixels.net·10h
🖥️Vintage Macintosh
Blockchain-Enabled Federated Learning for Secure & Privacy-Preserving Genomic Data Sharing
dev.to·2d·
Discuss: DEV
🔒Privacy Preserving
A Taxonomy of Response Strategies to Toxic Online Content: Evaluating the Evidence
arxiv.org·1d
📊Feed Optimization
VisionGen
dev.to·2d·
Discuss: DEV
⏱️SMPTE Timecode
A Syzkaller Summer: Fixing False Positive Soft Lockups in net/sched Fuzzing
willsroot.io·5d·
Discuss: www.willsroot.io
🧪Binary Fuzzing
CookFlow+: Turn Any YouTube Recipe Into a Hands-Free, Voice-Guided Cooking Experience
dev.to·1d·
Discuss: DEV
🧮Algorithmic Cooking
The Law-Following AI Framework: Legal Foundations and Technical Constraints. Legal Analogues for AI Actorship and technical feasibility of Law Alignment
arxiv.org·5d
⚔️Lean Tactics
Lessons & Practices for Building and Optimizing Multi-Agent RAG Systems with DSPy and GEPA
dev.to·3d·
Discuss: DEV
⚙️TLA+
Web Surfing AI: Teaching Robots to Shop for You
dev.to·13h·
Discuss: DEV
🤖AI Curation
Unlock the Power of Voice AI: Pannalabs.ai and the Agentic Revolution by Pannalabs.ai
dev.to·1d·
Discuss: DEV
🎙️Whisper
From StackOverflow to Vibe Coding: The Evolution of Copy-Paste Development
dev.to·5d·
Discuss: DEV
🔗Concatenative Programming
Python and JSON: Your Guide to Speaking the Web's Language
dev.to·4d·
Discuss: DEV
📝Concrete Syntax