Dio
@interleave.love
📤 74
📥 109
📝 825
A little programming here, a little litrpgs there, and you pretty much got me figured out.
pinned post!
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.
5 months ago
0
2
0
It's now a transgressive story to have heroes be heroes and villains be villians
10 days ago
0
2
0
reposted by
Dio
Sealight Labs
12 days ago
Today, we're opening up Seams Alpha (
seams.so
), a social web annotation built in the Atmosphere. We're hoping it helps with collective sense-making. This is just the start, there's still lots to do! We'd love if you tried it with us.
loading . . .
Lab Notes #001 - Sealight Lab Notes
Announcing Seams
https://sealight.leaflet.pub/3m7ir3hiqas2q
13
83
24
reposted by
Dio
Charm
about 1 month ago
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
loading . . .
1
1
1
reposted by
Dio
Scoiattolo
about 1 month ago
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
!
loading . . .
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.
https://Semble.so
2
38
7
reposted by
Dio
The Masked Game Counselor
about 1 month ago
I taped a knife to my Roomba. When it reveals its sentience, I hope it remembers who armed it.
1
50
5
I really enjoyed Orb: the movements of the earth. A bit shocking and felt emotionally weathered after watching it though goddamn.
about 2 months ago
0
0
0
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.
add a skeleton here at some point
about 2 months ago
0
0
0
reposted by
Dio
Todd Rafferty
about 2 months ago
Pretty sure I have the scariest engineering costume of the day.
15
994
225
reposted by
Dio
Haskell programming language
about 2 months ago
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...
loading . . .
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 ...
https://discourse.haskell.org/t/ghc-now-runs-in-your-browser/13169?u=jaror
7
121
48
reposted by
Dio
Haskell programming language
2 months ago
[…] 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...
loading . . .
"Falsehoods Programmers Believe About Reality" - Lilly Ryan (PyCon AU 2025)
YouTube video by PyCon AU
https://www.youtube.com/watch?v=GBHGHrlRlKs
0
12
2
reposted by
Dio
nooki
2 months ago
(1/4) I'm soft launching
nooki.me
to get some early traction and feedback on what to improve. Excited to see how this platform grows!
74
809
208
reposted by
Dio
Catherine
3 months ago
i made a thing! it's like nixos-infect but more pleasant, or i hope so at least
codeberg.org/whitequark/n...
loading . . .
nixos-bite
A script for automatically converting a Debian VPS into a NixOS VPS
https://codeberg.org/whitequark/nixos-bite
1
38
8
You can't stop me from fever posting at 4am on two cups of coffee I should not have had.
2 months ago
0
0
0
reposted by
Dio
Paul Frazee
3 months ago
Surprise! A second leaflet on private data in AT, this time exploring some schemes that might be used to implement shared-private data.
loading . . .
Three schemes for shared-private storage
https://pfrazee.leaflet.pub/3lzhui2zbxk2b
25
382
84
Let's be honest with ourselves. That is everyone that tries out FP at first.
add a skeleton here at some point
3 months ago
0
0
0
reposted by
Dio
<-geeSawra
3 months ago
Self-hosted podcast server, with native apps and discover algorithm!!!!
www.pinepods.online
loading . . .
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.
https://www.pinepods.online/
0
2
2
reposted by
Dio
bryan newbold
3 months ago
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
loading . . .
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 ...
https://docs.bsky.app/blog/plc-directory-org
33
1099
430
reposted by
Dio
Streamplace
3 months ago
Just shipped: Webhook integration for notifying your Discord community when you go live! Check it out at
stream.place/settings
5
87
23
reposted by
Dio
Rudy wants revolution.
3 months ago
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
add a skeleton here at some point
2
22
1
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.
3 months ago
0
1
0
Okay this is why I love atproto
add a skeleton here at some point
3 months ago
0
9
1
reposted by
Dio
Tijs Teulings 🦑
3 months ago
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 😛
loading . . .
Tijs Teulings
Software engineer building apps and contributing to open source
https://tijs.org
4
32
5
reposted by
Dio
Nick Gerakines
3 months ago
Hello from If This Then AT://
2
24
1
reposted by
Dio
Cynthia 🐈
4 months ago
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
0
1
1
Nobody with real skill has ideas that contradict mine.
add a skeleton here at some point
3 months ago
0
0
0
reposted by
Dio
Harris Foster
3 months ago
1
137
17
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
3 months ago
0
1
0
reposted by
Dio
Welcome to Night Vale
3 months ago
*uploading your consciousness to a computer* well there you go, you're immortal. also check this out, I can change your language settings. yeah, you're just a bunch of code approximating someone who already died, oops I changed all your memories, now I made you excel, death would have been better
19
694
188
reposted by
Dio
*puts on flower crown, falls into a faerie circle*
3 months ago
i have no mouth and I must =SUM(A2:A30)
0
41
2
LinkedIn maxxing is tiring
3 months ago
1
1
0
reposted by
Dio
dame
3 months ago
we need more pro-AI leftists (pro-AI ≠ pro-ChatGPT or for-profit AI megacorps)
add a skeleton here at some point
4
67
15
I wonder if anyone would fund work on an atproto dating network
3 months ago
0
0
0
Being late so often has caused me an immense amount of problems throughout my life. It has been a real struggle to get myself places on time to anything. Just showing up is a super power I swear. I feel like shit when it happens too.
3 months ago
0
0
0
reposted by
Dio
Science Magazine
3 months ago
New research offers a glimpse of how RNA might have helped form the first simple proteins—an event that could have set the stage for evolution.
https://scim.ag/466Rkz0
loading . . .
Here’s how the first proteins might have assembled, sparking life
RNA could have helped amino acids join up without preexisting protein machinery, lab study suggests
https://scim.ag/466Rkz0
0
64
14
reposted by
Dio
Jacqueline
3 months ago
inside of me are two wolves: one that wants me to develop a well rounded personality and show people that I'm more than just the fixations I'm successful at, and another that wants to tell people I know dozens programming languages and can punch through wooden boards
3
15
1
reposted by
Dio
dan
3 months ago
haven't thought about it this way before: a factorial of n is the number of distinct lossless functions between two n-sized sets
3
58
4
reposted by
Dio
Xe
3 months ago
lol wow Anubis is in Fedora now:
packages.fedoraproject.org/pkgs/anubis/...
loading . . .
anubis - Fedora Packages
View anubis in the Fedora package repositories. anubis: Weighs the soul of incoming HTTP requests to stop AI crawlers
https://packages.fedoraproject.org/pkgs/anubis/anubis/
2
39
3
reposted by
Dio
jack ❄️
4 months ago
atproto
loading . . .
1
32
4
reposted by
Dio
gabby
4 months ago
got a receipt for dhall
3
146
27
reposted by
Dio
Rudy wants revolution.
4 months ago
my kind of artsy, nerdy content
add a skeleton here at some point
1
82
17
reposted by
Dio
Adrian Sieber
4 months ago
I'm currently working on a blog post comparing functional programming languages 𝝺. And Haskell still rules 😎
3
25
3
reposted by
Dio
Dad Jokes
4 months ago
I've opened a gym, where the instructors would go from door to door, to tell people about the benefits of joining it. I've named it Jehovah's Fitness.
8
89
14
reposted by
Dio
Kuba Suder 🇵🇱🇺🇦
4 months ago
Can everyone like, calm down and give the Bluesky team one day to even read the news before packing and leaving?…
add a skeleton here at some point
10
97
12
reposted by
Dio
CanoeWithWheels
4 months ago
How does OpenAI acquiring statsig lead to enshittification?? They use statsig as a vendor, like they might use Jetbrains, or AWS. Enshittification is a product problem, where the business (not the engineers) chooses to weaken the product over time due to various strategic or monetary factors.
1
11
1
I am reading the AgentFly paper, and I get a passage that basically describes a Garbage Collector.
4 months ago
1
0
0
Comparing what you do to what others can do shouldn't stop you from doing the thing
4 months ago
0
0
0
reposted by
Dio
LaurieWired
4 months ago
It’s time to get rid of frame rates. In weird corners of the internet, researchers and standards committees discuss frameless video containers. Sensor data as a continuous function, down-sampled to any frame rate you want. Here's what it'll look like in 10 years:
4
63
12
reposted by
Dio
Nick Gerakines
4 months ago
Wrote about ATProtocol, SMTP, and Chris's blog post about AT-SMS.
loading . . .
AT Protocol and SMTP: When Old Tech Powers New Identity
Exploring how AT Protocol and SMTP can work together to make secure messaging possible by combining 50-year-old email infrastructure with modern cryptographic identity. Building on Chris Boscolo's AT-SMS proposal, this post introduces ideas for adding SMTP services directly to DID documents and leveraging PDS-level cryptographic operations through XRPC methods. The result: verifiable, encrypted communication where messages work like signed JWTs over email, handles prove identity without centralized authorities, and users maintain complete control over their messaging infrastructure. A technical deep-dive into how "boring" technology like SMTP and DNS, combined with AT Protocol's identity primitives, could finally deliver truly portable, private, and permanent messaging.
https://ngerakines.leaflet.pub/3lxxk3oahzc2f
6
70
22
reposted by
Dio
Red Blob Games
4 months ago
Weekend project: writing a simple search engine. Part 2 is about document ranking:
www.redblobgames.com/blog/2025-08...
add a skeleton here at some point
2
27
4
reposted by
Dio
Jacqueline
4 months ago
wait a sec... if
tangled.sh
repos, commits, etc. are stored in ATproto.... could you use this to hook up a tangled repo to a CI system???
2
3
1
Load more
feeds!
log in