savq

3 ms·

1. 1.▲
   by savq 4mo ago

   ¡Borges! https://en.wikipedia.org/wiki/Pierre_Menard,_Author_of_the_Q...
2. 2.▲
   by savq 4mo ago

   An effect system is an extension of a type system where a function type encodes inputs, outputs and effects. The article mentions that they handwaved all the typing stuff (when you do that, effect handlers are more like delimited continuati
3. 3.▲
   by savq 4mo ago

   Yes. dynamically scoped, and statically typed.
4. 4.▲
   by savq 5mo ago

   Typst does have have accessibility features.[1] I don't worry too much about HTML output still being WIP. Even if TeX had a massive head start, Typst has a good development speed, and a little bit of slope makes up for a lot of y-inter
5. 5.▲
   by savq 3y ago

   (Person that actually uses sumercé here.) The article is reading way too much into it, and it forgets a very important piece of information: The origin of usted is "vuestra merced". Spanish had T-V distinction, like most romance
6. 6.▲
   by savq 4y ago

   He could be making that comparison, but I read the comment as "I use Julia btw", and that's what I took issue with. I wrote a comment to dismiss it and save face for Julia programmers.
7. 7.▲
   by savq 4y ago

   Saying that is pretty out of context. It's also incorrect. Julia has runtime code generation and hygenic macros, but it's not homoiconic. Clearly, x + 1 is different from Expr(:call, :+, :x, 1)