slwvx

Seems like the guy is wondering why they can't avoid taxes more easily. I'm not sympathetic

One interesting scenario is where the Sun, Jupiter, and another object are the three bodies in question. I think we could put an object at the L4 or L5 point of Jupiter's orbit (see the Trojans) and have it be stable. How large could this object be? Would an Earth-sized object be stable there? If so, how close would a passing star have to be to disturb that stability?

So did the Norwegian Wealth fund do the biggest flex of all, by investing in saving big Amazon rain forest trees?

If a compound will help with chemotherapy pain, won't it help w other pain? Is there something special w chemo pain?

> We should also be realistic and revolutionary, adopting this tried-and-tested principle – what I call “teach both, test both” – for AI now. Every subject, from history to English literature, should be divided in two: teach students to use AI in one part, teach students to flourish without it in the other – and, crucially, examine both.

I like this approach

I've seen JuliaHub taking credit for all of Julia before. I don't think there's anything new in this article

Makes me think of the short story "With friends like these..." by Alan Dean Foster, in which one aspect of the story has people on a future Earth living what appears externally to be a very simple (maybe hunter-gatherer) lifestyle, while still having (hidden) powerful tech

This is hosted by the Kansas City Fed [1] [2]. Do any of the other Fed banks feel jealous? Or pick fancy destinations to try to compete?

[1] https://www.kansascityfed.org/research/jackson-hole-economic...

[2] https://en.wikipedia.org/wiki/Jackson_Hole_Economic_Symposiu...

> AI adoption raises homework scores by 18% and reduces completion time by 30%, but lowers monthly exam scores by 20% within six months. High-stakes entrance-exam scores fall by 18 and 24%, with the full penalty emerging only after about two years.

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

I am a fan of the NBA, but if LeBron and other stars start to regularly do hidden deals to avoid the salary cap, I'll drop it

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

In what way is the prof wrong?

One can be arrogant and an asshole and still right

Numberphile has a video [1] on this that I found useful for context. The SF standard has an editorial [2] by the same woman that Numberphile interviewed which was discussed here at [3]. A non-paywalled version of the Bloomberg article is at [4]

[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

Yes, the idea of a turn [1] is interesting. And maybe useful.

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)

The brainpower in the Ethereum community is impressive. As is the effort to improve and move the core tech forward

The next step is to add Tocharian to Babbel and Duolingo ;-)

I was very happy to see an "AI use disclosure" right on the title page under the abstract.

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

> After doing a bit of research, we decided that the most common real world use cases of zero-knowledge proofs (age verification, crypto, etc) aren’t particularly interesting to us.

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

The move away from income taxes (typically progressive) to sales tax (inherently regressive) is a terrible step towards more economic inequality. This sort of regressive taxation is what the political right and left unified AGAINST 115 years ago when the 16th amendment was passed and the US implemented an income tax. The move towards regressive taxation is the worst part of right-wing ideology; it hurts everyone.

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.

Don't tax trade, rather foreign capital gains.

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

She has a wikipedia page: https://en.wikipedia.org/wiki/Joan_Birman

I guess "IR" is "intermediate representation" while "MLIR" [1] ("Multi-Level Intermediate Representation") is an IR from Chris Lattner/LLVM that is designed to be modular and extensible. For the uninitiated, I think [2] shows how the current Julia IR is generated and used in the Julia JIT compilation process

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

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

I did not see _alternator_'s comment as asinine. I like a venue where people who have some expertise feel comfortable enough to share it, and are not criticized for doing so

Great visualization!

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

For Ingalls Wilder, see the following

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

That's an enjoyable read!

Mark Twain is America's Homer

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

Thanks!

The title of the article says "Are Argentina being treated favourably at World Cup?", while the first sentence says "Argentina are throwing everything at the defence of their World Cup title..." Is the noun "Argentina" somehow considered plural, or is the BBC hiring poor English speakers?

though the article doesn't say it in the abstract (and no where else I looked), SKA stands for "square kilometer array" and is a telescope

https://en.wikipedia.org/wiki/Square_Kilometre_Array

zero-knowledge proofs are a well-known tool in cryptography [1]. All Google is sharing is the library to implement it. Google would not have access to the information any more than they have access to the bank info of people who use Android or Gmail.

[1] https://en.wikipedia.org/wiki/Zero-knowledge_proof