💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

The Air Gap Is an Illusion: Securing AI Data Centers from Wireless Threats
bastille.net·12h
🎫Kerberos History
Week 1: Building ZipZen – Zero-Config Apt/YUM/Helm Repos
indiehackers.com·1d·
Discuss: Hacker News
❄️Nix Flakes
I'm Using Perplexity
fldr.zip·1d·
Discuss: Hacker News
🔍BitFunnel
Ten Years of D3D12
therealmjp.github.io·1d·
Discuss: Hacker News, Hacker News
🖥️Terminal Renaissance
Hashed sorting is typically faster than hash tables
reiner.org·1d·
Discuss: Lobsters, Hacker News, r/programming, r/rust
🔍MIN Hash
The Vector Bottleneck: Limitations of Embedding-Based Retrieval
shaped.ai·2d·
Discuss: Hacker News
🗂️Vector Databases
Why Using Software Is Like Eating at a Brazilian Steakhouse Run by Vegans
spin.atomicobject.com·2d·
Discuss: Hacker News
📜Proof Carrying Code
Revolutionary Web Application Drives Precision, Operational Efficiency, and Elevated User Experience
hackernoon.com·10h
🌊Streaming Systems
LaraUtilX – A Utility Package for Laravel
github.com·1d·
Discuss: Hacker News
🌊Apache Kafka
AWS Weekly Roundup: AWS Transform, Amazon Neptune, and more (September 8, 2025)
aws.amazon.com·1d
🌊Streaming Systems
Microsoft Patch Tuesday, September 2025 Security Update Review
blog.qualys.com·10h
🔓Hacking
Mistral AI raises 1.7B€, enters strategic partnership with ASML
dev.to·16h·
Discuss: DEV
🧩WASM Components
62 Comprehensive Programming Tutorials: Master AI, Databases, DevOps & More
github.com·4d·
Discuss: Hacker News, r/programming, r/webdev
🤖Archive Automation
Why Language Models Hallucinate: An In-Depth Look at Model Misalignment and Mitigation Strategies (2025)
dev.to·2d·
Discuss: DEV
🌀Brotli Internals
Disaggregation: A New Architecture for Cloud Databases
muratbuffalo.blogspot.com·1d·
Discuss: www.blogger.com
🗄️Database Sharding
The Power of AI and Large Language Models (LLMs)
dev.to·1d·
Discuss: DEV
📄Document Digitization
Causal Multi-fidelity Surrogate Forward and Inverse Models for ICF Implosions
arxiv.org·1d
⚙️Tape Engineering
How to Build Effective AI Agents to Process Millions of Requests
towardsdatascience.com·12h
🔗Constraint Handling
RECAP: REwriting Conversations for Intent Understanding in Agentic Planning
arxiv.org·2d
🔗Parser Combinators
The Proactive Agent: Slack and Symfony for Real-Time Communications
dev.to·18h·
Discuss: DEV
⚡gRPC