💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

ELA-1516-1 imagemagick security update
freexian.com·3d
💣ZIP Vulnerabilities
How to Upgrade ThinkPad Firmware on Linux (fwupd)
linuxblog.io·15h
🔒Secure Boot
Helping Define This Thing We Feel Lacking in LLM Responses
daniel.industries·3d
📼Cassette Linguistics
Trade Joe's Does Not Have Surveillance Cameras
dan.bulwinkle.net·13h·
Discuss: Hacker News
🛡Cybersecurity
I'm a single dad of 3 working in tech. Remote work, strict boundaries, and a strong support system help me balance everything.
businessinsider.com·1h
🏠Personal Archives
The iPhone Air’s real breakthrough is its battery
techcrunch.com·15h
🖥️Modern Terminals
Visual Studio Code 1.104: Agent Mode requests confirmation
heise.de·2d
🔄Language Evolution
Building a shared world with systems we don't understand–what could go wrong?
syntheticauth.ai·6d·
Discuss: Hacker News
⚙️Proof Engineering
Help Choosing a Linux Server
reddit.com·13h·
Discuss: r/homelab
🏠HomeLab
Digital Realty Trust, Inc. (DLR) Presents at Global Communications Infrastructure Conference Transcript
seekingalpha.com·17h
⏳Time Capsule Networks
SPHERE: Semantic-PHysical Engaged REpresentation for 3D Semantic Scene Completion
arxiv.org·2d
📐Projective Geometry
[1 Workflow] How We Get Our Daily AI News Briefing Done in 5 Minutes
dev.to·2h·
Discuss: DEV
📡RSS Automation
Multilingual Diversity Improves Vision-Language Representations
arxiv.org·2d
📐Geometric Hashing
Using Agent in the Middle To Ride Herd on Wayward AI
thenewstack.io·1d
🎯Threat Hunting
AI Amnesia: The Secret Weapon for Data Privacy You Didn't Know You Needed by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
🔒Privacy Preserving
AI-Powered Automated Polyp Characterization in Narrow-Band Imaging Endoscopy (NBIE)
dev.to·4d·
Discuss: DEV
🧠Machine Learning
Resources for Go Compiler
reddit.com·6d·
Discuss: r/golang
📜Proof Carrying Code
AI in Art: Revolution or Creative Fad?
dev.to·10h·
Discuss: DEV
📐Mathematical Art
My First MCP Server: Semantic Code Search
dev.to·3d·
Discuss: DEV
⚡Proof Automation
Quantum Circuits: Seeing the World Through Compositional Eyes by Arvind Sundararajan
dev.to·2d·
Discuss: DEV
⚛️Quantum Circuits