Pinned
Utensil
@iutensil.bsky.social
· Dec 14
Hey Bluesky🦋! I'm here to follow and share about math and tech. My intro is on my Github profile.
Trying Zig's self-hosted x86 backend on Apple Silicon utensil.bearblog.dev/zig-self-hos...
Trying Zig's self-hosted x86 backend on Apple Silicon
After dropped, I immediately wanted to try it out, but I only have an Apple Silicon machine (e.g. Mac Mini M4 Pro).
According to , I'm supposed to be ...
utensil.bearblog.dev
June 12, 2025 at 6:44 AM
Trying Zig's self-hosted x86 backend on Apple Silicon utensil.bearblog.dev/zig-self-hos...
Rendering complex implicit surfaces using interval arithmetic etc. The ideas behind mkeeter/fidget well explained. youtu.be/UxGxsGnbyJ4?...
Implicit Surfaces & Independent Research
YouTube video by Matt Keeter
youtu.be
April 21, 2025 at 4:20 AM
Rendering complex implicit surfaces using interval arithmetic etc. The ideas behind mkeeter/fidget well explained. youtu.be/UxGxsGnbyJ4?...
Hey Bluesky🦋! I'm here to follow and share about math and tech. My intro is on my Github profile.
December 14, 2024 at 5:51 AM
Hey Bluesky🦋! I'm here to follow and share about math and tech. My intro is on my Github profile.
Reposted by Utensil
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...
"Short theorems with long proofs" by Prof. Colva Roney-Dougal: A proof has an area, not just length - cases run sideways avoiding direct assault. Proof's curvature must also be carefully tracked - you can't sweep it under the carpet, it always pops up somewhere.
How wide is a proof?
I listened to a talk this afternoon, with the title “Short theorems with long proofs”, given by Professor Colva Roney-Dougal. It has long been known in mathematics that there are short …
robwilson1.wordpress.com
December 12, 2024 at 1:49 PM
"Short theorems with long proofs" by Prof. Colva Roney-Dougal: A proof has an area, not just length - cases run sideways avoiding direct assault. Proof's curvature must also be carefully tracked - you can't sweep it under the carpet, it always pops up somewhere.