vacuity

6 ms·

31.
by vacuity 9mo ago
Rust's strict ownership model isn't flexible enough sometimes (particularly when dealing with hardware concepts), so I consider it a "mostly good enough" abstraction that is a good default but should be circumvented some
32.
by vacuity 9mo ago
Rust doesn't (yet) have the same level of control over allocators as Zig does.
33.
by vacuity 9mo ago
I really like Rust, and I'll gladly accept if a language that advances its benefits appears. Just as Rust is available to avoid using C++, that language would be available to avoid using Rust. It's not a competition; it's pra
34.
by vacuity 9mo ago
Rust has unsafe for the purpose of not requiring a magic compiler for all cases. It's not above-and-beyond the notion of augmenting an unsafe language with tooling; it just shifts the default mode of safety.
35.
by vacuity 9mo ago
It's easier to focus on fewer representatives, and because the federal government has so much power (and then state governments), life-changing policies mainly come top-down. Power should instead flow bottom-up, with the top being the
36.
by vacuity 9mo ago
I'll say: respect the truth. That doesn't mean a lie should never be uttered, because a lie on one hand can affirm a greater truth on the other hand. (What is said must always be juxtaposed with what isn't said.) Moreover, be
37.
by vacuity 9mo ago
In this case, I think the grammar is just wrong: an em dash with spaces around it! Although I'm not so much of a stickler that I'd personally consider this to be a problem.
38.
by vacuity 9mo ago
Rust is still young, so it's taking the opportunity to thoroughly explore its options. As it grows older, it will solidify its decisions, even if it means committing to something that will be broken in the future. I look forward to the
39.
by vacuity 9mo ago
The deciding factor on whether to believe someone should not be whether they believe themselves, but whether they are worth believing. A murderer who acts in good faith is still a murderer.
40.
by vacuity 9mo ago
If I haven't seen them, then they don't exist.
41.
by vacuity 9mo ago
Of course, culture and technical design are both important for any language, but be specific. Despite the prevalence of tools that improve C's safety, writing C safely generally requires a culture of using those tools and other techniq
42.
by vacuity 9mo ago
Before getting to research, I think a more honest attitude towards admitting motivated cognition in oneself and others is appropriate. I may give a spur-of-the-moment remark on a political situation, but at least if someone presses me, I wi
43.
by vacuity 9mo ago
Rust's async is reminiscent of state machines, which are universal. The issues with the experience come from accidental complexity, in the language or the library ecosystem.
44.
by vacuity 9mo ago
You are correct in the abstract, but concretely I contest how useful LLMs are for producing software. I don't doubt their usefulness in prototyping or, say, writing web apps, but I truly do not think they are revolutionary for me, or f
45.
by vacuity 9mo ago
You're naming and lambasting multiple different technologies and their communities without justifying why they are so bad. Few people use C without knowing about the threat of buffer overflows or invalid pointer dereferences, and C can
46.
by vacuity 9mo ago
My point is that a questionable cover can indicate problems. I agree that one should be as holistic as possible.
47.
by vacuity 9mo ago
Not to make a point of it either way, but judging a book by its cover can be useful if the credibility of the book's content alone is difficult to evaluate. That's why people care about degrees and other qualifications.
48.
by vacuity 9mo ago
I was going to disagree, along the lines of the people bringing up Bret Victor or other modes of communication and learning, but I have long accepted that the written word has been one of the largest boons for learning in human history, so
49.
by vacuity 10mo ago
I like to be flexible with policies, so while I think "capabilities" should be the core model, using ACL mechanisms under the hood is valid. If the capability mechanism is very minimal, people can build mechanisms and policies on
50.
by vacuity 10mo ago
Lifetimes and types are different, but the part where they are generic is the same. I think of it as "who controls/decides the value of this parameter". It's a crucial part of understanding lifetimes, not just a misconce
51.
by vacuity 10mo ago
> The problem is that no-one can easily understand how their brain works compared to other people. People on both sides don't talk about it enough or openly enough. If you look at the science it quickly descends in to endless confus
52.
by vacuity 10mo ago
At the same time, it's arguable that certain observations such as "commercialization and commoditization have become stronger" are true. We're certainly living in an era where a lot can change in a few decades.
53.
by vacuity 10mo ago
You don't seem to be making a meaningful distinction. Moreover, both words have been used in this thread.
54.
by vacuity 10mo ago
I won't say that Kubernetes is great at scheduling, access control, and others, but mainstream OSes aren't superb either. General-purpose OSes are decent for many disparate groups of users but rarely satisfy any one.
55.
by vacuity 10mo ago
https://news.ycombinator.com/item?id=603826
56.
by vacuity 10mo ago
Yeah, I'm honestly quite confused about the whole situation. There probably was some toxicity behind-the-scenes (maybe after the initial thread), but from who, I don't know. I think maybe the thread seemed polarized in everyone&#x
57.
by vacuity 10mo ago
Vitamin D and sodium are examples out of a couple core nutrients, and I could list other nutrients such as sugar or fat too. So the rate is not excellent. > How many errors do police make? Actuaries? Security researchers? They make plent
58.
by vacuity 10mo ago
I agree that the discussion doesn't seem to be toxic on the whole, though not superb, although I don't know what happened following in terms of harassment, so that's up in the air for me.
59.
by vacuity 10mo ago
I think a lot of the backlash for the GPL is unreasonable, and not really better than a lot of the backlash for permissive licenses, and furthermore I believe there are reasonable ideological opinions to prefer one or the other (though ideo
60.
by vacuity 10mo ago
Just as people who strongly prefer permissive licenses deny copyleft licenses, this is the same in reverse. If you don't want to touch GPL projects, then don't.

More ›