soulbadguy

12 ms·

91.
by soulbadguy 3y ago
> Rather, to achieve a high degree of assurance that a codebase is free of vulnerabilities, we have found it necessary to adopt a model where unsafe constructs are used only by exception, enforced by the compiler. Yeah that sound like mo
92.
by soulbadguy 3y ago
> 1) There are a lot of `-sys` crates which link to C libraries, so the "unsafe" code in these crates comes from the binding to C rather than some limitation of Rust. Often there are 100% safe Rust alternatives to these C libra
93.
by soulbadguy 3y ago
> it's just that in practice the C++ community has always chosen performance over any other concern ( https://research.swtch.com/ub ). I don't know how much credence to give to this idea. It seems to me this spec
94.
by soulbadguy 3y ago
This : > So funding isn't the issue. does not follow from : > There are a lot of people being paid by their companies to work on the C++ committee and on various compiler teams. The author of the post we're discussing is a m
95.
by soulbadguy 3y ago
> But then later on, seems to ignore the safe alternatives and commits a non-sequitur I think it's possible to read the argument in the way that make sense. I don't think that Hurb is making the point here that Rust code uses m
96.
by soulbadguy 3y ago
In theory, yes i would agree that they might be a different somewhere. But it's not clear (at least to me that) is this distinction maters in practice. I think the main point here would that a thunk is also a value. And most type syste
97.
by soulbadguy 3y ago
The definition that the source is using seems wrong to me. Promise,futures and closures are not used to redirect to anything or wrapper around something else... They are proper compationational object with they own behaviors...
98.
by soulbadguy 3y ago
Indeed. I think this "Private businesses can refuse service to anyone for any reason." as been repeated so many times, that a lot of people think of it almost as a tautology. In particular in this case, we have many pass example
99.
by soulbadguy 3y ago
I find those type of blatant anti consumerism and anti competitive so frustrating. From my understanding, the spirit of those type of industry consortium/forum is to foster industry wide collaboration and innovation while style protect
100.
by soulbadguy 3y ago
>include VRR/FreeSync? I have been looking for a display port -> hdmi adapter with vrr support for a while.AFAIK, nothing on the market currently supports it, including the cable from cablemod mentioned by OP
101.
by soulbadguy 3y ago
I have been mainlining firebox for the 2 to 3 years, mainly because i was concerned about privacy in chrome, and also because i do believe that we need a non chromium based browser for a healthy internet ecosystem. However, the number of we
102.
by soulbadguy 3y ago
Is there a precedent of the sort? I am curious of the long term effect of this ruling in CEO effect. Especially since the burden of proof/justification actually falls on the board. It might make it harder for captured boards to reward
103.
by soulbadguy 3y ago
The court opinion is surprisingly readable. I don't know why, but I was expecting a lot more opaque lawyerly jargon. TLDR : The process used to decided the comp package was flawed (mainly because of the conflict of interest from the pe
104.
by soulbadguy 3y ago
> it also skews communist. Interesting claim. Care to substantiate it a bit ?
105.
by soulbadguy 3y ago
The whole industry has a burnout problem... I can't imagine the pressure with something as visible and complex as rust compiler and tool chain. The authors is pointing the best remedy, encourage and promote health work habits.
106.
by soulbadguy 3y ago
> I would not advise anyone to run a Linux scheduler I wrote and tested in C. However, if I wrote and tested one in Rust, I might not feel bad letting people use it. For something as complex and sensitive as a kernel scheduler, i think
107.
by soulbadguy 3y ago
The scheduler doesn't need to know which process is associated with the currently active windows. Simple heuristics can get you which to "reasonably" guesstimate which process are interactive and which aren't. For exampl
108.
by soulbadguy 3y ago
Yeah, i was surprise to read that. For me that a way bigger deal than the language used...
109.
by soulbadguy 3y ago
This is such a core idea that as you find it really surprising how much it gets overlooked. IMO, another important aspect of rewrite is that it's usually pretty easy to get 70% of the functionality for 40 % of the work. But as one app
110.
by soulbadguy 3y ago
Yes, all of those are important factor. And playing around with those factors (memory, IO speed etc...etc...) it;s easy to construct a system where CPU could be the limiting factor. But it's still possible to make a claim that in gene
111.
by soulbadguy 3y ago
> Your understanding of CICO (or at least the point I am making about it) is wrong in your “B” paragraph. Just to clarify B is not cico, it's the inference that you seems to make from CICO. > For every individual, at any given ti
112.
by soulbadguy 3y ago
Well the point i am trying to make is that your explanation on why it work for you is probably wrong, and even more the advice you generate from your theory can be dangerous and counter productive. > Right, that’s called propositional lo
113.
by soulbadguy 3y ago
They have been some studies where they showed that NEAT (Non-exercise activity thermogenesis) varies widely acros individual and even with the same individual at different time. I think variation as wide as 1500 have been observed. Enough t
114.
by soulbadguy 3y ago
Well if CICO is not a good idea, not really healthy not really applicable to most people, then why bring it up when we are talking about solution to obesity ? The main problem with CICO is that it is confusing the description of a process w
115.
by soulbadguy 3y ago
> Javascript is a less dynamic language than Python I have seen this mentioned multiple times, someone as a good reference explaining what makes python more dynamic than JS ?
116.
by soulbadguy 3y ago
Anyone has a good literature review (or anything similar) on AI technics applied to ILP/constraints solver ? I have seen a couple of result for specific domain ( like place and route ) but I am wondering how those new technics fair in
117.
by soulbadguy 3y ago
>X was working fine. X remote/networok approach as never great for highly interective modern desktop. Isn't the main thing that bost Mir and Wayland are addressing ?
118.
by soulbadguy 3y ago
Long time Ubuntu user here. I think caving is the wrong perspective. When both Mir and unity where created, the state of both X and Gnome were atrocious. From all the distribution, canonical was the main one pushing for simple, competent an
119.
by soulbadguy 3y ago
> Fair enough; perhaps it'd be worthwhile to throw a compiler error if both reflection and trimming were attempted. In language/platform with dynamic loading, it's hard for the compiler to "perfectly" predict whi
120.
by soulbadguy 3y ago
which tv do you have right now ?

More ›