I know that the discussions and reviews happen on mailing lists and believed that this github repo is the official one there all these patches go, but apparently it's not.
Actually LLVM has their official repository there, not a mirror as GCC[0]. But they still do reviews and merges outside of github. linux kernel project does a similar thing.
If your devices are kept connected this means that your wifi and router are still active, probably the issue somewhere behind your router, either a connection or provider. But due to exact timing it's likely something on the provider's side and not just some connection issue.
I would personally start with contacting them to investigate.
You might also check the router's logs for that time, perhaps there's something useful information.
Usually there are only a handful percents of overall users who actually create content compared to "read-only" users. There is nothing special about wikipedia, the same thing applies for sites like youtube,reddit, etc.
The same will apply for MDN as well, so if you haven't contributed there, this doesn't mean that nobody will.
Not sure whether it's fair to compare them. Specifications are usually written using a format language for the ones who implement them and not designed to be a learning material, so many things which are not necessary for this goal are omitted.
On the other hand references like MDN are dedicated to the end user, written with a regular language and unnecessary details removed but also with additional explanations and usage examples which are really helpful.
So one usually doesn't need to refer to the specification unless there are reasons to do it(e.g. need to understand all the aspects of a feature). It's pretty hard to understand what's written there for a beginner without some context which provided by manuals like MDN.
I think it's unlikely that everything you mentioned will be gone:
Web browsers - right now there is a trend towards unification and open source because the software is just to complex to build and maintain for most companies and I expect this will continue in the future. So we will have either same browsers(i.e. Chromium, Firefox) or some derivatives/forks.
Windows - this one definitely not going anywhere, there is just too much software built for it. Windows 7 which was last updated 6 years ago is still widely used. So there are no premises that Windows 10 or its successors is any different.
JavaScript - while currenty popular frameworks are quite likely to disappear and their best practices and functionality incorporated into the language, the core language is unlikely to go anywhere. Even things like WebAssembly are developed as a complementary part to JS, not as a replacement. Maybe we will see a wider adoption of things like Typescript, but JS still will be underneath them.
I think every technology that's widely used today that requires some backward compatibility is here to stay for a long time.
Things like API/protocols are hard to move from.
As for new technologies I would expect them to appear and take the niches where current technologies are not good enough. Take C++ vs Rust for example: the former is quite bad in terms of security and the latter is good at that. So Rust will become more popular in writing security critical applications and web services. But C++ seems to be good enough for things like high performance/scientific computing so it will be still widely used there.
> If we detect life close to us, it makes it more likely that there is tons of life around the galaxy, which makes it more likely that the filter is ahead of us.
Isn't is the other way around? I though that the main argument for the filter ahead of us is that we haven't found any civilization, which means civilizations cannot develop past some level at which they can be detected by us. But if we'll have found one, this means that such level of civilization can be passed, and therefore reduces the chances that there is a filter.
I've switched to YouTube Music recently and it was pretty good for me. For me it's mostly on par with Google Play Music and on top of that it has a deep integration with Youtube. It allows you to play songs which are uploaded as videos on YouTube which is quite useful if some song/album is missed in the library. The only noticeable downside for me is that your YouTube Music subscriptions appear in YouTube subscriptions list which makes it harder to look for non-music stuff.
Great idea! I think you can you can add driving on the highways to the list, it looks quite nice when combined with a radio. Here's an example of something similar: https://www.youtube.com/watch?v=39JXpMMmAp4
The Artificial Intelligence podcast by Lex Fridman. It's mostly focused on science tech and philosophy with a lot of high-profile guests from different fields.
Thanks for the correction.