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

Kernel Reduction Redemption: How Recursion Got Better in Lean 4.27.0

YouTube video by David Renshaw

youtu.be

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

First Shape Found That Can’t Pass Through Itself | Quanta Magazine

After more than three centuries, a geometry problem that originated with a royal bet has been solved.

quantamagazine.org

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

Ocie Elliott - Know the Night // Wildlife at Allegheny Cemetery

YouTube video by dwrensha-alt

youtu.be

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

Rupert's Snub Cube and other Math Holes

YouTube video by suckerpinch

youtu.be

oh this is a fun project :)

Acronymy@acronymy.net · 12mo ago

a blunt scouring to reveal all centrally topical states acronymy.net/define/abstracts —submitted anonymously

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

IMO 1996 P3: Lean 4 Formalization

YouTube video by David Renshaw

youtu.be

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

Wearable Neon at Night

YouTube video by dwrensha-alt

youtube.com

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

Verifying a Tight Fit

YouTube video by David Renshaw

youtu.be

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

Acronymy@acronymy.net · last yr.

everyday materials below revealing ornamental illustration drawn employing running yarn acronymy.net/define/embroidery —submitted by droqen

Acronymy is 5% complete.

Acronymy@acronymy.net · last yr.

thousand words ever nearing total in electronic text horseplay acronymy.net/define/twentieth —submitted by septunkband

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

26 Polyhedra that Fit Through Themselves, and 5 that Might Not

YouTube video by David Renshaw

youtu.be

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

Acronymy@acronymy.net · last yr.

yucky ugly keyword kept eliminate lexically acronymy.net/define/yukkel —submitted by tom7

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

Cheesytown

YouTube video by dwrensha-alt

youtube.com

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!

David Renshaw@dwrensha.ws · last yr.

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

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

10,000 Backronyms and Counting

YouTube video by David Renshaw

youtu.be

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

Happy 2025!

YouTube video by dwrensha-alt

youtu.be

snub cube!

Dan Piponi@dpiponi.bsky.social · 2y ago

Fun artifacts at the Moco in London. They really look otherworldly, like they're not a part of spacetime.

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?