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…
I tried their plant identification game. I think they could really benefit from hiring a game designer. It would be possible to make something pretty cool out of the database I think.
If you can program you might like Metamath, it feels quite a lot like writing code. Here is the main site. http://us.metamath.org/index.html Here is the book which can help with understanding.…
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…
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…
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…
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. I might be wrong though.
Also Elon recently said he has started managing by rhymes. He said "If the schedule is long it's wrong, if it's tight it's right. The best part is no part, the best process is no process." All the hacking away of parts…
There were many more claims too, if Henry V had lived longer it might have happened then. https://en.wikipedia.org/wiki/English_claims_to_the_French_t...
If you get rejected just edit 10 words on your resume and then resubmit. Do this a 100hz and you'll get in eventually :)
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…
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…
I invest in Tesla stock and it would be great if a lot of people could also agree that's a good idea :)
There's this ted talk to a similar effect, timing is the most important factor in a startups success. https://www.youtube.com/watch?v=bNpx7gpSqbY&t=1s
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…
> If we want to select a common language 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…
I loved it, best thing I've seen in a while. Though I haven't read the book and didn't know how great it was.
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…
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.…
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…
My preferred proof assistant is definitely Metamath, I think it just needs a big company to come along and build an awesome front end for it and it will become the standard.
Metamath is awesome if you're willing to slum it :) https://jiggerwit.wordpress.com/2018/04/14/the-architecture-...
It's not really like that. NN's are only used when searching for new proofs or steps which can be used to fill in details, the verification of a finished proof is done by a classical program by a series of substitutions…
I like this guys youtube channel.(I think it's the same guy anyway.) https://www.youtube.com/watch?v=bjksNqQAVbA
Is there anyone who thinks we shouldn't break up these large companies on anti-trust grounds? Imo it's got to the point where if you have a bad idea your startup fails and if you have a good idea they will copy it and…
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…
I tried their plant identification game. I think they could really benefit from hiring a game designer. It would be possible to make something pretty cool out of the database I think.
If you can program you might like Metamath, it feels quite a lot like writing code. Here is the main site. http://us.metamath.org/index.html Here is the book which can help with understanding.…
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…
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…
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…
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. I might be wrong though.
Also Elon recently said he has started managing by rhymes. He said "If the schedule is long it's wrong, if it's tight it's right. The best part is no part, the best process is no process." All the hacking away of parts…
There were many more claims too, if Henry V had lived longer it might have happened then. https://en.wikipedia.org/wiki/English_claims_to_the_French_t...
If you get rejected just edit 10 words on your resume and then resubmit. Do this a 100hz and you'll get in eventually :)
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…
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…
I invest in Tesla stock and it would be great if a lot of people could also agree that's a good idea :)
There's this ted talk to a similar effect, timing is the most important factor in a startups success. https://www.youtube.com/watch?v=bNpx7gpSqbY&t=1s
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…
> If we want to select a common language 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…
I loved it, best thing I've seen in a while. Though I haven't read the book and didn't know how great it was.
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…
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.…
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…
My preferred proof assistant is definitely Metamath, I think it just needs a big company to come along and build an awesome front end for it and it will become the standard.
Metamath is awesome if you're willing to slum it :) https://jiggerwit.wordpress.com/2018/04/14/the-architecture-...
It's not really like that. NN's are only used when searching for new proofs or steps which can be used to fill in details, the verification of a finished proof is done by a classical program by a series of substitutions…
I like this guys youtube channel.(I think it's the same guy anyway.) https://www.youtube.com/watch?v=bjksNqQAVbA
Is there anyone who thinks we shouldn't break up these large companies on anti-trust grounds? Imo it's got to the point where if you have a bad idea your startup fails and if you have a good idea they will copy it and…