Personally I like project based learning. Just try to make something cool, maybe a game, a robot, a hydroponic grow station or whatever and then learn what you need to learn as you go along.
If you gave me a book of inverse kinematics I'd go to sleep in 10 minutes. If I get frustrated that my robot keeps falling over I could read about it for days.
There is an interesting, if quite technical, answer here about Goodstein's Theorem which is a very reasonable number theory theorem which cannot be proven in first order logic.
So questions around statements which are true but not provable in certain logical systems do have concrete examples and are interesting imo.
I'm not sure, I'm not an expert, it says here the twin prime conjecture itself is still unproven.
"On April 17, 2013, Yitang Zhang announced a proof that for some integer N that is less than 70 million, there are infinitely many pairs of primes that differ by N."
In mathematics I'd put forward the conjecture that "for every proven theorem you could ask at least 5 more similar questions which are unproven."
For example it is proven there are infinitely many primes. Are there infinitely primes that differ by 2? By n for any n? Are there infinitely many palindromic primes? Are there infinitely many primes of form n^2 + 1? Is there always a prime between n^2 and (n+1)^2?
If this is true then, assuming there are 200k proven theorems, there would be >1m unproven but readily stated theorems which would mean it wouldn't be too hard to find areas no one is looking into.
I think you can set it to only scan when new pull requests are made. So you could commit your libraries etc without asking for review and then turn it on only for code you have written.
Does anyone know a good comparison of the cost of Nuclear with Solar + Batteries? I feel like just comparing against panels alone isn't really helpful.
I would imagine that if we really cared about climate change the best approach would be maximal effort on all fronts. So build renewables as fast as we can and build nuclear as fast as we can. That would be the quickest way to get carbon emissions to 0.
We could always spend the latter half of the century decommissioning the nuclear again.
Kasparov comments on chess computers in an interview with Thierry Paunin on pages 4-5 of issue 55 of Jeux & Stratégie (published in 1989):
‘Question: ... Two top grandmasters have gone down to chess computers: Portisch against “Leonardo” and Larsen against “Deep Thought”. It is well known that you have strong views on this subject. Will a computer be world champion, one day ...?
Kasparov: Ridiculous! A machine will always remain a machine, that is to say a tool to help the player work and prepare. Never shall I be beaten by a machine! Never will a program be invented which surpasses human intelligence. And when I say intelligence, I also mean intuition and imagination. Can you see a machine writing a novel or poetry? Better still, can you imagine a machine conducting this interview instead of you? With me replying to its questions?’
One nuance is that if you want to live forever you only need to hit longevity escape velocity where every year there is another discovery which buys you another year of healthy life.
Of course it might lead to living to 800 and being confined to a wheelchair by 80.
I think you're making an assumption that there is some central authority that has the power to make this selection on behalf of everyone.
I think the reality is that each person is making language learning choices based on their own utility. It's a network effect situation where everyone wants to learn the most popular language. English is ahead for historical reasons but that is enough.
I find it odd that Russia hasn't fought back and tried to do a reusable program of it's own. Putin talks big talk about wanting to develop high tech industries so why just give up on space?
His nuclear cruise missile program is so lame by comparison.
In general I think if you are very unhappy it makes sense to change things up. It is possible to do a PhD later in life if you want to.
It might help you to change the area you live, get a job and see what that is like. It will help you see what is good and bad about academia and just working a normal job and that will let you make an informed decision about how to proceed.
Also I agree totally the interactive theorem proving is the future.
I am so amazed by the genius of making it out of steel. It's just so completely counter intuitive but has accelerated their progress so much.
If they told you the stats of the material, better strength at cryo tempertures meaning mass reduction, higher melting point meaning minimal heat shielding and great thermal conductivity it would be easy to imagine it was some new super composite. Then your head explodes when they tell you it's 2% the cost of what they were using before and it's so easy to work with they don't even need a factory they can just weld it in a field.
Imo Elon is starting to get into contention for greatest engineer of all time.
If you gave me a book of inverse kinematics I'd go to sleep in 10 minutes. If I get frustrated that my robot keeps falling over I could read about it for days.