I eat plastic
@macroplasticphage.bsky.social
I like mathematics and I eat plastic
There is an interesting blog lost by Terrence Tao in which he talks about the positive possibilities for mathematical collaboration the modularity allowed by lean and proof assistants in general could have: terrytao.wordpress.com/2024/09/25/a...
A pilot project in universal algebra to explore new ways to collaborate and use machine assistance?
Traditionally, mathematics research projects are conducted by a small number (typically one to five) of expert mathematicians, each of which are familiar enough with all aspects of the project that…
terrytao.wordpress.com
February 24, 2025 at 6:31 AM
There is an interesting blog lost by Terrence Tao in which he talks about the positive possibilities for mathematical collaboration the modularity allowed by lean and proof assistants in general could have: terrytao.wordpress.com/2024/09/25/a...
It genuinely feels like an absolute waste. Game Graphics have hit a point of diminishing returns 4 years ago but the companies keep pushing it and for what? Who cares if you get marginally better shadows than previously available by requiring double of the hardware's power?
January 24, 2025 at 4:12 PM
It genuinely feels like an absolute waste. Game Graphics have hit a point of diminishing returns 4 years ago but the companies keep pushing it and for what? Who cares if you get marginally better shadows than previously available by requiring double of the hardware's power?