aron @adler.dev · 28/09/2026yeah. part of me wonders whether it's intentionally leaving certain gaps so I can still feel useful 120
aron @adler.dev · 25/09/2026i asked for narration in japanese and described the kind of voice i wanted. opus 5.5 did the research and presented me with some samples from different providers and different voices from each provider 110
aron @adler.dev · 25/09/2026i used VOICEVOX (a japanese text to speech engine) running locally on my mac :) 110
aron @adler.dev · 25/09/2026is this basically... magic-themed aliases for all the keywords and tactics? lmao 100
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 · 18/09/2026couldn't you? why not, wouldn't that just make it contravariant on inputs and covariant on outputs? F = A -> B G = C -> D --------- F & G = (A | C) -> (B & D) no? 240
aron @adler.dev · 07/09/2026session 14 stream recording here youtu.be/6kcVE_CDCl8youtu.beLearning Lean session 14YouTube video by Aron's Programming Streams 000
aron @adler.dev · 07/09/2026sigh yes. learning things is a double-edged sword. it may uncover things in the problem space you didn't even realise you weren't aware of, but on the other hand it has a way of sneakily locking you in to only one way of thinking about things 221
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/2026watch on twitch.tv/aronadler 📺twitch.tvaronadler - TwitchI livestream Lean programming and theorem proving — aronadler streams live on Twitch! Check out their videos, sign up to chat, and join their community. 111
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/2026includes little bonuses like me telling me toddler "no that's not a bee" 🐝 010
aron @adler.dev · 05/09/2026toddler asked me to "nange my chappy" is it so over for me? @heartpunk.com 140
aron @adler.dev · 03/09/2026session 13 stream recording here 📺 youtu.be/ph-pbnKXh5cyoutu.beLearning Lean session 13YouTube video by Aron's Programming Streams 010
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/2026I read this to my toddler and she gravely nodded her head and said that once the network effects set in the decline towards lowest common denominator engagement will be inexorable 0100
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 · 31/08/2026love that you had that post on speed dial, somehow without even having it saved 150
aron @adler.dev · 30/08/2026whereas logging onto bsky means being assaulted with so much interesting stuff about tech and AI and lean and PLT that it's overwhelming 1241
aron @adler.dev · 30/08/2026logging on to twitter now means seeing some interesting posts from people whose opinions I value for the first 2m of scrolling followed by an eternity of interminable politics ragebait 1210
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/2026lmfao. i guess our souls are more intertwined than i even realised <3 010
