incrediblylarge

6 ms·

1.
by incrediblylarge 4mo ago
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?
2.
by incrediblylarge 4mo ago
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 likely world's first trillionaire.
3.
by incrediblylarge 4mo ago
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 device. Does the treasury yield rate matter to the US gov, l
4.
by incrediblylarge 4mo ago
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 possibly to buy Russian war bonds or oil. I am purely spec
5.
by incrediblylarge 6mo ago
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.
6.
by incrediblylarge 6mo ago
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 person does not work in finance and never has), they asked
7.
by incrediblylarge 7mo ago
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 called 'How to not be wrong' and you ha
8.
by incrediblylarge 7mo ago
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 between them is indicated from my minimal use of the
9.
by incrediblylarge 7mo ago
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 thought there should be no effect or the effect should be inver