Stefan Dedalus

[Stefan Dedalus @DedalusStefan]

@angeris P=NP but the algo is a poły sized neural net with poły time training

[Stefan Dedalus @DedalusStefan]

@nihilunbounded This is, unfortunately, a true statement.

[Stefan Dedalus @DedalusStefan]

@jessi_cata @mimi10v3 @entirelyuseles Still so baffled how MIRI thinks that humans are aligned enough to each other for this to be sensible.

[Stefan Dedalus @DedalusStefan]

@sporadica Easy, there was a southpark episode about this!

[Stefan Dedalus @DedalusStefan]

@schteppe Golang has entered the chat

[Stefan Dedalus @DedalusStefan]

@RokoMijic Actual mafia/cartel tactics. OFC you need to provide some sense of stability and a good PR front.

[Stefan Dedalus @DedalusStefan]

After listing to a prof encouraging young PhD students to not discuss recent stuff outside of math circles lest normies think that math is solved and there is no reason to pay us monies, i think i get @nihilunbounded and their #defundMath a bit more.

[Stefan Dedalus @DedalusStefan]

@GregoryConti19 Some actually are, Matt Walsh is a positive suprise for me on that front

[Stefan Dedalus @DedalusStefan]

@AISafetyMemes "The only route is to voluntary merge" ah my favourite choice from set of size one

[Stefan Dedalus @DedalusStefan]

@jasoncrawford Morer pictures means gooder ok got it.

[Stefan Dedalus @DedalusStefan]

@AlexKontorovich Also less snarky - i think it helps diacovering connections. 0+x=x and 1*x=x may get picked up more easily as instances of the same phenomenon if we name it appropriately.

[Stefan Dedalus @DedalusStefan]

@AlexKontorovich Idk so far "naming stuff" worked fine for our society as a way of categorising knowledge, quickly referring to concrete stuff

[Stefan Dedalus @DedalusStefan]

@tallsnail Memory is so obnoxious in mathematical work "yes any time you ask me about anything I need to find a convoluted way of connecting it to your main field of study"

[Stefan Dedalus @DedalusStefan]

@PatrykInNordic No wrzucić linka do promki to jest proste a sensowną opinię w dyskusji akademickiej w oparciu o ostatnie wydarzenia to panie kto to by widział ktoś z samorządu by pomyśleć musiał jeszcze zamiast hajs uczelniany na wódę defraudować xDDD

[Stefan Dedalus @DedalusStefan]

@giffmana Yes, I also prefere my TV to be a large monitor and not a cheap-ass vurnable Linux box with custom spyware attached.

[Stefan Dedalus @DedalusStefan]

@Bunagayafrost Sure, still seems like optimizing AI to be more efficient still requires having large stacks of GPUs lying around (at least in the near to mid future?)

[Stefan Dedalus @DedalusStefan]

@jedfrankowski Dokładnie tak jak ze slopdropem z matmy, to nie ma być czytelne bo tam gdzie OpelAI Astra zdąża nie trzeba białkowemu użytkownikowi nic tłumaczyć.

[Hayduke ⏹️ @GWHayduke97]

Dario Amodei considers people opting out of AI-driven transformation of human life as a problem, perhaps a dystopian problem, needing to be "solved", on par with anti-vax. This is from the same essay, 'Machines of Loving Grace', in which he advocates that we become pets of the machines, and suggests video games as one of several alternate vectors of meaning to replace meaningful struggle and challenge.

[Stefan Dedalus @DedalusStefan]

@OwainEvans_UK Hmm and now after somw time the sloppy proof will be desloppified and AI companies will have a great new resources to train on the sloppy->nonsloppy transition?