Viewing profile — dr0wsy

Zoom is primarily an enterprise product. They have chosen to have some form off verification to lower the amount of abuse on their platform. If you want privacy you simply have to …

Thanks for the explanation! An example to check if I understood you correctly. `func1(r, s)` is a function that sends a request `r` to a given server `s`. It returns a status code …

> That was the second part of my answer: a graph on paper. Draw nodes of execution and represent the branch as two arrows coming from the node and heading to new nodes. Label the a…

> You don't need to know category theory. You just need to understand a few things that came from it, like `Maybe`, which is the most obviously useful and trivially easy monad. Jus…

Thanks for the article and discussion that sprang up around it! The question I'm trying to ask is how I should express (part of) programs on paper using math when I don't see how t…

> So if you want your programming to reap the benefits of (others', mostly) mathematical reasoning--use a functional language that is all about expressing the ways in which things …

How do I express my models of programs on paper that doesn't easily translate into math? I understand that the part of programs there you have a formula on beforehand (e.g., conver…