💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

Mario restrengthens to tropical storm off Mexican coast but poses no immediate threat to land
the-independent.com·11h
🐚Shell Monads
Converting JWKS JSON to PEM using Python
akrabat.com·5d
📝ABNF Parsing
Quantum Information Supremacy
scottaaronson.blog·3d
⚛️Quantum Tape
Kubernetes v1.34: Autoconfiguration for Node Cgroup Driver Goes GA
kubernetes.io·2d
📦Container Security
Announcing compile_flagz: Better editor integration for your C/C++ projects using build.zig
simonhartcher.com·5d·
Discuss: Hacker News
🔗Static Linking
Preventing the NPM Debug/Chalk Compromise in 200 lines of JavaScript
getvouchsafe.org·4d·
Discuss: Hacker News, r/javascript, r/node
📦Package Managers
Introducing x402-mcp: Open protocol payments for MCP tools
vercel.com·2d·
Discuss: Hacker News
🔌Interface Evolution
Building Privacy-First AI Agents on Ollama: Complete Guide
nativemind.app·6d·
Discuss: Hacker News
💻Local LLMs
The Little Book of Everything
github.com·6d·
Discuss: Hacker News
λLambda Formalization
Smart Log Anomaly Detection with Python and Isolation Forest
dev.to·2d·
Discuss: DEV
📝Log Parsing
Why the Oracle-OpenAI deal caught Wall Street by surprise
techcrunch.com·2d
🖥️Terminal Renaissance
gRPC API Management With a Kubernetes Native API Management Platform - Dushan Abeyruwan, WSO2
youtube.com·2d
⚡gRPC
Unlock the Power of Real-Time AI: Decoupling Perception for Lightning-Fast Response
dev.to·1d·
Discuss: DEV
🌊Stream Processing
RAG-Powered Chat: OpenAI & ChromaDB Integration
dev.to·4d·
Discuss: DEV
🔌Archive APIs
Managing Contextual Metadata Across a gRPC Ecosystem - Nicholas Hagen, Netflix
youtube.com·2d
🌊Streaming Systems
MediVision Assistant
dev.to·12h·
Discuss: DEV
🏛Digital humanities
AI Workout Analyzer🏋️‍♀️
dev.to·6h·
Discuss: DEV
🌀Brotli Internals
AI Adoption vs. AI Trust: What Udacity’s Latest Research Reveals
dev.to·2h·
Discuss: DEV
🗺️Competency Maps
Claude's memory architecture is the opposite of ChatGPT's
dev.to·3d·
Discuss: DEV
⚡Hardware Transactional Memory
What is Context Engineering?
dev.to·5d·
Discuss: DEV
🔗Constraint Handling