Viewing profile — olmideso
olmideso
HN member- Joined
- Sun, Feb 17, 2019, 9:57 PM UTC
- HN karma
- 20
- Public activity
- 13 items
- HN profile
- View on Hacker News ↗
About olmideso
No profile information was provided.
Recent public activity
-
comment
Comment #26087606
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 f…
-
comment
Comment #26083609
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] ht…
-
comment
Comment #25802820
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 …
-
comment
Comment #24136345
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 appli…
-
comment
Comment #24136253
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, s…
-
comment
Comment #23993201
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 comp…
-
comment
Comment #23992502
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…
-
comment
Comment #23919030
> 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…
-
comment
Comment #23660937
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. I…
-
comment
Comment #23660855
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 purchas…
-
comment
Comment #23544668
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.you…
-
comment
Comment #22977888
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.
-
comment
Comment #22093759
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 t…