kccqzy
kccqzy on Hacker News
In the worst case when the free market deems Intel worthless, the government will nationalize Intel at a cheap nominal price. Shareholders are wiped out anyways.
It may have something to do with the summer intern season ending. I know one of the interns hired by my employer used up the allotted AI spend by doing “fun” things, like making Claude write an entire SQL-to-Pandas transpiler in 10,000 lines of Python.
You are repeating years-old news by now. It’s true that the 2022 through 2025 model years had the ICCU problem, but they improved the ICCU design in 2026, with both better hardware (heavier duty power electronics) and better software (slow start for 12V charging).
Of course time will tell whether this brings failure rate down to be negligible. But I feel pretty confident.
The headline makes it sound very amazing, but reading the reasoning loops it didn’t strike me as outlandish. It feels no different from giving a human expert a printout of assembly code and figure out what it does. (The human expert can do it without tools too, but they probably wouldn’t do it because it’s tedious.)
Textbooks don’t need a lot of revisions though. Basic math has not really changed that much. One of my favorite textbooks I used as a kid was written ten years before I was born.
The U.S. textbooks are so much better than textbooks in many other countries. They are thick and heavy, but then that is because they tend to explain the same concept in multiple different ways so students with different thinking modes can find their own explanation that clicks.
Furthermore, having good textbooks papers over the fact that in the U.S. the qualification and ability of teachers vary so much across poorer and richer school districts. A smart student in a poor school district can use the textbooks to a greater advantage.
Suppose you are an enterprise paying large amount of money to NVidia to buy their AI hardware to run AI workloads locally. Are you going to say we will refuse the default OS (
https://docs.nvidia.com/dgx/dgx-os-7-user-guide/introduction...) on such hardware and lose hardware support, or are you going to stick with the supported OS for your hardware?
Enterprises care far more about vendor support than the typical Linux hacker at home.
> To me, someone who chooses a worthwhile problem, obtains a proof completely using AI, understands it thoroughly, and uses it to develop interesting further questions or directions has made a substantial mathematical contribution. I would give that person substantial credit even if they supplied no new ingredient in the original proof.
Yup. This is what Terence Tao has been saying about digestion of results for several months now. Mathematics has become a field where results themselves matter less, the social aspect of attracting others to understand your results and explore new problems has become more important.
In a sense it is a little
bit like software engineering, where writing code can sometimes be delegated to AI, and is arguably less important than understanding what the customer really wants from this software.
You don’t need to run your 5+ ton HVAC full time. Get an EV and run the AC there (no more than 3kW). Sleep in the EV. A typical 80kWh EV battery will last several days. And this is not just theoretical; plenty of people have done this.
For Christ’s sake a natural disaster just struck and you want to live like nothing happened? The entitlement is unbelievable.
My browser refuses to open this link. It couldn’t find the server.
Property based testing is great because it’s implemented as a library in many languages. You don’t have to rewrite your codebase in Lean.
Every incident having a root cause is required. If your organization doesn’t do this, it basically means they don’t value reliability at all. The best SREs quit. Well either that or the SREs have the ability to transfer oncall responsibility to SWEs. Whether or not that can be fixed at the origin is an entirely different matter. Bug-free code doesn’t really matter: the best incidents are the kind that reveals hitherto unknown bugs.
Google’s AI mode is roughly the same as using the free ChatGPT web app (both without logging in). Of course they use a lower-intelligence model for free users. They are certainly worse than real AI subscriptions. I do the same thing you did: only use it for basics and low-stake things, and it’s good enough for basics.
PSA that deficiency in Vitamin D also leads to cognitive decline including dementia.
https://pmc.ncbi.nlm.nih.gov/articles/PMC6132681/I find the risk-award very clear: if you are not deficient, taking normal* amount of Vitamin D supplement has no adverse effects; but if you are deficient, the risk is quite high.
*: The normal amount is 600 IU. The recommended upper limit is 4000 IU. The gap is wide.
I stopped reading halfway because it doesn’t describe competent SREs in an organization where the culture values reliability.
> Alert noise reduction and intelligent grouping, runbook execution for known issues, log pattern detection and anomaly flagging, and basic root-cause suggestions from historical incident data, and auto-remediation for well-understood failure modes like restarting a crashed pod or scaling up a service that’s running hot, are all fairly automated today.
Let’s stop here and ask, why do we not fix the underlying issue? Alert noise? Design better alerts. Runbook execution? Make it a cronjob. Known issues? Why aren’t people fixing these known issues? Root cause suggestion from historical data? Sorry if root cause A is in the historical data you expect problem A is fully solved so it wouldn’t appear again in the next incident. Restarting things? Why doesn’t your health monitor restart things automatically?
SREs also need to climb up the abstraction ladder. Instead of using AI to assist with grunt work, use AI or human thinking to build more reliable systems with fewer incidents. Every incident should be novel.
You should try staying at small boutique hotels. They tend to just sign up for a regular business internet and you’ll get IPv6 that way. Large chain hotels want central management and their management isn’t modern enough to support v6.
How? Since when do banks care about IPO crashes? A lot of IPOs crashed after listing; I can’t remember a single time when a bailout was needed after an IPO.
Nope. The balance sheet of big tech companies are healthy enough not to need to bailout anyways. AI startups can of course fail.
Break glass systems are very good but they are also challenging to make. It requires at minimum a system to get approvals from n other people and a system to do logging. It means your authentication and authorization systems must both be working, at least a small amount of non-volatile storage is available, and this often implies the availability of more foundational services such as service discovery, name lookup, distributed consensus, and replicated storage.
The problems can be overcome, but management types may balk at the cost of a complete break glass system.
> when something breaks the app will tell me.
Then you have to require these permission controls to tell the app the user denied permission, and not just giving a valid but empty result. Some people on HN feel strongly that when you deny contacts permission to an app, the app should receive a list of dummy contacts. Without it a bad app can lock its UI and not do anything unless the permission is granted.
Non-sandboxed apps have this permission prompt too.
This is why I prefer to use C++ and its reversed iterators. The rbegin and rend accessors are there in the containers from the beginning. It’s less error prone than the C version using indices. (Of course some situations require me to use indices, so I do use the i-->0 trick, but it is much rarer.)
I did the same in 2011, and I successfully mined exactly zero bitcoins.
Intel has supported native hardware decoder for AV1 since Tiger Lake. That’s quite old. You could buy a used NUC with Tiger Lake. Even when new a NUC with 1115G4 or 1135G7 isn’t expensive. I found one with damaged WiFi for $20.
https://www.ebay.com/itm/366767313411 You can buy it now.
In America sometimes construction of mass transit requires so much money that it is less cost effective in terms of riders served on a per-unit cost basis than subsidized taxi. A lot of that tax money goes to intermediate consultants who come up with extravagant station designs. Another large chunk of that tax money goes to union workers when equivalent non-union workers are much cheaper to hire. The sheer size of mass transit projects means they become even bigger. I don’t like this but it is what it is.
Many cities already fund taxis. The city of Sunnyvale provides a taxi service under the name of Beam for $3.50 per ride. It does not seem like a big stretch to extend this to food and grocery delivery.
If you don’t want to be taxed for some service, you can always choose to vote to get rid of that service or move to a place without that service. I welcome more experimentation in municipal services.