Rudism's recent activity
-
Comment on The New York Times reportedly in talks to buy Letterboxd for $330 million in ~tech
-
Comment on Tesla to wind down Cybertruck production in Texas next year in ~transport
Rudism Link ParentI see a ton of them on the road around where I live near Nashville too.I see a ton of them on the road around where I live near Nashville too.
-
Comment on The New York Times reportedly in talks to buy Letterboxd for $330 million in ~tech
Rudism Link ParentI guess I would see Chrome as an example that fuels my worry... Google makes all kinds of anti-user/enshittifying decisions (killing uBlock, for example).I guess I would see Chrome as an example that fuels my worry... Google makes all kinds of anti-user/enshittifying decisions (killing uBlock, for example).
-
Comment on The New York Times reportedly in talks to buy Letterboxd for $330 million in ~tech
Rudism Link ParentHave there been a lot of acquisitions? The two I know of are Audm (they killed it entirely) and Wordle (I think they moved it behind their games subscription?). But beyond that, I've read that...Have there been a lot of acquisitions? The two I know of are Audm (they killed it entirely) and Wordle (I think they moved it behind their games subscription?).
But beyond that, I've read that they're looking at spending a lot more than what Letterboxd should be worth, so they must have some kind of eye towards monetizing it in ways it's not currently being monetized.
-
Comment on The New York Times reportedly in talks to buy Letterboxd for $330 million in ~tech
Rudism LinkThere was an earlier thread talking about Letterboxd looking to sell, but it seems like they have entered formal negotiations with the New York Times now. Letterboxd is probably the only social...There was an earlier thread talking about Letterboxd looking to sell, but it seems like they have entered formal negotiations with the New York Times now.
Letterboxd is probably the only social media site I use on a regular basis (and have even been a paying Pro member for a number of years), even though it's mostly just for posting one-liner reviews to keep track of which movies I've watched.
I have no hope that it won't be enshittified beyond usability if NYT ends up buying it. Starting to look around for self-hosted alternatives once that happens.
-
The New York Times reportedly in talks to buy Letterboxd for $330 million
16 votes -
Comment on What programming/technical projects have you been working on? in ~comp
Rudism LinkHit a big milestone on the main project I'm involved with at work. Four years ago, all the devs were fed up with various aspects of our brittle and hard-to-maintain graphql-based API, so I...Hit a big milestone on the main project I'm involved with at work. Four years ago, all the devs were fed up with various aspects of our brittle and hard-to-maintain graphql-based API, so I proposed we create a new REST-based one built on a modern stack and put all new functionality into that one. This week we finally removed the final remaining calls to the old API and waved goodbye to that whole deployment for good. I've never seen so many emojis fly by as during the slack huddle where we announced that.
-
Comment on Master Boot Record - Computer Metal (2026) in ~music
Rudism Link ParentI double checked my old receipt when I read this because I didn't think I could be that crazy... Looks like it was only $20 for international shipping from Data Airlines when I got it đ A year...I double checked my old receipt when I read this because I didn't think I could be that crazy... Looks like it was only $20 for international shipping from Data Airlines when I got it đ
A year later I also have a receipt for the floppy disk CD box set (still in its shrink wrap, I just wanted physical copies after having already purchased a lot of the albums digitally). I guess the budget-conscious part of my brain just turns off when it comes to MBR.
-
Comment on Master Boot Record - Computer Metal (2026) in ~music
Rudism LinkSuper hyped. I own every MBR (and KEYGEN CHURCH) album on CD, plus the INTERRUPT REQUEST vinyl that's stylized like a giant floppy disk. I already ordered this one through Bandcamp but haven't had...Super hyped. I own every MBR (and KEYGEN CHURCH) album on CD, plus the INTERRUPT REQUEST vinyl that's stylized like a giant floppy disk. I already ordered this one through Bandcamp but haven't had a chance to give it a listen yet.
-
Comment on Heroic Games Launcher: an open source, cross-platform launcher for GOG and Epic Games Store in ~games
Rudism LinkHow does this compare to Lutris? I've been using that as a unified launcher/installer for Steam, GOG, Epic, Itch.io, and manually installed Windows games for a while and pretty happy with it......How does this compare to Lutris? I've been using that as a unified launcher/installer for Steam, GOG, Epic, Itch.io, and manually installed Windows games for a while and pretty happy with it... Wondering if there's a good reason to give this a look.
-
Comment on Halloween night! in ~talk
Rudism LinkMy younger kid still trick-or-treats with his high school friends, though I'd argue they're already too old for it. My wife and older kid hand out the candy to the ever-dwindling number of kids...My younger kid still trick-or-treats with his high school friends, though I'd argue they're already too old for it. My wife and older kid hand out the candy to the ever-dwindling number of kids who still go door to door in our neighborhood, and I hole up with a good horror movie or two (or three). First one of the night was Hatchet, and I think I'll go with either Trick 'r Treat or Scary Stories to Tell in the Dark next cuz I'm in the mood for an anthology (and I already watched V/H/S/Halloween last night).
-
Comment on CGA-2026-10 đšī¸đī¸ đĻđģ REMOVE CARTRIDGE âī¸ Spooky Mansion Adventures in ~games
Rudism Link ParentPersonally I really [Past Tense Verb] my time with [Game Title]. I found it to be very [Adjective]. (sorry...)Personally I really [Past Tense Verb] my time with [Game Title]. I found it to be very [Adjective].
(sorry...)
-
Comment on YouTube is looking to expand into audiobooks in ~books
Rudism Link ParentMy main beef with this is that a lot of things that are calling themselves podcasts now aren't available to play in podcast apps, because their sole method of distribution is YouTube videos of a...My main beef with this is that a lot of things that are calling themselves podcasts now aren't available to play in podcast apps, because their sole method of distribution is YouTube videos of a bunch of dudes talking into microphones at each other. It's changed the meaning of the word podcast into something far less useful, because now there's no way to talk about the podcast-app-compatible things that used to be called podcasts without also lumping in a whole different incompatible category of things.
-
Comment on We are excited to announce that the Iceland DLC for Euro Truck Simulator 2 will be released on 10th November 2026 in ~games
Rudism Link ParentI've never played like that before (stayed within the speed limit, stopped at traffic lights, parked when my driver got tired, felt bad when I damaged my vehicle, and so on). But with the new road...I've never played like that before (stayed within the speed limit, stopped at traffic lights, parked when my driver got tired, felt bad when I damaged my vehicle, and so on). But with the new road trip DLC in ATS that's completely flipped and I can't help but play the way you describe when I'm in car mode.
-
Comment on What do you watch on Nebula? in ~hobbies
Rudism (edited )LinkIt's Probably Not Aliens is probably my favorite podcast right now, available ad-free through Nebula. Its hosts each have their own channels that I watch too, NerdSync (his occasional non-Scooby...It's Probably Not Aliens is probably my favorite podcast right now, available ad-free through Nebula. Its hosts each have their own channels that I watch too, NerdSync (his occasional non-Scooby Doo related content is what appeals to me most), and Step Back (mostly very long and insightful rants about how history is repeating itself and we're all kinda screwed).
Other awesome podcasts that are currently active (ad-free and sometimes with bonus content) on Nebula:
- That's Absurd, Please Elaborate (really funny, the hosts each pick a ridiculous/nonsense question from listeners and then research and answer it as accurately as they can from a scientific perspective)
- Song vs. Song (each episode they pit two songs against each other and discuss which is the best)
- Ghost Notes (music theory/culture discussions)
- TS TV (a Twin Peaks rewatch podcast)
- The Climate Denier's Playbook (mentioned elsewhere in this thread already)
edit---guess I should mention I mean actual audio podcasts, these aren't what YouTube culture refers to as podcasts where it's a video of people sitting around talking into microphones, you'd subscribe to these in an actual podcast player.
-
Comment on What can be done about Linux being slopified? in ~tech
Rudism Link ParentIt is my opinion that proponents who take the stance that LLMs are "just a tool" in programming, and that you can embrace them while still maintaining enough institutional knowledge for humans to...It is my opinion that proponents who take the stance that LLMs are "just a tool" in programming, and that you can embrace them while still maintaining enough institutional knowledge for humans to meaningfully review code and merge requests, are either deluding themselves or intentionally deluding others.
The act of reading and reviewing code is tedious, and anathema for most people who got into programming for the love of the craft. Everyone is excited about tools that make programming easier, but nobody is excited about tools that convert the job from "building things" into "making sure the LLM generated code works right." You might start out with good intentions (as I believe Linus is doing with the kernel), but that course only leads to one ultimate destination.
In any open source project that does not take a stance against LLMs, human developers are not going to review and validate every line of code that gets merged, and eventually human developers will not review and validate any line of code that gets merged. I mean removing human effort from the loop is the whole point of LLMs. As the tools get better and the developers get more and more burnt out, LLM code is going to be "just trusted" more and more. Skim the code, "looks right," click merge. Eventually you don't even skim the code anymore. Click "review code," an LLM says "looks right," click merge. Eventually you don't even click buttons anymore. LLM generated the code, LLM says "looks right," LLM merges. Talk to anyone with a job in software engineering, we're all watching this exact scenario play out in real-time.
I think there are two paths projects can take:
- Take a hard stance against LLMs and allow human software engineers to maintain control and build institutional knowledge.
- Allow LLM usage in some form and eventually end up as a fully LLM-generated and maintained product, because anyone who actually cares about understanding how the code works is going to get sick of it and fuck off and get replaced by more meat proxies.
Linus and others might think there's some middle-ground between the two; I think that's just wishful thinking. But I also think it's wishful thinking to believe that path 1 is even viable in the long-term. The obscenely wealthy companies developing and selling LLMs (and their army of flying monkies decrying the end of software engineering as a profession) are certainly doing everything within their power to ensure everyone believes LLMs are the future. It's very depressing because I do also think there's a possible world where LLMs really could be "just a tool" that actually empower human developers and creators with new ways to excel at their crafts, but sadly building those kinds of tools wouldn't extract as much wealth into the pockets of shareholders so they'll probably never come to be.
Anyway, all of that is to say, the thing that I and other Linux users are mourning is the fact that allowing LLMs into any project almost certainly spells the end of human involvement in the source code. Maybe not today, maybe not tomorrow, but eventually. There are people out there who think that's a good thing, because they believe LLMs will do a better job anyway, and maybe that's true (or will one day soon be true), but it still feels like we're losing something meaningful.
-
Comment on Midnight Radio | Podcast trailer in ~tv
Rudism LinkSeems like it could be (at least partly) inspired by Art Bell's call-in shows back in the day. I grew up obsessed with Coast to Coast AM when he was the host back in the 90s.Seems like it could be (at least partly) inspired by Art Bell's call-in shows back in the day. I grew up obsessed with Coast to Coast AM when he was the host back in the 90s.
-
Comment on Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs in ~tech
Rudism Link ParentThe NL proof is the thing that's going to be read by humans and cited in other papers, so it seems bizarre to me to brush off the potential that it has mistakes and is not faithfully represented...The NL proof is the thing that's going to be read by humans and cited in other papers, so it seems bizarre to me to brush off the potential that it has mistakes and is not faithfully represented by the formal Lean proof. I suppose if the AI-boosters are right and human mathematicians just went extinct as a species, then NL proofs are pointless now anyway.
-
Comment on Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs in ~tech
Rudism Link ParentThe linked paper has concrete demonstrations of incorrect proofs that got mistranslated into compiling Lean proofs, to show that a compiling Lean proof doesn't necessarily imply that the thing the...The linked paper has concrete demonstrations of incorrect proofs that got mistranslated into compiling Lean proofs, to show that a compiling Lean proof doesn't necessarily imply that the thing the LLM is claiming to prove has actually been proven. And the fact that these concrete examples exist seems to contradict the tweet you linked where the guy seems to be implying that's not a thing that can happen and it's all a nothingburger.
-
Comment on Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs in ~tech
Rudism Link ParentSo it sounds like his argument that there is no need to verify that the natural language proof and the formalized Lean proof are the same thing because... reasons? It makes no sense to me. What...So it sounds like his argument that there is no need to verify that the natural language proof and the formalized Lean proof are the same thing because... reasons?
It makes no sense to me. What even is the purpose of the formalized Lean proof if the natural language proof is already enough to solve the problem without the extra step of verifying that the formalized proof is actually a valid representation of it?
I used to be a huge NYT crosswords junkie, but I had to drop it when they stopped publishing their puzzles in across lite format and forced you to use their app (I was using a de-googled android with no Play Store at the time). I did manage to scrape every single .puz from 1995 until they stopped in 2021 before my subscription ended though, so I've got a backlog big enough that I'll never finish in my lifetime.