dr0wsy

5 ms·

1. 1.▲
   by dr0wsy 6y ago

   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 aren't entitled
2. 2.▲
   by dr0wsy 7y ago

   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? It feels more l
3. 3.▲
   by dr0wsy 7y ago

   > 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 branch. Thanks! You don
4. 4.▲
   by dr0wsy 7y ago

   > 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 monad and a
5. 5.▲
   by dr0wsy 7y ago

   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 could I easi
6. 6.▲
   by dr0wsy 7y ago

   > 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 language over
7. 7.▲
   by dr0wsy 7y ago

   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 easily expressed i