at://
/
app.bsky.feed.post
/
3mhsws3scuc2n
sign in
All
4
Record
2
Post
1
PostEmbed
1
Post
by @danabra.mov
PostEmbed
by @danabra.mov
Record
by @jimpick.com
Record
by @atsui.org
+ new component
Post
We had a week of many inspiring talks, demos, and discussions about Programming Experience, Value Independence, Programming Languages, Substrates, Virtual Machines, and Software Verification. Thank you to everyone who was there!
2mo
‹Programming› 2026
