//
sign in
Profile
by @danabra.mov
Profile
by @dansshadow.bsky.social
Profile
by @jimpick.com
AviHandle
by @danabra.mov
AviHandle
by @dansshadow.bsky.social
AviHandle
by @katherine.computer
EventsList
by @katherine.computer
ProfileHeader
by @dansshadow.bsky.social
ProfileHeader
by @danabra.mov
ProfileMedia
by @danabra.mov
ProfilePlays
by @danabra.mov
ProfilePosts
by @danabra.mov
ProfilePosts
by @dansshadow.bsky.social
ProfileReplies
by @danabra.mov
Record
by @atsui.org
Skircle
by @danabra.mov
StreamPlacePlaylist
by @katherine.computer
+ new component
ProfilePosts









Loading...
So interesting little experiment. As usual it all seems straightforward afterwards but the process of getting there was messy.
20d
I could scarcely believe my intuition was right. I sort of said it as a joke -- "How do we know your talk wasn't written by AI?" But in truth, something in the rhetoric, argumentation, possibly even the tone, felt AI-ish. When he shifted in his seat, I thought he was offended by the implication..
Interested in speaking at Scala Days? Join us this evening at the Scala Days proposal hack! Informally discuss your proposal with members of the program committee and other speakers. Join us online at 7PM BST / 6PM UTC: meet.google.com/uay-ynsm-djx Find out more: www.meetup.com/london-scala...
5d
Today is the day all the pieces came together and I figured out the capability-passing UI library ๐ŸŽ‰ The idea has been obvious to me for a while, but the details (if you want to the type system to be useful) had eluded me.
As usual it came down teasing out the separate concepts. Not just the separate capabilities, but the separation between the public API and the internal API was something I also needed to clear up. I had also started this project as an experiment in co-creation with an LLM. It made a mess.
25d