aron
⊙ software eng. into FP, web, type systems. jewish. not a p-zombie i promise.
- Long awaited twitch stream alert 🚨 @texoport.in and I are going to be working through some problems in Lean and trying to develop some intuitions for dependent types in the process 💭 Tune in on twitch.tv/aronadler at 7:30pm BST (1hr from now)!
- @welltypedwit.ch they're quoting your gospels on the other website
- something I've struggled to put into words for a long time: why i find reading about "data structures & algorithms" so difficult 👇
- so does anyone really need rank-n types or what
- HOT OUTAGES IN YOUR AREA
- 💡 For continuous deployment why do we only ever deploy one version of application code at a time and put our DB migration scripts alongside our app code so that our DB is updated or not depending on which app version is deployed?
- use computers? don't you know those are powered by TRANS-CIS-tors? no, none of this woke ideology for me thnx
