nateberkopec (u/nateberkopec)

nateberkopec commented on Mobile carriers can get your GPS location an.dywa.ng/carrier-gnss.h... · Posted by u/cbeuw

michaelt · a month ago

Surely that only happens when the phone user dials 911 ?

You're thinking of Phase II E911 in the US.

That's true, but you can always be triangulated down a couple hundred meters by figuring out which towers you're connected to.

nateberkopec commented on Mobile carriers can get your GPS location an.dywa.ng/carrier-gnss.h... · Posted by u/cbeuw

kayodelycaon · a month ago

Emergency services (with the proper software) have been able to get your precise location from your phone for a while now.

This isn’t a new capability and shouldn’t be surprising.

nateberkopec · a month ago

I spent ~5 years volunteering for a search and rescue team in New Mexico.

We definitely got the cellphone tower triangulation data. I never once saw GNSS data provided by a carrier. We used FindMeSAR https://findmesar.com/, the subject would usually text back the coordinates from the phone.

Just one data point.

The revolution that's occurred since my SAR volunteer days is the wide availability of satellite messenging on consumer phones. I'm guessing that's really changed the situation quite a bit.

nateberkopec commented on Claude Code daily benchmarks for degradation tracking marginlab.ai/trackers/cla... · Posted by u/qwesr123

Dowwie · a month ago

Simply search user prompts for curse words and then measure hostility sentiment. User hostility rises as agents fail to meet expectations.

nateberkopec · a month ago

Good thing expectations are perfectly constant!

nateberkopec commented on “Erdos problem #728 was solved more or less autonomously by AI” mathstodon.xyz/@tao/11585... · Posted by u/cod1r

maxwells-daemon · 2 months ago

I work at Harmonic, the company behind Aristotle.

To clear up a few misconceptions:

- Aristotle uses modern AI techniques heavily, including language modeling.

- Aristotle can be guided by an informal (English) proof. If the proof is correct, Aristotle has a good chance at translating it into Lean (which is a strong vote of confidence that your English proof is solid). I believe that's what happened here.

- Once a proof is formalized into Lean (assuming you have formalized the statement correctly), there is no doubt that the proof is correct. This is the core of our approach: you can do a lot of (AI-driven) search, and once you find the answer you are certain it's correct no matter how complex the solution is.

Happy to answer any questions!

nateberkopec · 2 months ago

>assuming you have formalized the statement correctly

That's a pretty big assumption, though, isn't it? As we saw the Navier-Stokes psychosis episode over the New Year holiday, formalizing correctly really isn't guaranteed.

nateberkopec commented on An NFC movie library for my kids simplyexplained.com/blog/... · Posted by u/kzrdude

nateberkopec · 2 years ago

Is there an option for an NFC reader that doesn’t require 3d printing or soldering?

nateberkopec commented on Cardio fitness is a strong, consistent predictor of morbidity and mortality bjsm.bmj.com/content/58/1... · Posted by u/wjb3

xwowsersx · 2 years ago

Are there cheap fitness bands or smart watches that can somewhat accurately track VO2 max?

nateberkopec · 2 years ago

You don’t need a watch. You can estimate VO2 max yourself by doing a max effort 1.5 mile run and applying a regression equation: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4795745/

That’s all the watches are doing anyway. Even if you do buy a watch, keep in mind you need to run regular max effort runs to get an accurate value.

nateberkopec commented on Hi everyone yes, I left OpenAI yesterday twitter.com/karpathy/stat... · Posted by u/mfiguiere

skepticATX · 2 years ago

Frankly, OpenAI seems to be losing its luster, and fast.

Plugins were a failure. GPTs are a little better, but I still don't see the product market fit. GPT-4 is still king, but not by that much any more. It's not even clear that they're doing great research, because they don't publish.

GPT-5 has to be incredibly good at this point, and I'm not sure that it will be.

nateberkopec · 2 years ago

Sam publicly asking for a 10x bigger power grid and 7 trillion dollars is a pretty clear sign that they're out of short to medium-term ideas other than "MOAR PARAMETERS".

nateberkopec commented on Value of life en.wikipedia.org/wiki/Val... · Posted by u/vincent_s

nateberkopec · 2 years ago

GiveWell can point you to various charities in 3rd world countries where you can be reasonably certain you can save a life for about $5000-7000. https://www.givewell.org/

Save 1 life in the USA, or take the same 7.5 million and save ~1000 lives in Africa. Interesting lens on which to view these numbers.

nateberkopec commented on A Critical Analysis of the What3Words Geocoding Algorithm arxiv.org/abs/2308.16025... · Posted by u/ColinWright

nateberkopec · 3 years ago

I volunteered in SAR for five years, and the topic of W3W would occasionally come up.

For me, it’s just already damn hard to make sure you can hear numbers correctly over the radio. In marginal conditions, it’s a hell of a lot easier to use numbers (and requires less time due to not having to repeat or ask for clarification).

Do I really want to be trying to say “arrows.midst.senses” over a handheld radio?

nateberkopec commented on Housing Is a Labor Issue: Land owners are taking all the wage gains hamiltonnolan.com/p/housi... · Posted by u/vwoolf

mschuster91 · 3 years ago

While I agree that landlords are vampires, that here is wrong:

> But there is a stack of research a mile high that shows that the number one thing we need is a lot more housing supply

There are millions of units vacant everywhere, be it the US [1] or Germany [2]. The last thing the world needs is more housing construction, especially with the insane CO2 footprint of anything involving concrete.

The problem is that rural areas ("flyover states") have been left to rot: no reliable electricity grid, no public transport, basic infrastructure from grocery stores over schools to basic healthcare has closed down, no high-speed Internet which is a necessity for modern life - and particularly the latter is a major contributor in rural flight, as employers move towards more urban areas, which sets off a vicious cycle as the people follow the jobs, and the remaining infrastructure becomes too expensive to maintain. That this neglect is a direct cause of people losing trust in democracy is just the icing on the cake (and again, this also contributes to rural flight as LGBT and women flee far-right areas in droves).

We need to invest into rural areas again.

[1] https://www.nar.realtor/magazine/real-estate-news/16-million...

[2] https://www.demografie-portal.de/DE/Service/Blog/191028-Wohn...

nateberkopec · 3 years ago

If what you care about is climate change, you should be in favor of cramming people into the smallest possible spaces in urban areas, not putting them in rural areas where they have to drive 20 minutes to get to the grocery store.

The carbon footprint of your average city dweller is far lower.