• 52 Posts
  • 1.98K Comments
Joined 1 year ago
cake
Cake day: June 20th, 2023

help-circle

  • You have to write out a lot of exercises and there is no getting around it. You can’t learn the violin by watching videos or reading a book. You have to practice. It’s the same with math. But as people said, Khan Academy lectures are very good in steering you through a topic.

    Besides algebra, I think it is important to know a bit about probability and a bit about logic. Don’t worry about stuff like covariance matrices, but understand what conditional probability is (be able to explain the “prosecutor’s fallacy”) and write out some of those annoying exercises about urns full of colored balls. Also, show how to write e.g. “you can fool all of the people some of the time, and some of the people all of the time, but you can’t fool all of the people all of the time” in predicate logic notation, and see how the parts of the sentence involve switching the order of quantifiers.



  • I’m not sure what you mean about “alternative process” for updates. In the chart you posted, the US got 466227 updates in 1 day which is about 14 million per month if that happens every day. If they are 100 bytes each (no idea if that is realistic), that’s 1.4GB a month for the whole US. Right now a new map download is something like 1.1GB for California alone. California is the biggest US state (not in terms of land area but certainly in terms of roads) but the whole US might be 10x or 20x bigger.

    I’d say OM is less in need of new features than of getting its existing features working solidly, warts ironed out, etc. The one major feature improvement i could see is getting the voice directions to include street names, but in practice it’s not that important, at least in my usage.

    Google Maps has a sometimes useful feature that an offline app like OM can’t possibly get, which is routing and ETA calculations based on realtime road and traffic conditions. I don’t rely on that very often, but on occasion, it really helps. Unfortunately I suspect that much of the traffic data comes from the devices themselves phoning home with their locations, and only Google and Apple have enough devices out there to usefully do that.











  • Two angry men on separate occasions have made comments to me about masking and how I don’t need to do it. I just stare right through them and ignore,

    I just say thanks, I prefer wearing it and I’m more comfortable with it on. That generally works.

    but why are they so angry?

    Might go back to the conflicting and stupid instructions we got when the pandemic started. The public health establishment lost all its credibility and continues to mess up.







  • I don’t mean OM gives me a choice of routes. Rather, say there are two reasonable ways to reach the destination. OM chooses route A, says turn right, ok fine, I turn right. Then after a few seconds, OM changes its mind and wants route B instead. So it says take a U turn and go this other way, oops! But if you do that, it changes its mind AGAIN, and you end up going in circles.

    Re downloading a subset of the maps: yes I can do that, but then I have to predict which ones I’ll need, just another thing to remember. I have all the California maps installed so that if I suddenly decide to drive to Barstow or something, I don’t have to figure out which counties I’ll traverse, since they are all already downloaded. What I really want is to download ALL the maps, the whole world, might be 50GB or whatever, but that’s ok, we can buy 2TB microSD cards now. If that download was a one-time event with occasional small updates I could deal with it, but I don’t want to do the whole thing every cycle.

    Anyway, as a development snapshot I guess OM is pretty nice, but I can’t call it a finished product,