Viewing profile — savq

¡Borges! https://en.wikipedia.org/wiki/Pierre_Menard,_Author_of_the_Q...

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…

Yes. dynamically scoped, and statically typed.

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, …

(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"…

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 programm…

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(:cal…