This is a great help, I'm using it most of the time. After I got used to it, plain gdb feels incomplete (mostly because rr allows you to reverse-step and reverse-continue even with watch/breakpoints).
593 karma · joined February 8, 2017
If you can come up with slides that make it easier for your audience to follow you, go for it.
- no support for roundabouts: it's really hard to determine where you have to leave, and the spoken hints are not helping. Why not displaying a top view of the intersection/roundabout like other navigation devices do?
- no good support for leaving a highway. If the connection is non-standard the speech commands seem off/hard to understand. Top view again would help.
- it's good for a company to sell a ton of crappy cloths that don't last long and the production of which has terrible environmental impact
- it's good to produce a ton of low quality eggs and sell them
There might be a genetic factor here. The other thing is that the food habits of our ancestors were more thought out than we think. It might be that what they have been eating is not only better because of genetics, but more healthy in general than the terrible foods we can buy everywhere today.
Previously, China outsourced social and ecological cost of producing iPhones and other technology. That outsourcing is not covered in the price.
Recent political changes in China such as environmental requirements cut the key profit: the outsourcing.
If the US has the choice to either have a factory in China, or have a factory with roughly the same standards at home, the trade-offs are different: you might want the jobs at home then (given that the wages are competitive, which they currently are not).
- it's not scrolling fast enough
- it's easily possible to send processes to the background (and job management)
I'd really like to use Powershell on windows but git bash works better.
In theory, an application with a computation-heavy task could program the FPGA to provide part of that task in hardware (think the hot innermost loop body).
What I am worried about is the infrastructure that is needed to make this happen: Is there even support for this in our compilers? What would support look like?
Personally, I find clarity and focus the most important qualities of a thesis. The former requires and displays deep understanding and writing competence, and the latter requires and displays planing and the ability to identify a specific issue (out of all the things one could write about).
Cleverness, however, is not so high on my list of requirements. Many hard problem exists in a space of trade-offs, without a silver bullet solution. Understanding and effectively communicating these trade-offs is probably more useful than a single "clever" solution.
I haven't had any problems updating and even big updates are fast. This is in contrast to a Dell laptop I got for work and which regularily took 45min to update.
If you have problems with your Windows 10, get rid of the crapware that came with your PC and/or do a fresh install from a clean image from MS (not one of the OEM rescue partitions/disks).
I with MS would do something about all the preinstalled crapware, because it has gotten out of hand and is hurting the brand.
However, Javascript has basically the "everything is a floating point number" approach, and bigints would be hard to fit into that (do you want bigfloat as well? do you want to reproduce float arithmetic imprecision, or be precise? Etc.)
However, bigint could internally use just one fixed width number when possible as an optimization - although the current implementation doesn't seem to do this.
Up until now, there was a branch of physics that tried to explain dark matter as a phenomenon that is caused by normal matter. This discovery shows that such an approach is unlikely to work.
For all of this, it does not matter /why/ there is no (not a lot) dark matter in that galaxy. Although that is probably the next question physicists are after!
Intel had 6 months.
Netflix, Amazon, etc. have some great entertainment, but they seem to avoid serious, emotional, social, and political topics.
Instead they keep producing tons of supernatural/superhero series.
That kind of stuff was never particularly popular at Cannes anyway.
I guess what I am saying is that even though they share the medium, they do very different things with it.
While Coq has been successfully used to formalize mathematical theorems (a term I use here in contrast to computer science theorem), I am pretty sure few mathematicians use Coq or even type theory in their day to day work.
Until that becomes custom, the discussion about HoTT will probably stay in the type theorist community. Interestingly, I also think that only after the crisis is solved we can expect mathematicians to use type theory as foundation for their work.