Ygg2

32 ms·

661.
by Ygg2 1y ago
> I like that Rust can pick good concepts and design coherent language from them without inventing its own "pragmatic" solution that breaks horribly in some use cases that some "practitioners" deem "too theoretic
662.
by Ygg2 1y ago
> there's also a whole other argument that the hardware is unsafe so all Rust code will depend on unsafe somewhere or another to run on actual hardware, but that's probably getting a bit into the weeds. That's not going in
663.
by Ygg2 1y ago
> which is not some proof from god or anything that you seem to be seeking You know what, you or anyone else can start with actual proofs. I don't want your lived experience and memes as proof, I need messages, posts from people (bo
664.
by Ygg2 1y ago
Named parameters do come with a large footgun. Renaming your parameters is a breaking change. Especially if you're coming from different langs.
665.
by Ygg2 1y ago
> It's about your misinterpretation of what fossuser meant when they said "religious element". My point, where is the proof of that "religious element" beyond memes? Is it in the article? Is it in the links? Wher
666.
by Ygg2 1y ago
> The proselytizing is the religious element, not the act of rewriting tools in Rust. Ok. Where is the proselytizing taking place in the article? Is the sudo-rs did work, the proselytization? Where is it? > The meme "Rust Evangel
667.
by Ygg2 1y ago
Some would say that Android isn't Linux OS[1]. It runs Linux, in same way Linux runs Wine. As a (POSIX) compatibility layer. [1] because it doesn't abstract the hardware platform, doesn't multiplex hardware, nor protect softw
668.
by Ygg2 1y ago
> It's used to refer to people zealously commenting on message boards that every single tool ever built should be rewritten in Rust. Ok, but between me, GP and the article, who said that? Where are the Rabid RIIR fans? And before yo
669.
by Ygg2 1y ago
Yeah, you're right. We should use build time structures for stuff that can be changed during runtime. There is such a thing as going overboard. Remember when Hashtable extended Dictionary in Java, because OOP is teh futureh!
670.
by Ygg2 1y ago
> The religious element of rust programmers Yeah. I too, hate the Rust Evangelically Orthodox Later Day Christians. Oh, wait... You're serious. What is religious about rewriting tools in Rust? Isn't that what most programmers d
671.
by Ygg2 1y ago
> But the loop doesn't free them. What if it did free them in a function you don't directly control?
672.
by Ygg2 1y ago
> poor developer ergonomics I don't think it's poor developer ergonomics. The compiler tells you "Hey, try adding &x at this position". It's unfamiliarity with Rust's type system and syntax sugars. <H
673.
by Ygg2 1y ago
Honestly, I think the mismatch is that you have a code that tries too much to do with Traits. A simpler, more jooq like interface with strings would work about just as well.
674.
by Ygg2 1y ago
> You can either pay that cost constantly and for certain problems be dealing with it (a lot) for no gain whatsoever (because the bugs it was trying to prevent weren't actual issues or are in fact imperatives because the thing you&#
675.
by Ygg2 1y ago
> The space of all possible robust systems languages is vastly larger than Rust. The space of all possible CVE is also vastly larger outside of Rust as well. My biggest takeaway from Rust isn't that it's better C++. But that it
676.
by Ygg2 1y ago
I complained about them no longer being added, not being removed (at least not yet). Look at CLion refactorings, compare this to IDEA and Rider that preceded the LLM enshittification. For C++, there should be quite a few refactoring on the
677.
by Ygg2 1y ago
> "Formal verification" literally means that the implementation is proven to satisfy the formal specification, so by definition there won't be any gaps. To quote Donald Knuth: "Beware of bugs in the above code;
678.
by Ygg2 1y ago
> Software written in Rust also experiences safety issues. Yes. And? Seatbelts and air bags all experience safety issues, and general public was against them for a very long time. It doesn't mean they don't increase safety. Or
679.
by Ygg2 1y ago
> Do you think that formally verified C isn't a thing? Because it's not used in Linux? No. It exists but is it practical to be used in an OS? From what I gathered from HN, sel4 is very limited in scope and extending that to a s
680.
by Ygg2 1y ago
I didn't complain about them going away. I complained about using LLMs upsell rather than implementing refactoring like they used to for their previous IDEs (e.g. IntelliJ).
681.
by Ygg2 1y ago
That implies that they were there in the first place. For some IDEs the refactoring are essentially rename, and buy JetBrains AI plugin.
682.
by Ygg2 1y ago
> The truck driver gets the next-least-undesirable job. That the promise but is it the reality? Deaths of despair suggest it isn't. Deindustrialization is an issue once you move supply chains overseas or to the robots, with it whole
683.
by Ygg2 1y ago
> Why wouldn't it be? My debt is your asset, and vice versa. Tell me, what does the autonomous truck drink? Or eat? The less you pay the driver the less money does driver have to buy whatever he is carrying.
684.
by Ygg2 1y ago
And I'm constantly shocked by number of people still shilling for it, despite it hallucinating constantly. Plus having used it in JetBrains IDE it makes me sad to see them ditching their refactoring for LLM refuctoring.
685.
by Ygg2 1y ago
> I don't have strong opinions on build systems but as someone who only occasionally dabbles in systems programming, I know that Zig's build system is infinitely more approachable and coherent than the monstrosities of CMake an
686.
by Ygg2 1y ago
Whenever encountering such sensationalist headline, it's good to remind ourselves of "[Replication needed]" tag.
687.
by Ygg2 1y ago
> switching to Rust + Unsafe will only reduce but not eliminate those issues Except in practice the code written in Rust experiences no safety issues[1]. I've seen this argument before a million times it is one part FUD (by making a
688.
by Ygg2 1y ago
> Not wanting a mix of programming languages in a project is a fairly reasonable opinion That's a not what happened. Hellwig asked that Rust in Linux guys not write common bindings to his layer but do it per driver. In other words h
689.
by Ygg2 1y ago
> ...which is completely expected of a pre-1.0 status. I fully agree, but I assume you want to ship your game (i.e. its a game not a toy). At least to Windows. Building your game on pre 1.0 language is like building a house on sand that&
690.
by Ygg2 1y ago
Not gonna lie, most of those things look like negatives. - Zig main source of QnA is a black box (Discord)? One that might be soon enshittified to hell because we have to satisfy the IPO. - Zig uses Gradle style approach to Maven. Having us

More ›