exfalso

8 ms·

61.
by exfalso 4y ago
I truly wonder, in the age of free CDNs and basically completely static content, why stability is even a question
62.
by exfalso 4y ago
was about to say
63.
Securing AMD SEV-SNP early boot(blog.decentriq.com)
17 points by exfalso 4y ago|0 comments
64.
by exfalso 4y ago
I agree with a lot of what you write, and I also think we are way beyond that "comprehensibility boundary" when it comes to modern tech stacks. There is just no single person who understands exactly what happens on all levels of t
65.
by exfalso 4y ago
In terms of security these technologies are (mostly) strictly worse than SGX, and there hasn't been nearly enough security research done on them. Also, the physical attack vectors remain (e.g. https://arxiv.org/abs&#x2F
66.
by exfalso 5y ago
That's what I meant. If you have many transactions building on a state hash X racing to be committed, only one of them will succeed. With crypto protocols in general "guarantees" are always prefixed with "if the protocol
67.
by exfalso 5y ago
This is insufficient. The strongest guarantee you can get without consensus is that the state of the DB you see on the client is/was a correct state at some point, it doesn't provide freshness/rollback attack prevention, aka
68.
by exfalso 6y ago
hahahahaha
69.
by exfalso 6y ago
Perhaps the word "psychometry" would have been better. There isn't any psychometric test more stable than IQ.
70.
by exfalso 6y ago
bahaha
71.
by exfalso 6y ago
I don't know whether that change can originate from consumers alone. Maybe I'm just jaded, but imho any plan that starts with "we need to teach people..." is doomed from the start. Take a capitalistic system and leave it
72.
by exfalso 6y ago
Very true, dietary choices have much larger impact (I'm currently eating broccoli as I'm typing this because of that very reason). However the claim that organic produce is better for the environment seems false nonetheless. Happy
73.
by exfalso 6y ago
Last time I looked into organic produce it seemed quite clear that it's a net negative for the environment. This is mostly due to land usage (up to 2x than conventional. Yeah let's cut down more rainforests so that the West can ea
74.
by exfalso 6y ago
Around 6-7 years ago we started a collaborative editing project for prezi.com. The problem basically boiled down to concurrent editing of a big DOM-like data-structure. We looked at the little literature that was available at the time inclu
75.
by exfalso 8y ago
R3 ( https://www.r3.com/ ) | London | Software engineer | ONSITE R3 is working on Corda, a distributed ledger platform. As part of this we're also working with Intel SGX, building a generic JVM-based enclave platform. Sy
76.
by exfalso 14y ago
C++ "type inference" has nothing to do with actual type inference. Types in functional programming languages have a proper academic mathematical foundation, specifically in formal logic. This is in sharp contrast to C++, where it was added