What ideas are those? Are you familiar with the policies of Stalin and Mao in any way, or are you just parroting something somebody else told you?

And here I thought the First Impact was billions of years ago, when the Black Moon carrying Lilith crashed into the Earth.

I'm very happy that Apple is including a VPN for "normies." I see a lot of traffic to sites I manage coming from iCloud private relay blocks, and the demographic is teens and twenty somethings.

Having said that, for me, it's a bit mixed. Things get confused when running my OpenVPN or Wireguard split DNS vpn with--and sometimes without--iCloud relay. There are also some OS network-specific settings that involve blocking trackers that impact things too. Safari is kind of "special" in terms of how it looks at networks and DNS as compared to base *nix utilities or Chrome/Firefox. I'm still entirely on macOS 15 (skipping macOS 26, we'll see about 27), and the situation has gotten much better since early OS levels.

Click the links. They have exlpoded parts diagram, step-by-step instructions, diagnostic software, etc. If you want pictures of every step along the way, iFixit has you covered there. I've repaired many Macs over the last ~30 years (Plungers for iMac monitors, etc) and I'm glad Apple had made it easier again. Hilarious joke about "biting that apple" lololol!

The distinction here is that they are in that situation getting information about what the market is doing slightly faster, or sending an order slightly faster. But here the information is information that is not publicly available. So yes, the distinction here is clear. This is insider trading. (That the other stuff should also be illegal but isn't is a secondary issue here.)

I think you replied to the wrong post.

Fallacious argument. A Macbook Neo is not the same as a sub-$200 Chromebook (I cannot find a single Chromebook for that cheap on Amazon, either. The ones that are close, in the $250+, are dramatically inferior to the Neo in every way I can see.). I am speculating, but I expect that a Neo would be more durable and longlasting than a budget Chromebook. The screen, keyboard, trackpad, and everything else is certainly better.

If school systems with 25,000+ students are deciding to make this investment, there is a reason. They also have far more information about the financial realities of using Chromebooks and the costs of acquiring 25,000+ Neos. The proof will be in the pudding, and we'll see what happens in the next several years.

My own personal opinion--Chromebooks suck and worst of all, they make computing utterly miserable for students.

Yes, you and I have disagreed on these matters before here. That you might want to listen even a little bit to subject matter experts should maybe occur to you. But if you don't want to listen to me, then there are other options. Alvaro Lozano-Robledo did a great interview with Francesco Fournier-Facio about it the sofic group problem and why we care https://www.youtube.com/watch?... . Fournier-Facio has done a lot of recent good work in infinite group theory. If you want to learn more about the sphere packing problem and why we care, you can look at Conway and Sloane's book "Sphere Packings, Lattices and Groups." For the Ramsey problem, you can check out Ron Graham's book on Ramsey theory, although it is a bit old at this point. A more up to date book is Soifer's "Ramsey Theory: Yesterday, Today, and Tomorrow" but I haven't personally read it. But the upshot is that other than which of these problems I've personally worked unsuccessfully on, there's nothing here that you cannot verify yourself, so you don't really need to rely on me and your own opinion that I have no clue is only a little relevant.

Mathematician here. None of the ten problems under discussion here are remotely problems that "nobody really looked for a long time because the problem was not interesting enough." All ten of these were major problems in their subfields; I was familiar with 8/10 before this, and I've talked with people in the other subfields who have confirmed that the other 2 were also major enough. The sphere packing problem has been a problem which people have been thinking about variants of for literally over a hundred years, and is one that I thought about (and made no progress on) when I was doing my PhD. The Ramsey problem is one of the most famous open problems in Ramsey theory, and one I've also thought about, as my own research areas have moved somewhat into graph theory the last few years. Of the remaining other 6, I've never seriously thought about, but are still well known problems.

Your point about there being many open problems, and they've only solved a small fraction has more validity. But that's also just as true for how human mathematicians function. I've probably thought about hundreds of problems, and solved only maybe 5% of those, and nothing I've solved has been remotely of the level of any of these ten problems in fame or amount of prior attention. That these systems are only solving a fraction of the problems is true but is only the smallest hit on how impressive these results are. And these systems continue to improve. We'll likely see even more impressive results in a month or two.

That's an interesting observation. Yet, apparently, the little widgets at either end of the cable are a potential national security risk.

https://selfservicerepair.com/en-US/macbook-neo/display

https://support.apple.com/genuine-parts-distributor

https://support.apple.com/en-us/docs/mac/301292

Apple went through a span of time where it was unfriendly to repairs. People rightfully complained, and they got better. That's everything working like it's supposed to, and Apple should be praised for improving.

So here we have the goalposts shifting. First it was "the whole thing has been pumped full of epoxy" and "you don't repair these things, you replace them" and now we've evolved to "That is repairable by the standards of Apple computers, not the standards of open hardware."

The repair manuals are available online. You can order replacement parts directly from Apple. A new screen costs about $200 (I would also guess that schools get dramatically reduced prices to repair, but that's purely speculation). Yes, I get it, that doesn't meet your value proposition, but clearly a large number of school districts disagree with your financial analysis.

My kids have Chromebooks. On average they need about 3 repairs a year, and my kids ARE careful with their stuff. They are complete junk, terrible trackpads, terrible screens, terrible keyboards. I have not touched a Neo, but I would expect it to be substantially hardier, faster, and with a much better screen than the budget junk my kids are forced to use. Yes, that does come with a higher initial investment.

The person you are referring to is not an AI hater, they are as they say astonished. I'm not sure which example they are referring to, but there have been multiple examples at this point with GPT 5.4 or higher or Fable where the primary thing the human has done is just told it to keep trying and continue every so often.

While we do not know precisely what system OpenAI was using, the proofs they generated in this case did not come with automatic Lean or other verification. And many of the successful uses of AI in math now, such as Erdos 1196, the Unit Distance Conjecture have been done using just the regular LLM without Lean, or any other system.

Well, that's true also for human mathematicians. I'm a mathematician, and I'd guess I end up solving about 5% or fewer of the problems I end up trying to work on.

Anthropic made a profit second quarter this year https://aitoolsrecap.com/Blog/anthropic-first-profit-2026-revenue-breakdown. We'll see if they make a profit in Q3, but at least right now, that statement doesn't look accurate. Now, there's reasonable concern about how real this profit is, given the weird amount of self-dealing and entanglement between the different companies. I also wouldn't be surprised if none of the major data center companies are taking chip depreciation into account to the extent they should. But at least on paper, right now, the statement isn't true.