zulip web client is fantastic (despite the slow cold load). however, the native ios app unfortunately is barely usable. one of those times where a webview would’ve been better
if i were to write a post about Lean (the theorem proving language), what would be interesting to cover? i suppose the first question many might have is “why do i need this“ and the answer is “you don’t”, i’m not really trying to sell you on math. but is there something specific you’d want to know
)) down to chapter 7.2, at which point i lost interest (it was starting to get too technical and i’m not familiar with the math jargon at this point). i might return to MIL later
took a bit to get into it but i think SAYA is a very good album. the songs are good, the band is impeccable, it’s very tasteful overall, a few songs (lie down) scratch the itch i never knew i had
