Viewing profile — Shoop

I think robustness is helped a lot by the fact that it’s the production compiler used at Jane Street

Yes! https://arxiv.org/abs/2502.17424

> I suspect this is the real reason Clojure was created, I bet Rich was just really bored. Rich has written about the history and motivation behind Clojure here: https://dl.acm.org…

What are the consistency semantics?

What are some examples of those tasks? It’s difficult for me to tell what problems this is intended to solve

Puzzmo Typeshift is a similar game: https://www.puzzmo.com/play/typeshift/

Didn’t 538 give Trump an ~1-in-3 chance of winning?

I’m guessing that the synchronous update architecture they’re using only really only makes sense for persistent memory and that this couldn’t easily be adapted to conventional hard…

Can anyone summarize the major differences between this and Scaling Monosemanticity?

How does two way isolation work? How do you prevent the host kernel (which presumably has full control of the hardware?) from inspecting the guest VM?

OCaml has a separate language for module interfaces where types are required. Even better, it allows you to abstract over types and make them entirely opaque, so that users of an i…

Related email by John Carmack: http://number-none.com/blow/blog/programming/2014/09/26/carm... Discussion: https://news.ycombinator.com/item?id=12120752

I believe the paper handles this case with the LastUsed offset in the implementation of cons. > During the consing of (9) the pointer offset is compared with the last used offset, …

For reference: Tracking issue for overall progress on the self-hosted compiler: https://github.com/ziglang/zig/issues/89 Zig's New Relationship with LLVM: https://kristoff.it/blog/…