Strilanc

20 ms·

211.
by Strilanc 4y ago
> Absolutely nobody is claiming that it is safe yet. If you just go looking for a few minutes you can find all kinds of claims that Tesla's FSD system is safe or will be safe. It would be very easy to end up with the impression that
212.
by Strilanc 4y ago
> Quickly put a mirror in the photon’s path right where the wave function superoscillates, keeping the mirror there for a short time. Varying things quickly in space or in time requires a lot of energy. The energy could be coming from
213.
by Strilanc 4y ago
> Stackage works by publishing a set of blessed package versions for all of the packages vetted by Stackage and these packages are guaranteed to all build together. Periodically, Stackage publishes an updated set of blessed package vers
214.
by Strilanc 4y ago
I really liked this paper. On the one hand, all they did was come up with some prompts and show the results. On the other hand, it does a really good job of being clear about exactly what they queried and why and how much selection they are
215.
by Strilanc 4y ago
Let's not confuse P(observed_rolls|used_dice) with P(used_dice|observed_rolls). P(observed_rolls|used_dice) is always the same, independent of observed rolls, assuming the dice are fair. But P(used_dice|observed_rolls) can vary, becaus
216.
by Strilanc 4y ago
Cryptography is disastrous to use incorrectly, and "make sure a prankster can't add suffixes to anything" is exactly the kind of property that's easy to screw up. For example, have you ever run "git fetch" on a
217.
by Strilanc 4y ago
> it's not like other nations (the only ones with power to transmit that far, back then) would send rogue commands without getting caught. How would you catch them? Also, these spacecraft didn't start off outside the solar syst
218.
by Strilanc 4y ago
Here's a relevant blog post: https://scottaaronson.blog/?p=3327 'Is “information is physical” contentful?' In quantum mechanics, breaking unitarity (which implies conservation of information) is akin to break
219.
by Strilanc 4y ago
I'm skeptical of this project. Existing unambiguous notations for mathematics do not start from the chaos of human conventions and then try to impose order. They start from rigorous unambiguous syntactical and semantic foundations; fro
220.
by Strilanc 5y ago
I'm specifically interested in knowing which types of tumors have become more common, and exactly how much more common they've become.
221.
by Strilanc 5y ago
Could you give a source for that?
222.
by Strilanc 5y ago
I was kind of hoping that the inline citations would lead to how they reached their conclusions. But it's just more "our research shows" conclusions without the meat underneath. Do they publish their methodology anywhere? (It
223.
by Strilanc 5y ago
> especially when proof is absent and providing proof was trivial. I don't think providing the proof is trivial. California is an all-party-consent-to-recording state [1]. Recording your co-workers and then posting it to the LA ti
224.
by Strilanc 5y ago
Programming current quantum computers does not require swapping wires around. You can go to https://quantum-computing.ibm.com right now, drag some operations around in an editor, and have their quantum computer run those operati
225.
by Strilanc 5y ago
What bigger things have they removed? I thought Java lived and died on promising forward compatibility.
226.
by Strilanc 5y ago
Wow, that's a really well-established feature to remove. But reading "JEP 421: Deprecate Finalization for Removal" [1] did convince me it's a good idea to deprecate it. I'm suspicious they'll never ever actuall
227.
by Strilanc 5y ago
Giving a confidence level is different from using weasel words. Weasel words make statements weaker or even vacuous. Confidence levels make statements more precise. Here's an example: statement: Alice stole the briefcase +we
228.
by Strilanc 5y ago
In what way is the article about that? How is Apple getting a better chip by learning to do it themselves, because cpu manufacturers are trapped by misaligned benchmarks, just a trivial statement about supply and demand?
229.
by Strilanc 5y ago
It's pretty depressing how many of the comments are purely answering the title and not discussing the content of the article. In particular, the comments seem mostly focused on consumer product build quality whereas the article is more
230.
by Strilanc 5y ago
Interesting. I interpreted "work in any of the top ten cities" as meaning I could pick any city and it would work. I can see the other interpretation. Hopefully they agree on the parsing!
231.
by Strilanc 5y ago
The terms of the bet require the car to navigate through New York in the winter. Definitely a lot of challenges there that aren't present in Austin. I think 2030 is a nice contentious number to bet over. Far enough in the future that t
232.
by Strilanc 5y ago
I'm a bit worried for that analog-matrix-multiplication-for-AI company. I vaguely remember reading somewhere that the past half century is littered with companies whose value proposition was "our specialized thing does 10x better
233.
by Strilanc 5y ago
Comparing the old version: https://web.archive.org/web/20210302090607/https://developer... to the new version: https://developer.mozilla.org/en-US/docs/Web/HTML/Elemen
234.
by Strilanc 5y ago
Typically either with length prefixing (what binary protocols do) or with escaping/quoting (what text protocols do). For example, JSON assigns a unique bit sequence to every possible list of strings by using '"' and &#x2
235.
by Strilanc 5y ago
But the language can't prove that. In the paper they show that it thinks the output is mixed until you add a manual assertion telling it to simulate the thing to check.
236.
by Strilanc 5y ago
Ah, you're that krastanov. https://github.com/Krastanov/QuantumClifford.jl/commit/aafd5... Hey, when everyone else is falling back to "oh we just simulate the hard cases to verify them", maki
237.
by Strilanc 5y ago
Hahaha, this is quite funny to me since I write some of those boring high performance simulation libraries. In my defense I'll note that e.g. Stim [1] isn't just fast; it has correctness tools. For example, stim circuits can inclu
238.
by Strilanc 5y ago
> your goals (e.g. compilation into realistic gates) are very different from the goals of these language designers (study of abstract structure of quantum algorithms) But the abstract structure of quantum algorithms is all about the ca
239.
by Strilanc 5y ago
It's very concerning that the type system can't understand quantum teleportation without adding manual assertions verified by a state vector simulator (exponentially costly in number of qubits) [1]. Similarly, teleportation takes
240.
by Strilanc 5y ago
A good native toffoli is a useful bootstrap for magic state distillation, which is relevant to long term error correction costs. ...but since they haven't actually experimentally validated the gate, it's a bit early to say it woul

More ›