News
AI, cybersecurity, machine learning, scraping & programming news.
Show HN: Spanda – Sub-microsecond LLM epistemic uncertainty in Rust
A new tool called Spanda detects LLM hallucinations in microseconds without requiring secondary neural networks. The open-source project claims to match or exceed traditional Semantic Entropy methods while running 90,000 times fas...
Show HN: A new, safe, programming language for LLMs and Humans to collaborate
A new programming language called U claims to solve memory safety, data races, and security vulnerabilities through a single type modifier system. The language compiles to portable C and targets both human developers and AI code g...
OpenAI’s feud with mathematicians is only escalating
Twenty-five Fields Medalists signed an open letter this week arguing that AI labs are threatening mathematical research. The signatories include some of the most decorated mathematicians alive. Their concern is direct: companies l...
OpenAI just wants to win
OpenAI announced a solution to the Navier-Stokes Millennium Prize problem this week, claiming its model found the answer using 10,000 agents, tens of millions of dollars in compute, and 88 hours of runtime. In any other year, this...
ChatGPT-using lawyer punished for citing fake testimony from made-up witnesses
The New Mexico Supreme Court held a veteran criminal defense attorney in direct contempt this week after he submitted a brief containing fabricated witness testimony and inaccurate case descriptions generated by ChatGPT. The lawye...
Λ Snap – An inviting programming language for kids and adults for CS study
Here's the article: Snap!, the visual programming language built at UC Berkeley, reached version 11 in August 2025. The release keeps the project's 17-year momentum going, and the community gathered at Snap!Con 2025 in Heidelberg...
Let AI Agents Rewrite a 92M-Message-a-Day Node Service to Go
Checkly's Results Daemon handles roughly 92 million messages a day. It processes check outcomes, writes to databases, fires alerts, and pushes WebSocket updates to dashboards. Last year the volume doubled, the Node.js service star...
Show HN: Extension to filter LLM written articles
There is a quiet arms race happening on Hacker News. As AI-generated comments flood discussions, the community wants to know which posts are real and which are slop. A new open-source tool called hnslop makes that question answera...
Show HN: Socratix – an AI tutor for proving mastery, not memorizing
Socratix is a browser-based learning platform that takes a different approach to programming education. Instead of video lectures and multiple-choice quizzes, it builds a personalized curriculum graph and forces you to prove under...
Lawyer fined $5K over AI-hallucinated witnesses in a murder case
New Mexico's Supreme Court fined a lawyer $5,000 and held him in contempt this week for filing a murder appeal that contained AI-fabricated witnesses and fake police testimony. The court found that Stephen Aarons failed to verify...