utopcell

5 ms·

31.
by utopcell 4mo ago
The "best" model finds 4/9 bugs. It would be interesting to see if all models find the _same_ bugs. Does a collection of models exist that can cover all 9? Also, it seems to me that pointing a model to a bug and asking it to
32.
by utopcell 4mo ago
thanks for keeping us honest. what would we ever do without this insightful comment of yours?
33.
by utopcell 4mo ago
not really solving the problem though. would be easier to directly search for project euler xx solution.
34.
by utopcell 4mo ago
After looking at this enormous labor of love, is this really what you chose to comment about?
35.
by utopcell 4mo ago
Gold medal @ the 2025 International Math Olympiad.
36.
by utopcell 4mo ago
neat!
37.
by utopcell 4mo ago
This article is from Jan 8.
38.
by utopcell 5mo ago
The Q10 has been my daily driver for years, great keyboard. I see that they're coming out with a split alice [1] though sadly it seems it is only for the Chinese market [1] https://www.guru3d.com/story/keychron-lau
39.
by utopcell 5mo ago
I see your point, though strictly speaking, the two products I mentioned mimic 12AX7 tubes, which are preamp tubes. I'm not aware of E2E designs that also mimic power tubes.
40.
by utopcell 5mo ago
Minor correction: An experienced guitarist cannot distinguish between "captured" amps, or amps which at their core simulate vacuum tubes at the software level. I definitely can't tell the two apart. However, I believe it is e
41.
by utopcell 5mo ago
Sup-par phrasing is a subtle advantage of non-AI generated text. In the past, I would be put off by this bad phrasing and the typo ("requier") in the text, but these days, it's a signal that a human took the time to write thi
42.
by utopcell 5mo ago
Layoffs might not be the best way to keep talent. Imo, Nintendo did it best back in 2014 [1]. [1] https://www.nintendolife.com/news/2014/01/iwata_and_miyamoto...
43.
by utopcell 5mo ago
After all these years, I still think that this was a wasted opportunity on Google's side. As is well-known, Google (Googol) is a constant: 10^100. Instead of Alphabet, they should have named the umbrella company AlephBet [1] with a tag
44.
by utopcell 5mo ago
Alphabet was Warren Buffet's last "hold" pick afterall.
45.
by utopcell 6mo ago
Rp2040 has a usb 1.1 port. It doesn't have the bw for 192khz.
46.
by utopcell 6mo ago
Someone should add a grid of mics and speakers inside a keyboard to record impulse responses for different kinds of keys. In this way, one can first do noise cancellation for the currently used keys, and then apply an IR to make the keyboar
47.
by utopcell 6mo ago
what profit?
48.
by utopcell 6mo ago
"Completely unusable" is an over-exaggeration. By default, assume good will.
49.
by utopcell 6mo ago
I wonder: Is a resurface of "The Last Question" ever complete without mentioning "Universal Paperclips" [1]? [1] https://www.decisionproblem.com/paperclips/index2.html
50.
by utopcell 6mo ago
This is not an alternative source for the comic, it's a whole different comic. Cool!
51.
by utopcell 6mo ago
> In 1955, he was promoted to tenured associate professor. In December 1957, Asimov was dismissed from his teaching post, with effect from June 30, 1958, due to his lack of research. I thought the whole point of getting tenure is that yo
52.
by utopcell 6mo ago
Good. So we have a super short story and a short story. Someone should write a book now.
53.
by utopcell 6mo ago
Mythos is speculated to have 10 trillion parameters. Almost certainly they were training it for months.
54.
by utopcell 7mo ago
This is the real Litmus test isn't it? There will be a deafening silence from critics when AI decides P vs NP.
55.
by utopcell 7mo ago
It's a Delphi-compatible IDE: https://www.lazarus-ide.org/
56.
by utopcell 7mo ago
Unfortunately, Apple retired the 512GiB models.
57.
by utopcell 7mo ago
and there's nothing wrong with that.
58.
by utopcell 8mo ago
So the argument is pretty much: it should be sufficient to use vision only, and that it is too difficult / expensive to do otherwise.
59.
by utopcell 8mo ago
From the article: Karpathy’s main points: Extra sensors add cost to the system, and more importantly complexity. They make the software task harder, and increase the cost of all the data pipelines. They add risk and complexity to the supply
60.
by utopcell 8mo ago
Gemini also suggests driving. I followed up with: "How short would the distance need to be for me to prefer walking?" The answer included (paraphrasing for succinctness): * Technically 0 because otherwise "the car is technica

More ›