TIL about Loom: a tool for testing concurrent Rust programs.
It simulates the OS scheduler and Rust’s memory model to make sure all possible executions are tested.
https://docs.rs/loom/latest/loom/
TIL about Socket Firewall: https://socket.dev/blog/introducing-socket-firewall
It's a free tool that blocks malicious packages at install time. It's still advisable to use isolated dev environments (dev containers or vms), but Socket Firewall provides unobtrusive defense in depth.
If you’re into math, it’s worth subscribing to notifications for this repo: https://github.com/ImperialCollegeLondon/FLT
It’s incredibly cool to see the formalization of the proof of Fermat’s Last Theorem, PR-by-PR
Good insight into AI progress on human-level reasoning.
TLDR is that the author found a clever way of improving evolutionary test-time compute by switching to natural language from Python. But the performance is still very poor compared to humans, and the approach is basically throwing things on the wall during training to see what sticks and hope it generalizes.
https://jeremyberman.substack.com/p/how-i-got-the-highest-score-on-arc-agi-again
At the risk of jinxing this: Xavi Simons would be huge for Tottenham.
Can play CAM or LW, great off the ball work rate and good at carrying the ball through the middle
https://youtu.be/m0Y6Zv9BhfI
“This ‘I am the body’ idea is the primary source of all subsequent wrong identifications and its dissolution is the principal aim of self-inquiry.”
Ah, to read the right idea at the right time —
This just popped up on my feed and reminded me why Scooby is my all time favorite youtuber. His no nonsense approach to fitness has taught me a lot and his genuine purity shows through his videos. I regret not meeting him when he was in Zurich
https://youtu.be/QEd3hNJZ9Xk
