Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
sw1sh
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
5 ms
·
1.
▲
by
sw1sh
2y ago
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!
2.
▲
by
sw1sh
2y ago
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 )
3.
▲
by
sw1sh
2y ago
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 cas
4.
▲
by
sw1sh
2y ago
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 Steph
5.
▲
by
sw1sh
2y ago
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 ne
6.
▲
by
sw1sh
3y ago
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
7.
▲
by
sw1sh
3y ago
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-lo
8.
▲
by
sw1sh
3y ago
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 theori
9.
▲
by
sw1sh
3y ago
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. T
10.
▲
How to Think Computationally about AI, the Universe and Everything
(writings.stephenwolfram.com)
4 points
by
sw1sh
3y ago
|
0 comments
11.
▲
by
sw1sh
4y ago
Is it time to revive HTML regex meme yet?
12.
▲
by
sw1sh
9y ago
His book is still great though and raises a number of interesting points, either you're fan of future AI speculations or not.
13.
▲
by
sw1sh
9y ago
More people should use Keybase, and this would be more easier within its filesystem https://keybase.io/docs/kbfs