💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

AprilRobotics/apriltag
github.com·9h
🤖Advanced OCR
LF Networking Announces Essedum Release 1.0
linuxfoundation.org·11h·
Discuss: Hacker News
🏠Homelab Federation
Did GPT-5 Solve 'New Math'?
tech2geek.net·2d·
Discuss: Hacker News
🎯Performance Proofs
Show HN: DataCompose – Prevent downstream data failures with composite functions
datacompose.io·2d·
Discuss: Hacker News
✅Format Validation
Model Merging – A Biased Overview
crisostomi.github.io·19h·
Discuss: Hacker News
🔲Cellular Automata
We Built It, Then We Freed It: Telemetry Harbor Goes Open Source
telemetryharbor.com·15h·
Discuss: Hacker News, r/golang, r/opensource, r/programming, r/selfhosted, r/webdev
🔓Open Source Software
Running our Docker registry on-prem with Harbor
dev.37signals.com·23h·
Discuss: Hacker News
📦Container Security
Popular nx packages compromised on NPM
aikido.dev·1d·
Discuss: Hacker News
💣ZIP Vulnerabilities
The MLOps Maturity Playbook: Practical Steps to Production-Ready ML
blog.devops.dev·2d
🔄Reproducible Builds
Why I’m Against Claude Code’s Grep-Only Retrieval? It Just Burns Too Many Tokens
milvus.io·3d·
Discuss: Hacker News
🌳Incremental Parsing
A 20-Year-Old Algorithm Can Help Us Understand Transformer Embeddings
ai.stanford.edu·17h·
Discuss: Hacker News
🧮Vector Embeddings
The Hidden Cost of Docker Images: Why Multi-Stage Builds Are Essential in 2025
dev.to·3h·
Discuss: DEV
📦Container Security
Building your own CLI Coding Agent with Pydantic-AI
martinfowler.com·23h
⚡Proof Automation
Climate-Resilient Ports and Waterborne Transport Systems: Current Status and Future Prospects
arxiv.org·7h
🌊Stream Processing
The Lazy Genius Inside Your Chatbot: Meet MoD, the Art of Thinking Less but Smarter
dev.to·1d·
Discuss: DEV
🧠Intelligence Compression
NLKI: A lightweight Natural Language Knowledge Integration Framework for Improving Small VLMs in Commonsense VQA Tasks
arxiv.org·7h
🎙️Whisper
You're doing context engineering wrong
github.com·12h·
Discuss: Hacker News
🤖Archive Automation
Day 13: AI-Driven Quality Assurance - The Systematic Breakthrough
dev.to·1d·
Discuss: DEV
🔄Reproducible Builds
Reimagining Web3 Interactions: How Gaia Powers Smart Token Creation on Linea with MetaMask Delegation Toolkit
dev.to·1d·
Discuss: DEV
🔒WASM Capabilities
Building an Ergonomic OpenTelemetry for JavaScript
thenewstack.io·21h
🐚Nordic Shell