Voultapher

8 ms·

61.
by Voultapher 1y ago
You can't do remote attestation without something like a TPM. Let's compare these scenarios: A) TPMs are optional and 30% of users have them. A bank is thinking about requiring remote attestation to use their services. Since they&
62.
by Voultapher 1y ago
https://www.zeit.de/politik/deutschland/2024-11/wirtschaftsm...
63.
by Voultapher 1y ago
The way I understand it yes. Latency will be dictated by going to the leader node and replication to enough followers. The CAP theorem dictates that if you want strong consistency the way they offer you have to talk to a quorum of nodes IIR
64.
by Voultapher 1y ago
> Kent lost my support in the final weeks by constantly shouting that he was a champion for his users while doing the exact opposite of what I wanted him to do. Honestly I don't think it's just you, I'm the same boat. I fi
65.
by Voultapher 1y ago
Well put, the metric is cherry picked to further the narrative.
66.
by Voultapher 1y ago
Regarding initialization, if one wants portable code that works for more than one machine+compiler version, it's advisable to program against the C++ virtual machine specified in the standard. This virtual machine does not contain a st
67.
by Voultapher 1y ago
I'm not sure how showing that gp can't even write a dozen lines of memory safe C proves that doing so for the exponentially harder 100+k LoC projects is feasible. The program contains potential use of uninitialized memory UB, beca
68.
by Voultapher 1y ago
The thing you are looking for is convex edge geometry https://youtu.be/cZ2Y7lyzq24?t=885 . Done right it can massively help with food release.
69.
by Voultapher 1y ago
You are right, a better wording be a "is a pure radix sort".
70.
by Voultapher 1y ago
Your comment made my day, thank you.
71.
by Voultapher 1y ago
A looong time ago I wrote my first blog post - on a now defunct website - about a VecMap where I did exactly that. Sort when needed and full flat array. That said flat_map as coined by Google is an acronym for swiss tables. See [1]. I.e. ex
72.
by Voultapher 1y ago
Doing the phf as shown is an and + neg instruction and just doing % 4 is just the and. I tested it on a Apple M1 machine and saw no difference in performance at all. It's possible to go much faster with vectorization 3x on the Zen 3 ma
73.
by Voultapher 1y ago
radsort a radix sort is present in the comparison results.
74.
by Voultapher 1y ago
We have strong evidence that anything with 100k+ LoC that uses C or C++ will have use-after-free bugs because of reference semantics. I have no data on D but I wouldn't be surprised if that's the same case there as well. You need
75.
by Voultapher 1y ago
-fbounds-safety [1] Based on their slides [2]. I was wrongly informed one does need to do some light annotation in function signatures and struct definitions for anything ABI relevant. Based on their slides: Ptrdist and Olden benchmark suit
76.
by Voultapher 1y ago
Spatial safety can be achieved exhaustively with a single compiler switch - in clang - and a minor performance hit. Temporal safety is much harder and requires software redesign, that's why it still remains in projects that care about
77.
by Voultapher 1y ago
I get the feeling you didn't watch my talk. The example in question is sorting. Say for example your comparison function does not implement a strict weak ordering, which can easily happen if you use <= instead of <, in C++ you ro
78.
by Voultapher 1y ago
As much as the alternatives (profiles) don't solve the issue, Safe C++ (Circle) does have substantial issues as well. You need a separate and largely incompatible standard library, including containers. Generic code (templates) is larg
79.
by Voultapher 1y ago
> I look at compilations of programming safety errors in shipped code now and then. Far and away the #1 bug is out-of-bounds array access. D has solved that problem. Do you have good data on that? Looking at the curl and Chromium reports
80.
by Voultapher 1y ago
I came to the same conclusion in a talk I gave to the Munich C++ Meetup [1]. There is a prevalent culture of expecting users to not make mistakes. Library constructs that could be significantly safer-to-use are kept easy-to-use incorrectly,
81.
by Voultapher 1y ago
> With program redesigns that Rust requires Why does Rust sometimes require program redesigns? Because these programs are flawed at some fundamental level. D lacks the most important and hardest kind of safety and that is reference safet
82.
by Voultapher 1y ago
Don't hold your breath. I've approached Kent two weeks ago and offered to help upstream changes into the kernel so he wouldn't have to interact with any of the kernel people ... he claimed without being able to explain why th
83.
by Voultapher 1y ago
Interesting article, I particularly like the reference to real-world workloads. Do I understand correctly, that the data being tested is fully random? If so I'd be curious to see how the results change if a Zipfian distribution is used
84.
The unreasonable effectiveness of modern sort algorithms(github.com)
167 points by Voultapher 1y ago|58 comments
85.
by Voultapher 1y ago
Slow AI. They are terraforming our planet into a less habitable one, making many people miserable and turn useful things into abominations. One usually can't point at a single person deciding that it should be so, but at the end that&#
86.
by Voultapher 1y ago
> novel approach to camera optics that can completely flatten them into the phone - front camera hidden behind the screen removing the island or inset - dramatically better battery tech density leading to like week long usage The thing y
87.
by Voultapher 1y ago
The PMICs were also bad, plus the whole Windows software stack - to this day - is nowhere nearly as well optimized for low background and sleep power usage as MacOS and iOS are.
88.
by Voultapher 1y ago
I think you are severely underestimating the mental gymnastics these people routinely go through to never be wrong about anything. When you go to the doctor because you child is on the spectrum. "Fill out this form Mam", on it is
89.
by Voultapher 1y ago
> I believe there's also a setting for scrolling or how pages move back in fort I'm struggling to parse that sentence, please elaborate.
90.
by Voultapher 1y ago
At this speed Ladybird might be the browser to use in a couple years, even though I find their decision to use a memory unsafe language for their core tech foolish in the year 2025.

More ›