There's some empirical backing to this if you consider what LLMs doing as part of the same regime: LLMs take a token stream and inflate it to the N-dimensional space in their embedding. We take a string of words and…
I think the section on AI from Zero to QED (a proofs in Lean/lang guide) gives a sober path forward from the perspective of market-makers and trading: "Imagine market infrastructure where agents must prove, before…
It has and it hasn't. There's modders in the scene who I refuse to use mods from because I know they also have developed cheats. All of the same supply chain issues you have with packages in a programming ecosystem…
So now that another admin is in power, it's useful to have accurate numbers. But during the last several administrations, job posting numbers were used to backstop failing economic activity, especially post covid. I'm…
There's some empirical backing to this if you consider what LLMs doing as part of the same regime: LLMs take a token stream and inflate it to the N-dimensional space in their embedding. We take a string of words and…
I think the section on AI from Zero to QED (a proofs in Lean/lang guide) gives a sober path forward from the perspective of market-makers and trading: "Imagine market infrastructure where agents must prove, before…
It has and it hasn't. There's modders in the scene who I refuse to use mods from because I know they also have developed cheats. All of the same supply chain issues you have with packages in a programming ecosystem…
So now that another admin is in power, it's useful to have accurate numbers. But during the last several administrations, job posting numbers were used to backstop failing economic activity, especially post covid. I'm…