grumblenum

10 ms·

61.
by grumblenum 5y ago
>I'm interested in seeing the problems solved, and I'm indifferent to technology. I think the first problem is some kind of language specification. That it's not possible to know what behavior one should expect from rustc
62.
by grumblenum 5y ago
Zircon is a kernel.
63.
by grumblenum 5y ago
My point is that solicitations for grant money do not provide the assurance that products that actually exist do.
64.
by grumblenum 5y ago
So dead "because I said so" in essence?
65.
by grumblenum 5y ago
I don't think that the mere existence of a "working group" or grant funded research positions for verifying rustc or a subset thereof is the same as having a verified compiler. That's certainly not a strong argument to a
66.
by grumblenum 5y ago
>the fact is that Rust has a larger and growing mindshare so this effort is unsurprising. I think that is a false perception created by the dev-blogging community. Based on GitHub activity ( https://madnight.github.io/gith
67.
by grumblenum 5y ago
As one of the developers of this patchset, can you comment on how these contributions will be licensed? Can you also comment on how a third party can verify or audit the output of a compiler without a specification? >just that it's
68.
by grumblenum 5y ago
Why are you using past tense for Ada? Adacore is still doing business and Ada 202x will be standardized this year or next. I’m also not sure why “nice JSON libraries” is a hard requirement for kernel code. Also, see JWX.
69.
by grumblenum 5y ago
Types that can be defined by users are, necessarily, part of a language syntax, so that they are aligned with the syntax is just a tautology. Equating user defined types with formal verification is just nonsense. C has types. Python has typ
70.
by grumblenum 5y ago
> focusing purely on type- and memory-safety, not conformance to arbitrary specifications What are types if not arbitrary specifications? Are you suggesting that formally verified software is not memory safe? What on earth does "sca
71.
by grumblenum 5y ago
I was under the impression that SeL4 exists.
72.
by grumblenum 5y ago
So why not formal verification or static analysis tools of an existing codebase (Frama-C)? Or dropping in C derived from a formally verified source (Idris / F-Star)? Or a language with good performance and a verified subset (Ada/S
73.
by grumblenum 5y ago
>I'd rather see a new kernel optimised and written in Rust from scratch rather than dragging the legacy skeletons around and also bringing the vulnerabilities with us. There is Redox, which was intended to be practical, but I'm
74.
by grumblenum 5y ago
I'm hoping that somebody will maintain a Linux fork called "stainless." Really, the jokes write themselves. On a more serious note, I am curious to see what license RIIR Linux will have.
75.
by grumblenum 5y ago
Diffusion of responsibility and the tragedy of the commons are pretty textbook psychological phenomena that I’m surprised more people seem to be unaware of. I would be surprised if any committee with custody of any asset were prepared to ta
76.
by grumblenum 5y ago
CT > 40 then vs CT 28 now. I can't help but be reminded of "yellowcake."
77.
by grumblenum 5y ago
I can see how hardware handling of switching, some filtering and maybe stripping TLS is feasible. Since you're knowledgeable of the subject, how would you index that information for future retrieval, which could be anything in the set
78.
by grumblenum 5y ago
No, Snowden is portrayed as a hero. Emmanual Goldstein is "whiteness".
79.
by grumblenum 5y ago
No, but I think it's unlikely that anybody, including the NSA, can collect, index, catalog and parse meaning out of hundreds of GB _per second_ (I'm using Statista numbers for global IP traffic). I would be skeptical that it'
80.
by grumblenum 5y ago
Where I live the market rate was $100-125/sqft for single-family before the lumber supply squeeze. I think you just happen to live somewhere where inflation effects are ahead of the rest of us.
81.
by grumblenum 5y ago
Is there a clear definition of what ZTA even is? I read the O'Reilly book, and as best I can tell, the advice was fairly obvious recommendations and also 'replace your firewall as a single point of failure and make your access-con
82.
by grumblenum 5y ago
My pet theory is that Snowden's disclosure is both a bit of CIA/NSA sibling rivalry and a misinformation campaign to scare people into thinking that the NSA has far more surveillance capabilities than it really does. The goals bei
83.
by grumblenum 5y ago
So someone who isn't you should pay for its development cost, manufacture, quality control, shipping, storage, and distribution? Or should the people who do those things be conscripted into labor for the glory of these heartfelt convic
84.
by grumblenum 5y ago
And what would you say that those goals are?
85.
by grumblenum 5y ago
If he’s doing the CE&I and let it pass, then he has nobody to blame but himself. Knowing it’s wrong and certifying that it’s right entails a lot of professional risk in this industry. I suspect his concerns aren’t too serious or someone
86.
by grumblenum 5y ago
Yeah, a Code Enforcement department for a large municipality would pay for reporting automation. I don’t think it would prevent this event. It’s a condo, so the building is probably maintained by a POA. Who would have an incentive to inspec
87.
by grumblenum 5y ago
Poor soils can be managed with good foundations. You can put a building on water with the right foundation design. In the case of an office, the safety factors in design are usually pretty high. I’m assuming soil sampling is for modified pr
88.
by grumblenum 5y ago
I think market incentives to do the right thing is more helpful than an app.
89.
by grumblenum 5y ago
Mark Zuckerberg made some substantial (100s of millions I’ve read) donations to the DNC and proxies. It would be surprising that they would then almost immediately try to destroy his company. A quid pro quo is pretty believable.
90.
by grumblenum 5y ago
Moderation is also why you won’t see comments which are impolite or heretical but may be obviously true. 4chan is moderated, but the goals are just very different from sites that want to avoid the hassle of vigilante activists by enforcing

More ›