/explore
|
You are here 
|
thehousecarpenter.wordpress.com | ||
| | | | |
xorshammer.com
|
|
| | | | | In an interesting paper called Extending the Manipulability of Differentials, the authors Jonathan Bartlett and Asatur Zh. Khurshudyan describe an interesting proposal for representing higher-order derivatives. The argument is basically this: As is well-known, the chain rule for first derivatives seems to follow algebraically if you use Leibniz notation for the derivatives: $latex (dg/df)(df/dx) =... | |
| | | | |
leanprover-community.github.io
|
|
| | | | | [AI summary] The provided text is a mix of code snippets and documentation from a programming language, likely related to type classes and monads. It includes definitions for monads, bind operations, and various theorems related to these constructs. The code also mentions specific types and operations like `bind_mono_left`, `bind_mono_right`, and `mreturn`, which are common in functional programming for handling side effects and computations. | |
| | | | |
gowers.wordpress.com
|
|
| | | | | It's been a while since I have written a post in the "somewhat philosophical" category, which is where I put questions like "How can one statement be stronger than an another, equivalent, statement?" This post is about a question that I've intended for a long time to sort out in my mind but have found... | |
| | | | |
runswiththedug.wordpress.com
|
|
| | | Visit the post for more. | ||
