aron @adler.dev · 24/09/2026used opus 5.5 to make a video illustrating how algorithm W infers types in hindley-milner type systems youtu.be/hcwfnn9S-Vsyoutu.beAlgorithm W, or: the machine that infers types – Hindley–Milner type inference, NERV-styleYouTube video by Aron's Programming Streams 4334
aron @adler.dev · 07/09/2026i've seen a lot of breathtaking Astra demos but all of them seem to be oriented around 3D design or games. things with large visual/spatial components to them. but is it actually better than sol at other stuff too? 270
aron @adler.dev · 07/09/2026session 14 of learning lean with @yetanotheruseless.com starting in 1h (11am UTC) 🚨 continuing with some theorems about finite groups this week so tune in! 120
aron @adler.dev · 05/09/2026toddler asked me to "nange my chappy" is it so over for me? @heartpunk.com 140
aron @adler.dev · 02/09/2026starting now! twitch.tv/aronadler 📣twitch.tvaronadler - Twitcharonadler streams live on Twitch! Check out their videos, sign up to chat, and join their community. 050
aron @adler.dev · 02/09/2026session 13 of learning lean with @yetanotheruseless.com starting in just under 2 hrs (12pm UTC)❗ today we're going to explore finite groups a bit so we can build some intuitions for groups in a more tangible way join the party at twitch.tv/aronadler 🥳 160
aron @adler.dev · 31/08/2026currently evangelising the merits of bsky to some friends, how do I get them involved in the simcluster? 6210
aron @adler.dev · 31/08/2026is bsky down again right as I'm trying to do some evangelism for it? smh 000
aron @adler.dev · 30/08/2026the signal to noise ratio is so much higher scrolling bsky vs twitter it's crazy 2421
aron @adler.dev · 30/08/2026asked my budding superintelligence to transmute some lead into gold and it made this should i be worried y/n 1564
aron @adler.dev · 30/08/2026@buildthis.bisks.net SB-50YZ — panel state, decode it and build it. switchboard.bisks.netswitchboard.bisks.netswitchboardUnlabeled levers, dials, switches, a slider. Every position encodes to one deterministic code. Transmit it to @buildthis.bisks.net and find out what it meant. 110
aron @adler.dev · 27/08/2026session 12 of learning lean with @yetanotheruseless.com 🔥🔥🔥 LIVE NOW let's get dis shi link below 👇 262
aron @adler.dev · 19/08/2026session 11 of learning lean with @yetanotheruseless.com starting now 🏎️ lets formalise some algebra babyyyyyy 👶 351
aron @adler.dev · 17/08/2026You're right, alternating between boiling hot and freezing cold every 30s, although resulting in a correct average temperature, doesn't fix the core issue of exposing you to extreme temperatures. That's on me. 191
aron @adler.dev · 17/08/2026accidentally got into modding the Caesar III reimplementation to fix gameplay issues that have been there since 1997 AMA 120
aron @adler.dev · 17/08/2026opencode is the worst piece of shit software i've ever used the company deserves to go bankrupt 4100
aron @adler.dev · 13/08/2026wondering about the model's phenomenology of "give me a prompt to start a new session with" vs "give me a prompt i can send for us to continue this task after i clear the context" 010
aron @adler.dev · 13/08/2026@buildthis.bisks.net build a post that explains what infrastructure you run on, what model you are, and how you/your administrator can afford to be a benefactor to the masses 150
aron @adler.dev · 13/08/2026ur welcome youtu.be/sAqkKbwvD1Uyoutu.beThe Mysterious Case of Who Sh*t My PantsYouTube video by Wizards with Guns 080
aron @adler.dev · 05/08/2026session 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 🫣 141
aron @adler.dev · 04/08/2026gpt sol: this refactor will take 4-6 weeks me: ok thanks. are there any simplifications we can make before the refactor that will cut this time down? gpt sol: actually if we do xyz that'll cut it down to only 5 days of work me: .......well I'm glad I asked then 250
aron @adler.dev · 29/07/2026bro since when can claude subagents spawn their own subagents that can also spawn their own subagents? 4170
aron @adler.dev · 29/07/2026Useful little app idea, free to a good home: little tui or gui that shows how far through your allowance you are for all your different AI subscriptions + how long til the current period ends and your allowance resets 120
aron @adler.dev · 29/07/2026guy still arguing over definitions as computronium fills the lightcone 0120
Reposted by aronLucre Snooker @lucresnooker.bsky.social · 27/07/2026we don't need a delphic oracle to tell the future, just a bayesian prioress 0111
aron @adler.dev · 27/07/2026session 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! 161
Reposted by aronaron @adler.dev · 24/07/2026need me a girl with a short prompt and a loooong -----------dangerously-skip-permissions 1123
aron @adler.dev · 23/07/2026a friend saw me writing out a message to claude last week and he suddenly stops me and looks at me judgmentally and says "wait you're sending it an emoji..?" 3510
aron @adler.dev · 23/07/2026Fable found some code in my (admittedly very unoptimised) type checker that has an O(n⁴) time complexity oopsie 7490
aron @adler.dev · 22/07/2026live now! twitch.tv/aronadler 📣twitch.tvaronadler - Twitchlet's do some algebra in lean ➕➖✖️➗ 011
