edef's Avatar

edef

@edef.eu.bsky.social

there she goes. one of god's own prototypes

653 Followers  |  93 Following  |  152 Posts  |  Joined: 11.04.2023  |  2.197

Latest posts by edef.eu on Bluesky

get well ๐Ÿซก

11.07.2025 20:50 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

โ€ฆor you'll make us rue the day?

11.06.2025 06:09 โ€” ๐Ÿ‘ 4    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

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

10.06.2025 17:46 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

sending hugs. i'm so sorry

10.06.2025 17:01 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

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

10.06.2025 16:51 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

i have no words. what a loss

10.06.2025 16:42 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0
PHONK
YouTube video by TheRussianBadger PHONK

youtube.com/shorts/rfYiM...

17.05.2025 16:38 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Preview
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โ€ฆ

prior art: www.joelonsoftware.com/2007/10/26/e...

06.05.2025 05:31 โ€” ๐Ÿ‘ 2    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

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

06.05.2025 03:02 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

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")

06.05.2025 03:01 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 2    ๐Ÿ“Œ 0
Post image 23.11.2024 13:48 โ€” ๐Ÿ‘ 3    ๐Ÿ” 1    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

@fasterthanli.me by the way, thank you for the ktls work! i'm not using ktls directly, but i rely on the key extraction APIs and used ktls as a reference for wiring them up

14.11.2024 02:25 โ€” ๐Ÿ‘ 4    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

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

13.11.2024 19:32 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

those aren't my cycles so i use them with reckless abandon

13.11.2024 19:15 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

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

13.11.2024 18:59 โ€” ๐Ÿ‘ 2    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

you have completed one of my todo list items, thank you

19.10.2024 19:11 โ€” ๐Ÿ‘ 3    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

https://en.wikipedia.org/wiki/Glasgow_smile

02.07.2023 08:35 โ€” ๐Ÿ‘ 4    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

must be good somehow, wide grins

02.07.2023 08:33 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

this is intended to poke fun at the tweet *viewing* rate limits

02.07.2023 08:30 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
ChatGPT4 UI, but edited to say "Twitter"
"Twitter currently has a cap of 25 messages"
[text box]
"Twitter may produce inaccurate information about people, places, or facts."

ChatGPT4 UI, but edited to say "Twitter" "Twitter currently has a cap of 25 messages" [text box] "Twitter may produce inaccurate information about people, places, or facts."

02.07.2023 01:18 โ€” ๐Ÿ‘ 24    ๐Ÿ” 4    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 1

it's an erasure code!

02.07.2023 00:59 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

i feel like people get here from twitter with a bunch of latent aggression like soldiers coming back from the war to polite society, but they can't fit in because all they know how to do is kill

31.05.2023 07:57 โ€” ๐Ÿ‘ 2066    ๐Ÿ” 471    ๐Ÿ’ฌ 92    ๐Ÿ“Œ 83

sweet, thanks! nice and central ^_^

29.05.2023 14:27 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

looks tasty, what's the place?

29.05.2023 13:37 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

i assume you're aware of https://skyline.gay?

08.05.2023 13:43 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

quietly hoping some of the vol nerdery makes it over here
where'd Benn disappear off to anyhow?

08.05.2023 01:23 โ€” ๐Ÿ‘ 2    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

spotted @sophie.bsky.social and @moontower.bsky.social as well

08.05.2023 01:14 โ€” ๐Ÿ‘ 2    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

so far i've spotted: @birb.bsky.social @nopeitslily.bsky.social @macrocephalopod.bsky.social @quantian.bsky.social @matt-levine.bsky.social

08.05.2023 01:08 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 2    ๐Ÿ“Œ 0

fwiw this has been an excellent read so far, meshed very well with a bunch of questions that had been brewing in the back of my head! i owe you a beverage if we're ever in the same place

05.05.2023 21:09 โ€” ๐Ÿ‘ 2    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

bonus points for intense political polarisation -> actual understanding being assigned a tribal/moral dimension

03.05.2023 19:10 โ€” ๐Ÿ‘ 3    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

@edef.eu is following 20 prominent accounts