dbatten
Joined 10 years ago
Joined 10 years ago
IMO, this has been their assumption for years, and it actually turned me off when I tried getting used to Mac circa 2006-2007. Coming from Windows at the time, I just couldn't get over a weird anxiety that my application window wasn't maximized, because it didn't look like it completely snapped into the screen corners.
Now, using 34-inch ultrawide monitors almost exclusively, I never maximize anything... it'd be unusable.
Still, 100% agreed that he stopped at the right time, both because of the creeping cynicism, but also simply because he was running out of fresh ideas...
Ah, I was not aware that that's what this language indicated. Thanks for helping me understand more!
I've used Gurobi (and other solvers) in the past, but always in situations where we just needed to find a solution that was way better than what we were going to find with, say, a heuristic... I've never needed to find a provably optimal solution...
(Let's assume, for the sake of argument, that there's no bugs in Gurobi's solver and no bugs in the author's implementation of the problem for Gurobi to solve.)
I guess I'm basically asking whether it's possible that Gurobi got trapped in a local maximum, or whether this can be considered a definitive universal solution.
This webpage has a very intuitive graphical explanation of how it works: https://www.mjt.me.uk/posts/contraction-hierarchies/
(I had the joy of implementing this in Python with OSM data a few years ago. Planning a three hour car trip with software I wrote and having it come back with the same path recommended by Google Maps in a matter of milliseconds was a very rewarding feeling.)
Macaroon: https://en.wikipedia.org/wiki/Macaroon Macaron: https://en.wikipedia.org/wiki/Macaron
I'd assume the terrestrial fiber/cable/DSL data is more accurate, though?
You can report the location to Google as "bad data" and they'll delete it, but then a totally different fake location will re-appear in its place a few days later.
Is there not an efficiency problem there that we could improve on?
(Not an expert in this area, genuinely curious.)
Pros: Battery life is excellent. Used it for 12 hours while walking around a factory doing an IT system install, never had to charge it. Slim form factor is nice. With an upgrade to an i7, additional RAM, SSD, etc., performance is good for any task not requiring a GPU. It would easily be the best laptop I've ever owned, except for...
Cons: WiFi chipset died within months of purchase and had to be replaced. Battery swelled by year 2 to the point that the mouse was unusable, so battery had to be replaced as well. The machine shipped with Ubuntu 20.04 LTS, which had a Linux kernel bug that caused the machine to freeze when trying to throttle up/down the i7 CPU for power management purposes. I contacted System76 about the problem, and they didn't know anything about it... I ended up having to troubleshoot it myself, at which point I told them the issue, and they sent out an email about the fix to (what I assume was) all Lemur Pro owners. I thought buying a Linux laptop from a company that specializes in making Linux laptops would let me avoid these kinds of nagging issues around things like drivers and power management bugs, but alas it did not. More startlingly, I would have expected a company that specializes in Linux laptops to at least be AWARE of such an issue on their machines, but it seems they had no idea... I feel like I would have been just as well off going with a Thinkpad.
Related final pro: It was frustrating to have to replace multiple parts in this machine (especially so early in its life), but I have to give credit to System76's self-install policy. They sent me the parts and detailed instructions for doing the repairs myself. Saved so much headache.
Overall, I really want to love my System76, but I'd have to think really hard before buying another one.
We were shocked by how early our kids could pick up board games, including many of the ones mentioned in this article. Our 2 oldest kids were playing Ticket to Ride and Carcassone well enough to beat us form time to time at 3 and 4 years old. Now that they're a little older, slightly more complicated games like Catan and Flamecraft are on the table!