thadt

9 ms·

91.
by thadt 1y ago
"It is impossible to engage in intellectual discourse with National Socialism because it is not an intellectually defensible program. It is false to speak of a National Socialist philosophy, for if there were such an entity, one would
92.
by thadt 2y ago
Not a game developer, but I wrote a bunch of code specifically for the CELL processor for grad school at the time (and tested it on my PS3 at home - marking the first and last time I was able to convince my wife I needed a video game system
93.
by thadt 2y ago
Also working with historical handwritten German documents. So far Gemini seems to be the least wrong of the ones I've tried - any recommendations?
94.
Enough with All the Raft(transactional.blog)
2 points by thadt 2y ago|0 comments
95.
MultiPaxos Made Complete(arxiv.org)
2 points by thadt 2y ago|0 comments
96.
Verify the Safety of the Rust Standard Library(aws.amazon.com)
1 points by thadt 2y ago|0 comments
97.
by thadt 2y ago
Post Physics-Experiment Cryptography [1] [1] https://news.ycombinator.com/item?id=43046631
98.
by thadt 2y ago
I haven't written any eBPF programs, but I was under the impression that the eBPF subsystem rules and verifier take care of the "memory safety" aspect, at least to the program boundaries. Is that an incorrect understanding?
99.
by thadt 2y ago
Perhaps the other side of the coin Peter calls "churn" is "updated software". Government, like every other old organization, has a ton of legacy systems. Even if CRQC is a pipe dream, having an excuse to tell everyone ac
100.
by thadt 2y ago
> Post the data and let me decide for myself NOAA has been posting the data, literally for years now [1], with forecast updates in near real-time[2]. Replacing their data products would be a non-trivial endeavor. Consider a scenario wher
101.
by thadt 2y ago
> Maybe he only offers a trade when you initially picked the good door. That would be a rather convenient signal to the player.
102.
by thadt 2y ago
Freedom is being able to decide where I get my things done. I can choose to bake bread at home in my own personal oven, and sometimes I do. Or I can choose to buy bread from a bakery. The act of buying bakery made bread is not, in itself, a
103.
by thadt 2y ago
"An absolutely outrageous number of dependencies! What a bunch of wankers." I comment, in a Chromium[1] tab, running on my Ubuntu[2] box. [1] https://github.com/chromium/chromium/blob/main/.gitm
104.
by thadt 2y ago
Perhaps surprisingly, I think microcontrollers may be a place where Protobufs are not a bad fit. Using something like Nanopb [1] gives you the size/speed/flexibility advantages of protocol buffers without being too heavyweight. It
105.
by thadt 2y ago
So, questions for people that know more than I: What's up with the 'passing' and 'failing' hashes in SMHasher3? Specifically, what happened to xxHash[1] to kick it down to the 'failing' category? I'm
106.
by thadt 2y ago
No, the results would be worthless only if your threat model were significantly different than the one that Mullvad was operating under. In which case, having the threat model detailed explicitly is already valuable to you. For example, t
107.
by thadt 2y ago
You can only query by key (and key ranges). To work with the fact that FoundationDB just exposes keys as raw bytes, the FDB team developed a rather clever 'tuple' serialization protocol and standardized its presence in the differe
108.
by thadt 2y ago
> needs more furry art Hard disagree. I need to forward this post to my CISO and have them be impressed with my breadth of reading and depth of knowledge. When we chat over brewskies later, I want to be able to casually ask what they tho
109.
by thadt 2y ago
It's easy to get thrown off by the fact that it uses Diffie-Hellman in two places: 3DH for the original key exchange, but then also as part of the continuing key stream. There is only one hash ratchet, but occasionally each party will
110.
by thadt 2y ago
One man's meta is another mans data. The classification of 'data' and 'metadata' into discrete bins makes it sound like metadata is somehow not also just 'data'. If every morning I got in my car and left f
111.
by thadt 2y ago
I have a long standing debate with a friend about whether the future of C++ will be evolution or extinction. Safe C++ looks excellent - its adoption would go a long way toward validating his steadfast belief that C++ can evolve to keep up w
112.
by thadt 2y ago
Hence the term 'deceptively'. Even if a sufficiently advanced proof assistant could internally maintain and propagate constraints up through functions (eg. 'vec must not alias x'), your point about small imprecisions ca
113.
by thadt 2y ago
It's deceptively easy to look at a number of examples and think: "If I can see that aliasing would be a problem in this function, then a computer should be able to see that too." The article states "A C++ compiler can in
114.
by thadt 2y ago
> 2. allows use, modification, and redistribution with minimal restrictions to protect the producer's business model As my three year old is rather fond of saying when he disagrees with my opinion: "no, try again." I think
115.
Goodbye Studio, Hello DB(astro.build)
1 points by thadt 2y ago|0 comments
116.
by thadt 2y ago
Hey Juan, this looks promising - using a pre-shared schema would allow you to reduce payload sizes in the same way using pre-shared dictionaries makes compression more efficient (such as with zstd or brotli). Having worked on exactly this s
117.
by thadt 2y ago
Their constellation wasn't deployed when we were building it. Also this would have been a non-starter: > Swarm is easy to use and lower cost, but the latency for message delivery is significantly longer, potentially several hours.
118.
by thadt 2y ago
Ah, that's cool. We built a similar system using Iridium SBD and LTE for controlling drones a few years back. SBD isn't the fastest comms around, and it can get rough if you don't have clear sky view, but it works pretty much
119.
by thadt 2y ago
Visibility. Places that tend to build the kind of hardware that needs custom firmware are so preoccupied with the application space and hardware that the embedded software is almost an afterthought. You finally get the electronics, packagin
120.
by thadt 2y ago
Which means that the 'processing' in my application has to have the semantics of a serializable transaction. And it might not - as in the very example given in the post, where a processing application sends an email. Hence my comp

More ›