Viewing profile — drchewbacca

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…

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 thi…

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 un…

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 …

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…

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…

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 wri…

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 p…

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 r…

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 …

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 lif…

> 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…

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 …

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 liv…

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 mate…

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 classic…

I like this guys youtube channel.(I think it's the same guy anyway.) https://www.youtube.com/watch?v=bjksNqQAVbA