HackerTrans
トップ新着トレンドコメント過去質問紹介求人

utopcell

no profile record

投稿

The Year in Computer Science

quantamagazine.org
4 ポイント·投稿者 utopcell·7 か月前·1 コメント

コメント

utopcell
·14 日前·議論
You probably mean absl::flat_hash_map<>.
utopcell
·17 日前·議論
> Many security tools for doing security audits with LLMs are based around a "look at this file" loop

This makes sense. At most it converts the question of ability to a question of cost (i.e. fire up a prompt for each file).

This article reduces the hype about Mythos in my mind: A new model that can find 9 new bugs while no previous model can identify them, is a whole different story from what this article demonstrates: that only 2/9 of the detected bugs are new for Mythos.

Great work.
utopcell
·17 日前·議論
> You can see which bugs each model found in the full report.

This should have probably been surfaced at the text. To answer my own question: If one uses gemma4-26b-a4b, mimo-v2.5-pro and gemini-3.5-flash then 7/9 bugs are covered, while no model can uncover the remaining two.

> And, you have misunderstood what the benchmark does. It tells the model to audit the file, and it is allowed to look at the rest of the repo. It is not pointed at the bug.

I obviously meant that the model was pointed to the bug report. What would have been the point of providing the actual bug. This is still easier than telling Mythos to generally look at a codebase and find any bug.
utopcell
·18 日前·議論
Id soft folks were using 2 graphics cards, an EGA/VGA and an MDA one to do multihead debugging. It was possible because the two card technologies actually mapped their frame buffers onto two separate address ranges. Cool stuff.
utopcell
·18 日前·議論
"Every mathematician wants to discover a mathematician's lemma."

It might have been easy to guess, but you didn't really think of it in the past 51 years since the Commodore 128 was introduced, did you?
utopcell
·18 日前·議論
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 solve it is somewhat easier than what Mythos did, which if I understand correctly, was to generally look at a codebase and find any bug. Even so, non-Mythos models only managed to fix 4/9 of these bugs.

I think the article makes the point that Mythos is at a different level.
utopcell
·18 日前·議論
thanks for keeping us honest. what would we ever do without this insightful comment of yours?
utopcell
·18 日前·議論
not really solving the problem though. would be easier to directly search for project euler xx solution.
utopcell
·25 日前·議論
After looking at this enormous labor of love, is this really what you chose to comment about?
utopcell
·先月·議論
Gold medal @ the 2025 International Math Olympiad.
utopcell
·先月·議論
neat!
utopcell
·先月·議論
This article is from Jan 8.
utopcell
·2 か月前·議論
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-launches-z11-ultra-8k-...
utopcell
·2 か月前·議論
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.
utopcell
·2 か月前·議論
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 easy to distinguish a pure vacuum tube-based circuit from a JFET/MOSFET-based one.

There do exist vacuum tube replacements like the AMT 12AX7WS [1] or Jet City's RetroVales [2], but I would argue that the fact that they try to emulate tubes via transistors is a strong indicator that the natural circuits for both sound distinct enough for guitarists.

[1] https://amtelectronics.com/new/amt-12ax7ws/

[2] https://web.archive.org/web/20190803060713/http://www.robert...
utopcell
·2 か月前·議論
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 this, which makes me happy to see.

..or is it "sub-par"?
utopcell
·2 か月前·議論
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...
utopcell
·2 か月前·議論
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 line: "we stopped thinking in constants".

[1] https://en.wikipedia.org/wiki/Aleph_number
utopcell
·2 か月前·議論
Alphabet was Warren Buffet's last "hold" pick afterall.
utopcell
·2 か月前·議論
Rp2040 has a usb 1.1 port. It doesn't have the bw for 192khz.