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 likely world's first trillionaire.
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…
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 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 person does not work in finance and…
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 have…
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…
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…
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 likely world's first trillionaire.
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…
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 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 person does not work in finance and…
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 have…
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…
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…