Profile cover photo
Profile photo
Ashley Yakeley
Bloody Brilliant.
Bloody Brilliant.
Ashley's posts

Why do galaxies all have that same symmetry (I think it's 2/m) and no other?

Post has attachment

Hey mathematicians & statisticians (+John Baez +Dan Piponi +John Cook etc.)

From the outside, the field of statistics seems remarkably disorganised, like it’s a big grab-bag of tests and statistics for various situations. It seems like the kind of thing that in other mathematical fields would be sorted out by category theory and the like, but this seems not to have happened. I would have expected something like a general language of hypotheses or something.

What’s up with that? Am I way off-base here?

A great deal of my coding work takes the form of two steps:

1. restructure the code without changing the behaviour
2. make a small change to the code to make the desired behavioural change

Post has attachment
Am I doing the right thing, exercising the rights the authors gave me, or depriving them of fair compensation?

Co-worker's license plate is WHUMSUM (for "what happens under the monad stays under the monad"). #Haskell  

Post has attachment
More suspicion of computationalism.

Post has attachment
An argument against computationalism.

One of the problems of not being trained in mathematics is that even when I have a rigorous proof in my head, I have trouble writing it down in a way that mathematicians can read without scratching their heads.

I've been learning Coq, but that may be possibly worse in this regard.

Post has attachment
On Univalent Foundations, with some reference to proof assistants.
Wait while more posts are being loaded