@orta sorry to bug you, but can i ask a typescript question? i have an array of `{id: string}[]` values, but i want to extract _just_ the ids from all the objects so i have some type that's like `typeof arr[number]['id']` but i don't want just `string`, i want the all the literal keys in the array of objects. what's the magic search term i'm looking for? is this possible with mapped types? thanks for any help. here's a playground https://www.typescriptlang.org/play/?jsx=0#code/C4TwDgpgBAShDGUC8UDeAoKUCWATAXFAM7ABO2AdgOYDcmUA9A1APbAAWEpUA1hCESidS0YCxboAvnXTwWFElBFzSuIoTjwA2gF1kULajyEA5ADNxJyQBo0xqCYBGAQ1JWd6dEygdsgv1AAVgCuiiYk5NQmUI7BwDgmuFAANth8OPHYZhlQAO5c0OaWUAA+Di5u6KCQUABqzqm4AJIAIoIo1RAs2cosqkRaFMEAto5cOlomeCY6Mt54EA3JID7sAbkswclJXKR9rHGy8oouzQR1DXit7eXOAF4mNEA

@mathowie getting the trolley to the airport has been a decades long Thing in san diego, it’s always so close to getting a proper solution and yet impossible to get it to really manifest

@bryanjclark i went through and watched all the what’s new videos over lunch after a few days this summer and the one thing that i found fascinating was seeing swiftui things like tab view and navigation split view sort of come into their own. i think only did 22-24 though and it was pretty manageable especially because like half of the things i just ffwed over for my needs

@ef4 looking forward to your contributions to my Darcs hosted project

happy Broadcast demos release day to all who celebrate https://open.spotify.com/album/3R66mzyY7RONq48WPfxPky

@nileane feels more like a goonies/star wars isekai/mashup thing, i get the critique but also this is playing off a specific cultural vocab where suburban kids can see themselves in this kind of adventure. i would probably slot this in somewhere between peggy sue got married and flight of the navigator.

lots of fun things about having worked on a large-ish webapp, but the worst is probably when you hit a site with an expired session cookie and trigger a 500 page instead and wonder what the ensuing fallout is from just slamming that reload button for thirty minutes straight.

really curious about what tld opengraph blacklist there is baked into messages.app where the same webapp on a sub-subdomain of .cx fails but .net works.

@ZachWeinersmith i do the thing where i basically make a ~400g flour sourdough loaf @75% hydration but instead around proofing time i just turn it into two little 350g pizza balls. cooks up great in ~9-10 mins at 500f give or take

i know it's no longer fashionable and that docusaurus is probably much easier to use/maintain, but boy is it great to go to a project's documentation and find everything in one page that i just leave open in a tab for like a month

like, by all means, do whatever, but please just meet the spec/implementation

adaptive cruise control feels like something that should have a reference implementation and test suite that automakers can get certified against, like the css acid test or something

@caseyliss did you ever end up doing your home ethernet run? did you run that in-home fiber?

@sommer what an incredible presentation!! were you the one who wrote those karaoke lyrics?! 🧞‍♂️

@b0rk i felt like stupidly confident about networking until i bought a managed switch and then real about ten separate “vlan and trunks eli5” reddit posts because i guess i just never dealt with layer 2 at all

@kjhealy back in like 2014 i ended up writing a script just like this when i had to export a hundred or so icons from illustrator at 1x, 2x, 3x and it’s definitely not great, imagemagick has its own issues with rasterizing pdfs that get super annoying real fast. absolutely feel your pain here.

if ai agents are as good as they're promised to be, i'm looking forward to using one to dynamically block ads on sites i already pay to view without having to specify arcane rules or use ublock style lists. i'm sure this will be easy. trivial even.

cartoon supervillain that dispatches people saying "wake up and smell the coffee" his name is technivorm send tweet

when i think of what people love about chatgpt, i think it's that people are aware that the promise of natural language input is secretly the ability to bypass applications altogether but still retain all 'the good parts' (search, queryable data, etc). and you can see this in lots of the openai demos: chatbots as agents to do tasks in existing applications, often in concert across multiple applications.

but what does this say about the applications and their providers? beyond the marketing hype from openai, is the fervor for these demos a signal that application ui as we know it has failed? and to that end, what is the benefit of those embodied applications existing at all and not just being a series of apis.

to continue this thread, i think people understand intuitively that there’s a serious benefit to not using an app for many things.

that said, we have contorted our existence around a series of applications and workflows in order to, broadly speaking, be able to Search everything. We understand Search is something obviously useful that our computers can do for us, so we prefer systems that enable Search even if we know them to be ineffective compared to the alternative (i.e. writing something down on paper is a lot faster than opening and using a todo list app generally).