Kernel Reduction Redemption: How Recursion Got Better in Lean 4.27.0 YouTube video by David Renshaw

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

Zeno to tenor phenom Eno: "Enough!"

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.

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

Ocie Elliott - Know the Night // Wildlife at Allegheny Cemetery YouTube video by dwrensha-alt

I took a walk in Allegheny Cemetery and saw more animal species than I expected to!

youtu.be/jbANuBBKT50

audio track in Logic Pro labelled "ah thats nice"

name of a synthesizer that I considered using in this project:

Platonic Cycle YouTube video by David Renshaw

The final product: www.youtube.com/shorts/s6lcY...

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

Rupert's Snub Cube and other Math Holes YouTube video by suckerpinch

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 YouTube video by David Renshaw

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

Lea wearing a blue neon tube that she made.

Wearable Neon at Night YouTube video by dwrensha-alt

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

Verifying a Tight Fit YouTube video by David Renshaw

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

Words with Strangers: Playing ‘Hefty Seamstress’ George Buckenham is a talented videogame developer based in London. I first met him at a party, and then I met him a second time at a brunch I was not even meant to attend (I encouraged everyone at…

I have heard of Acrophobia! But never played it.

Another game with similar ideas is Hefty Seamstress: artificebooks.wordpress.com/2012/06/03/w...

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.

26 Polyhedra that Fit Through Themselves, and 5 that Might Not YouTube video by David Renshaw

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

someone left the daw ajaw

@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

Interesting idea! I would join such a Discord.

One worry I have is that posting a public Discord link might result in a lot of randos or trolls showing up there; I don't want to be responsible for moderating them.

Cheesytown YouTube video by dwrensha-alt

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

10,000 Backronyms and Counting YouTube video by David Renshaw

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

What makes today a particularly good day to buy i-bonds, compared to, say, the first calendar day of the business year (i.e. a week ago)?

Happy 2025! YouTube video by dwrensha-alt

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