computerdork
But, they still don't have many external customers for the fabs. Intels fab revenu is something like a tenth of TSMC's. Although, it'll probably grow year by year if they continue to match the capabilities of TSMC's chip processes.
More specifically, they focused on making laptop chips like Panther Lake (Intel's latest and greatest) and they meant to make a lot of their money here, and the data center chips weren't focused on as much (I think these would be something like the Xeon 6, but not sure, but I read that they also could have boosted production of older data center chips). But, as it turns out, laptop sales are down because of the demand for DRAM is sky high from the AI data center build out, and not as many people are willing to buy a super expensive laptop. If they had forecasted more correctly, they would have focused more on making data center chips.
Also, their forward guidance for 2027 is lower than expected too, because it will take awhile to shift their production towards building more data center chips, which they are in the middle of doing.
But, you may want to check other sources because have only been somewhat loosely following what's happening with Intel.
But on the other hand, agree with you that the chances that one its bugs causes a solved proofs to be wrong is probably very, very low. Yeah, each version of Lean obviously must be run against hundreds if not thousands tests of existing proofs to ensure it's working correctly...
... Although, one thing that is a little worrying is that some mathematicians have said the Lean code generated in these OpenAI proofs is supposedly really complex and undecipherable. It might be pushing Lean to corner cases that are not well tested.
What is not fun is the repetitive stuff, where you have to search a code base for the same change over and over again, but it's not something you can just do a search and replace. Am happy to have AI do this (although, even this, you still have to read through every change).
But, agree that we as a country can strengthen to safety net, probably good for us as a whole.
But wondering if that is also just a city thing? LA has Skid Row and just looked it up online, many metros have a Skid-Row type area.
Not saying that lenient crime policies don't make them worse, but it also might just be a feature of cities?
Am no expert on him, but as we're all talking about here, the legal system is really messed up. Yeah, there are a lot of terrible processes and laws that get in the way of justice, and a lot of the things his office did made a lot of sense.
Probably one of the biggest was the "Elimination of Cash Bail for Low-Level Offenses." The cash bail system for minor crimes really screws poor people, who can't make bail for things like shoplifting, and have to stay in jail until their pre-trial. (it's often something like $1000, which for middle-class people is not a big deal at all). But imagine a teen who had to stay out of school for a month or even two just because they stole something for $20 and his family can't put together $1k. The teen gets behind in class and stops trying, and this becomes the start of getting further and further behind in life. And a similar situation happens with poor working-class people for a minor crime, they can't pay bail, so they are in jail and can't work. They are often fired or just get into debt because they're not drawing a salary.
I don't know about anything about open drug markets, but think overall what the Philly DA seemed sensible (and just looked briefly and it seems like the crime statistics turned out well in Philly, but that could be from a number of things).
Also, maybe the car is able to hover for short to medium distances, which for a military and offroad vehicles, could be very useful to cover all types of terrain
1) Very old injuries, almost all when I was a child or teen playing sports or doing reckless things, which caused neuralgia (nerve pain). Two were on the head (one from skiing, one from playing baseball and getting hit with a bat on the head by accident). Another on the tailbone that am focusing on now
2) Very bad posture related to these injuries - had horrible posture as a teen, and thinking back, this is very probably due to my tailbone pain. It caused a ton of pain when sitting and also caused me to twist up my pelvis and hips to avoid it. This terrible twisting on top of the other pain destroyed my posture and clenched up my neck, and for the past 30 years, have been trying to undo those postural problems and muscle clenching. Have done a lot of physical therapy and exercises, but it's much better now (although, it's still a work in progress and will probably never be finished).
- You are the least-constrained team member in your healthcare: At an appointment, your doctors only get to spend ~30 min on your problem and it's unrealistic to expect them to be as deeply involved as you are on your healthcare. Yeah, you yourself can spend days or even weeks researching you health problems and planning your healthcare.
- Research your health problems: you don't need to be an expert to read about your health problem, learn the basic anatomy involved and the high and mid-level details of the surgery or treatment. You'll have to look up a lot of terms, but it's not that bad and the articles aren't that difficult to understand at a high-level.
- You are also the manager of your healthcare: Planning and seeing the big picture is critical. You can optimize a lot of the planning of appointments, exams and surgeries buy thoughtful planning. And, you can definitely catch a lot of opportunties and mistakes in decisions that are made. Just like in a tech project, a couple of good random ideas can lead you to some fantastic outcomes.
There are many more, but yeah, working with the healthcare system is an skill that can be studied and learned. Really useful.
But, have had heard the same thing that was said in the page you linked, that one of the reasons Brahms took so long in his life before he wrote a symphony is that he had to compete with Beethoven, and didn't feel it was ready until much older. Yeah, what an immense weight he must have felt to have to follow up what Beethoven had done!
... And yeah, agree with your statement that this is not emergence. But to me, it's still impressive, because the more post-training tasks they create, the more the model can do, and this set of abilities is only going to keep growing and growing.
... Also, if you wouldn't mind one last question, have read that the AI companies have started to do self-training, where the models are starting to train themselves. Might this lead to even faster and faster increase in model capabilities? ... although, based on what you're saying, maybe it just leads to a model reaching a its max plateau for existing capabilities rather than an explosion in new ones. Because, as you mentioned, for a model to learn an ability, it still needs a human to create a training dataset for it. Is this your understanding?