💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

Hack Week 2025: How these engineers liquid-cooled a GPU server
dropbox.tech·20h
🖥️Modern Terminals
Trust Spanning Protocol (TSP) Specification
trustoverip.github.io·2d·
Discuss: Hacker News
🌳Archive Merkle Trees
Detecting and countering misuse of AI: August 2025
anthropic.com·20h·
Discuss: Hacker News
🕵️Vector Smuggling
Automated Anomaly Detection in Electrochemical Etching Microstructures via Multi-Modal Analysis
dev.to·4h·
Discuss: DEV
📄Document Digitization
The Lazy Genius Inside Your Chatbot: Meet MoD, the Art of Thinking Less but Smarter
dev.to·1d·
Discuss: DEV
🧠Intelligence Compression
modelSolver: A Symbolic Model-Driven Solver for Power Network Simulation and Monitoring
arxiv.org·1d
✨Algebraic Effects
Reasoning Steps as Curriculum: Using Depth of Thought as a Difficulty Signal for Tuning LLMs
arxiv.org·16h
🧮SMT Solvers
Reimagining Web3 Interactions: How Gaia Powers Smart Token Creation on Linea with MetaMask Delegation Toolkit
dev.to·1d·
Discuss: DEV
🔒WASM Capabilities
So you want to use SLMs. Can you handle them?
unionailoop.substack.com·1d·
Discuss: Substack
⚙️Batch Processing
ISACL: Internal State Analyzer for Copyrighted Training Data Leakage
arxiv.org·1d
💻Local LLMs
Regarding formatting issues with AI-generated copy
dev.to·15h·
Discuss: DEV
✅Format Verification
Nix Presents the First Stable Release of the Official Nix Formatter
github.com·9h·
Discuss: Hacker News
❄Nix
SWiFT: Soft-Mask Weight Fine-tuning for Bias Mitigation
arxiv.org·16h
📊Rate-Distortion Theory
Some anecdotes from vibe-coding a Sublime Text plugin
willett.io·2d·
Discuss: Hacker News
🔗Concatenative Languages
Nil Pointer Panic at 3 AM: Choosing the Right Go Database Tool to Save Your Sleep
dev.to·1d·
Discuss: DEV
🧩SQLite Extensions
Vibe Coding Doesn't Replace Tech Skills; It Requires More of Them
pawelbrodzinski.substack.com·8h·
Discuss: Substack
📏Code Metrics
A Defect Classification Framework for AI-Based Software Systems (AI-ODC)
arxiv.org·1d
👁️System Observability
Recurrent Transformer U-Net Surrogate for Flow Modeling and Data Assimilation in Subsurface Formations with Faults
arxiv.org·1d
⚡Incremental Computation
I built a production app in a week by managing a swarm of 20 AI agents
zachwills.net·4h·
Discuss: Hacker News
🤖Network Automation
How to Develop Powerful Internal LLM Benchmarks
towardsdatascience.com·1d
🔍Concolic Testing