Ok, here's a non sequitur...
It would be nice! The likelihood that Democrats will run on breaking up large tech companies in 2020 is literally about as great as the likelihood that Donald Trump will have a great record on climate change.I’m under no delusion that, with libertarian tech moguls like Peter Thiel in President Trump’s inner circle, antitrust regulation of the internet monopolies will be a priority. Ultimately we may have to wait four years, at which time the monopolies will be so dominant that the only remedy will be to break them up. Force Google to sell DoubleClick. Force Facebook to sell WhatsApp and Instagram.
Last edited by Eversor; 04-23-2017 at 05:00 AM.
Yeah, short of a grander economic crisis, it's a pipe dream to think anything will happen to Google.
You can also use it to express intuitive conceptual relationships, and also to throw out a bunch of low level set theory boilerplate. In other words, it is a modern foundation for mathematical reasoning.
It always feels kind of funny for me when I go back and forth between Jon`C's comments and reading through some of the Ayn Rand chaff on HN (in general, haven't read through the comments on this one) spreading FUD about stuff that questions their convenient entrepreneur morality.
I only glanced at it, but it looks like the top comment on the HN thread for that story is a No True Scotsman defense of 'free markets'.
They're blaming regulation too.
Tech startups basically fall into three camps:
- Capital manufacturing (99.999%)
- Criminal enterprise (Uber, AirBnB)
- Actual company that aims to make **** and has to literally sue to gain the right to compete against incumbents (Tesla, SpaceX)
"It's illegal to sell cars that aren't made by Ford" - Texas
As Alan Kay said to a HN poster asking about whether or not people at PARC were dropping acid in order to 'see' the future of personal computing: a little bit goes a long way.
It's great that you've had a chance to talk to Baez about this stuff--his weekly finds archive are a goldmine for those looking for abstract connections between math and physics. But you have to understand that in my drug analogy, well let's just say that Mr. Baez is pretty much the Timothy Leary of category theory.