💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

A polar week
blog.mitrichev.ch·2d·
Discuss: blog.mitrichev.ch
🕸️Graph Algorithms
Headscale with SQLite as database with auto failover by LiteFS and Consul
gawsoft.com·7h·
Discuss: Hacker News
💾Storage Replication
Business Rules In Database Movement
medium.com·1d·
Discuss: r/programming
🏺Database Archaeology
[NodeBook] Inside the v8 Javascript Engine
thenodebook.com·4d·
Discuss: Hacker News, r/node, r/webdev
🏗️Compiler Archaeology
Breaking Verifiable Abstractions
alperenkeles.com·6d·
Discuss: Hacker News, r/programming
🐛Fuzzing
Casual Productivity with LLMs
kylekukshtel.com·5d·
Discuss: Hacker News
🦀Rust Macros
2.5k budget, overwhelmed by options
reddit.com·4h·
Discuss: r/homelab
🏠HomeLab
Automated Anomaly Detection in Lunar Lander Telemetry Streams Using Adaptive Kalman Filtering
dev.to·1h·
Discuss: DEV
👁️Observatory Systems
Why Your Rust Adoption Will Probably Fail (And How To Beat the Odds)
thenewstack.io·1d
🦀Rust Borrowing
Automated Error Correction & Predictive Maintenance in Microfluidic Bioassays via Reinforcement Learning
dev.to·1d·
Discuss: DEV
🏠Homelab Pentesting
Memory in LlamaIndex: Building Intelligent Chat Agents
dev.to·1d·
Discuss: DEV
⚡Hardware Transactional Memory
Simplify AI-Agent Deployment: Dockerizing Symfony for Scalable
dev.to·2d·
Discuss: DEV
🏠Homelab Orchestration
Tutorial - Building an AI Deepfake Detector Chrome Plugin
dev.to·21h·
Discuss: DEV
💿FLAC Archaeology
Fresh + Vite Means 9-12x Faster Development for Deno
thenewstack.io·1d
🔄Language Evolution
How good are current automations tools for kubernetes / containarization?
reddit.com·2d·
Discuss: r/kubernetes
📦Container Security
Automated Vulnerability Analysis & Remediation via Reinforcement Learning in Programmable Logic Controllers (PLCs)
dev.to·2d·
Discuss: DEV
🛡️Error Boundaries
"A Record for the Future — When GitHub Became a Witness Stand"
dev.to·3h·
Discuss: DEV
🧬Bitstream Evolution
EmbeddingGemma - 300M parameter, state-of-the-art for its size, open embedding model from Google
huggingface.co·3d·
Discuss: Hacker News, r/LocalLLaMA
🧮Vector Embeddings
Federated Learning with Differential Privacy for Secure & Collaborative Data Monetization
dev.to·1h·
Discuss: DEV
🤐Secure Multiparty
VX-NOVA.Ω1: A Symbolic AI Engine That Patches Code Without Any Models
github.com·3d·
Discuss: Hacker News
🦀Rust Macros