adwn

48 ms·

541.
by adwn 5y ago
> By Go doing nothing, a developer can manually solve both A and B. In Rust, you can annotate a struct declaration with "#[repr(C)]" to prevent the compiler from reordering fields. I don't see why the Go compiler couldn&
542.
by adwn 5y ago
> Rust only gives us "the Rust way or the highway" What are you even talking about? Rust gives you plenty of choice, it even lets you create as many "non-free" abstractions as you'd like.
543.
by adwn 5y ago
Well, that depends on the details of the CPU architecture in question. Without knowing those details, I'd say probably yes, but userspace programs will need to ask the kernel to change the memory attributes of the mapped area they want
544.
by adwn 5y ago
Ah, now I get it. Thanks! That's evil, indeed.
545.
by adwn 5y ago
I don't get it. What's so bad/annoying about sleeping for 10 milliseconds whenever a new shell is opened? I don't think anyone would notice. "sleep 1000", on the other hand... EDIT: I misunderstood it as execu
546.
by adwn 5y ago
Who said anything about "free"? chrismorgan wrote "only paying for what you use" . In NUMA systems, pretty much every program uses and benefits from cache coherency.
547.
by adwn 5y ago
I disagree. You want TRUE to be almost always 1. First, if TRUE is almost always 0, the underlying problem will be detected too quickly. Second, this will increase the chance that any seemingly irrelevant change will cause the code to wor
548.
by adwn 5y ago
Are you sure your interests as a user are aligned with that of Syncthing's open source developers? Are you confident that will not change over time?
549.
by adwn 5y ago
The problem with formal verification is that in practice, many problems can't even be formally specified . Try formally specifying the requirement "the GUI should work as expected" – it's hard enough even to test th
550.
by adwn 5y ago
> I've never met anyone that speaks about themselves exclusively in third person in any walk of life. My 2.5 year old daughter does this. I suspect she'll grow out of it at some point before she gets a job, though.
551.
by adwn 5y ago
> So efficient for you, but 1000x more resources everywhere it runs. And yet, to the people who do use their app on the desktop, this is obviously a preferable situation to not using the app – which would probably be the case had t
552.
by adwn 5y ago
> having it web-adjancent while not really web-compatible is a recipe for frustration Exactly. What's the point of using HTML/CSS/JS for a desktop UI, when you can't make use of the incredible amount of effort that
553.
by adwn 5y ago
> C lacks any high level abstractions. All the abstractions it does offer are [...] By that standard, practically all languages lack high level abstractions. Garbage collection? Hides pointer chasing and marking of memory locations.
554.
by adwn 5y ago
> Which is a different story that just asserting fearless concurrency no matter what, also misleading. Frankly, you're being a bit disingenious. Nobody claimed that Rust can or will solve all conceivable concurrency problems. &quo
555.
by adwn 5y ago
Because fine-grained tests allow for more complete coverage of complex but tightly-bounded code sections. For example, if you've implemented a concurrent data structure, it's much easier to verify its correctness with unit tests;
556.
by adwn 5y ago
> A core part of it is about efficient usage of hw you have In what way? If the content of your containers is a wasteful, inefficient mess, then there's nothing Kubernetes can do to make it less inefficient.
557.
by adwn 5y ago
That's not entirely correct, or at least misleading. Rust will provide the same guarantees for variables in memory shared between processes as for variables in memory shared between threads. But you have to make sure that any locking d
558.
by adwn 5y ago
> http://shitmyself.com/image/figure3.png Why are you posting a link to a page which requires authentication?
559.
by adwn 5y ago
This study, along with their GC library, is fundamentally flawed: The Bronze garbage collector doesn't just provide automatic memory management, it also allows shared mutable references ! This undermines one of the most critical princ
560.
by adwn 5y ago
Words for categories typically aren't defined willy-nilly. The category "tree" comprises objects that share certain traits. The article makes the point that many species that are distantly-related share those traits, while
561.
by adwn 5y ago
> Capitalism is a handful of people who own the means of production and the rest of us trying to get by. Well, good thing then that the "means of production" for software development consist of a 500€ laptop, which is well wi
562.
by adwn 5y ago
The lack of a GC is a pretty fundamental aspect of Rust's design, I don't see that changing in the foreseeable future. "As soon as memory management issue is solved" makes it sound like a small bug or missing feature t
563.
by adwn 5y ago
And what issue related to Rust's memory management is to be resolved?
564.
by adwn 5y ago
> As soon as memory management issue is solved [...] What does this refer to?
565.
by adwn 5y ago
I was refering to the online documentation. Yes, the interactive docs are sometimes better.
566.
by adwn 5y ago
> But results may vary when the work is being done on an amateur basis. Much, if not most, of Linux kernel development is done by employees of various companies, who are being paid for their work. Typically, that's in the form of
567.
by adwn 5y ago
> [...] but it's still a choice made with a certain level of disregard for consumers. Yes, OR , they did regard their customers' preference for smaller headphones.
568.
by adwn 5y ago
> Having recently moved from Python (where the documentation is amazing) Huh? Python's online documentation is horrible. In addition to what vbezhenar said, there are gems like this: The arguments shown above are merely the most
569.
by adwn 5y ago
Having implemented a nested PID controller using fixed-point arithmetic in an FPGA, I can tell you that fixed-point is a pain in the ass, and you only use it when floating-point is too slow, too large (in terms of on-chip resources), or con
570.
by adwn 5y ago
Because programming languages are different from regular software: for a programming language to be useful, it needs an ecosystem of libraries, package management, and IDE support. It's not the 80s anymore, when everyone wrote their ow

More ›