Mar 7, 2025 | Mistral OCR, succinct data structures, anime fans discover mathematical proof

Mistral OCR
https://mistral.ai/fr/news/mistral-ocr
https://news.ycombinator.com/item?id=43282905

Succinct Data Structures
https://blog.startifact.com/posts/succinct/
https://news.ycombinator.com/item?id=43282995

Anime fans stumbled upon a mathematical proof
https://www.scientificamerican.com/article/the-surprisingly-difficult-mathematical-proof-that-anime-fans-helped-solve/
https://news.ycombinator.com/item?id=43282133

Show HN: CodeTracer – A new time-traveling debugger implemented in Nim and Rust
https://github.com/metacraft-labs/codetracer
https://news.ycombinator.com/item?id=43280615

Differentiable Logic Cellular Automata
https://google-research.github.io/self-organising-systems/difflogic-ca/?hn
https://news.ycombinator.com/item?id=43286161

Reintroductions of beavers into the wild in several parts of England
https://www.wildlifetrusts.org/news/beavers-are-coming-home
https://news.ycombinator.com/item?id=43241589

Using GRPO to Beat o1, o3-mini and R1 at "Temporal Clue"
https://openpipe.ai/blog/using-grpo-to-beat-o1-o3-mini-and-r1-on-temporal-clue
https://news.ycombinator.com/item?id=43284420

Rayhunter – Rust tool to detect cell site simulators on an orbic mobile hotspot
https://github.com/EFForg/rayhunter
https://news.ycombinator.com/item?id=43283917

50 Years in Filesystems: 1984
https://blog.koehntopp.info/2023/05/06/50-years-in-filesystems-1984.html
https://news.ycombinator.com/item?id=43283498

Why I find diffusion models interesting?
https://rnikhil.com/2025/03/06/diffusion-models-eval
https://news.ycombinator.com/item?id=43285726