slwvx
Joined 14 years ago
Joined 14 years ago
I like this approach
[1] https://www.kansascityfed.org/research/jackson-hole-economic...
[2] https://en.wikipedia.org/wiki/Jackson_Hole_Economic_Symposiu...
In Stephenson's "Diamond Age", an AI tutor-in-a-book helps a girl learn. Some [1] have suggested that current AI already can function like this book, which the study above contradicts. So is the problem that current AI needs to improve as a tutor, or is the model of using an AI as a tutor flawed?
For context, Kawhi Leonard has been accused [1] of salary cap circumvention. When I saw this article, I thought it was evidence of similar shady stuff by LeBron
[1] https://en.wikipedia.org/wiki/Kawhi_Leonard#Salary_cap_circu...
One can be arrogant and an asshole and still right
[1] https://www.youtube.com/watch?v=oS5hr_4w2Sk
[2] https://sfstandard.com/opinion/2026/08/15/uc-berkeley-sat-te...
I have a different question: What would it take for a compiler to remove (elide) the multiply by pi + divide by pi that the author uses as an example? I guess one would not have to go as far as a Lean proof that two bits of code produce the same result?