0xmer
@0xmer_
ya dig? | 21
A formal specification is primarily a tool for the author, only rarely a tool for the user. Hence the user should not tell the author that "we don't need a formal specification".
Also… the interesting part of mastering basic components is doing them efficiently; tutorials often get the required data structures completely wrong. Books and papers are the way to go. This phenomenon exists everywhere, in any discipline—it’s what I’d call ‘pop culture’. I…
A new epsiode of Signals and Threads has just dropped: "The Thermodynamics of Trading". I got to talk to Dan Pontecorvo from our physical engineering team about the complex work that goes into our physical spaces to make what we do at Jane Street possible!
When you go try to figure out how to write a kernel module in rust, you're met with a matcha rave Dubai chocolate labubu demon who does very bad things to you
What are some good books for someone just getting into reading books? I haven't read one cover to cover in ~5 years
I just monomorphized my girl's polymorphic now she won't leave me alone
To anybody who thinks that algebraic effects and low-level, high-performance languages are incompatible for some reason, I recommend the following paper. Ningning Xie and Daan Leijen. 2021. Generalized evidence passing for effect handlers: efficient compilation of effect…