invl

6 ms·

1. 1.▲
   by invl 5mo ago

   It's reference-counted at the boundaries. See https://github.com/Z3Prover/z3/blob/daf2506b6002149d531cb6c9...
2. 2.▲
   by invl 5mo ago

   I'm not sure I understand your argument. Z3's API is canonically C. There's a C++ wrapper that works pretty well. I don't have experience with the Rust wrapper, but I'd imagine that works pretty well too.
3. 3.▲
   by invl 7mo ago

   The Steam Link was ARM-based.
4. 4.▲
   by invl 8mo ago

   "first-class support for returning errors and propagating them" certainly sounds like exceptions! In fact, the compiler can even emit special tables that let the runtime completely skip over stack frames that don't need to do
5. 5.▲
   by invl 9mo ago

   I have already clicked the all-caps button
6. 6.▲
   by invl 10mo ago

   this happens with eg licensed music or product tie-ins or whatever, and the game just stops being sold
7. 7.▲
   by invl 1y ago

   as a developer my first priority is whether the software works, not whether it is fast or easy to develop
8. 8.▲
   by invl 2y ago

   MOOs (based on LambdaMOO at least) had various write permission levels, including builder (you can make new instances of existing things like rooms or objects and give them descriptions) and programmer (you can make new programs, written in