Follow-up to my December 2023 video about well-founded recursion in Lean: youtu.be/LOUbbiV0mWc

My Rupert's Roundup animations appear in Quanta Magazine today: www.quantamagazine.org/first-shape-...

I took a walk in Allegheny Cemetery and saw more animal species than I expected to! youtu.be/jbANuBBKT50

Behind the scenes for a looping animation I made in Blender this week.

Feeling depressed and anxious about the state of the world? Try working on a 375 year-old math problem from the Platonic realm, which should be completely psychologically safe . . . youtu.be/QH4MviUE0_s

oh this is a fun project :)

IMO 1996 P3: Lean 4 formalization. ~ David Renshaw. youtu.be/5NbYtDfXfR4 #ITP #LeanProver #Math

Lea took a week-long "wearable neon" intensive at the Pittsburgh Glass Center, and I helped to document some of the finished projects: www.youtube.com/watch?v=tcuA...

I had fun making the extreme zoom-in animations for this video. When I tried zooming in just a little farther, I started seeing artifacts from floating-point approximation error. youtu.be/jDTPBdxmxKw

also, i defined 'embroidery' on acronymy. it was fun. this is a fun game/project. kill gameplay, but let me keep acronymy

Acronymy is 5% complete.

This was so cool to see at SIGBOVIK yesterday. I loved the ohhhs and ahhs when people saw some of them.

I posted a new video, in which I demonstrate the "Rupert Property" for a bunch of polyhedra: youtu.be/evKFok65t_E

@tomvii.bsky.social there's no in-app flow for this yet, but if you have words that you think ought be eliminated, you can report them on the Discord: discord.gg/v5zD4E38KJ Yesterday we eliminated "timeliine" and "zxcvbnm".

punkband has set up an Acronymy Discord server!

count on other people else running acronymy takes effort acronymy.net/define/cooperate —submitted by theo

I took an animation from @jcreed.bsky.social and made it way more cheesy: youtube.com/shorts/7r_ZTcQBWrY

I didn’t even know it was a competition, but I’m glad I was top ten enough to be featured in this wholesome video by my friend David!

a glorious little embellishment to shoelaces acronymy.net/define/aglets —submitted by punkband

Stop motion animation, Blender modeling, Manim, wandering around in the real world -- these are all things I used to illustrate some of my favorite backronyms in this new video: youtu.be/_0tNWWhPYYs

Lea and I made a stop motion animation to wish you a happy 2025! youtu.be/DwfskIG5-ac

snub cube!

snub cube plushie

Dessert invention no. 1: Chess Nerds

everyone can hear our earlier yells acronymy.net/define/echoey —submitted by chrisamaphone

how a nice glass of vodka exacts revenge acronymy.net/define/hangover —submitted by dwrensha

traffic light down at 5th and Morewood #pittsburgh

I'm mostly on mastodon these days: social.wub.site/@david ... but maybe bluesky has some momentum?