marko_oktabyr

3 ms·

1. 1.▲
   by marko_oktabyr 2y ago

   I may be a tad late, but typst does have a compiler you can use locally with your favorite local text editor. https://github.com/typst/typst/releases
2. 2.▲
   by marko_oktabyr 2y ago

   NASA’s Office of the Chief Heath and Medical Officer has published a number of technical briefs [0] that cover a variety of human spaceflight related risks and topics. In particular, they have one for carbon dioxide [1, PDF warning] with so
3. 3.▲
   by marko_oktabyr 3y ago

   At the risk of being snarky, I should certainly hope the output depends on the input. On a more serious note, there are quite reasonable properties that are satisfied by keeping the sign of the first argument as the chosen representative. I
4. 4.▲
   by marko_oktabyr 3y ago

   > That's not how modulo arithmetic works. We should be a bit careful with what one means by "modulo arithmetic" here. If we are talking about arithmetic in Z/nZ (read "integers modulo n"), then the objects b
5. 5.▲
   by marko_oktabyr 3y ago

   As sibling comments have mentioned, "operator" here is being used in the programming language sense of the word, not the mathematical sense. Using the name "mod" [as in mod(a,n)] or "modulo" for the mapping tha