Who I am as a person

Gm youtu.be/T-jt3qBzJ4A

TIL Rilke was Rodin’s secretary

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.

TIL about Socket Firewall: socket.dev/blog/introdu... 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.

Expectations are foolish (unless quantified)

If you’re into math, it’s worth subscribing to notifications for this repo: github.com/ImperialColl... 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 traini... Show more

Germany blocks ChatControl (for the time being)

In web2 network effects build natural monopolies, in web3 network effects work to keep things decentralized due to composability.

It’s a fun thought experiment to imagine what a truly vertically integrated AI company from lithography to software would look like. What if you could buy a device for $1k with a cutting edge model built in?

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

“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 —