mathematically

10 ms·

61.
The relentless rise of carbon dioxide(climate.nasa.gov)
12 points by mathematically 5y ago|0 comments
62.
by mathematically 5y ago
That's definitely part of the problem.
63.
by mathematically 5y ago
You're correct so I'll explain what I was trying to get at. At the moment, focusing on dwindling birth rates is nonsensical because the world population is projected to be 10B people by 2050. So the issue isn't lack of people
64.
Could Future Homes on the Moon and Mars Be Made of Fungi?(nasa.gov)
3 points by mathematically 5y ago|0 comments
65.
by mathematically 5y ago
Technology for doing so does not exist. Before we can terraform other planets we'll have to learn how to terraform this one. Global warming is actually a great challenge and overcoming it would mean developing the technology that would
66.
by mathematically 5y ago
What do you suppose is the root cause of global warming?
67.
by mathematically 5y ago
Social media is here to stay so these efforts are kinda silly. It is much better to recommend reasonable legal policies for regulating Facebook and social media in general, e.g. https://www.eff.org/deeplinks/2021/0
68.
Can the US take the lead on cleaner lithium production?(canarymedia.com)
1 points by mathematically 5y ago|0 comments
69.
You could have invented natural transformations(blog.sigfpe.com)
2 points by mathematically 5y ago|0 comments
70.
by mathematically 5y ago
"All that's missing are some batteries."
71.
Nuclear fusion with magnetic and laser confinement(arstechnica.com)
2 points by mathematically 5y ago|0 comments
72.
by mathematically 5y ago
Are there designs that combine laser and magnetic confinement?
73.
by mathematically 5y ago
It would not because comments are not what prevents people from writing good code.
74.
by mathematically 5y ago
Well, someone obviously must understand how the algorithms work otherwise they couldn't have implemented it. I actually don't think the algorithms are that complicated and have been thinking about writing a toy simulation to demon
75.
by mathematically 5y ago
The book is pretty interesting even if somewhat dramatic: "...he insisted that all of that, however painful, was secondary to the sudden realization that it was mathematics—not nuclear weapons, computers, biological warfare or our clim
76.
by mathematically 5y ago
Solar still requires energy storage and when that's factored in it is not at parity. Batteries are not cheap.
77.
Ranking messages on social media platforms(cs.stackexchange.com)
1 points by mathematically 5y ago|2 comments
78.
Quantum computers explained (Quanta Magazine)(youtube.com)
1 points by mathematically 5y ago|0 comments
79.
Handbook of Practical Logic and Automated Reasoning(cl.cam.ac.uk)
4 points by mathematically 5y ago|0 comments
80.
by mathematically 5y ago
Interviewing.io might be worth a shot.
81.
How close is nuclear fusion?(youtube.com)
4 points by mathematically 5y ago|1 comments
82.
by mathematically 5y ago
Cory Doctorow has a good proposal for how to properly regulate social media companies by enforcing interoperability: https://www.eff.org/deeplinks/2019/08/interoperability-and-p... .
83.
Software for Math Research(amathr.org)
64 points by mathematically 5y ago|28 comments
84.
The Design of Mathematical Language(philsci-archive.pitt.edu)
1 points by mathematically 5y ago|0 comments
85.
The turbulent and uncertain future of AI(spectrum.ieee.org)
7 points by mathematically 5y ago|0 comments
86.
Artifically Intelligent Infrastructure(reallifemag.com)
1 points by mathematically 5y ago|0 comments
87.
Logic and Proof(leanprover.github.io)
3 points by mathematically 5y ago|0 comments
88.
Mars’ Big Problem(medium.com)
2 points by mathematically 5y ago|0 comments
89.
HOList: An Environment for Machine Learning of Higher-Order Theorem Proving (2019)(arxiv.org)
13 points by mathematically 5y ago|3 comments
90.
AI can write code like humans, bugs and all(wired.com)
30 points by mathematically 5y ago|54 comments

More ›