Veserv

6 ms·

31.
by Veserv 3mo ago
Cool, show me a LPE in a seL4 deployment. Do you believe that is easier or harder than finding a KVM escape? Since you are varying the security basis, implementation, and operational model simultaneously when you are comparing KVM to Linux
32.
by Veserv 3mo ago
Great, then falsify it. Point at a system with the same operational model as KVM-based multi-tenant systems with large numbers of platform vulnerabilitys. Let us review a standard operational model: Virtual machines are usually pre-allocate
33.
by Veserv 3mo ago
Virtualization is responsible for effectively none of those security benefits. It is the reduction to a smaller “kernel” that is responsible. If you applied the same design and operational model to running regular old processes instead of v
34.
by Veserv 3mo ago
Claims do not support themselves. The claim is unsupported by evidence and thus the burden of proof is on them or you to produce that evidence. As the author and implementer of the algorithm allegedly prepared, ran, and analyzed benchmarks
35.
by Veserv 3mo ago
Writers make conscious trade offs between time, cost, feasibility. Are writers language engineers? Literally everybody makes trade offs, that is not a distinguishing aspect. I am confused how you got to “make the minimal thing that ticks of
36.
by Veserv 3mo ago
To add on, engineering is about objective guarantees to meet objective responsibility. This bridge is rated for 10 tons. This chemical process produces 1 mg 99% purity crystals. This biological process produces 90% pure insulin. This circ
37.
by Veserv 3mo ago
Why do we judge an organization by their leader and head executive who has complete control over direction and operations? Who individually has a controlling interest which can and has been used to elect himself the leader? Who regularly, o
38.
by Veserv 3mo ago
To add on, that is just ~40 million m^3 of water. Desalination, turning unlimited sea water into fresh water which is one of the most expensive sources of fresh water, is ~0.50 $/m^3. They can literally manufacture the water they use w
39.
by Veserv 3mo ago
Capability passing and dependency injection are just convoluted ways to describe passing parameters instead of using globals. Capability passing is just extending that to the level of imports. Your files do not import the global I/O li
40.
by Veserv 4mo ago
No tzdata. When a time becomes the past you canonicalize it to the UTC, or better yet TAI, second it occurred at. As in, this occurred N cesium atom vibrations after the zero timestamp. That is permanently fixed and can be losslessly and pe
41.
by Veserv 4mo ago
Just to clarify are you saying a 1 gigabyte/s link or a 1 gigabit/s link? And you are seeking to saturate a 10 gigabyte/s link or a 10 gigabit/s link?
42.
by Veserv 4mo ago
Obviously. The cubicle was invented as a more humane and private alternative to the standard open plan office of the 1960s, let alone hotdesking which is somehow even more of a fungible human cog than the open plan office.
43.
by Veserv 4mo ago
> One can make the argument that the requirements is a much smaller surface to verify than that of the entire program. This argument is unfortunately empirically false for any program of any meaningful complexity (>1000 lines, probabl
44.
by Veserv 4mo ago
Not at all. WASM is a repudiation of the thesis, not a confirmation. The thesis is that javascript-compatible source will be the substrate of the future. A javascript engine, though one highly optimized to efficiently interpret a compatible
45.
by Veserv 4mo ago
Huh? It is a argument against government backdoor access to messages. The government demonstrated that they are unqualified to keep data securely under their control. As such, any argument that a backdoor only allows the duly elected gove
46.
by Veserv 4mo ago
Nope. Those accusations were proven false and the people who made them have lost all their credibility. It was just a smear campaign by Tesla promoters so effective that here you are parroting it against reality to protect a trillion dollar
47.
by Veserv 4mo ago
Ah yes, consistently, correctly, and truthfully highlighting serious safety defects and unacceptable design oversights for years in the products of a trillion dollar company with a rabid fanbase well known for running smear campaigns is &qu
48.
by Veserv 4mo ago
It most likely does not recognize the sign. Last I saw, after years of furious development they were still unable to recognize standard "Do Not Enter", "Road Closed", and "One Way" signs in the US. Here is a vi
49.
by Veserv 4mo ago
Really, your first instinct is: "The journalists are engaging in a baseless smear campaign." The video evidence clearly demonstrates it engaging in a clearly signed illegal maneuver that it should never have even begun. Furthermor
50.
by Veserv 4mo ago
No, as can be clearly seen from the video, it is doing a right turn onto a road where the only lane is a full-size lane with a sign indicating that cars are not allowed to use that road in that direction.
51.
Tesla Full Self Driving uses bicycle lane in official Denmark approval video(politiken.dk)
122 points by Veserv 4mo ago|55 comments
52.
by Veserv 4mo ago
Okay, so in 14 years they replace all cell phone service in the US achieving 6% of the revenue goal. Just have to find another 15 “all cell phone service in US” and do it all in 14 years and we are golden. Just add a whole Apple worth of re
53.
by Veserv 4mo ago
Ah yes, the horrible anti-feature of IP fragmentation strikes again. Pair it with the anti-solution of dropping large packets instead of truncating them and we get our perfect storm of bad design that is MTU incompatibility and modern MTU d
54.
by Veserv 4mo ago
Of course they do. Have you literally never run into a problem that the average developer can not solve, but a expert can solve? That is infinity times more productive. Even assuming that maybe the average developer could come to learn how
55.
by Veserv 4mo ago
A problem of incentives. How can we fix it? Advertising tied to liquidated damages. 1. Any company handling PII must prominently advertise a amount of money per user they must pay in cash in the event of a data breach. This is a mandatory m
56.
by Veserv 4mo ago
Except in [0] the birth rate is relatively flat between 1950-1970 and then suddenly starts a rapid reduction. Developed countries have already been industrialized for 100 years by that point. The modern work day and access to many modern fu
57.
by Veserv 4mo ago
Yep, it is a fairly old technique with a lot of of general applicability beyond just allowing mutex elision for usage of per-core data structures amidst potential core migration. But apparently using your own expert knowledge and actually e
58.
by Veserv 4mo ago
Restartable windows, or more generically introspection windows, are a really useful technique you can apply in any situation where you understand or control the sources of preemption. The earliest uses of this technique in operating systems
59.
by Veserv 4mo ago
Their popularity is a fad. You are talking about their popularity when they first released in the US. They faded significantly for at least a decade if not two until seeing a recent resurgence so massive even random corner stores carry poke
60.
by Veserv 5mo ago
If it mattered they would not be using C without any of those tools or techniques. Therefore, it is empirically proven that it either does not matter or they are deploying code unfit for purpose and should not be writing such code. And that

More ›