Skip Navigation

InitialsDiceBearhttps://github.com/dicebear/dicebearhttps://creativecommons.org/publicdomain/zero/1.0/„Initials” (https://github.com/dicebear/dicebear) by „DiceBear”, licensed under „CC0 1.0” (https://creativecommons.org/publicdomain/zero/1.0/)AI
Posts
0
Comments
50
Joined
1 yr. ago

  • Yes - on the theoretical side, they do have an actual improvement, which is a non-asymptotic reduction in the number of multiplications required for the product of two 4x4 matrices over an arbitrary noncommutative ring. You are correct that the implied improvement to omega is moot since theoretical algorithms have long since reduced the exponent beyond that of Strassen's algorithm.

    From a practical side, almost all applications use some version of the naive O(n^3) algorithm, since the asymptotically better ones tend to be slower in practice. However, occasionally Strassen's algorithm has been implemented and used - it is still reasonably simple after all. There is possibly some practical value to the 48-multiplications result then, in that it could replace uses of Strassen's algorithm.

  • I think this theorem is worthless for practical purposes. They essentially define the "AI vs learning" problem in such general terms that I'm not clear on whether it's well-defined. In any case it is not a serious CS paper. I also really don't believe that NP-hardness is the right tool to measure the difficulty of machine learning problems.

  • Apparently MIT is teaching a vibe coding class:

    How will this year’s class differ from last year’s? There will be some major changes this year:

    • Units down from 18 to 15, to reflect reduced load
    • Grading that emphasizes mastery over volume
    • More emphasis on design creativity (and less on ethics)
    • Not just permission but encouragement to use LLMs
    • A framework for exploiting LLMs in code generation
  • When people compile compilers do they actually specialize a compiler to itself (as in definition 3 in the paper) as one of the steps? That's super interesting if so, I had no idea. My only knowledge of bootstrapping compilers is simple sequences of compilers that work on increasing fragments of the language, culminating with the final optimizing compiler being able to compile itself (just once).

  • The Zizians believe in IQ, that animals are ethically equivalent to humans, that all people contain exactly two personality cores corresponding to the two hemispheres of their brains, that every personality core is either intrinsically good or intrinsically evil and less than 5% are good. They believe in violence as a form of mutually assured destruction: you should always escalate every conflict to the maximum in order to dissuade hypothetical agents from blackmailing you. And the stuff about Skynet.

    I think to understand properly it should be recognized that while the personality-core stuff is out of left field, all of the other beliefs are pretty much just logical conclusions of mainstream rationalist thought. For instance Yudkowsky has to repeatedly explain that he's not in favor of violence (except when he's advocating for bombing data centers) precisely because it's really easy to reach that conclusion from what he's written. The Zizians mainly differ by reaching that logical conclusion and being willing to act on it.

  • Declaring black wins draws would be more in the spirit of how the game is actually played at high level. I don't think anyone seriously considers the possibility that black could have a forced win in chess from the starting position.