Proofs are going to be more relevant as the common problems stem majors need to solve get more mathematically complex. One of the best education-related advice I received was from my engineering professor/mentor. I told him I was curious about taking an intro to proofs class and he said engineering problems are moving in a direction where only advanced maths will be able to solve them effectively. He encouraged me to load up on as much math as possible. I wanted to get a double major but it wasn't feasible without more student loans. It paid off when I went back to grad school and in my current job hunt now.
The matter with C++ is not the lack of tools for it, it is that there are too many and it is a disaster with things that should be integrated into the lang arent so it makes an old and obsolete ecosystem.
The build system with so many options that are incompatible between then is a good example, i dont care that i can choose among 5, make, cmake, qt, Visual Studio or Conan as it is a loose-loose scenario, no matter what i choose i always loose, i use Cmake but as any should know many libs still dont have cmakelist in their project so extra work, in cases like with ffmpeg (the reference codec library of the world) it means forget the idea as creating the txt file will need hundreds of hours as i code on Windows and cant build it.
The poor ecosystem that feels like the 80s is one of the reason i am using less C++ and more other langs, i hope the ISO addrees this soon beacuse it matters even if many are happy how things are today.
It was a terrible car in some (many) respects, but it definitely is not "the worst car ever built". The Trabi has a lot of things going on for it.
1. It is very light. The motor is tiny, the whole thing is like 600 kilos (not absolutely sure, but I know for a fact that 4 normal men can pick it up to move it to the side a bit).
2. Given its size, there is quite a bit of space inside
3. Since it is so small and light, it is very easy to drive. You literally don't need the clutch: there is a clutch pedal, but you don't need it -- you can switch gears as long as you are not pressing the gas pedal. (The gears, btw, are very light, and the "stick" is not a stick, it is on the wheel -- you can operate it with one finger without taking your hands off the wheel.)
4. With electronic ignition (it can be installed easily on top of the stock model) the motor behaves quite well.
5. It is cheap, not only because it is bad, but also because it is just cheap. Not many moving parts, nothing fancy in it, you get the point. I don't know how accessible spare parts are nowadays of course (this was the problem back in the day as well; finding spare parts was a bitch).
It isn't a "good" car, given what we expect from cars these days, but for a city car it is quite OK. Still not as dirty as a diesel ;-)
PS: there is an old Trabant joke that goes like this: a car collector from the US hears about it and wants to have one. He orders it and has it shipped over. On arrival, he looks at it in confusion, then writes back to the sender: "I wanted the car, not the toy model!"
Given the other applications you chose to look at, I'm surprised you didn't also look at Audacity. It uses wxWidgets, which is a nice C++ cross-platform GUI framework. It wraps native controls on each platform it supports, and also has a "Generic" variant where it draws its own. It's not very heavy as these things go, and has a nice python binding called wxPython.
Only the BBC's deliberately emotive headline to this story suggests that 'penguin chicks have died'. The facts behind it are that BAS scientists have reported that one colony site has been abandoned and that another nearby has increased in size. The probability is that the abandoned site had become vulnerable to storm damage and the colony moved to a less risky location. No panic, no disaster.
I find Wikipedia tremendously useful and have made modest acknowledgement of that financially. That said, I tried to get them to correct/augment something they had based on a thesis from the 1970's at a top US school. The matter could have been verified but instead it was rejected out of hand and so the content on Wikipedia is less than it might have been. I had a sense the matter was handled with great dispatch and finality.
Good article. The land tax is probably the preferred tax of libertarians, and it does make sense in many cases. But in the case of cities with vastly higher municipal costs than its neighboring jurisdictions, the land tax would still be high enough to ward off new residents, which would just work to keep rents too low, etc. The city will have to see where its costs are, get them under control if possible, and grow its "brand." There are a lot of things that are attractive to a city as opposed to the suburbs, but the negatives would need to be dealt with, too.
Check out the pop culture classic, RoboCop, which besides being a popcorn chewing action film, contains a rather cynical, but prescient, view on the future of corporations and privatization of public interests.
For those unfamiliar or don't recall, in the film, the mayor signs a deal with the mega-corporation Omni Consumer Products (OCP) will be allowed to turn the run-down sections of Detroit into a high-end utopia called Delta City. Much fun, crime and corruption ensues.
Sidewalk Labs wants to make a better world for us. Ha. "I'll buy that for a dollar."
Anyone that likes Lisp should take a look at Factor. Even simpler syntax (RPN instead of prefix, less parenthesis), Lispy generics, functional, procedural, scripting, arbitrary data literals, full of meta goodness, clean good small understandable library, batteries included, sub-languages, REPL + image + source files, low and high level. Inspired in Lisp, Joy, Smalltalk and Forth (and with some things in common with Rebol).
In China, there appears to be a public understanding that personal privacy is not protected while in the U.S. most citizens are not concerned about their own protections. How else could Facebook exist and prosper so mightily? As for me, I don't book Face and neither should anyone else.
Yay! So many beautiful and fragile places will be saved now! People don't realize that our local deserts are "biodiversity hotspots" and there are thousands of species plants and animals relying on that desert to remain intact and in balance. Exactly like Amazon rain forests and our oceans, you can't just clearcut or poison them and expect everything to go along just fine. People may look at a dry lake and think "dead wasteland" because they don't understand that fairy shrimp and different plant seeds lie dormant in that soil for years until there is water, then they all explode into life, providing food and water for local critters as well as migrating birds, etc. Mother Nature did not make a single square foot of wasteland.