aio @ aio @awful.systems Posts 0Comments 47Joined 1 yr. ago
As technology advanced, humans grew accustomed to relying on the machines.
honestly the only important difference between them is that emacs's default keybindings can and will give you a repetitive stress injury (ask me how i know...)
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
i might try writing such a post!
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).
I've been using Anki, it works great but requires you to supply the discipline and willingness to learn yourself, which might not be possible for kids.
Writing "My Immortal" in 2006 when nothing quite like it had ever been written before, is a (possibly unintentional) stroke of genius. Writing "My Immortal" after it's already been written is worthless.
are we really clutching our pearls because someone named themselves after a demon
ok but what does this mean for Batman vs Lex Luthor
As we know, the critical age for a boy genius is somewhere from 11 (Harry Potter) to 15 (Paul Atreides), so the gene-enhanced baby ought to have a fair shot after a few months or so.
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.
ok i watched Starship Troopers for the first time this year and i gotta say a whole lot of that movie is in fact hot people shooting bugs
Apparently "emotionally mature" means "blushing schoolgirl"
for a moment there i thought i'd been uninformed about the US threatening to annex California
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.
They're probably talking about Ziz's group. The double homicide in Pennsylvania is likely the murder of Jamie Zajko's parents referenced in this LW post, and the Vallejo county homicide is the landlord they had a fatal altercation with and who was killed recently.
That o3 does well on frontier math held-out set is impressive, no doubt
I think there is plenty of room for doubt still. elliotglazer on reddit writes:
Epoch's lead mathematician here. Yes, OAI funded this and has the dataset, which allowed them to evaluate o3 in-house. We haven't yet independently verified their 25% claim. To do so, we're currently developing a hold-out dataset and will be able to test their model without them having any prior exposure to these problems.
My personal opinion is that OAI's score is legit (i.e., they didn't train on the dataset), and that they have no incentive to lie about internal benchmarking performances. However, we can't vouch for them until our independent evaluation is complete.
(emphasis mine). So there is good reason to doubt that the "held-out dataset" even exists.
Unfortunately "states of quantum systems form a vector space, and states are often usefully described as linear combinations of other states" doesn't make for good science fiction compared to "whoa dude, like, the multiverse, man."
How do you figure? It's absolutely possible in principle that a quantum computer can efficiently perform computations which would be extremely expensive to perform on a classical computer.