Viewing profile — sw1sh

Does it mean coding tools making use of MDLMs can more precisely edit code chunks without prompting hacks? Seems like there is absolutely no downside, looking forward to all SOTA m…

I like Inverse types! While it's not novel idea, this seems like a very concise implementation of it. Inverse types are also known as negative types ( https://legacy.cs.indiana.edu…

I got "The scatter plot appears to be arranged to resemble the character "Pepe the Frog," a popular internet meme ... " lol Not sure whether multimodal embeddings have such a good …

This is very cool! I'm wondering how does it compare to classical ATPs like Waldmeister or Vampire, can SupGen compete in CASC ( https://tptp.org/CASC/ )? For example, can it proof…

I've made a small repository with current record holders that also shows examples of running these machines with Wolfram Language: https://datarepository.wolframcloud.com/resources…

Right, these are different questions indeed. Scott wonders what happens to amplitudes as they already appear in the theory but with numbers being no longer complex. But those lifte…

That's not what I'm saying. Bell or any CHSH-like experiment can be equivalently described using random variables and quasi-stochastic processes instead of quantum states, unitarie…

These alternate theories that use quaternions and whatnot are just mathematical marvels that have nothing to do with physics, QM can be well explained with conventional probability…

Complex numbers are not a QM feature; they are just more convenient to use in computations. There are equivalent formulations, like Wigner's phase-space with quasi-probabilities an…

Is it time to revive HTML regex meme yet?

His book is still great though and raises a number of interesting points, either you're fan of future AI speculations or not.

More people should use Keybase, and this would be more easier within its filesystem https://keybase.io/docs/kbfs