thinkingtinkerer
@thinkingtinkerer.bsky.social
abstract general nonsense
Reposted by thinkingtinkerer
Hello Bluesky! (and bye-bye Twitter).
I just wrote a blog post about a bump in the road along the way to teaching a computer a proof of Fermat's Last Theorem.
xenaproject.wordpress.com/2024/12/11/f...
I just wrote a blog post about a bump in the road along the way to teaching a computer a proof of Fermat's Last Theorem.
xenaproject.wordpress.com/2024/12/11/f...
Fermat’s Last Theorem — how it’s going
So I’m two months into trying to teach a proof of Fermat’s Last Theorem to a computer. We already have one interesting story, which I felt was worth sharing.
xenaproject.wordpress.com
December 11, 2024 at 9:57 PM
Hello Bluesky! (and bye-bye Twitter).
I just wrote a blog post about a bump in the road along the way to teaching a computer a proof of Fermat's Last Theorem.
xenaproject.wordpress.com/2024/12/11/f...
I just wrote a blog post about a bump in the road along the way to teaching a computer a proof of Fermat's Last Theorem.
xenaproject.wordpress.com/2024/12/11/f...
Reposted by thinkingtinkerer
In light of recent discourse, I'd like to mount my own defence of string theory (ST) as scientific practice as someone who's not a string theorist
Not being a professional, I might obviously get stuff wrong (so please correct me!) but at least nobody can accuse me of corrupt vested interests 🧵
Not being a professional, I might obviously get stuff wrong (so please correct me!) but at least nobody can accuse me of corrupt vested interests 🧵
December 5, 2024 at 1:06 PM
In light of recent discourse, I'd like to mount my own defence of string theory (ST) as scientific practice as someone who's not a string theorist
Not being a professional, I might obviously get stuff wrong (so please correct me!) but at least nobody can accuse me of corrupt vested interests 🧵
Not being a professional, I might obviously get stuff wrong (so please correct me!) but at least nobody can accuse me of corrupt vested interests 🧵
let there exist this first whatever-it-is-called-here.
March 11, 2024 at 12:39 AM
let there exist this first whatever-it-is-called-here.