smccabe0

5 ms·

1. 1.▲
   by smccabe0 4mo ago

   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 apply it to our mod
2. 2.▲
   by smccabe0 9mo ago

   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 executing, that
3. 3.▲
   by smccabe0 11mo ago

   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 exist in VS&#x2
4. 4.▲
   by smccabe0 1y ago

   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 not mad it&#