zepolud

8 ms·

31.
by zepolud 12y ago
Test pilots? In the 21st century? I find it absolutely reckless and inexcusable to require live humans riding on a prototype rocket when you have all the processing power needed to automate/remote manage the vehicle literally in your p
32.
by zepolud 12y ago
You should check Olinuxino Lime[1] if you're looking for SATA connectivity. It costs 30 EUR and is open source hardware. [1] https://www.olimex.com/Products/OLinuXino/A10/A10-OLinuXino-...
33.
by zepolud 13y ago
>'Safe' programming languages will improve security, presumably at the cost of usability through decreased performance. A bit like how a Ferrari is faster than a Volvo, but not as safe. This is fundamentally untrue. Safeness of
34.
by zepolud 13y ago
To take it one step further, it might be a good idea to specify the whole thing in Coq, prove correctness and derive the C code from there. Coq is a theorem prover based on the Martin-Löf type theory like the ATS mentioned in the article. X
35.
by zepolud 13y ago
> [...] but RSA said in a statement: "RSA always acts in the best interest of its customers [...] True, you just have to keep in mind that their customer is the NSA.
36.
by zepolud 13y ago
Created in the same era as Google Code Search and likely to meet the same fate.
37.
by zepolud 13y ago
He mentions those in relation to his own pet theories but in no way does he address GP's argument. What his theorem boils down to is: 1. Let A be a formal system capable of describing the natural numbers. 2. Assume A is inconsistent. I
38.
by zepolud 13y ago
It's safe to assume that most of us accepted that the mass surveillance programs existed. This doesn't diminish the importance of what Snowden did. It was more of an emperor-has-no-clothes moment than some unexpected, shocking rev
39.
by zepolud 13y ago
It's a lot less poetic if you consider that it wasn't "trust" that brought our placentas into being but a mutated retrovirus. More power to this guy if he helps people feel better about themselves and the world but he sh
40.
by zepolud 13y ago
The only use for a binary blob that purports to a be a secure RNG is to feed it to /dev/random.
41.
by zepolud 13y ago
Would it surprise you to know that all U.S. postal mail is also being monitored and recorded? [1] As soon as they see something addressed to a known WL address they will trace it back, find where it was sent from, find out the serial number
42.
by zepolud 13y ago
I don't think you understood the process--there is no 2) post to exchange a shared secret, as it is derived from his private key and the already known to him public key of WL. There is also no prior need to contact WL--this is the whol
43.
by zepolud 13y ago
To be obnoxiously blunt, imagine the current situation with Snowden and assume he wanted to leak directly to Wikileaks and that they were using similar scheme to the one in my post below. This is what he would need to do: 1. Write a normal
44.
by zepolud 13y ago
Whistleblowing would be a killer app. Imagine you wanted to leak something but don't want to attract attention to yourself. You could encrypt it (with the public key of the organization you want to leak to), hide it with steganography
45.
by zepolud 13y ago
Images are just the lowest hanging fruit and attract a lot of sloppy schemes. You can encode information in pretty much anything as long as you are free to choose the message. You could even encode info in plain text by the lengths of non-w
46.
by zepolud 13y ago
Nope. You would be painting a huge red target on yourself if you tried something like this. The purpose of steganography is not to get noticed in the first place. It's orthogonal to regular cryptography.
47.
by zepolud 13y ago
It's cool but basically solves a problem that no longer exists. Once you've caused enough suspicion, they can simply dig up the records of all the data you've sent, both chaff and wheat, and serve you with an order to disclos
48.
by zepolud 13y ago
This is extremely shallow. This guy deliberately focuses on the most tabloid-style reporting of the HoTT book he could find, a New Scientist piece, and then uses it to attack the book itself for having unsubstantiated grandiose claims. Well
49.
by zepolud 13y ago
There is no way to "see it." Those were secret programs justified by secret laws written by secret courts. The whole system has gone so far already that a negative proof is impossible in the current legal framework. There is simpl
50.
by zepolud 13y ago
It's helpful to consider neighboring France as to why the total energy consumption is a more meaningful indicator. It has relatively cheap electricity due to the abundant nuclear power and as a result much larger percentage of the hous
51.
by zepolud 13y ago
It's really irresponsible to throw figures like that without the disclaimer that solar PV production constitutes only 1.1% of the total energy consumed in Germany for the last year. [1] http://www.erneuerbare-energien.de&#x2
52.
by zepolud 13y ago
The Good American syndrome.
53.
by zepolud 13y ago
It's simply criminal to omit Walter Lewin from those kinds of lists.
54.
by zepolud 13y ago
More likely it's just Hinton having fun with all the computational power he now has access to.
55.
by zepolud 13y ago
It's not a real koan unless it ends with "... and he hit the student with a stick; with this, he was enlightened."
56.
by zepolud 13y ago
Defining a sane syntax while the language is still in its infancy is anything but bikeshedding. You have only one chance to do it right before an entrenched codebase develops or interest in the language fizzles. MS Research did this right w
57.
by zepolud 13y ago
It might be childish but I just can't force myself to swallow the ugly curly braces and semicolons. Some compromises had to be made, e.g. the lack of tailcalls is a regrettable but nonetheless well justified decision. But why didn't they in
58.
by zepolud 14y ago
You've obviously never visited London.
59.
by zepolud 14y ago
Even a quantum system could be simulated on classical Turing machine so I fail to see how that relates to computability. The whole article boils down to a metaphysical, a-wizard-did-it, type of argument as usual.
60.
by zepolud 14y ago
Actually, there is something that comes pretty close to this--it's called The Princeton Companion to Mathematics, curated by T. Gowers but mostly written by about a hundred of the top mathematicians in their respective fields, and is one

More ›