almost any conf i walked into would have mikeal with a warm welcome and good cheer waiting, even when i was quite new and still finding my footing in the community. thanks mikeal. it meant more than i ever told you
June 10, 2025 at 5:46 PM
almost any conf i walked into would have mikeal with a warm welcome and good cheer waiting, even when i was quite new and still finding my footing in the community. thanks mikeal. it meant more than i ever told you
somehow, of all the times we'd seen each other (most at confs, etc), my strongest memory is just walking the length of a whole bunch of manhattan together while shooting the shit. no reason i can remember, but i was fairly new to the city and it built up my map of the place
June 10, 2025 at 4:51 PM
somehow, of all the times we'd seen each other (most at confs, etc), my strongest memory is just walking the length of a whole bunch of manhattan together while shooting the shit. no reason i can remember, but i was fairly new to the city and it built up my map of the place
prior art: www.joelonsoftware.com/2007/10/26/e...
Evidence Based Scheduling
Software developers don’t really like to make schedules. Usually, they try to get away without one. “It’ll be done when it’s done!” they say, expecting that such a brave, funny zinger will reduce t…
www.joelonsoftware.com
May 6, 2025 at 5:31 AM
prior art: www.joelonsoftware.com/2007/10/26/e...
i'm not sure what unison-lang.org does for circular structures (all the data structures in the language are merkleised, including functions), but i assume they treat it similarly
May 6, 2025 at 3:02 AM
i'm not sure what unison-lang.org does for circular structures (all the data structures in the language are merkleised, including functions), but i assume they treat it similarly
you can equivalently view this kind of swizzling for circularity as just providing a fixpoint combinator: fix(λx. cons("foo", x))
so you can de bruijn encode these kinds of things, and similarly treat non-circular linking as function application ("dependency injection")
so you can de bruijn encode these kinds of things, and similarly treat non-circular linking as function application ("dependency injection")
May 6, 2025 at 3:01 AM
you can equivalently view this kind of swizzling for circularity as just providing a fixpoint combinator: fix(λx. cons("foo", x))
so you can de bruijn encode these kinds of things, and similarly treat non-circular linking as function application ("dependency injection")
so you can de bruijn encode these kinds of things, and similarly treat non-circular linking as function application ("dependency injection")
i feel like what it's really showing is that following is engagement + engagement-of-follower is autocorrelated
you could stratify by duration of follow for a little bit of improvement maybe
you could stratify by duration of follow for a little bit of improvement maybe
November 13, 2024 at 7:32 PM
i feel like what it's really showing is that following is engagement + engagement-of-follower is autocorrelated
you could stratify by duration of follow for a little bit of improvement maybe
you could stratify by duration of follow for a little bit of improvement maybe
i've learnt that the problem with becoming a perf guy is that it will haunt you for every line of code you write, for the rest of your life
occasionally this completely incapacitates me because i'm overly aware of just how many cycles i'm burning
occasionally this completely incapacitates me because i'm overly aware of just how many cycles i'm burning
November 13, 2024 at 6:59 PM
i've learnt that the problem with becoming a perf guy is that it will haunt you for every line of code you write, for the rest of your life
occasionally this completely incapacitates me because i'm overly aware of just how many cycles i'm burning
occasionally this completely incapacitates me because i'm overly aware of just how many cycles i'm burning
July 2, 2023 at 8:35 AM
i assume you're aware of https://skyline.gay?
May 8, 2023 at 1:43 PM
i assume you're aware of https://skyline.gay?