Veserv

4 ms·

1.
by Veserv 5d ago
The label has not lost its meaning. Everybody knows what it means and wants it, just almost everybody “selling it” is claiming it without regard for the truth of their claim for their own financial gain. In polite society that is called lyi
2.
by Veserv 6d ago
Really, your lawyer asks you what year you graduated for a legal filing and you would give the wrong year? Not even bother to go check, just fly by the seat of your pants?
3.
by Veserv 6d ago
> Musk has a bachelor's degree in physics from the University of Pennsylvania. Clarification, Musk bought a B.A. in physics. In the Paypal S-1 in 2002, [1] Paypal's lawyers claimed that he graduated with a B.S. in Physics and B
4.
by Veserv 8d ago
That is because you do not need to clear the field at the end of a critical section. It contains the contiguous instruction range where it fires so there is no problem with leaving it active forever unless you have another critical section
5.
by Veserv 9d ago
Yep. Here is another comment of mine where I breakdown one of the most famous examples: https://news.ycombinator.com/item?id=46176059 And another comment where I discuss another example and their legally binding declaration
6.
by Veserv 12d ago
That just sounds like bad tracing implementations. A good tracing implementation should be able to drive gigabytes per second of trace logs to memory. If you are generating it slow enough to allow actual offload then you should be in the 1—
7.
by Veserv 13d ago
Since lawyers just love engaging in language lawyering when things get to court and always use to most uncharitable interpretation of words, we have no choice but to interpret their words in the most uncharitable and technically correct fas
8.
by Veserv 15d ago
This is why you should not use low-resolution summarys as exhaustive and authoritative. "Bullshit jobs are jobs which even the person doing the job can’t really justify the existence of, but they have to pretend that there’s some reaso
9.
by Veserv 15d ago
I do not see how you are disagreeing with his definition. What do you think his definition is? You seem to be using the definition: “A job that people think is worthless”. The actual definition he uses is: “A job where the person doing it t
10.
by Veserv 16d ago
The commonly cited fatality statistics do not discuss fault, so, absent more precise information, a apples to apples comparison should not conditionalize on fault. Why? Well let us try to imagine a world where Waymo has the statistically av
11.
by Veserv 16d ago
You are correct, I missed the adjective on my second use. As my points were exclusively about fatal crashes and I never mentioned the injury or crash rate at any point and previously used 5,500 years exclusively in relation to fatal crashes
12.
by Veserv 16d ago
Sir this is a Wendy's, I mean a discussion about autonomous vehicles. The benchmark for the autonomous vehicles in the USA is in comparison to humans in the USA. That means autonomous vehicles need to go ~5,500 person-years worth of dr
13.
by Veserv 17d ago
The fatality rate is 1.19 per 100 million vehicle miles [1], ~83 million miles per fatality. The mean driver averages ~15,000 miles per year. So, the mean driver encounters a fatal crash after ~5,500 years of driving. If you started d
14.
Tesla Full Self-Driving likes trains a bit too much(electrek.co)
3 points by Veserv 29d ago|1 comments
15.
by Veserv 29d ago
A public, well documented safety defect for multiple years with clear, incontrovertible evidence: https://bsky.app/profile/realdanodowd.bsky.social/post/3lz6h... https://www.jalopnik.com/19832
16.
by Veserv 1mo ago
Only if you think penetrating holes in a paper vest and then patching those holes constitutes “improving”. If that worked Windows and Linux would be impenetrable fortresses with all the holes that keep getting punched in them. Cyberdemoliti
17.
by Veserv 1mo ago
That makes as much sense as saying that better gun technology results in body armor that can stop it. It might incentivize that, but in no way "results" in that; the fundamental technologys underpinning advancements in offense ver
18.
by Veserv 1mo ago
What is the "same one"? Define item in "I" formally. Are we talking about Values? Then inigyou is correct. Memory locations? Then it is trivially true, but that does not prevent me from writing 0 into every memory locati
19.
by Veserv 1mo ago
You are correct. However, that specification is not trivial. Almost nobody correctly articulates property 1 when first encountering the problem if they do not already know the answer or are already aware it is a trick question (and even the
20.
by Veserv 1mo ago
Huh? Sorting does not have a trivial specification. In fact, it is usually used as the first example of how easy it is to make specification errors because it seems trivial, but is actually not.
21.
by Veserv 1mo ago
You are objectively wrong. The math is straightforward to show that you can operate on a ciphertext securely in some cryptosystems. Consider two integers M1 and M2. Consider RSA with private key (E), public key (D), and public modulus (N).
22.
by Veserv 2mo ago
Shadow memory mappings are only needed when you do not have hardware virtualization or when doing nested virtualization. From the page: "it can threaten the guest-host isolation of KVM/x86 hosts that accept untrusted guests and e
23.
by Veserv 2mo ago
You can prove a program is correct and terminates for all inputs and, absent a hardware or other assumption vulnerability that breaks the abstract machine assumptions, there would be no inputs that "break" anything. In fact, almos
24.
by Veserv 2mo ago
> You claimed without evidence, or more accurately, bad evidence, confusing RTOS with "reliability and security." That sentence is grammatical nonsense. Try again to articulate your point so it is coherent. Furthermore, you hav
25.
by Veserv 2mo ago
You have a serious misunderstanding of the consequences of the undecidability of the Halting Problem. The Halting Problem says you can not prove the precise halting behavior in every problem. Precise and every are very important qua
26.
by Veserv 2mo ago
You did not claim that microkernels were less commercially successful. You claimed that microkernels suffer from the same security problems that plague commercial monolithic kernels such as Linux, Windows, macOS, iOS, Android, etc. You cl
27.
by Veserv 2mo ago
> history has proven What history? What proof? What evidence? What commercial microkernel systems are you referencing that suffer from trivial LPEs? Or whole system DoS from unprivileged code execution? To the extent that you argue your
28.
by Veserv 2mo ago
Have they figured out how to implement free() yet? Last I looked you need a garbage collector to deallocate at which point you might as well use Java which is actually designed for that use case.
29.
by Veserv 3mo ago
Sure, this is why virtualization is a valuable feature, it is just not the basis of security/isolation. One of the points I am making is that when deploying on a modern multi-tenant VM-based platform, VM orchestration is analogous to p
30.
by Veserv 3mo ago
Yes, you do enjoy evading the argument. You continuously point at implementation and operational model differences as proof that virtualization is the key factor. Theo's argument is literally that virtualization versus non-virtualizati

More ›