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.
...so what? "Most stories about politics" are considered Off-Topic, as per the guidelines[0], and some members favor the flag- over the hide-button more than I'd like. It's still on place 19 on the active list[1], and a far cry from any practiced censorship like on Reddit, where stuff just gets [deleted] out of existence.
Yes. When it is complaint about some leftist student protesting and thus interfering with far right speaker free speech rigth to never be opposed, regualarly discussed. Rarely flagged.
But, when there is something making current admin or far right lool bad, flagged quickly
TBF is the Python ecosystem any different? None and dict everywhere, requirements.txt without pinned versions... I'm not complaining either, as I wouldn't expect a unified typed experience in ecosystems where multiple competing type checkers and package managers have been introduced gradually. How could any library from the python3.4 era foresee dataclasses or the typing module?
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.
It was better because it had no silent errors, like 1+”1”. Far from perfect, the fact it raised exceptions and enforced the philosophy of “don’t ask for permission but forgiveness” makes the difference.
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.
Conflating types in binary operations hasn't been an issue for me since I started using TS in 2016. Even before that, it was just the result of domain modeling done badly, and I think software engineers got burned enough for using dynamic type systems at scale... but that's a discussion to be had 10 years ago. We all moved on from that, or at least I hope we did.
> 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]...
I think the only people who burnt of the discussion were people who is terminally online. But in the industry, there is people in any paradigm with any previous development times you can remember of.
> Is there any formal language that is usable as general-purpose programming language I don't know of?
That’s sort of my point, the closest thing to a rich type system yet pragmatic enough is to me F# and it’s still falls short as formal verification and ecosystem integration.
I think eventually, we should invest into this direction so LLM production can be trusted, or even ideally, producing or helping with the specific specifications of models. This is yet to be done.
I don’t want to make a prophecy, but the day, ergonomics and verification meet in an LLM automated framework, this new development environment should take over everything previous.
> With AI doing mostly everything we should forget these past riddles.
How I finally was able to make a large Rust project without having to sacrifice my free time to really fully understand Rust. I have read through the Rust book several times but I never have time to fully “practice” Rust, I was able to say screw it and built my own Rust software using Claude Code.
> Saying 'this makes enforcement of other laws harder' does not do that. You could use the same reasoning against encryption.
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.
Anonymity was a given in the beginnings of the internet, and we now need to fight hard for any remaining form of it. Your post makes me longing for my past, whereas GPs post makes me longing for our future.
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?
The video talks 95% of its time solely about the technical steps taken: A custom 7-segment display with custom PCB, writing its display driver, downloading and running an inference engine (llama3.2), mount it all on a metal plate, sign it.
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.
I wouldn't call a FOSS project that you compare to some 2,620 USD/year software a dead-end. It's good enough for simple modeling, especially when it comes to scripting, and has been for 10 years already.
> Isn't it sad that we now have Russian, Chinese, American, European, etc alternatives? [...] Shouldn't we rather fight that nationalistic power grab [...]
While I agree with your sentiment, European and nationalistic are two contradicting positions, unlike the other three mentioned superpowers.
Not really. The forging pan-European nation composed of many nationalities is a thing in all meaningful contexts. European civilization, European economy, European products, European voters etc.
Not really, no. Europe is neither a sovereign state nor a single political entity. It's a continent composed of many individual nations with a versatile history.
I mean sure, your example shows that the virtue of being "European" represents a certain demographic and a sovereign territory. Again, it's a continent, so what?
> People can define Europe as nation and then you can have a nationalistic Europe.
Right, it they do not. You’d have to stretch the definition of nation beyond its breaking point for Europe to be a nation. It would include Russia and Ukraine, Finland and Greece, none of these nations have much in common.
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.
[0]: https://hn.algolia.com/
[1]: https://news.ycombinator.com/lists
reply