Post

session 10 of learning lean with @yetanotheruseless.com starting now 🙌 join to get answers to all the lean questions you've been too afraid to ask 🫣

aron@adler.dev

session 9 of learning lean with @yetanotheruseless.com starting in 1 hour 🙌 7pm UTC last week we defined what subgroups are, and proved that a set consisting of just the identity value is a perfectly valid subgroup!

aron

@adler.dev

live on twitch.tv/aronadler 📺

twitch.tvaronadler - Live on Twitchlearning lean session 9 | Streaming software and game development.

5/8/26, 6:30 pm1 repost1 like

meltedbrain2000ad.bsky.social

@meltedbrain2000ad.bsky.social

5 Aug

Do you guys upload the sessions to yt?

aron

@adler.dev

5 Aug

i usually upload them to twitter, not youtube no x.com/Aron_Adler/s... does that help you or would you find it easier if it was on youtube?

x.comaron (@Aron_Adler) on Xstream recording 📺 actually got into some juicy questions of how to represent things in lean rather than just cranking through theorems like in the last few sessions

meltedbrain2000ad.bsky.social

@meltedbrain2000ad.bsky.social

5 Aug

I don't use x so yeah, definitely