Followers
@sclit.bsky.socialSmriti Janaswamy @smits5.bsky.social
‹Programming› 2026 @programming-conf.bsky.social Official website: https://2026.programming-conference.org/
Nicolas Cardozo @ncardozo.bsky.social Person. Working on programming languages, and (dynamic) verification. Enjoyer of adaptive and distributed systems. Associate Professor @flaglaboratory.bsky.social @DISCuniandes @Uniandes Also live(ish) at @ncardozo@fediscience.org
Tomas Petricek @tomasp.net Assistant prof at @mff.unikarlova.cuni.cz. Interested in new ways of thinking about programming and history & philosophy of computing. Previously at University of Kent and @cst.cam.ac.uk.