Re OpenAI's disproof of an Erdos conjecture and the breathless coverage, I found this piece from April insightful about how mathematicians will likely need to adjust what they explicitly vs implicitly value.
davidbessis.substack.com/p/the-fall-o...
“But it happened” is definitely worth more attention.
youtu.be/tlQ7EoJDTQY?...
OTD 1936: Turing submits his paper “On Computable Numbers, with an Application to the Entscheidungsproblem.”
90 years of Turing machines!
What a cover!
YOU’RE LISTENING TO SISYPHUS FM, THE HOME OF NON-STOP ROCK
The discussion of protecting the agent process is on page 7. swtch.com/~rsc/papers/...
In Plan 9 in ~2001, we introduced "private" processes that even a sysadmin couldn't access, debug, etc. I just learned Windows Vista added the same in 2007.
The difference? We did it to protect keys held by the security agent, while Windows did it to protect media content.
Priorities! ¯\_(ツ)_/¯