HackerLangs
TopNewTrendsCommentsPastAskShowJobs

IsTom

1,320 karmajoined 14 ปีที่แล้ว

comments

IsTom
·8 ชั่วโมงที่ผ่านมา·discuss
It would be nice, but I don't have much hope as it doesn't help next quarter's profits.
IsTom
·8 ชั่วโมงที่ผ่านมา·discuss
To be able to propose interesting conjectures you need to walk the walk of trying to prove things yourself. That's not great for future generations.
IsTom
·8 ชั่วโมงที่ผ่านมา·discuss
You start with .22 and build up resistance from there.
IsTom
·22 ชั่วโมงที่ผ่านมา·discuss
If demand doesn't fall down or current manufacturers supply go up, somebody (presumably in China) will spin up fabs. Apple wanted to use blacklisted Chinese RAM already.
IsTom
·22 ชั่วโมงที่ผ่านมา·discuss
Deciding if two programs do the same thing is provably impossible in the strict mathematical sense.
IsTom
·เมื่อวาน·discuss
With programs large enough tests aren't going to ever be enough. Formal verification might work, but then who checks the specification for bugs?
IsTom
·4 วันที่ผ่านมา·discuss
Is it? Compressed (text) Wikipedia is in ballpark of dozens of GBs.
IsTom
·4 วันที่ผ่านมา·discuss
Pure aluminium maybe not, but it's a major component of clay.
IsTom
·7 วันที่ผ่านมา·discuss
All you have to do is open the wikipedia page on erf and it's right there.
IsTom
·7 วันที่ผ่านมา·discuss
So a suction pump?
IsTom
·8 วันที่ผ่านมา·discuss
In case P /= NP the gap doesn't necessarily have to be exponential, just superpolynomial (e.g. n^loglogn).
IsTom
·8 วันที่ผ่านมา·discuss
I'm not sure if it's has any real bearing on real-world performance, but technically next token prediction makes it an online algorithm and they can be provably worse than (good) offline algorithms.
IsTom
·10 วันที่ผ่านมา·discuss
If IKEA was a monopoly then perhaps.
IsTom
·10 วันที่ผ่านมา·discuss
What is illegal is using your monopoly in one area to further your other enterprises.
IsTom
·10 วันที่ผ่านมา·discuss
I haven't used windows in a long time, but on Android there's a dialog to pick browser and search engine on setup. So I'd assume that they're also bound by DMA in the same way.
IsTom
·10 วันที่ผ่านมา·discuss
Have you checked in EU?
IsTom
·11 วันที่ผ่านมา·discuss
On the other hand you can scale production of reactor themselves. And I don't think the idea is to scatter them around, but to have a power plant with dozens of them in one place (instead of 3-4 regular reactors in a regular nuke power plant).
IsTom
·15 วันที่ผ่านมา·discuss
I find it slightly funny that I don't use LLMs at all and just beat all the levels in a few tries.

EDIT: Ok, didn't notice the 8th level because of the UI. This one I couldn't trick in 5 minutes.
IsTom
·15 วันที่ผ่านมา·discuss
And then USA will have a disadvantage compared to rest of the world with cheaper LLMs and american AI companies will have tougher time surviving on domestic spend alone.
IsTom
·15 วันที่ผ่านมา·discuss
I wonder how's model improvement/dollar invested ratio going. If gains are made by simply spending increasingly vast amounts of cash that's not going to last.