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 choose another product or service. You…
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 from the server. How does that sound?…
> 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 arrows with the predicates of the…
> 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. Just forget about the fact that it's a…
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 they are related to math. Example: How…
> 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 compose! I do prefer using functional…
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., convert between Celsius and Fahrenheit) is…
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 choose another product or service. You…
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 from the server. How does that sound?…
> 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 arrows with the predicates of the…
> 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. Just forget about the fact that it's a…
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 they are related to math. Example: How…
> 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 compose! I do prefer using functional…
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., convert between Celsius and Fahrenheit) is…