cma

7 ms·

151.
by cma 5mo ago
#326 solved https://github.com/teorth/erdosproblems/wiki/AI-contribution...
152.
by cma 5mo ago
Leaked emails I think showed the open source part at the heart of the concept of OpenAI was never serious and was just to help recruit.
153.
by cma 5mo ago
Earlier of their systems have solve other Erdos problems that people had worked on, this one was more monumental and had had a lot more prior effort that didn't solve, but this isn't a one-off.
154.
by cma 5mo ago
Same could be said for human mathematicians that learn from tools like Lean.
155.
by cma 5mo ago
What's the blind rage, he's totally out in the open.
156.
by cma 5mo ago
There's a wide variety of seriousness https://www.youtube.com/watch?v=FIg4zQKBpAs
157.
by cma 5mo ago
They had an issue detecting them here. But my understanding was people were saying beyond seeing the flooded section there is a fundamental problem that they can never solve that if there is new construction under the flooded section lower
158.
by cma 5mo ago
I'm assuming there is no issue detecting water over the road, only depth below it that has changed since the HD map was made.
159.
by cma 5mo ago
People usually drive slow too through flooded sections. They don't have the advantage of any descent of the car diverging from HD maps, or any water level visually below HD map surface serving as an immediate warning.
160.
by cma 5mo ago
Some of the Tesla robotaxi deployments have relied on HD maps too, or at least they were spotted extensively lidar mapping Austin.
161.
by cma 5mo ago
Flow should be able to be done with vision, radar can as well: some bridges use surface flow monitoring radar.
162.
by cma 5mo ago
As soon as the car descends below what was mapped it should be able to know there is a discrepency. Satellite monitoring is also available for detecting extensive road work which they could use to invalidate and send out something to remap.
163.
by cma 5mo ago
I was thinking Buffett said that and Gates was still leaving some. I don't know why the farmland then. Maybe to get easy access to veterinarian antibiotics.
164.
by cma 5mo ago
Any given year congress could pass something letting farmland owned before X date be passed to your children without taxes. I've seen lots of congressmen telling sob stories about a constituent losing the 8-figure family farm due to ta
165.
by cma 5mo ago
Stock Android has always classified internet as a "normal" permission that can't be toggled by the user. I think it still might have to be requested by the app, and you could see it in the app details, but it has always been
166.
by cma 5mo ago
There were also big proliferation concerns out of 70s era designs.
167.
by cma 5mo ago
Google has been very careful not to add an internet permission on Android, even though things like flashlight apps shouldn't have needed internet. Google is an internet ad company.
168.
by cma 5mo ago
Which on the list that is riskier has a lower education requirement and isn't also well paid?
169.
by cma 5mo ago
https://www.bls.gov/iif/additional-publications/archive/dang... Looking there all that are riskier on deaths either have much lower education requirements, or also pay well.
170.
by cma 5mo ago
For indies Steam's network lock-in effects are so strong that if you sell without their cut off Steam, instead of same price eating their cut on Steam, you likely do worse. Because selling off-Steam takes one sale out of their algorit
171.
by cma 5mo ago
If it speeds prefill too I guess so.
172.
by cma 5mo ago
Writing an op-ed can get the police on you here. The first amendment isn't supposed to only apply to citizens. https://www.theguardian.com/us-news/ng-interactive/2026/feb/...
173.
by cma 5mo ago
I think it also gets use in the /fast modes the providers sell at higher cost.
174.
by cma 5mo ago
It doesn't sound too different than things like the Nintendo Power Hotline.
175.
by cma 5mo ago
Isn't Norway only for drunk driving? Finland has it for massive speed excesses, but it is based on net taxable income taking out business expenses for taxi drivers, and Waymo is still negative. If they become profitable you'd wan
176.
by cma 5mo ago
> diesel cars that weigh less than a Honda Accord. It is taxed less than gas in lots of Europe where that is more common. You also need to factor in mpg vs gas, where it is higher, so more road-wear pCO2 was part of the debate in Europe
177.
by cma 5mo ago
Natural beauty doesn't need a person on the other end to be appreciated, as one counterexample.
178.
by cma 5mo ago
Heavier commercial trucks that run on diesel tend to cause more damage. Scales with roughly 4th power of axle load.
179.
by cma 5mo ago
> it being in Europe is perhaps a combination of European tradition and Europe wanting some part of the global chip production system The US doesn't randomly hold export veto power on ASML through unilateral threats. EUV had a lot
180.
by cma 5mo ago
Not to mention datacenters were bombed and, for specifically AI ones, the in-construction Stargate was threatened.

More ›