💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

New Release: Tor Browser 14.5.7
blog.torproject.org·1d
🌐Web Standards
visionOS 26: The MacStories Review
macstories.net·17h
🍎Apple Archive
HybridPetya: The Petya/NotPetya copycat comes with a twist
welivesecurity.com·1d
🔒Secure Boot
Political Violence Makes No Sense
avi-loeb.medium.com·1h·
Discuss: Hacker News
🌡️Preservation Physics
More rain to lash UK after Met Office issues weather warning with flood threat
the-independent.com·1d
🖋Typography
Fedora Linux 43 Beta Released
tech.slashdot.org·13h
🐧FOSS
FTC launches inquiry into AI chatbot companions and their effects on children
cbsnews.com·23h·
Discuss: Hacker News
🎙️Whisper
Top QR Code Generator Tools for Small and Large Businesses
dev.to·7h·
Discuss: DEV
📱QR Archaeology
A Closer Look Inside a Robot’s Typewriter-Inspired Mouth
hackaday.com·1d·
Discuss: Hacker News
⌨️Mechanical Keyboards
A key type of AI training data is running out. Googlers have a bold new idea to fix that.
businessinsider.com·1d
🔍Vector Forensics
Reference-quality genome assembly created for widely used RPE-1 human cell line
phys.org·1d
🧬Copy Number Variants
The Future of Airline Technology: Why Developers Rely on Air Ticket APIs
dev.to·3h·
Discuss: DEV
🔌Archive APIs
This AI Tool Can Handle Hundreds of Your Twitter Replies. Here's How.
dev.to·1d·
Discuss: DEV
📡RSS Automation
APPLE-SA-09-15-2025-7 macOS Sonoma 14.8
seclists.org·1d
🔌Operating system internals
Why Testing Multi-Agent AI Systems is Hard (and Why It Matters)
dev.to·1d·
Discuss: DEV
🔍Concolic Testing
Desktop GPU roadmap: Nvidia Rubin, AMD UDNA & Intel Xe3 Celestial
tomshardware.com·1d
🖥️Terminal Renaissance
Unlocking LLMs: Secure, Efficient Inference for Everyone
dev.to·3d·
Discuss: DEV
💻Local LLMs
Facet-driven folding for precise control of hydrogel pore actuation
sciencedirect.com·5h·
Discuss: Hacker News
🧲Magnetic Domains
Collective Recourse for Generative Urban Visualizations
arxiv.org·1d
📸TIFF Archaeology
Private LLM Inference: Democratizing AI with Ciphertext Computations
dev.to·3d·
Discuss: DEV
💻Local LLMs