https://github.com/utensilhttps://blacksky.community/profile/iutensil.bsky.socialhttps://blacksky.community/profile/iutensil.bsky.social/post/3mmjdd7xm2s2wIn the process of migrating from GitHub to https://tangled.org/utensil.tngl.sh : Featured repos are already migrated via API (agents directly work with them based on the tangled core source). Still lots of knobs to tweak for CI and websites, but feels home already.23 May 2026 11:19 +0000at://did:plc:gkwdaa5nvweenlalgbzdb2w5/app.bsky.feed.post/3mmjdd7xm2s2whttps://blacksky.community/profile/iutensil.bsky.social/post/3ltnz23tp2k2zMy Day 1 with jj (Jujutsu) #jj-vcs utensil.bearblog.dev/jj/ https://utensil.bearblog.dev/jj/11 Jul 2025 04:29 +0000at://did:plc:gkwdaa5nvweenlalgbzdb2w5/app.bsky.feed.post/3ltnz23tp2k2zhttps://blacksky.community/profile/iutensil.bsky.social/post/3lrfd2v3zus2nTrying Zig's self-hosted x86 backend on Apple Silicon https://utensil.bearblog.dev/zig-self-hosted-backend/12 Jun 2025 06:44 +0000at://did:plc:gkwdaa5nvweenlalgbzdb2w5/app.bsky.feed.post/3lrfd2v3zus2nhttps://blacksky.community/profile/iutensil.bsky.social/post/3lnccrax6a224Rendering complex implicit surfaces using interval arithmetic etc. The ideas behind mkeeter/fidget well explained. https://youtu.be/UxGxsGnbyJ4?si=SHlUr9CUX4aEriN121 Apr 2025 04:20 +0000at://did:plc:gkwdaa5nvweenlalgbzdb2w5/app.bsky.feed.post/3lnccrax6a224https://blacksky.community/profile/iutensil.bsky.social/post/3ldam7vpc7k27Hey Bluesky🦋! I'm here to follow and share about math and tech. My intro is on my Github profile.14 Dec 2024 05:51 +0000at://did:plc:gkwdaa5nvweenlalgbzdb2w5/app.bsky.feed.post/3ldam7vpc7k27https://blacksky.community/profile/iutensil.bsky.social/post/3ld4fxqdi222b"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. https://robwilson1.wordpress.com/2024/12/07/how-wide-is-a-proof/12 Dec 2024 13:49 +0000at://did:plc:gkwdaa5nvweenlalgbzdb2w5/app.bsky.feed.post/3ld4fxqdi222b