Rise of Dependent Types in general purpose programming: eg. Idris, later something like dependent js/ts.
Ask HN: A New Decade. Any Predictions? (2010)
291–300 of 462 posts
Re: Ask HN: A New Decade. Any Predictions? (2010)
#292Earlier quoted context omitted.
I think Electron's advantage is to shorten training time, not development time.
Training for what or for who?
Training for developers, presumably, especially web developers who want to build native apps. If retraining was free, Electron would have approximately no market.
Re: Ask HN: A New Decade. Any Predictions? (2010)
#293I predict that people will continue to incorrectly think the new decade starts with the X0 year rather than the X1 year.
Re: Ask HN: A New Decade. Any Predictions? (2010)
#294The most striking thing about the thread is how little of current importance was even mentioned: - Bitcoin would become the decade's best investment by far - the President of the US would conduct foreign policy through Twitter - electric scooters would become a billion dollar business (Bird, Lime, etc.) - the sharing economy would threaten the taxi and hotel industries (AirBNB and Uber) - escalation of school shootin…
Honk-honk!
Re: Ask HN: A New Decade. Any Predictions? (2010)
#295Earlier quoted context omitted.
Also, look how much things changed between 2000 and 2010 compared to 2010 to 2020. Facebook didn’t exist. Apple was “beleaguered”. Google was in its infancy and Yahoo was still dominant (before the crash) Microsoft was seen as unassailable. Amazon was mostly just an interesting book seller. They were just getting into CDs and hadn’t even made the deal with Toys R Us yet. Netflix was struggling against BlockBuster ren…
Also Kodak was still king of photography. On decline but still king in 2000. Who'd thought in just 5 to 10 years would've become a nobody?
And Nokia as well...
Re: Ask HN: A New Decade. Any Predictions? (2010)
#296Earlier quoted context omitted.
Someone really needs to crack simple generic type systems with native levels of performance to get all of this to work. Performance comes from optimizing the usage of state against hardware, modularity comes from code satisfying the properties of composition which is best left stateless (and high levels of modularity must come from abstraction and conventional practice, incurring further debts on the programmer and m…
> Someone really needs to crack simple generic type systems with native levels of performance to get all of this to work. We know how this works, at least in broad theoretical terms. Zero-cost abstractions are quite feasible within a self-contained module/component, but their scope is ultimately limited by ease of building and deployment. Nevertheless the performance impact of having to support high levels of abstrac…
Do you have any resources on this you could recommend?
Re: Ask HN: A New Decade. Any Predictions? (2010)
#297IsaacL nailed it the best https://news.ycombinator.com/item?id=1027093 And surprisingly the WoW one is the most off :D
Also jacquesm on Jan 1, 2010 [-] ...
> if there is a way to work Elon Musk in there somewhere that would be good, I have a feeling he's going to make some big waves in the next 10 years but I haven't a clue how.
Re: Ask HN: A New Decade. Any Predictions? (2010)
#298Earlier quoted context omitted.
Printing the keys and sticking them a safe would have done the trick - but you'd need the foresight to know that not touching it for 10 years is the plan.
That's the gotcha. If bitcoin hits $1M by 2030, the people reading your comment from the 2030 repost of this thread will have a good snicker. Bitcoin's entire value, literally all of it, is just an index for how widely and strongly felt HODLology is across the globe. The sale of a bitcoin is a cult member leaving, the purchase is a baptism, however transiently intended the purchase is, because the purchase represents…
Ok I make a prediction here for 2030: Bitcoin won't be at $1M at all, very far from it. Bitcoin will be between $0 and the cost of mining a single coin. Right now, this is around $7,000. Could be similar or less in 2030.
I don't expect it to go anywhere. It seems to have a niche purpose, but will never gain mass adoption.
I make another prediction: By 2030 not a single cryptocurrency will be used mainstream / have replaced fiat currency. The strongest will still be Bitcoin, but it'll be as weak or non-existent for normal people like it is now.
Re: Ask HN: A New Decade. Any Predictions? (2010)
#299IsaacL nailed it the best https://news.ycombinator.com/item?id=1027093 And surprisingly the WoW one is the most off :D
> - As Moore's Law marches on, dynamic languages that are even slower than Ruby are likely to catch on. They may be to Ruby what Ruby is to Java, trading even more programmer time for CPU time. Interesting how plausible this one is, yet turned out to be terribly wrong: the newer hyped languages that got some uptake were largely compiled ones like Swift, Rust, Kotlin, and Dart.
Because it's not Moore's Law that matters here, but rather the subset that is the performance of single cores. And that subset stalled out pretty badly.
We're adding more and more cores, but more cores don't help you write a program in easy mode. Easy mode doesn't multithread.
Re: Ask HN: A New Decade. Any Predictions? (2010)
#300"Surprisingly enough, Apple will still stay relevant even though Steve Jobs will have to leave his position due to health problems or something else."
yeah