💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

Use Good Test Data
nkantar.com·1d
🚚Data Migration
Proxmox Virtual File Services
blog.raymond.burkholder.net·14h
💿Proxmox HA
Quality Precision
lesswrong.com·3d·
Discuss: Hacker News
✅FLAC Verification
Show HN: Convert your Bubble and other no-code apps into full code
fullcode.yonocode.io·1d·
Discuss: Hacker News
🔌Interface Evolution
Manuel M T Chakravarty: Functional data structures in Swift
justtesting.org·5d
🧬Functional Programming
SNIC bifurcation and its Application to MEMS
arxiv.org·14h
⚙️Cassette Mechanics
"If Cats Could Code", a FOSS Book on CS Concepts
github.com·21h·
Discuss: Hacker News
⚔️Lean Tactics
Study Buddy: AI-Powered Student Success Assistant
dev.to·3h·
Discuss: DEV
🌀Brotli Internals
Your First AI Agent: A Clear, Practical Path
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Reliable Weak-to-Strong Monitoring of LLM Agents
arxiv.org·14h
🎯Threat Hunting
The Next Layer: Augmenting Foundation Models with Structure-Preserving and Attention-Guided Learning for Local Patches to Global Context Awareness in Computatio...
arxiv.org·14h
🧠Machine Learning
Show HN: Hielo – a fast, lightweight tool for managing Apache Iceberg tables
github.com·22h·
Discuss: Hacker News
💿ZFS Archaeology
Nvidia’s nvl72 is insane but who can actually use it?
dev.to·9h·
Discuss: DEV
🖥️Terminal Renaissance
Hybrid ML-RL Approach for Smart Grid Stability Prediction and Optimized Control Strategy
arxiv.org·14h
🧠Machine Learning
Anyone worked on upgrading multiple Go services?
reddit.com·1d·
Discuss: r/golang
🔌Interface Evolution
Student-Teacher Distillation: A Complete Guide for Model Compression
dev.to·1d·
Discuss: DEV
📊Quantization
MAPo : Motion-Aware Partitioning of Deformable 3D Gaussian Splatting for High-Fidelity Dynamic Scene Reconstruction
arxiv.org·14h
📐Projective Geometry
Terraform, Ansible, Pulumi? The DevOps tooling stack that didn’t burn me out
dev.to·6h·
Discuss: DEV
🤖Network Automation
11Plus-Bench: Demystifying Multimodal LLM Spatial Reasoning with Cognitive-Inspired Analysis
arxiv.org·14h
🧮Kolmogorov Complexity
[P] Implemented GRPO on top of Karpathy's makemore
reddit.com·1d·
Discuss: r/MachineLearning
🧮SMT Solvers