Readit News[0]: https://news.ycombinator.com/front
I have showdead set to yes, and while so some articles get a gray color and an occasional [flagged] tag, everything is still searchable[0]. The only form of censorship is the ordering in the news list, but I could pick any other list[1] if I wanted to.
IMHO It’s irrelevant it has a slightly better typesystem and runtime but that’s totally irrelevant nowadays.
With AI doing mostly everything we should forget these past riddles. Now we all should be looking towards fail-safe systems, formal verification and domain modeling.
> Now we all should be looking towards fail-safe systems, formal verification and domain modeling.
We were looking forward to these things since the term distributed computing has been coined, haven't we? Building fail-safe systems has always been the goal since long-running processes were a thing.
Despite any "past riddles", the more expressive the type system the better the domain modeling experience, and I'd guess formal methods would benefit immensely from a good type system. Is there any formal language that is usable as general-purpose programming language I don't know of? I only ever see formal methods used for the verification of distributed algorithms or permission logic, on the theorem proving side of things, but I have yet to see a single application written only in something like Lean[0] or LiquidHaskell[1]...
Such changes take time, and I favor an "evolution trumps revolution"-approach for such features. The JS/TS ecosystem has the advantage here, as it has already been going through its roughest time since es2015. In hindsight, it was a very healthy choice and the type system with TS is something to be left desired in many programming languages.
If it weren't for its rich standard library and uv, I would still clearly favor TS and a runtime like bun or deno. Python still suffers from spread out global state and some multi-paradigm approach when it comes to concurrency (if concurrency has even been considered by the library author). Python being the first programming language for many scientists shows its toll too: rich libraries of dubious quality in various domains. Whereas JS' origins in browser scripting contributed to the convention to treat global state as something to be frowned upon.
I wish both systems would have good object schema validation build into the standard library. Python has the upper hand here with dataclasses, but it still follows some "take it or throw"-approach, rather than to support customization for validations.
But that reason is highly problematic. Laws should be able to stand on their own for their reasons. Saying 'this makes enforcement of other laws harder' does not do that. You could use the same reasoning against encryption.
> You could make the same argument that a hidden camera in a locker room never causes any harm as long as it stays undetected; that is not very convincing to me.
I thought you were saying that the kids who were in the dataset that the model was trained on would be harmed. I agree with what I assume you meant based on your reply, which is people who had their likeness altered are harmed.
I don't understand how that's the same reasoning at all... Encryption serves ones individual privacy and preserves it against malicious actors. I'd guess that's a fundamental right in most jurisdictions, globally.
We're talking CSAM here and shifting its creation into the virtual world through some GenAI prompts. Just because that content has been created artificially, doesn't make its storage and distribution any more legal.
It isn't some reductionist "this makes enforcement of other laws harder", but it's rather that the illegal distribution of artificially generated content acts as fraudulent obstruction in the prosecution of authentic, highly illegal, content - content with malicious actors and physically affected victims.
On the internet (1hr per day, courtesy of the local library), I was just the words on the screen. Nobody knew I was poor. Nobody knew I was weird-looking. Nobody knew anything except whether my code worked and whether my arguments made sense. That pseudonymity wasn't a limitation of the technology... it was the most liberating feature I'd ever experienced.
When people say "everything is political" and "detaching is privilege", I feel like they're describing a completely different internet to the one that saved me. The privilege wasn't being able to ignore politics- the privilege was finally finding a space where the hierarchies that had crushed me in the physical world simply didn't exist.
Bringing identity and real-world political causes into these spaces doesn't make them more inclusive- it recreates the very social hierarchies we'd escaped. When you insist I must care about your cause, acknowledge your identity, or pledge allegiance to your political framework just to contribute code or discuss technology, you're making the space less meritocratic, not more.
The early internet let us be judged solely on the merit of our ideas. That was radical. That was revolutionary. For some of us, that was the only place we'd ever experienced actual equality of opportunity.
When you demand these spaces become "politically aware", what I hear is: "your refuge wasn't good enough, and now you need to care about my problems too." But this was the one place where I didn't have to perform social status, where I didn't have to prove I belonged based on anything other than what I knew and what I could build.
I'm not saying the world's problems don't matter. I'm saying there used to be spaces where we could focus on intellectual puzzles and technical problems without importing every societal conflict. And frankly, for those of us who were outcasts in the physical world, losing that feels like losing the only place we ever truly belonged.
The virtual world(s) felt like equality of opportunity because everything was a blank canvas, or some canvas that barely had any fingerprints on it. For a lot of people the internet currently consists out of WhatsApp, Facebook, and Google News. So tell me, what is truly radical, what is revolutionary anymore?
I'd love to see more research put also on the conceptual side of things. The phenomenon of a limited mind, being controlled or influenced by some other entity, go way back, and ranges from psychohistory (and non-consciousness)[0] to studies of mental disorders[1] and probably many things in between.
[0]: https://en.wikipedia.org/wiki/Bicameral_mentality
[1]: https://en.wikipedia.org/wiki/On_the_Origin_of_the_%22Influe...
That's why I tend to search top in the last day and week. Specifically to catch flagged articles like this, since at least the votes don't get undone.