Utensil

My Day 1 with jj I became productive with (Jujutsu, version control) on day 1. This is my story, along with my mindset changes, and delicious recipes. Scroll down to the...

My Day 1 with jj (Jujutsu) #jj-vcs

utensil.bearblog.dev/jj/

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 ...

Trying Zig's self-hosted x86 backend on Apple Silicon utensil.bearblog.dev/zig-self-hos...

YouTube video by Matt Keeter Implicit Surfaces & Independent Research

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.

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.

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...

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 …

"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.