You could have invented natural transformations
(blog.sigfpe.com)
2 pts| 4 years ago | discuss
mathematically's submissions
Nuclear fusion with magnetic and laser confinement
(arstechnica.com)
2 pts| 4 years ago | discuss
Ranking messages on social media platforms
(cs.stackexchange.com)
1 pts| 4 years ago | 2 comments
Quantum computers explained (Quanta Magazine)
(youtube.com)
1 pts| 4 years ago | discuss
Handbook of Practical Logic and Automated Reasoning
(cl.cam.ac.uk)
4 pts| 4 years ago | discuss
How close is nuclear fusion?
(youtube.com)
4 pts| 4 years ago | 1 comment
Software for Math Research
(amathr.org)
64 pts| 4 years ago | 28 comments
The Design of Mathematical Language
(philsci-archive.pitt.edu)
1 pts| 4 years ago | discuss
The turbulent and uncertain future of AI
(spectrum.ieee.org)
7 pts| 4 years ago | discuss
Artifically Intelligent Infrastructure
(reallifemag.com)
1 pts| 4 years ago | discuss
Logic and Proof
(leanprover.github.io)
3 pts| 4 years ago | discuss
Mars’ Big Problem
(medium.com)
2 pts| 4 years ago | discuss
13 pts| 4 years ago | 3 comments
AI can write code like humans, bugs and all
(wired.com)
30 pts| 4 years ago | 54 comments
page 2