HotHotLava

6 ms·

1.
by HotHotLava 4d ago
Per the rules link that you yourself post, no, publication must not necessarily happen in a peer-reviewed journal.
2.
by HotHotLava 4d ago
Take a look at https://github.com/leanprover/comparator which was used to verify the result. It's of course not impossible that they're hitting some bug, but way harder than one would intuitively think. For
3.
by HotHotLava 4d ago
In what world is peer review a higher standard than formal verification in Lean? Not in the world mathematicians have been living in for the past decades at least. Nearly all big theorems that have been formalized so far had been published
4.
by HotHotLava 8d ago
I feel like there's a pretty huge difference between using inputs and outputs as part of a general training corpus, and looking at a specific users workspace after hearing rumours and yoinking their ideas to beat them to the point. Un
5.
by HotHotLava 12d ago
The nice thing is, once all of these proofs are formalized in a machine-checkable language, it should be relatively straightforward to translate the corpus between different languages, if someone finds something with a nicer syntax.
6.
by HotHotLava 2mo ago
What would be "noise" in this context? Random words, random sentences, random complete short stories?
7.
by HotHotLava 3mo ago
How do you "easy" VPN into the US in 1995? The whole consumer VPN industry didn't exist back then.
8.
by HotHotLava 5mo ago
I think you're vastly overestimating the average persons ability to use Blender if you can do that in an afternoon; just figuring out how to place a colored cube and the camera probably takes an afternoon if you pick up Blender for the
9.
by HotHotLava 5mo ago
Given that the pelican looks way better than the dragon, it almost seems like a certainty.
10.
by HotHotLava 5mo ago
Usually I wouldn't expect anything to happen to a big company like this, but oof...this is so much worse than the title makes it sound. If they leave something like this in their store, then all user trust will be gone. I'll bet t
11.
by HotHotLava 6mo ago
Well, yes, it is. That's why you're seeing them take proactive steps to address the problem, like this new policy.
12.
by HotHotLava 6mo ago
It's an ironic situation; logically what should be the moat are the models, costing hundreds of millions of investment cost to train and operate so it would make sense if we see different provider focusing in different directions. Bu
13.
by HotHotLava 8mo ago
Do you not know how ebay works? You put in the maximum price you're willing to pay, and if you win you're paying 2nd highest bid + 1. So you don't save any money by starting with a low bid.
14.
by HotHotLava 10mo ago
Basically every AI agent released in the last 6 months can do this pretty well out of the box? What feature exactly are you missing from these?
15.
by HotHotLava 10mo ago
It'd be equally hilarious if that VC money would be used to actually better society by crushing GEMA in court. But realistically, all that will happen is that the "Pauschalabgabe" is extended to AI subscriptions, making stuff
16.
by HotHotLava 1y ago
Please don't pretend to be dumb, "predictable" in this context means that you know the final price of the trip before you start the journey, instead of having an odometer. And randomly hoping for a taxi to drive by maybe work
17.
by HotHotLava 1y ago
Taxis and B&Bs and Hotels all still exist and compete with Uber and AirBnB. Even at the same price there are valid reasons why many people prefer an Uber over a Taxi, in particular the predictable pricing and globally consistent UI.
18.
by HotHotLava 1y ago
If the problem starts to become big enough, I'd expect airsoft venues to offer special streaming or non-streaming times, depending on which group is bigger. Similar to how Saunas offer special clothed or women-only days.
19.
by HotHotLava 1y ago
H200 rental prices currently start at $2.35 per hour, or $1700 per month. Even if you just rent for 4h a day, the $200 subscription is still quite a bit cheaper. And I'm not even sure that the highest-quality open models run on a singl
20.
by HotHotLava 1y ago
I'm pretty sure OP wasn't talking about the management hierarchy, but "from the top" in the sense that it was big established companies inventing the cloud and innovating and pushing in the space, not small startups.
21.
by HotHotLava 1y ago
For me, I actually feel much more motivated to write good and accurate documentation knowing there will be at least one reader who is going to look at it very closely and will attempt to synthesize useful information from it. Same with my o
22.
by HotHotLava 1y ago
That's why it's just "mostly" false, but 'empty' is a word with a specific meaning, and claim here was that the port is literally empty of ships. (or, in the case of the Twitter message they show, that there&#x
23.
by HotHotLava 1y ago
Sure, but then it's less of a fun side business and just becomes straight up smuggling.
24.
by HotHotLava 2y ago
The playbook is obvious - if Trump loses, Vance refuses to certify the election results due to "fraud", Republican states will produce alternate lists of electors that vote for Trump, and he will claim that in reality he just won
25.
by HotHotLava 2y ago
That comparison also shows that a recognizable brand alone can easily be worth more than 100 billion; Coca-Cola also has competition that offers similar products and zero tech advantage, but they still managed to keep their number one spot
26.
by HotHotLava 2y ago
Used to. If they're going to start a trade war, pull out of NATO and invade Greenland instead, there'll not be much soft power left to drag Europe anywhere.
27.
by HotHotLava 2y ago
The literal first sentence of the announcement is: > The Stargate Project is a new company which intends to invest $500 billion over the next four years
28.
by HotHotLava 2y ago
If the announced spending target is true, this will be a strategic project for the US exceeding Biden's stimulus acts in scale. I think it would be pretty normal in any country to have highest-level involvement for projects like this.
29.
by HotHotLava 2y ago
EXIST is very narrowly tailored to technology start-ups founded by graduates based on their research. Out of curiosity I was spot-checking the the founders of the latest YC 24 Winter batch at https://www.ycombinator.com/comp
30.
by HotHotLava 2y ago
Google also opted to pull out of China instead of selling their Chinese operations to a domestic company. Does it imply that Google had interests beyond financial when operating in China? I think it's more likely that they don't w

More ›