@LinkofSunshine Stockholm Syndrome is fake too, swedish government aligned newspapers just made it up to slander a hostage who didn’t like being in a “we don’t negotiate with terrorists” situation
English
(dialupready)
13.1K posts
@Robotbeat “Weir’s _ could be turned into a good movie even though the book is mid” has been true 2 times, it could work a third time too even if Artemis is bad even by Weir standards
(Hail Mary was not a good book what are people talking about. Great movie though, same as Martian)
English
It's possible that Weir's Artemis could be turned into a good screenplay even though the book is mid.
Robotbeat🗽 ➐@Robotbeat
@sfjcody Weir basically just writes all his characters in his own voice. Which worked for PHM and The Martian, but... Weir is definitely not a young woman.
English
@PAHoyeck Where Book of the New Sun and Hainish Cycle?
also Foundation 3 is not a real ranking Asimov cannot write he can only ideate
English
Sci fi novel hierarchy (that I've read):
1. Dune + Messiah
2. Hyperion
3. Foundation
4. Do Androids Dream
5. Ubik
6. 1984
7. Brave New World
8. The Handmaid's Tale
9. Fahrenheit 451
10. Ender's Game
English
@isosteph It’s the University of Utah and the UIUC Supercomputing center and CERN too
English
@HSVSphere even static development environments degrade into this, that’s why containers became so popular, it’s just worse in live environments because you will evaluate statements out of order as part of the iterative REPL and then your application only works at that point
English
@dialupready Interesting, but this sounds like a failure of tools rather than an intrinsic limitation. It should be made ultra easy to see it all at once...
English
A live programming environment can do this, and is probably a better way to do software long-term. Static text is limiting, we only prefer it because we have the tools to make it work.
Unison has something similar but it's not "it", the Self environment comes closer but I'm not sure if that's what we want either.
Manuel Simoni@msimoni
Wondering how much better version control could be if each line of code had a stable UUID?
English
@HSVSphere the reason Smalltalk/Common Lisp live development never worked out is that inevitably you have to ship the image that you guess works, it’s like game development or docker-based distribution in that way
English
@HSVSphere no it’s not (see: the inevitable fate of every emacs config)
live environments always end up with globals that have to be set at a particular temporal stage in a tangled nest of a dependency graph
English
@JoePostingg what certs do i need for this job and do they still hire for this
English
I work on the security team at a company that makes canned soup and other popular grocery products. It's extremely boring and I have peripheral criminal liability for select SOX controls. Upshot of all this is that it's lucrative work.
Tyler Austin Harper@Tyler_A_Harper
The number of people I encounter who can’t explain their (generally “good”) jobs and/or what their spouses do is staggering. I’d love to see people try to describe what they actually do for a living in a single 280 character tweet in a way that the average person can understand.
English
@spacepunk @Xenoimpulse the previous two molecules they tried with caused liver poisoning (what i see if i follow the link chain on wikipedia)
this one at least reached phase 3
English
@dialupready @Xenoimpulse Takeda has been promising this for like a decade though 😭
English
please be real please be real please be real please be soon fixable
サメQCU@sameQCU
ah what the hell the anti-adhd peptide thing is REAL. they might have found the causal driver for 'adhd', and it's basically entirely sleep-wake-cycle stuff (???) which explains a lot tbh
English
@JaredLipton @prfsanjeevarora a slop formalization of a theorem proof in Lean does not provide all those external benefits is what the people opposing this are saying
English
@JaredLipton @prfsanjeevarora it doesn’t need to, Go is a game meant to be played
“the computer will always win against you” is something that is true for Chess as well, but there Stockfish is now used for both training, practice, and commentary where it can tell you the state of the game
English
At a recent meeting I heard similar comments/worries from a leader in the Lean community.
I suggest that people designing AI tools here make them helpful to humans. We need a loss function that captures elegance and human utility.
Mario Krenn@MarioKrenn6240
After the apparently amazing announcement by @mathematics_inc on the formalization of a major recent Fields-medal winning theorem, i had no idea how pissed the math-formalization community is. Very worrying discussions by some of the leaders/founders of Lean's mathlib. cc @ChrSzegedy
English
@Xenoimpulse I am fully willing to get it right now if there’s even a vaguely positive study saying a peptide can fix my executive dysfunction caused by bad sleep cycles
English
@dennismhogan @TheStalwart @pangramlabs Pangram labs is the best in that they don’t give false positives, relatively easy to get false negatives (make AI generated works that don’t get picked up) but that’s fine
English
@TheStalwart @pangramlabs Unfortunate to hear! Is that the best detector these days? It’s hard to keep up. I certainly agree with op that the prose is bad, whether ai or no
English
I think accusing writers of AI use without evidence is a pretty bad road to go down all things considered.
Becky Tuch@BeckyLTuch
Wow. This 2025 Modern Love column in NY Times. Human writing or...? 😬 I don't want to falsely accuse writers of AI-use. But this reads EXACTLY like AI slop. And this is the frickin @nytimes Modern Love column, which is notoriously competitive, super hard to break into. Just sad.
English
(dialupready) retweetledi
AI data centre water usage replacing the “100 companies responsible for climate change” shibboleth among people who absolutely love the idea none of their individual actions contribute to climate change and they shouldn’t make any efforts to mitigate their carbon footprint
English
@ThatchEffendi If Hades counts then Hollow Knight/Silksong and Kentucky Route Zero count lol, that’s too broad
English
@ThatchEffendi Rogue Trader isn’t pretentious, Avowed is much less pretentious than Pillars of Eternity (and not indie)
Hades is a roguelite, doesn’t count
English
Big budget Western RPGs are movies, Indie Western RPGs are pretentious graphic novels, bad Western RPGs are tv shows
English
@ThatchEffendi there’s very few “pretentious graphic novel” rpgs now that i think about it
Pentiment, and?
English
@ThatchEffendi not if weebs are making the indie western rpg then it’s a jrpg homage
famously Undertale/Deltarune and Clair Obscur, also CrossCode, Chained Echoes, Omori, Sea of Stars etc.
English
@rowanfornow because the Asian American dream is the suburban mcmansion. It’s both cost and proximity to the customer base.
we love finding new build mcmansion neighborhoods and moving in apparently (i’m too broke to think of that yet)
English
why is The Asian Strip Mall With The Best Restaurants In The State such a consistent archetype across every city
Peter Moskos@PeterMoskos
This is a dirty secret we city slickers prefer not to think about. The best ethnic restaurants are often out in strip malls in the burbs. That's fine, I want good food for all. But we no longer have a monopoly on such wonders.
English