kamkha
Joined 15 years ago
Joined 15 years ago
That program P will certainly be longer than K (as it contains K), but not much longer — it's adding to K only the instructions needed to iterate over strings and define the threshold complexity ("2 million"). P will then produce that "2 million"-complexity output, but it didn't need any input and thus the complexity of its output is truly just the length of P (which is smaller than "2 million"). It eventually stumbles upon S by going through all possible strings, and didn't need S to be provided.
The main idea of the proof is very similar to the interesting-number paradox [0] or the Berry paradox [1].
[0] https://en.wikipedia.org/wiki/Interesting_number_paradox
→ Software Engineers, Product Managers (PMs), Product Designers
Slang started as an MIT research project on using AI and NLP to make learning a new language as efficient as possible, and has grown into an adaptive English-learning platform that offers an unprecedented variety of specialized English courses and proficiency tests in 50+ industries like Law, Oil & Gas, and Aviation. With just a small team, we’ve already created the largest professional-English offering in the world, and now we’re scaling up to release 1,000 more courses over the next three years.
Learners use our learning apps to submit millions of language activities per week, managers use our LMS to visualize the progress of their students or employees, and our Content team uses our internal tools to provide expert curation and refine the output of our models.
We just closed a round and are scaling up our 6-person Product team to grow those applications. We're looking for engineers, product managers, and product designers. Our backend combines a Ruby/Rails API with a data-intensive Java stack, and our frontends include a React/TypeScript/MobX web UI and Cordova-based hybrid mobile apps.
I'm Kamran, the CTO — email me directly at [email protected]!
Your point stands nonetheless — they could certainly be losing money on certain large users of their free tier. Serving relatively static content has gotten extremely cheap across the board, though, and like the parent said, they might be benefiting from the pricing by more indirect means.
A bit of a bigger space to search ;)
[1] https://chessprogramming.wikispaces.com/Simplified+evaluatio... [2] https://en.wikipedia.org/wiki/Chess_piece_relative_value
[1] Black bile is actually the source of the term "melancholy" — from the Greek melankholia, from melan- ("black") and kholē ("bile")!
I wonder if his choice to cancel Comma is related to Tesla's recent announcement that all new Tesla vehicles would ship with a full video camera outfit.