meta user
network profile
| bio | website | linkedin.com/in/crntaylor |
|---|---|---|
| location | London, United Kingdom | |
| age | 29 | |
| visits | member for | 2 years, 5 months |
| seen | 2 hours ago | |
| stats | profile views | 2,477 |
I'm interested in functional programming, type theory and very applied math - including systematic trading, statistics, artificial intelligence and machine learning.
I'm working on an AI Library in Haskell. Feel free to fork.
|
May 5 |
awarded | Nice Answer |
|
May 1 |
answered | Find the transaction cost-adjusted expected return of the stock |
|
May 1 |
revised |
how to store a math problem in a binary tree? deleted 4 characters in body |
|
May 1 |
answered | how to store a math problem in a binary tree? |
|
Apr 24 |
awarded | Notable Question |
|
Apr 18 |
answered | steady states and stability |
|
Apr 12 |
awarded | Nice Question |
|
Apr 10 |
comment |
MATH PUZZLES involving chess board It depends how big the chess board is. Additionally, are you asking how many squares there are, or how many cubes? |
|
Apr 10 |
revised |
Square brackets in indices? added 378 characters in body |
|
Apr 10 |
answered | Square brackets in indices? |
|
Apr 5 |
comment |
Why should a combinatorialist know category theory? You might be interested in combinatorial species, which are most naturally described as an endofunctor on the category of finite sets and bijections. |
|
Mar 18 |
comment |
Finding $\frac{d^2x}{dy^2}$ Do you know about implicit differentiation? |
|
Mar 18 |
comment |
how prove $\rho\wedge d\rho=0$ and how to show if $d(f\rho)=0$ for $f$ on $\Bbb R^{n}$ then $\rho\wedge d\rho=0$ Do you know any rules for expanding $\d(f\rho)$? If so, what happens when you take the wedge product with $\rho$? |
|
Mar 18 |
revised |
how prove $\rho\wedge d\rho=0$ and how to show if $d(f\rho)=0$ for $f$ on $\Bbb R^{n}$ then $\rho\wedge d\rho=0$ added 68 characters in body; edited title |
|
Mar 15 |
answered | Can we modify ETCS to handle structures directly, as objects in their own right? |
|
Mar 11 |
revised |
why don't we define vector multiplication component-wise? Fixed characters that weren't displaying correctly. |
|
Mar 9 |
asked | What is a monad in a $2$-category? |
|
Mar 1 |
comment |
Incorrect use of the scaling relation for Brownian motion? Yes - when you compute ${\rm E}(XY)$ it can be true that $Y=_{\rm d} X$, but that doesn't justify the substitution $Y=X$ to get ${\rm E}(X^2)$. |
|
Mar 1 |
answered | Incorrect use of the scaling relation for Brownian motion? |
|
Feb 27 |
answered | Slide Puzzle logic?? |
