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 models switching to this technique soon!
Readit Newssw1sh commented on Mercury Coder: frontier diffusion LLM generating 1000+ tok/sec on commodity GPUs inceptionlabs.ai/news... · Posted by u/ejwang
sw1sh commented on Vine: A programming language based on Interaction Nets vine.dev/docs/... · Posted by u/todsacerdoti
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/~sabry/papers/rational.pdf) or holes. This concept is what needed to make a concrete category for computation compact (highly recommend: http://arxiv.org/abs/0903.0340) and make the connection to how our physical universe actually works on a quantum level, with antiparticles performing backward computation.
I'm pretty sure this model of computation of filling holes with inference would allow us to understand advantages of quantum computation much better.
Do you have any thoughts on HVM's SupGen for program synthesis? I would love to understand how interaction nets makes the notion of inverse types and filling holes more natural and efficient.
sw1sh commented on Are LLMs able to notice the “gorilla in the data”? chiraaggohel.com/posts/ll... · Posted by u/finding_theta
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 pattern recognition accuracy in this case, probably most of information goes into attending to plot related features, like its labels and ticks.
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 this example from the recent Stephen Wolfram's post https://writings.stephenwolfram.com/2025/01/who-can-understa... ? Which is basically about proving a•b=b•a from a single axiom ((a•b)•c)•(a•((a•c)•a))=c.
Is the source code available for this btw?
Can someone point me to some resources as to how to interpret the table, which I assume is some sort of description for a Turing machine?
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/The-Busy-B.... I guess I also need to update it now.
sw1sh commented on Why are amplitudes complex numbers? (2018) scottaaronson.blog/?p=402... · Posted by u/furcyd
This paper [1] doesn't stoop to providing an example, but isn't that just the thing where you can write 1 and i as 2x2 matrices? I don't think that's what Scott is talking about. Requiring that the elements of the density matrix be real (or allowing them to be quaternion) creates a non-equivalent theory.
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 lifted representations effectively change to a specific basis in higher dimensions (think qubit's 2x2 density matrix becoming a 4-dimensional distribution vector, with the same 3 real degrees of freedom) where everything is real and interpreted as probabilities.
sw1sh commented on Why are amplitudes complex numbers? (2018) scottaaronson.blog/?p=402... · Posted by u/furcyd
>QM can be well explained with conventional probability theory already
The subjective experience of a person performing QM experiments, sure, but not the actual universe, that's what Bell's theorem was about.
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, unitaries, and measurements. It would still involve non-local correlations and inequality violations, but without mentioning the Born rule, phases, and interference with imaginary numbers. It is just an equivalent mathematical framework.
sw1sh commented on Why are amplitudes complex numbers? (2018) scottaaronson.blog/?p=402... · Posted by u/furcyd
The equivalent formulations aren't the alternate theories that information theorists study when they say, "QM without complex numbers." They study very much non-equivalent theories, although they feel unnatural enough that it's hard to see what they're all about unless you closely study the technical details. To tell you the truth I don't have any picture of what restricting the matrices to real numbers means physically.
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 theory already (even without generalized probability theories that people also study). Seems like negative conditional probabilities governing quantum processes can be understood as intrinsic Bayesian inference or Particle filter estimators. I wish there were more research in this direction ...
sw1sh commented on Why are amplitudes complex numbers? (2018) scottaaronson.blog/?p=402... · Posted by u/furcyd
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 and MIC-POVMs that don't have any complex numbers. The weird part is the negative probabilities, not imaginary numbers.