[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?

[1] https://www.real-morality.com/post/diamond-age-ai-tutor

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...

[3] https://news.ycombinator.com/item?id=49320803

[4] https://archive.ph/zGIxw

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?

[1] https://en.wikipedia.org/wiki/Turn_(angle)

It's not clear if this is solely a possible theoretical result or if it has any practical value. I.e. is it only useful on lattices that are so large as to not be of use, or could it be used for cryptanalysis? If one is using AI to generate a theory paper such as this, why not use the AI to also generate code that uses it, put it on GitHub, and show the results, say against fplll and the tool in the paper below?

https://ir.cwi.nl/pub/35237/35237.pdf

Here are real-world uses that I find interesting:

* Gun control opponents sometimes oppose it because of privacy concerns. A ZK proof of good mental health and gun handling skills could be implemented in such a way as to disclose no other information.

* An online ZK identity provider might prove to a new site that a user really exists, without revealing any private information

* Here's an already-implemented use: Kagi uses a zero-knowledge token to allow users access to their tools in such a way that doesn't expose which user they are to Kagi.

I think we don't need to give up privacy to have good things. ZK proofs are one tool that could help that happen

States with more progressive income taxes include California, Hawaii, Idaho, Vermont, and DC. DC has the most credits for low-income workers, while CA has the highest rate on high-income earners.

Alaska, Floria, New Hampshire, and Texas have no income tax.

Alabama has a regressive income tax. They didn't even bother to get rid of the income tax to hide the fact that they are going for regressive taxation.

See https://drafts.interfluidity.com/2025/04/27/how-can-taxing-f...

[1] https://en.wikipedia.org/wiki/MLIR_(software)

[2] https://docs.julialang.org/en/v1/devdocs/jit/

I'm no soccer/football expert, but it seems to me that the most common TV camera shots are from the sideline at midfield. The (effective) camera for these shots are from high above one corner of the field, and the field is (effectively) tilted. This camera-on-the-corner shot may be good in some cases, but when showing the live back-and-forth, I'd prefer it to be in in the standard position of midfield, so as to not favor one team or another

https://en.wikipedia.org/wiki/Laura_Ingalls_Wilder#Political...

One aspect of Huckleberry Finn (the novel) that I think is relevant today is the spectacularly stupid zero-sum conflict between the Grangerfords and the Shepherdsons. It seems relevant to the US's politics and many international conflicts