vbarrielle

7 ms·

31.
by vbarrielle 11mo ago
Automated theorem provers are also built around backtracking, which is absent in LLMs.
32.
by vbarrielle 1y ago
There is some long term planning going on, but bad luck when sampling the next token can take the process out of rails, so it's not just an implementation detail.
33.
by vbarrielle 1y ago
Bad counter-example, because FSD has nothing in common with LLMs.
34.
by vbarrielle 1y ago
A paper that says: "our approach is simpler than the state of the art". But also does not loudly say "our approach is significantly behind the state of the art on all metrics". Not easy to get published, but I guess putt
35.
by vbarrielle 1y ago
There are places in France where the house numbers are based on the distance to the beginning of the block, but it's not that common.
36.
by vbarrielle 1y ago
Your parent post meant that a few centuries ago, the american continent was not known, so the known world could be split between east and west.
37.
by vbarrielle 1y ago
It's cute that you think your high-school level cypher is probably not seen in the training set of one of the biggest LLMs in the world. Surely no one could have thought of such a cypher, let alone create exercises around it! No one sh
38.
by vbarrielle 1y ago
I'm not sure it's very well aligned with the spirit of copyleft licenses.
39.
by vbarrielle 1y ago
Indeed, see https://bellard.org/nncp/ for an example.
40.
by vbarrielle 1y ago
I must have missed the news about solar and wind being able to flex.
41.
by vbarrielle 2y ago
In France the inheritance tax is only applied above 100 000€, so it's really not 40% flat. What's more, it's possible to make donations before the death, 100 000€ every 15 years, without taxes, meaning most of the time no tax
42.
by vbarrielle 2y ago
Am I understanding correctly that your watch sends you a notification if you get lower than 40 bpm? What's the point?
43.
by vbarrielle 2y ago
The dishwasher, maybe not, but a washing machine is reducing the laundry work by a lot. Have you ever tried to do your laundry by hand?
44.
by vbarrielle 2y ago
Both my kids were able to use the bike at 3 years old. The training wheels should not be used even this young. They first learned using a balance bike, and then learning to pedal went very smoothly using the same technique you mentioned.
45.
by vbarrielle 2y ago
The private test is supposed to be run by the ARC-AGI organization themselves, without network access. That's why o3 has not been run against it yet. Not sure if it will be possible either, depends on what OpenAI is prepared to do abou
46.
by vbarrielle 2y ago
Lots of pro riders do not take care of their bikes themselves. They're used to having bike mechanics adjust everything for every race, and a lot of them don't consider it part of the job to take care of their training bikes. Some
47.
by vbarrielle 2y ago
Am I right to assume one could also sample from a Gaussian distribution for the method to work? Of course, the probability e of sampling between the two real numbers would be very small, but it would be nonzero.
48.
by vbarrielle 2y ago
This data is from 15 to 20 years ago. I think the usage of bike has probably increased in the UK in the meantime. That may not change your point, but this 4 times figure is probably inacurate now.
49.
by vbarrielle 2y ago
Looks like they're using something like motion matching to recover fragments of the presenter's motion that match the pronounced phonemes. The actors were probably instructed to avoid almost all movement to make sure it was blenda
50.
by vbarrielle 2y ago
If it were calling to a real chess engine there would be no illegal moves.
51.
by vbarrielle 2y ago
In my experience, the VO2Max estimator for Garmin tends to produce higher estimates when doing quite slow runs and gradually building up speed, whereas intervals sessions will lead to a lower estimate. From reading their white paper they fi
52.
by vbarrielle 2y ago
I see. Not something I'm reliant on, but I can definitely see how it's a problem if your workflow depends upon panels and you often change monitors.
53.
by vbarrielle 2y ago
Could you elaborate? I've been using it with multiple monitors for over a decade, and I don't know what I should be missing.
54.
by vbarrielle 2y ago
Yes the main flaw of this reasoning is supposing that e does not depend on previous output. I think this was a good approximation to characterize vanilla LLMs, but the kind of RL in this paper is done with the explicit goal of making e depe
55.
by vbarrielle 2y ago
P(correct) converges to zero, so you get almost certainly incorrect, at an exponential rate. The original choice of terms is not the most rigorous, but the reasoning is sound (under the assumption that e is a constant).
56.
by vbarrielle 2y ago
I find Garmin's sleep tracking on my forerunner 255 quite good. I have no idea how it compares to an Apple Watch though.
57.
by vbarrielle 2y ago
The OSI was created about 20 years ago and defined and popularized the term open source. Their definition has been widely accepted over that period. Recently, companies are trying to market things as open source when in reality, they fail t
58.
by vbarrielle 2y ago
WADA rules do not ban a drug just because it is performance enhancing. Otherwise caffeine would be banned. Two out of three factors have to be present to ban a drug: - be performance enhancing - present a health risk - violate the spirit of
59.
by vbarrielle 2y ago
You're spot on, and there's another point that makes doping unfair even if it was widespread. There is a max hematocrit rule, but riders had different pre-doping base hematocrit levels. Those with the lowest level could benefit mo
60.
by vbarrielle 2y ago
It's not the first time I've seen it claimed that AI will magically help "propel climate solutions". But I've never seen a hint at how that would work.

More ›