What’s New in Calico – Fall 2025 Release
tigera.io·13h
💿Proxmox HA
Flag this post
Training Junior Engineers
🗺️Competency Maps
Flag this post
Garbage Collection Is a Hack
🧠Memory Allocators
Flag this post
Show HN: Yansu, Serious Coding
🔢Coding Theory
Flag this post
The Cantor Experiment: Forcing a GPT-5-Class AI to Forget a Century of Math
⚔️Lean Theorem
Flag this post
Winning at the Edges
🛡️Error Boundaries
Flag this post
Inferring multiple helper Dafny assertions with LLMs
arxiv.org·3d
🦀Rust Verification
Flag this post
RLAC: Reinforcement Learning with Adversarial Critic for Free-Form Generation Tasks
arxiv.org·3d
✨Effect Handlers
Flag this post
Left Atrial Segmentation with nnU-Net Using MRI
arxiv.org·8h
💻Local LLMs
Flag this post
AI-Driven Optimization of Zeolite Synthesis via Reinforcement Learning & Multi-Objective Bayesian Optimization
⚡Z3 Optimization
Flag this post
Estimation of Segmental Longitudinal Strain in Transesophageal Echocardiography by Deep Learning
arxiv.org·2d
🌀Differential Geometry
Flag this post
Auditable-choice reframing unlocks RL-based verification for open-ended tasks
arxiv.org·2d
📏Linear Logic
Flag this post
Generative Artificial Intelligence in Bioinformatics: A Systematic Review of Models, Applications, and Methodological Advances
arxiv.org·1d
🧠Machine Learning
Flag this post
Enterprise Design Patterns: The Repository Pattern (Catalog of Patterns of EAA) — A Practical Guide with Python
🌀Brotli Internals
Flag this post
Probabilistic Robustness for Free? Revisiting Training via a Benchmark
arxiv.org·3d
🧠Machine Learning
Flag this post
Code That Writes Itself: The Era of Example-Driven Programming by Arvind Sundararajan
🏗️Compiler Archaeology
Flag this post
Addressing divergent representations from causal interventions on neural networks
arxiv.org·8h
✨Effect Handlers
Flag this post
Loading...Loading more...