HackerTrans
TopNewTrendsCommentsPastAskShowJobs

utopcell

no profile record

Submissions

The Year in Computer Science

quantamagazine.org
4 points·by utopcell·7 maanden geleden·1 comments

comments

utopcell
·14 dagen geleden·discuss
You probably mean absl::flat_hash_map<>.
utopcell
·17 dagen geleden·discuss
> 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 dagen geleden·discuss
> 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 dagen geleden·discuss
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 dagen geleden·discuss
"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 dagen geleden·discuss
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 dagen geleden·discuss
thanks for keeping us honest. what would we ever do without this insightful comment of yours?
utopcell
·18 dagen geleden·discuss
not really solving the problem though. would be easier to directly search for project euler xx solution.
utopcell
·25 dagen geleden·discuss
After looking at this enormous labor of love, is this really what you chose to comment about?
utopcell
·vorige maand·discuss
Gold medal @ the 2025 International Math Olympiad.
utopcell
·vorige maand·discuss
neat!
utopcell
·vorige maand·discuss
This article is from Jan 8.
utopcell
·2 maanden geleden·discuss
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 maanden geleden·discuss
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 maanden geleden·discuss
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 maanden geleden·discuss
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 maanden geleden·discuss
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 maanden geleden·discuss
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 maanden geleden·discuss
Alphabet was Warren Buffet's last "hold" pick afterall.
utopcell
·2 maanden geleden·discuss
Rp2040 has a usb 1.1 port. It doesn't have the bw for 192khz.