zepolud's comments

> If you're under enough surveillance that your adversary will follow you on holiday and track all your supermarket purchases, you have bigger problems.

Problem with modern surveillance is not that somebody is actively tracking you, it's the ability to retroactively track you back with perfect accuracy soon as you become become an inconvenience.

Thankfully, Deep Throat wasn't aware of that.

I'm not comparing anything, merely reacting against any attempts to trivialize the very real need for a platform for anonymous dissent.

From the lives of the people involved to the stability of the democratic institutions themselves, those are very real and very high stakes. It would be extremely disingenuous and insulting to pretend that the intent of the article was to anonymously tweet "trump is a poop".

Remember the thousands of people arrested for "insulting officials" on social media in Turkey?

[1] http://www.businessinsider.com/ap-turkey-arrests-1656-social...

Probably, but doing it correctly would require a whole different type of opsec expertise that should not realistically be expected from someone who is getting their security tips from The Intercept.

This addresses shop cameras, not street-level government surveillance that would be accessible for 10+ years and is trivially addressable by the time and location of the transaction.

It would be very irresponsible to recommend buying a burner phone to people trying to stay anonymous. At the very least, it would give away your location even if you somehow manage to remain unrecorded by street CCTVs in the vicinity of the shop at the time of purchase. Assuming it is even possible to buy one without providing full personal details, as is required by law in most of the EU.

Twitter now not only gives platform to powerful demagogues, it is also actively stifling dissent by effectively disallowing anonymity.

What about the laws of thermodynamics, pretty oppressive if you ask me. Better oppose that too.

> I hate admitting it but democracy works pretty well in Turkey.

Majoritarianism should not be confused with democracy.

Take a minute and reflect on the fact that you're arguing Turing had nothing to do with mathematical logic.

His doctoral advisor was Church, his work based on Gödel, his thesis named Systems of Logic Based on Ordinals.

Comments like these show the perils of treating mathematics like a cookbook. It's a very limiting mindset.

Sadly, Turing wasn't aware of this at the time -- think of the real world impact he could have had.

"They say 'there are no atheists in foxholes.' Perhaps, then, there are also no libertarians in crises." [1]

[1] https://www.hks.harvard.edu/fs/jfrankel/CatoRespCrisesJun07+...

Funny how things turned out. I still remember this post[1], it was profoundly disappointing to see Guido's way of thinking. Much of the damage was reversed but it still left an indelible impression that there's a lack of vision for what's going to be important if the language is to stay relevant in the future.

[1] http://www.artima.com/weblogs/viewpost.jsp?thread=98196

It should also be added that most of this work is being done publicly and is open to new contributors. You can check Voevodsky's github page[1], and most of the other HoTT collaborators are active members as well. The HoTT book itself is also being collaboratively written there.

[1] https://github.com/vladimirias

Next keynote by Carmack might be on accidentally solving the Fermi paradox.

Apart from the usual Manifest Destiny IN SPACE! crap, recently I've been a bit shocked to realize that there might actually be a point in trying to go to remote and harsh places.

The Antarctic being a barren wasteland makes it an attractive breeding ground for penguins precisely because it's so inhospitable to anything alive, penguins included. As long as penguins suck less at living in a barren wasteland than their predators it's a net benefit for them to be there, despite the hardships of the environment.

If we assume there is a group of humans that feel existentially threatened by other humans so much that odds of surviving in an irradiated subterranean Mars colony beat the odds of being exterminated here on Earth, it would be a perfectly rational choice for them to try and move somewhere out of reach.

There are lots of potential scenarios why such groups might come into existence, and not all of them involve outright genocide. For example, a group could form just as a result of concerned citizens wanting to go to some place very, very remote once kids start playing Pokemon with their newfangled RNA synthesizers.

It's not even that; it's suborbital.

Please read the context of the first post--I'm referring to the engineers behind the specifically mentioned Buran program, an autonomous spaceplane that launched, flew and landed with no crew.

If the Soviets deemed it too risky for human pilots and managed to automate it 25 years ago maybe that should put it into perspective just how risky and reckless what Virgin are doing is.

The failure modes of rocket engines could be explosions but nobody says you can't have multiple redundant engines on a single rocket. In fact, in 2012 Falcon 9 demonstrated exactly that: one of their 9 Merlin engines blew up but the rest redistributed the load and the rocket successfully delivered the payload to the ISS[1].

[1] http://blogs.discovermagazine.com/badastronomy/2012/10/08/sp...

"These people" that designed the spaceplane didn't put their lives on the line, they put the lives of the pilots on the line. And I would trust the judgment of the engineers at Boeing, Sierra Nevada, SpaceX, Lockheed-Martin and the entire Soviet space program over theirs.