💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

Thoughts on creating a tracking pointer class, part 16: Second attempt to use a list
devblogs.microsoft.com·4h
🧠Separation Logic
crabgrind - Rust
docs.rs·1d
🦀Rust Macros
Vvvv Gamma 7.0 Release
vvvv.org·23h·
Discuss: Hacker News
🖥️Terminal Renaissance
MVTracker: Multi-View 3D Point Tracking
ethz-vlg.github.io·10h·
Discuss: Hacker News
📐Projective Geometry
Show HN: We started a no-bs engineering company
eilbek-research.de·7h·
Discuss: Hacker News
🖥️Modern Terminals
An adventure in writing compatible systems
turso.tech·4d·
Discuss: Hacker News
🦀Rusty Databases
Tic-tac-toe meets Lean 4
ochagavia.nl·4d·
Discuss: Lobsters, Hacker News, r/programming
⚔️Lean Tactics
Project MiniNAS
jadarma.github.io·3d·
Discuss: Hacker News
💿ZFS Archaeology
Surface Stability Modeling with Universal Machine Learning Interatomic Potentials: A Comprehensive Cleavage Energy Benchmarking Study
arxiv.org·14h
🕸️Algebraic Topology
Enhanced PLL Stability via Adaptive Fractional-Order Loop Filter Design
dev.to·18h·
Discuss: DEV
🔧Hardware Verification
Automated Spectral Deconvolution of Cometary Ices for Accurate Molecular Abundance Mapping
dev.to·1d·
Discuss: DEV
🌈Spectroscopy
🧠OrKA-Reasoning: How Workflow Execution Really Works
dev.to·3d·
Discuss: DEV
🌊Stream Processing
Quantifying Label-Induced Bias in Large Language Model Self- and Cross-Evaluations
arxiv.org·14h
🔍Information Retrieval
Automated Glycosylation Pattern Analysis for Precision Barrett's Esophagus Staging
dev.to·2d·
Discuss: DEV
📄Document Digitization
NumPy Path Experiments: Array Access, File I/O, and Advanced Numerical Computing
dev.to·1d·
Discuss: DEV
📊APL Heritage
Entropy stable finite difference (ESFD) methods via entropy correction artificial viscosity (ECAV) and knapsack limiting (KL) techniques
arxiv.org·14h
📐Compression Bounds
MoE-Health: A Mixture of Experts Framework for Robust Multimodal Healthcare Prediction
arxiv.org·14h
🧠Machine Learning
Automated Clinical Problem Detection from SOAP Notes using a Collaborative Multi-Agent LLM Architecture
arxiv.org·14h
🔗Constraint Handling
Model-Task Alignment Drives Distinct RL Outcomes
arxiv.org·14h
✨Effect Handlers
Automated Multi-Scale Anomaly Detection in Granular Material Simulations via Hybrid Tensor-Graph Networks
dev.to·8h·
Discuss: DEV
🕸️Tensor Networks