News
AI, cybersecurity, machine learning, scraping & programming news.
214 results on this page · clear filters
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...
Λ 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...
Show HN: Godot and Rust based multiplexer (terminal panes and more)
gPTY is a desktop terminal emulator built on Godot and Rust that does something most terminal emulators do not: it exposes a programmatic API so AI agents can spawn panes, inject text, and read output without scraping the screen....
General Quantification of Covariate and Concept Shifts
Distribution Shift Is a Broken Promise Every deployed model makes an implicit bet: that the data it sees at inference will look like the data it trained on. When that bet fails, performance degrades silently and sometimes catastro...
Data Scarcity and Model Sparsity: Mixtures-of-Experts Overfit More to Repeated Data
When Running Out of Data Breaks Sparse Models The internet's text is finite. As language model training scales toward and beyond the limits of human-written corpora, repeating data has become standard practice. Muennighoff et al....
Distance generalization in transformers: why bother with positional encoding?
Positional Encoding May Be Hurting Your Transformer Transformers are everywhere, and positional encoding is considered foundational. Every major production model, from Llama to DeepSeek, uses RoPE (Rotary Position Embeddings) to t...
TART: A Modular Tool for Technique-Aware Audio-to-Tablature Guitar Transcription
Automatic Music Transcription for guitar has long been stuck on the wrong side of the difficulty curve compared to piano. Piano AMT hit high note-level accuracy years ago through CRNN models and large paired datasets, but guitar t...
MindTopo: Can Foundation Models Reason in Topological Space?
Piaget argued that children develop spatial understanding in a fixed sequence: topological relations come first, followed by projective and Euclidean ones. The child first grasps that two points are connected, that one region encl...
Caption-once, Frames-on-Demand: Visual-Need Routing for Budget-Aware Agentic Long Video Understanding
Long video understanding on edge devices runs into a fundamental tradeoff. You can subsample visual tokens and hope the model still catches what matters, or you can convert the video into text captions and lose the fine-grained vi...
From Specs to Apps: Verifying and Monitoring Models of Signal and WhatsApp
The Signal protocol secures daily messages for billions of people across WhatsApp, Signal Desktop, Facebook Messenger, and Google Messages. Years of formal analysis in the computational and Dolev-Yao settings have produced strong...