Building Software That Survives • Michael Nygard & Charles Humble • GOTO 2025
youtube.com·1d
🔐Capability Systems
Flag this post
Think for Yourself
kevlinhenney.medium.com·16h·
Discuss: Hacker News
Proof Automation
Flag this post
ZkML Breakthrough: 13B Models Verified in 15 Minutes
lightcapai.medium.com·2d·
Discuss: Hacker News
🎯Performance Proofs
Flag this post
Sorting by Strip Swaps is NP-Hard
arxiv.org·1d
🎞️Tape Combinatorics
Flag this post
[R] Knowledge Graph Traversal With LLMs And Algorithms
reddit.com·14h·
🧮Datalog
Flag this post
Can AI-driven personalization and cold vaccine development accelerate vaccines?
dev.to·1d·
Discuss: DEV
🧠Machine Learning
Flag this post
Learning Spatial Awareness for Laparoscopic Surgery with AI Assisted Visual Feedback
arxiv.org·7h
🌀Differential Geometry
Flag this post
VLM6D: VLM based 6Dof Pose Estimation based on RGB-D Images
arxiv.org·1d
📐Projective Geometry
Flag this post
Leakage-abuse Attack Against Substring-SSE with Partially Known Dataset
arxiv.org·1d
🔐Homomorphic Encryption
Flag this post
AURA: A Reinforcement Learning Framework for AI-Driven Adaptive Conversational Surveys
arxiv.org·2d
🧠Intelligence Compression
Flag this post
OpenSIR: Open-Ended Self-Improving Reasoner
arxiv.org·1d
🔮Proof Search
Flag this post
Towards Channel Charting Enhancement with Non-Reconfigurable Intelligent Surfaces
arxiv.org·1d
👁️Perceptual Coding
Flag this post
What to Do When Your Credit Risk Model Works Today, but Breaks Six Months Later
towardsdatascience.com·17h
Incremental Computation
Flag this post
Interpretable Machine Learning for Reservoir Water Temperatures in the U.S. Red River Basin of the South
arxiv.org·1d
🧠Machine Learning
Flag this post
**Adaptive Algorithmic Profiling & Resource Allocation via Dynamic Markov Chain Optimization**
dev.to·3d·
Discuss: DEV
Incremental Computation
Flag this post
Hyperbolic Optimal Transport
arxiv.org·1d
🌀Hyperbolic Geometry
Flag this post
Deep Generative Models for Enhanced Vitreous OCT Imaging
arxiv.org·1d
🧠Neural Codecs
Flag this post