It is cowardly in the extreme for none of the Rails core members to be speaking out against the kind of blatant racism DHH has been posting. It's pathetic. He's not making dog whistles, he's repeating ethnonationist talking points and talking great replacement.

I don’t think programming languages should have Easter eggs or jokes in them.

It was me, Radia Perlman is goated

Worse news: there are uncountably many undecidable problems. Computers have been a scam this whole time

That’s why CS are the most easily captured by this kind of scifi nonsense that spreads so easily on LW and SSC. They have no formal scientific OR mathematical training (at most they took automata theory) to encourage skepticism and they are easily flattered by visions of the world that center CS

I tried making my phone grayscale to get myself to stop using it but actually I love it

Really revealing the cultural isolation of the US that posters are on here trying to argue that Bella Ciao is a video game thing lol

Navigating the German medical system Is fucking hell

Very interesting post on how the non-profit Feeding America implemented an auction system with its own currency which massively improved allocation of food to food banks. www.worksinprogress.news/p/how-market...

This is worded like a shitpost but I actually mean it: the semantic significance of async is that the behavior of this procedure depends on that of a concurrent procedure.

It’s a common misconception that async is short for “asynchronous.” It actually means that this procedure will “a-synchronize” with a concurrent procedure by “a-waiting” it.

Hot take but first class functions are overrated

I have finally done it

you know, for people that are literally paid to think, programmers are kind of bad at it

Somehow Rust did a really good job of this IMO. Like you could just put “impl” on a T shirt in a monospace font and it would probably sell.

Apparently you can’t compliment a nerd’s brand positioning

row polymorphism encourages this polymorphism over structure, not semantics, which is why in practice it often leads to very loose, almost stringly typed code where instead of taking a `Person`, you'll take anything with an id and a name field, totally exposing its implementation and all invariants

I think in a very real sense, one of the main reasons people ever chose Clojure is that they wanted to be like Rich Hickey. This is an interesting strategy for growing a language and I wonder how possible it is to replicate.

the wise man bowed his head solemnly and spoke: "theres actually zero difference between initialized & uninitialized memory. you imbecile. you fucking moron"

actually i take this back, dressing “well” (and i used to dress like shit tbh) has been really effective counter signaling for me

Incredible stuff happening in the rust compiler play.rust-lang.org?version=stab...

Just saw a TikTok use the phrase “late stage enshittification” no thanks!

people who work in tech should dress better. autism is no excuse

imo, the most important thing is we gotta explain to people that the computer is easy and not hard, so being able to use it isnt impressive

The most important factor when designing the syntax of a programming language is how it communicates your language’s brand identity

tfw you get a crazy reply but in a chill way

dm me if you know who rfk jr is the dorian gray portrait of

the always on content environment is so boring and i think we will move on from this

rust isnt special. you know what else is memory safe. a beautiful forest stream

remember “return to innocence”? just a vibe but i feel like that kinda shit would be back in if kamala had won

Sam Altman: I see humans achieving omnipotence using dark matter by… 2030 maybe? That’s if OpenAI is given a quadrillion dollars Theo Von: Yeah Altman: Or, we may become a race of slaves, genetically modified to be harvested by robot spiders. That’s if OpenAI doesn’t get the money Von: Right

Hello. I wrote a nice long essay about AI and this very strange moment where we're constantly told we're living in the dawn of a strange new future but the only thing that's actually clear is that everyone feels pretty unmoored and uncertain. I hope you'll read it

“Fortunately, there are a few things that we can learn from the past, for instance that the rate at which society can absorb progress is strictly limited… So, if you have a bright and sound idea now, you can expect it to be hailed as a novelty around the year 2025.” - Dijkstra (1995)

It’s really cool that every stupid hobby I want to get into has its own obscure jargon but did they not consider in the 19th century that “printer furniture” would be very hard to google

The reason programming as a job has the least defense against being replaced by AI:

I hate the term “code smell.” If you can’t articulate the actual material problem with what you’re complaining about why should I listen to you

I’m pretty sure that Go’s “minimum version selection” is only not NP-complete because it doesn’t allow specifying an upper bound on version ranges; I believe maximum version selection (like what cargo does) would also not be NP-complete if this feature were omitted

Gradual type systems let you call a dynamically typed function from a statically typed function, correct? So there’s no guarantee in the signature of a function that it won’t throw a type error?

lol jk u got me Berlin!

One long weekend with nothing on is all that stands between me and deciding it would be a fun project to write my own home automation system from scratch

if only bun were written in a memory safe language

I also refuse to sell pierogi to Alan Dershowitz

every day i wake up and shed a single manly tear at the fact that generators aren’t in stable rust

Poland: renewables overtake coal for the first time. A decade ago coal was 83% of power; in June it fell below 44%. https://f.mtr.cool/dwqfciqmse

Maybe we can get VCs to rain money on PL if we rebrand as a kind of AI. “Our new formal language models can generate code more efficiently and than LLMs and with no hallucinations. All the engineer has to do is use the specialized prompting language we developed.”

Starting to see a lot of AI generated street interview content and if that means fewer people filming TikToks in public I think it was all worth it