Dio
@interleave.love
A little programming here, a little litrpgs there, and you pretty much got me figured out.
Pinned
Dio
@interleave.love
· Jul 24
Theres a moment when one decides they might be on to something great. I have decided that I am either stupid or genius and it is between this pendulum that I must make a stand to bring something of note into existence. A magic of my greatest imagination. Make what is within my mind inhabit yours.
Reposted by Dio
New in Crush today: Jobs! Crush can now run and manage background processes. Spin up a dozen Xcode builds, start a swarm of Docker containers, and go crazy. The asynchronous world is now at your (LLM’s) fingertips.
(∿°○°)∿ ︵ ⚙️
github.com/charmbracelet/crush
(∿°○°)∿ ︵ ⚙️
github.com/charmbracelet/crush
November 7, 2025 at 4:32 PM
New in Crush today: Jobs! Crush can now run and manage background processes. Spin up a dozen Xcode builds, start a swarm of Docker containers, and go crazy. The asynchronous world is now at your (LLM’s) fingertips.
(∿°○°)∿ ︵ ⚙️
github.com/charmbracelet/crush
(∿°○°)∿ ︵ ⚙️
github.com/charmbracelet/crush
Reposted by Dio
Great time at the @atproto.boston meetup. Great to chat with you @ronentk.me and @wesleyfinck.org! Lots to think about and build! Looking forward to playing with semble.so! Thank you for organizing @tynanpurdy.com!
Semble | A social knowledge network for researchers
Follow your peers' research trails. Surface and discover new connections. Built on ATProto so you own your data.
Semble.so
November 7, 2025 at 2:37 AM
Great time at the @atproto.boston meetup. Great to chat with you @ronentk.me and @wesleyfinck.org! Lots to think about and build! Looking forward to playing with semble.so! Thank you for organizing @tynanpurdy.com!
Reposted by Dio
I taped a knife to my Roomba. When it reveals its sentience, I hope it remembers who armed it.
November 6, 2025 at 2:39 PM
I taped a knife to my Roomba. When it reveals its sentience, I hope it remembers who armed it.
I really enjoyed Orb: the movements of the earth. A bit shocking and felt emotionally weathered after watching it though goddamn.
November 1, 2025 at 4:46 AM
I really enjoyed Orb: the movements of the earth. A bit shocking and felt emotionally weathered after watching it though goddamn.
People like to think that algorithmic feeds are the reason for rage bait online. You can use the tech for good. You can oppose the rage bait.
Twitter and Facebook had algorithms that induced rage bait. But you can make ones that do the opposite. The incentive with those companies was to increase time spent on the app. What I like about bluesky is giving users more control and options for completely different algorithms.
November 1, 2025 at 4:26 AM
People like to think that algorithmic feeds are the reason for rage bait online. You can use the tech for good. You can oppose the rage bait.
Reposted by Dio
Pretty sure I have the scariest engineering costume of the day.
October 31, 2025 at 1:18 PM
Pretty sure I have the scariest engineering costume of the day.
Reposted by Dio
This is not a drill: GHC (the #Haskell compiler) now runs in your browser. See the announcement (and please report any bugs) here: discourse.haskell.org/t/ghc-now-ru...
Ghc now runs in your browser
ghc itself can now run purely client-side in the browser, here’s a haskell playground demo. terms and conditions apply, and i’ll write up more detailed explanation some time later, but i thought this ...
discourse.haskell.org
October 25, 2025 at 7:28 PM
This is not a drill: GHC (the #Haskell compiler) now runs in your browser. See the announcement (and please report any bugs) here: discourse.haskell.org/t/ghc-now-ru...
Reposted by Dio
[…] The love for data modelling is sometimes that unites Relational DBMS and functional programmers. Here's a talk by Lilly Ryan at PyCon AU 2025 about the mismatches between reality, the programmer's perception of reality, and what the software says reality is: www.youtube.com/watch?v=GBHG...
"Falsehoods Programmers Believe About Reality" - Lilly Ryan (PyCon AU 2025)
YouTube video by PyCon AU
www.youtube.com
October 9, 2025 at 11:04 AM
[…] The love for data modelling is sometimes that unites Relational DBMS and functional programmers. Here's a talk by Lilly Ryan at PyCon AU 2025 about the mismatches between reality, the programmer's perception of reality, and what the software says reality is: www.youtube.com/watch?v=GBHG...
Reposted by Dio
Reposted by Dio
i made a thing! it's like nixos-infect but more pleasant, or i hope so at least codeberg.org/whitequark/n...
nixos-bite
A script for automatically converting a Debian VPS into a NixOS VPS
codeberg.org
October 5, 2025 at 10:38 PM
i made a thing! it's like nixos-infect but more pleasant, or i hope so at least codeberg.org/whitequark/n...
You can't stop me from fever posting at 4am on two cups of coffee I should not have had.
October 9, 2025 at 8:30 AM
You can't stop me from fever posting at 4am on two cups of coffee I should not have had.
Reposted by Dio
Surprise! A second leaflet on private data in AT, this time exploring some schemes that might be used to implement shared-private data.
Three schemes for shared-private storage
pfrazee.leaflet.pub
September 23, 2025 at 2:22 AM
Surprise! A second leaflet on private data in AT, this time exploring some schemes that might be used to implement shared-private data.
Let's be honest with ourselves. That is everyone that tries out FP at first.
i like FP but i really wouldn't mind if the number of confidently wrong idiots that have no idea what they're talking about and just like it because it makes them sound smart would go down a bit
September 20, 2025 at 12:33 AM
Let's be honest with ourselves. That is everyone that tries out FP at first.
Reposted by Dio
Self-hosted podcast server, with native apps and discover algorithm!!!! www.pinepods.online
PinePods - Your Complete Podcast Ecosystem | PinePods Docs
Lightning-fast Rust-powered podcast server with seamless sync across all devices. Self-hosted, open source, and built for performance.
www.pinepods.online
September 19, 2025 at 8:49 AM
Self-hosted podcast server, with native apps and discover algorithm!!!! www.pinepods.online
Reposted by Dio
excited to share that we are following through on our earlier commitments and putting together an independent+neutral organization to house the DID PLC system, includes the directory service
Creating an Independent Public Ledger of Credentials (PLC) Directory Organization | Bluesky
The Bluesky Social app is built on an open network protocol that refers to each user by a unique Decentralized Identifier, or DID (a W3C standard). The most popular supported DID method was developed ...
docs.bsky.app
September 19, 2025 at 9:31 AM
excited to share that we are following through on our earlier commitments and putting together an independent+neutral organization to house the DID PLC system, includes the directory service
Reposted by Dio
Just shipped: Webhook integration for notifying your Discord community when you go live! Check it out at stream.place/settings
September 16, 2025 at 7:58 PM
Just shipped: Webhook integration for notifying your Discord community when you go live! Check it out at stream.place/settings
Reposted by Dio
this still the definitive answer to spinning up a bsky-flavored app-view? #ATDev
ideally looking for backfill time measured in hours instead of days and strives for complete data (calculating aggregates — like counts, follower counts, etc.)
former is a preference, latter a requirement
ideally looking for backfill time measured in hours instead of days and strives for complete data (calculating aggregates — like counts, follower counts, etc.)
former is a preference, latter a requirement
appviewappviewappview
- after 6 months, I'm running what is, afaik, the first full-network bluesky appview
- you can use it at zeppelin.social, query it at bsky.zeppelin.social, read about it at whtwnd.com/futur.blue/3..., & help me keep it up for more than a few weeks at github.com/sponsors/fut...
- after 6 months, I'm running what is, afaik, the first full-network bluesky appview
- you can use it at zeppelin.social, query it at bsky.zeppelin.social, read about it at whtwnd.com/futur.blue/3..., & help me keep it up for more than a few weeks at github.com/sponsors/fut...
in and out, quick appview adventure | futur
it's an appview, michael, how long could it take?
tl;dr
I'm running what is, to my knowledge, the first instance of the Bluesky AppView containing all\* data in the history of the network
This took...
whtwnd.com
September 16, 2025 at 7:27 PM
this still the definitive answer to spinning up a bsky-flavored app-view? #ATDev
ideally looking for backfill time measured in hours instead of days and strives for complete data (calculating aggregates — like counts, follower counts, etc.)
former is a preference, latter a requirement
ideally looking for backfill time measured in hours instead of days and strives for complete data (calculating aggregates — like counts, follower counts, etc.)
former is a preference, latter a requirement
Everytime I think I like my site I find some new inspiration like @sri.xyz who has this super unique wonderful web1.5 look to it that makes me consider doing it all again.
September 16, 2025 at 7:28 PM
Everytime I think I like my site I find some new inspiration like @sri.xyz who has this super unique wonderful web1.5 look to it that makes me consider doing it all again.
Okay this is why I love atproto
September 16, 2025 at 7:04 PM
Okay this is why I love atproto
Reposted by Dio
Been wanting to do this for a while now. My personal site tijs.org now uses #atproto records to show up to date posts from @leaflet.pub, check-ins from @dropanchor.app and book updates from @bookhive.buzz. Served straight from the PDS. This is own your data in action and I'm here for it 😛
Tijs Teulings
Software engineer building apps and contributing to open source
tijs.org
September 12, 2025 at 7:18 PM
Been wanting to do this for a while now. My personal site tijs.org now uses #atproto records to show up to date posts from @leaflet.pub, check-ins from @dropanchor.app and book updates from @bookhive.buzz. Served straight from the PDS. This is own your data in action and I'm here for it 😛
Reposted by Dio
Hello from If This Then AT://
September 12, 2025 at 4:21 PM
Hello from If This Then AT://
Reposted by Dio
PDS-to-PDS communication is severely underexplored despite having the potential of being extremely huge
Kind of like P2P, but the PDS acting as an always-online agent "aggregating" the user's devices for seamless experience
I sincerely hope the real impl of DMs on Bluesky will start exploring this
Kind of like P2P, but the PDS acting as an always-online agent "aggregating" the user's devices for seamless experience
I sincerely hope the real impl of DMs on Bluesky will start exploring this
September 4, 2025 at 6:51 PM
PDS-to-PDS communication is severely underexplored despite having the potential of being extremely huge
Kind of like P2P, but the PDS acting as an always-online agent "aggregating" the user's devices for seamless experience
I sincerely hope the real impl of DMs on Bluesky will start exploring this
Kind of like P2P, but the PDS acting as an always-online agent "aggregating" the user's devices for seamless experience
I sincerely hope the real impl of DMs on Bluesky will start exploring this
Nobody with real skill has ideas that contradict mine.
"This tech isn't going away!" "This is inevitable!" "Adapt or get left in the dust!" are all things we're being told by the same people who were telling us you're going to need a blockchain dingus to unlock your front door two years ago.
September 11, 2025 at 6:21 AM
Nobody with real skill has ideas that contradict mine.
Reposted by Dio
Its impressive what someone with some skill in UX can offer you in a quick conversation. I met this guy Ahmed and he really gave some magnificantly good recommendations for my application in such a short time
September 10, 2025 at 3:24 AM
Its impressive what someone with some skill in UX can offer you in a quick conversation. I met this guy Ahmed and he really gave some magnificantly good recommendations for my application in such a short time