Viewing profile — int08h

This is more a hybrid "physicist writes a cryptography/graph-theory paper". This paper takes secret sharing as a black box and asks the question: once you have your N shares, where…

Right, I understand your meaning better. I agree with you: no matter how good of a job the code (by construction or types or otherwise) does of “making unsafe states unrepresentabl…

Hmm, it seems you actually agree with the OP: OP says (your quote): > [Most production incidents] are due to the code entering a state that should never have been possible. You say…

I've released version 2.0 of roughenough, a Rust implementation of the draft IETF Roughtime protocol ( https://datatracker.ietf.org/doc/draft-ietf-ntp-roughtime/ ). The Roughtime p…

> In that sense, Rust enables escapism: When writing Rust, you get to solve lots of 'problems' - not real problems, mind you, but fun problems. If this is true for Rust, it's 10x m…

Yes, the (IMHO) the easiest one to use is the Relacy Race Detector ( https://github.com/dvyukov/relacy and https://www.1024cores.net/home/relacy-race-detector ) It's been around a …

Related: the notion of "safety" (refusing to discuss "harmful" content) is rather shallow and (relatively) easily undone: _Refusal in Language Models Is Mediated by a Single Direct…

Sit in a Compare-and-Swap loop on `ping` and `pong` as uint32s. Go even faster in the shared memory case. Zoom zoom.

The average duration between any two moon phases is 29.530589 days. Many watches use 29.5 days between phases for simplicity. This results in the watch's moon phase display being o…

Dmitry Vyukov has forgotten more about non-blocking synchronization (lock- and wait-free algorithms) that most developers presently remember.

Re: getting tooling "right" and that driving adoption/popularity. I'll argue that Java and the JVM are very similar in this respect. Few will argue Java is a "good" language and th…

Only looked at link [2], but wow. That state machine is brilliant. Don't know OCaml but am learning Rust and I see what you mean about the universality of how types make this possi…

Thank you.

I was typing up a response, but yours is great. You nailed it. The only thing to add is that a tlsdate-like approach will not work consistently with TLS 1.3 as the standard makes t…