kamilner

9 ms·

31.
by kamilner 6y ago
The executive producer actually wrote a post after the episode in Season 2 as a bit of an explanation/apology for how it ended up that way, which I thought was a nice touch: http://www.danielabraham.com/2017/04&#x2
32.
Systemization of Knowledge: Computer-Aided Cryptography(eprint.iacr.org)
2 points by kamilner 7y ago|0 comments
33.
by kamilner 7y ago
Ironically, organic wine is one of the organic products that’s least sustainable, because of the widespread use of copper sulfate (conventional vineyards use it too, but also have other more sustainable options). It builds up in the soil an
34.
by kamilner 8y ago
Further discussion here: https://news.ycombinator.com/item?id=18958321
35.
by kamilner 8y ago
There are 3 reserved bytes in each of the handshake messages [0] which I imagine would be used for this purpose. There's also a full byte for message type, of which I think only 0x1 through 0x4 are currently defined. [0] Page 10 onward
36.
by kamilner 9y ago
>Re: P != NP, I would say that question assumes a certain architecture, so while it might hold for Turing machines, the real question is is a HyperTuring/Turing machine really all there is? No, P and NP are defined by an architectur
37.
by kamilner 9y ago
Why isn't it possible (or likely, even) that the difficulty of constructing capacity X+1 grows faster than the +1 capacity? Self-improvement would slow exponentially when it takes three times the resources/computation/whateve
38.
by kamilner 9y ago
I'm one of the authors, happy to see this on HN. Just to let everyone know we're currently in the process of updating the paper and implementation, so there will be a more detailed version up in a couple weeks. There's also a
39.
by kamilner 9y ago
The D-Wave machine is not a full adiabatic quantum computer, though (which would be polynomially equivalent to a universal quantum computer). It does quantum annealing over a pretty restricted set of Hamiltonians. I think it is perfectly re
40.
by kamilner 9y ago
I'm not sure what about this thread precipitated this comment, but it sounds like you'll be relieved to discover he doesn't think that.
41.
by kamilner 9y ago
There are quite a few other tools for protocol verification (ProVerif, Maude-NPA, etc.) and I haven't used all of them myself, but I think Tamarin is particularly easy to read and understand even when starting out. The rules are roughl
42.
by kamilner 10y ago
As far as I know only Android >=7 on hardware with a HWC 2 implementation support colour transforms [0], so all Android apps implementing a f.lux-style thing do exactly that, draw an orange rectangle over the screen. F.lux on desktop has
43.
by kamilner 10y ago
> I also miss having a (Android) back button on my phone. I find I much prefer the swipe from the left to go back, it feels a lot more natural.
44.
by kamilner 10y ago
> Funny that, does Apple allow push notifications without telling APNS about the notification message yet? Yes, of course they do. That's what remote-notification UIBackgroundMode is for. How did you think encrypted messaging apps l
45.
by kamilner 10y ago
If it's under warranty, that's worth taking in. When I got my MBP repaired under warranty they also noticed my battery was doing worse than it should for the number of cycles and replaced it no questions without me having to ask.
46.
by kamilner 10y ago
As mentioned elsewhere in the thread, if provided with a random oracle A, P^A != NP^A with probability 1. It's not clear though what this actually buys you, intuition wise, since it's already sort of intuitively clear that nondete
47.
by kamilner 10y ago
That seems odd, Electronic Arts alone has a market cap of ~23.5B: https://finance.yahoo.com/quote/EA/key-statistics?ltr=1
48.
by kamilner 11y ago
Did you have something specific in mind? Otherwise as I read your comment I should mention the 'recognizability' of the information is irrelevant to the paper. The paradox is about the differing predictions from general relativity
49.
by kamilner 11y ago
Are you sure it isn't because you claimed the article cherrypicked results by not including a phone that was, in fact, included in all but one graph, and then justified your misplaced criticism based on the omitted phone having faster
50.
by kamilner 11y ago
Quantum Computing Since Democritus, by Scott Aaronson. It covers an astounding amount of stuff -- including complexity theory, the nature of randomness and information, and quantum information theory -- into less than 400 pages.
51.
by kamilner 12y ago
I found a list at http://www.patentlyapple.com/patently-apple/2013/05/apples-i... "Smartflash's lawsuit filing includes the following list of patents that they're claiming Apple has infringed u
52.
by kamilner 12y ago
I would disagree with you there, actually. As Scott Aaronson says: "Quantum mechanics is what you would inevitably come up with if you started from probability theory, and then said, let's try to generalize it [...] As such, the