olmideso

7 ms·

1.
by olmideso 6y ago
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. Thanks for the correction.
2.
by olmideso 6y ago
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. [0] https://github.com/llvm/llvm-project
3.
by olmideso 6y ago
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&#
4.
by olmideso 6y ago
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 wi
5.
by olmideso 6y ago
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
6.
by olmideso 6y ago
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 expe
7.
by olmideso 6y ago
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 an
8.
by olmideso 6y ago
> 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
9.
by olmideso 6y ago
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 v
10.
by olmideso 6y ago
What about YouTube Music? Google recently added a possibility to transfer your library there from Google Play Music: https://music.youtube.com/transfer This should work for purchased and uploaded songs as well( https:/
11.
by olmideso 6y ago
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
12.
by olmideso 6y ago
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.
13.
by olmideso 7y ago
At the press conference Elon said that all remaining tests are expected to be finished by the end of Q1 2020 and the first flight is expected to launch in Q2. Of course they have to analyze the data from today's test. Also the flight c