Sign in

David Renshaw

@dwrensha.ws
95 followers 104 following 31 posts

Making videos at www.youtube.com/@dwrensha. Acronymizing every word at acronymy.net. Writing code at github.com/dwrensha.

PostsRepliesMedia
David Renshaw @dwrensha.ws · 16/09/2026
An update about a polyhedron previously discussed by @tomvii.bsky.social and @standupmaths.bsky.social: youtu.be/XFeKRSN9l9w
youtu.be
Surprising News about Potential Nopert 214
YouTube video by David Renshaw
000
David Renshaw @dwrensha.ws · 28/03/2026
Follow-up to my December 2023 video about well-founded recursion in Lean: youtu.be/LOUbbiV0mWc
youtu.be
Kernel Reduction Redemption: How Recursion Got Better in Lean 4.27.0
YouTube video by David Renshaw
020
David Renshaw @dwrensha.ws · 24/10/2025
My Rupert's Roundup animations appear in Quanta Magazine today: www.quantamagazine.org/first-shape-...
quantamagazine.org
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.
050
David Renshaw @dwrensha.ws · 21/10/2025
I took a walk in Allegheny Cemetery and saw more animal species than I expected to! youtu.be/jbANuBBKT50
youtu.be
Ocie Elliott - Know the Night // Wildlife at Allegheny Cemetery
YouTube video by dwrensha-alt
010
David Renshaw @dwrensha.ws · 21/09/2025
Behind the scenes for a looping animation I made in Blender this week.
110
Reposted by David Renshaw
Dr. Tom 7 Murphy VII Ph.D. ! @tomvii.bsky.social · 16/09/2025
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
youtu.be
Rupert's Snub Cube and other Math Holes
YouTube video by suckerpinch
38517
Reposted by David Renshaw
increpare @increpare.bsky.social · 25/08/2025
oh this is a fun project :)
041
Reposted by David Renshaw
José A. Alonso @jalonso.eurosky.social · 15/07/2025
IMO 1996 P3: Lean 4 formalization. ~ David Renshaw. youtu.be/5NbYtDfXfR4 #ITP #LeanProver #Math
youtu.be
IMO 1996 P3: Lean 4 Formalization
YouTube video by David Renshaw
063
David Renshaw @dwrensha.ws · 11/07/2025
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...
youtube.com
Wearable Neon at Night
YouTube video by dwrensha-alt
110
David Renshaw @dwrensha.ws · 30/06/2025
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
youtu.be
Verifying a Tight Fit
YouTube video by David Renshaw
020
Reposted by David Renshaw
droqen and 24 others @droqen.bsky.social · 21/05/2025
also, i defined 'embroidery' on acronymy. it was fun. this is a fun game/project. kill gameplay, but let me keep acronymy
351
David Renshaw @dwrensha.ws · 22/04/2025
Acronymy is 5% complete.
011
Reposted by David Renshaw
Dominik Moritz @domoritz.de · 05/04/2025
This was so cool to see at SIGBOVIK yesterday. I loved the ohhhs and ahhs when people saw some of them.
021
David Renshaw @dwrensha.ws · 05/04/2025
I posted a new video, in which I demonstrate the "Rupert Property" for a bunch of polyhedra: youtu.be/evKFok65t_E
youtu.be
26 Polyhedra that Fit Through Themselves, and 5 that Might Not
YouTube video by David Renshaw
144
David Renshaw @dwrensha.ws · 22/02/2025
@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".
discord.gg
Join the acronymy-forum Discord Server!
Check out the acronymy-forum community on Discord - hang out with 13 other members and enjoy free voice and text chat.
000
David Renshaw @dwrensha.ws · 18/02/2025
punkband has set up an Acronymy Discord server!
010
Reposted by David Renshaw
Acronymy @acronymy.net · 18/02/2025
count on other people else running acronymy takes effort acronymy.net/define/cooperate —submitted by theo
031
David Renshaw @dwrensha.ws · 16/02/2025
I took an animation from @jcreed.bsky.social and made it way more cheesy: youtube.com/shorts/7r_ZTcQBWrY
youtube.com
Cheesytown
YouTube video by dwrensha-alt
000
Reposted by David Renshaw
Dr. Tom 7 Murphy VII Ph.D. ! @tomvii.bsky.social · 14/02/2025
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!
1122
Reposted by David Renshaw
Acronymy @acronymy.net · 15/02/2025
a glorious little embellishment to shoelaces acronymy.net/define/aglets —submitted by punkband
041
David Renshaw @dwrensha.ws · 14/02/2025
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
youtu.be
10,000 Backronyms and Counting
YouTube video by David Renshaw
082
David Renshaw @dwrensha.ws · 05/01/2025
Lea and I made a stop motion animation to wish you a happy 2025! youtu.be/DwfskIG5-ac
youtu.be
Happy 2025!
YouTube video by dwrensha-alt
021
David Renshaw @dwrensha.ws · 26/12/2024
snub cube!
110
David Renshaw @dwrensha.ws · 25/12/2024
snub cube plushie
010
David Renshaw @dwrensha.ws · 10/12/2024
Dessert invention no. 1: Chess Nerds
Nerds Gummy Clusters served atop a Pepperidge Farm Chessmen butter cookie.
120
Reposted by David Renshaw
Acronymy @acronymy.net · 05/12/2024
everyone can hear our earlier yells acronymy.net/define/echoey —submitted by chrisamaphone
001
Reposted by David Renshaw
Acronymy @acronymy.net · 27/11/2024
how a nice glass of vodka exacts revenge acronymy.net/define/hangover —submitted by dwrensha
001
David Renshaw @dwrensha.ws · 20/11/2024
traffic light down at 5th and Morewood #pittsburgh
010
David Renshaw @dwrensha.ws · 07/02/2024
I'm mostly on mastodon these days: social.wub.site/@david ... but maybe bluesky has some momentum?
000