Veserv

79 ms·

901.
by Veserv 3y ago
A hypervised environment also has 10 million lines of 90s C code with a lot of code dealing with hardware quirks, it is called the hypervisor. You are right that it makes no sense to have a hypervisor, OS, and application. The hypervsior an
902.
by Veserv 3y ago
Are we talking range confirmed by third party or range claimed by a company who actively lies about the range of production vehicles and actively suppresses customer complaints that the range is grossly inaccurate [1]? [1] https:/&#x2
903.
by Veserv 3y ago
You can just use ISO 8601, YYYY-MM-DD, then you can be international standards compliant as well. https://en.m.wikipedia.org/wiki/ISO_8601
904.
by Veserv 3y ago
You do not fine Home Depot if a suspension bridge fails because the builder decided to go there and buy the cheapest rivets to hold up their suspension bridge instead of sourcing components that meet the design specifications. You fine the
905.
Congressman and CA State Senator Join the Dawn Project to test Tesla FSD [video](vimeo.com)
2 points by Veserv 3y ago|0 comments
906.
by Veserv 3y ago
Doing some research on the terminology, I guess motor system is the term I was looking for. I am not a biologist so I am not familiar with the terminology.
907.
by Veserv 3y ago
I mean, Tesla gets away with straight up not even recognizing children [1] and running them down in crosswalks in high visibility vests as demonstrated publicly over a year ago. Over a year later and they still have not fixed it or pulled i
908.
by Veserv 3y ago
The dementia is probably caused by the underlying mechanism. The motor symptoms of Parkinson’s are caused by the loss of dopamine producing neurons in the motor cortex. The loss of those neurons for any reason would cause Parkinson style mo
909.
by Veserv 3y ago
The qualitative difference between slavery and a job is that a slave is not allowed to choose a better option if one is available. A slave is barred from taking higher paid work, work with better conditions, etc. Even if it would be benefic
910.
by Veserv 3y ago
Have you actually read the Tesla "patent pledge" [1]? It is ridiculously unfair. Tesla agrees to not sue you for patent infringement as long as you have not "asserted, helped others assert or had a financial stake in any asse
911.
by Veserv 3y ago
Great, then they should just put their promise into a legally binding irrevocable clause in their terms of service and also legally guarantee that their entire business will shut down if they violate it. They are never going to do it anyway
912.
by Veserv 3y ago
Just another story implicitly playing up a group as a highly sophisticated threat actor that has capabilities more advanced than the defender threat model expects so they can not be blamed for the harm. But if this keeps happening to you an
913.
by Veserv 3y ago
You are correct. The answer is that it does suffer from software rot.
914.
by Veserv 3y ago
It uses UDP instead of TCP because it does not care about in-order delivery of the data, only that it eventually has all of the data. Fragmenting and coalescing the data happens at a higher layer, so there is no reason to duplicate that eff
915.
by Veserv 3y ago
That is basically what we used to do, int 0x80 and such. I mean, I guess you do not read the PC since that is much more brittle than just having the caller say what they want to do, but it is structurally the same. Turns out, having a dedic
916.
by Veserv 3y ago
No. On page 9, Section 5.1 they state that by default Safari will spawn one process per tab and they provide less consolidation by default than Firefox or Chrome. It is only window.open(), which is used to create popups, that was not update
917.
by Veserv 3y ago
Because you are not running all of them at the same time, you are only running one of them. The one you choose to run can be better than the current one you are forced to use and thus your attack surface has decreased because you are not u
918.
by Veserv 3y ago
The link you posted: https://www.okta.com/trust-page/compliance/ returns a 404, page not found. There is nothing on that page. I replied to you at most a few hours after you posted that link. Are you going to clai
919.
by Veserv 3y ago
Why do you have a link: https://www.okta.com/trust-page/compliance/ to the list of Okta certifications in your bookmarks? You absolutely did not do a search for it just now because that is a stale link so there is
920.
by Veserv 3y ago
No, it would be fair if it was a option that was turned on by default. Not even having the option to turn it off at all was just plain incompetence.
921.
by Veserv 3y ago
Great, so your argument is based on misinterpreting my single usage of the word “prove” to mean the mathematical definition rather than the colloquial definition meaning substantiated as is obvious to even the most casual observer based on
922.
by Veserv 3y ago
I know that I have more confidence in a proven compiler that is thoroughly tested over a random compiler Joe the intern slammed out, but you do not seem to think that way. That is fine, you do you.
923.
by Veserv 3y ago
That is a complete misunderstanding of consequences of Rice’s theorem which generalizes the halting problem. You can not prove non-trivial properties about all programs that could could ever exist with no false positives or false negative
924.
by Veserv 3y ago
Ah, I did not previously know that there were a plural number of Satoshi wallets. I previously read that Hal Finney was the first recipient of a Bitcoin and which came from Satoshi Nakamoto and assumed that there was just a single Satoshi w
925.
by Veserv 3y ago
Having just read up on it, sure. But that is a very restricted use case as you could only use your wallet for a single send transaction and that has already happened for the specific case of Satoshi's wallet. I believe you could scaffo
926.
by Veserv 3y ago
I do not see how that is relevant to my statement that formal methods, as required by the higher Common Criteria levels, do not constitute “box-ticking exercises”. Or are you arguing that these standards which require proofs of correctness
927.
by Veserv 3y ago
If you assume powerful quantum computers then Bitcoin is dead, that is a straightforward result. The digital signatures that prevent others from spending your bitcoins are based on elliptic curve cryptography (ECC). The security of elliptic
928.
by Veserv 3y ago
In what world are formal proofs of correctness “box ticking exercises”? You are wrongly extrapolating that the lowest levels of certification, that were literally designed to allow people incapable of more than box ticking to be rated on a
929.
by Veserv 3y ago
Yeah, that was all marketing nonsense meant to confuse laypeople. TCSEC Level C2 was intentionally designed to be a “baby’s first security certification” level meant to allow existing known insecure products to get a (low) rating so that co
930.
by Veserv 3y ago
Counter argument, prove that Okta does any of those things to any meaningful degree. They are responsible for guarding the authentication to literally billions of dollars of assets. They are a prime target for organized crime who can field

More ›