💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

Big Deals on Big TCL TVs—Some Of Our Top Tested Models Are Nearly 50% Off
wired.com·15h
🎬Cinema Codecs
CVE-2025-10585 is the sixth actively exploited Chrome zero-day patched by Google in 2025
securityaffairs.com·3h
🔓Hacking
Make It Work, Then Perfect It Later
rodolphoarruda.pro.br·23h
⬜Minimalism
Apple’s New AirPods Offer Impressive Language Translation
nytimes.com·3h
🌀Brotli Dictionary
AI psychosis and the warped mirror
doctorow.medium.com·3h
🔍Vector Forensics
No More Sketchy Data: Why ‘Close Enough’ Won’t Work In Marketing’s AI Era
adexchanger.com·1d
📊Feed Optimization
Energy-Based Transformers Are Scalable Learners and Thinkers
alexiglad.github.io·4d·
Discuss: Hacker News
⚡Incremental Computation
Listening for the Next Wow! Signal with Low-Cost SDR
hackaday.com·1h
📻Homebrew Protocols
Varnish 8.0.0 and bonus project news
lwn.net·2d
🐧FOSS
New AI tool ‘can estimate the risk of more than 1,000 diseases for people in one go’
the-independent.com·21h
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Buy Google Voice Numbers For Your Business | Education
dev.to·7h·
Discuss: DEV
🎙️Whisper
Building Lightweight Frontends for High-Traffic Streaming Platforms
dev.to·1d·
Discuss: DEV
🌊Streaming Systems
Inclusive by design: Developing Barrier-Free Authentication for Blind and Low Vision Users through the ALIAS Project
arxiv.org·3d
✋Tactile Computing
Flow State: Guiding Robots with Convergent Fields
dev.to·3d·
Discuss: DEV
🔄Finite State Machines
Predictive Dynamic Stability Assessment via Multi-Modal Neural Resonance
dev.to·3d·
Discuss: DEV
📊Quantization
APPLE-SA-09-15-2025-10 visionOS 26
seclists.org·2d
🍎Apple Archive
Learning to Build Agentic Apps with Azure AI Foundry
dev.to·2d·
Discuss: DEV
🏠Homelab Orchestration
OpenSSF Experts Weigh in on CISA’s SBOM Minimum Elements Update
thenewstack.io·5d
❄️Nix Adoption
Tell Governor Newsom: Rein in AI Police Reports
act.eff.org·1d
⚡Proof Automation
Orchestrate Creativity: AI Music from Swarm Intelligence by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
🎼Computational Musicology