Viewing profile — incrediblylarge

A month ago my PhD supervisor told me it rips on proofs but he also said it's useless when formalising arguments in Lean - is this still the case?

The current zeitgeist reminds me a little of when Musk acquired twitter and people kept saying he would go bankrupt - he paid way too much for it - $44B. An idiot and also the like…

US cannot default on US debt. It is not possible. World reserve=US does not work the same way. Most politicians know that the debt does not matter, but will use it as a rhetorical …

Am also casually looking at FRED. RE 2014 decline - do you know why this was? I speculate something to do with the initial invasion of Ukraine / China cycling out of treasuries pos…

I think this is well-written and satisfying, I spent many years in postgrad stats departments but never managed to find anything this approachable on category theory.

A professional scientist I know (tenured, professor) recruited me to set up a backtesting framework for a predictive finance model. When the results were not as they expected (this…

The comments section on the author's book 'How to not be wrong' is one of the best things I have read in ages. I am so glad the author left it public. Imagine releasing a book call…

Hi, nice work, its pretty simple and easy to use. I've often found new artists from one-off song collaborations eg Devonte Hynes from Solange's single Losing You. No connection bet…

I did a job for some neuroscientists years ago and we found a very strong correlation between microplastics exposure and elevated acetylcholine in a very young sample. They all tho…