drchewbacca

8 ms·

1.
by drchewbacca 6y ago
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&#x2
2.
by drchewbacca 6y ago
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.
3.
by drchewbacca 7y ago
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. http://us.metamath.
4.
by drchewbacca 7y ago
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 prov
5.
by drchewbacca 7y ago
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 m
6.
by drchewbacca 7y ago
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
7.
by drchewbacca 7y ago
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.
8.
by drchewbacca 7y ago
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 pa
9.
by drchewbacca 7y ago
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...
10.
by drchewbacca 7y ago
If you get rejected just edit 10 words on your resume and then resubmit. Do this a 100hz and you'll get in eventually :)
11.
by drchewbacca 7y ago
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 woul
12.
by drchewbacca 7y ago
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
13.
by drchewbacca 7y ago
I invest in Tesla stock and it would be great if a lot of people could also agree that's a good idea :)
14.
by drchewbacca 7y ago
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
15.
by drchewbacca 7y ago
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 confin
16.
by drchewbacca 7y ago
> 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 is making lan
17.
by drchewbacca 7y ago
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.
18.
by drchewbacca 7y ago
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
19.
by drchewbacca 7y ago
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
20.
by drchewbacca 7y ago
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
21.
by drchewbacca 7y ago
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.
22.
by drchewbacca 7y ago
Metamath is awesome if you're willing to slum it :) https://jiggerwit.wordpress.com/2018/04/14/the-architecture-...
23.
by drchewbacca 7y ago
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 which are
24.
by drchewbacca 7y ago
I like this guys youtube channel.(I think it's the same guy anyway.) https://www.youtube.com/watch?v=bjksNqQAVbA
25.
by drchewbacca 7y ago
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 your startup
26.
by drchewbacca 7y ago
I think how systems are setup does matter though. For example if you are running for a congressional seat which is 50% republican voters and 50% democrats I would imagine that being a moderate centrist is probably a relatively good strategy
27.
by drchewbacca 7y ago
In the UK we have the NHS and it is so great. There's waiting lists but basically you never worry about healthcare, it's always there when you need it and it's all (pretty much) free at the point of use. It's almost cert
28.
by drchewbacca 7y ago
As an outsider I think other core problems of the US are corporate capture of the legislative process and gerrymandering pushing candidates to extreme positions.
29.
by drchewbacca 7y ago
Ok yeah I think it was changing the policy that access I couldn't get to work. Again it may be that is super easy and I fucked up something obvious however I tried a lot of times a lot of different ways until I gave up in rage.
30.
by drchewbacca 7y ago
So this was a while ago and I fully admit it might have been me being stupid. However when I was doing it I don't think there was a "Use this bucket to host a website" button. Instead you had to give the bucket a special type

More ›