ionchy
it's pronounced "yawn-chee" and the `i` is lowercase
MSc @ SPL β UBC β¦ PhD @ PLClub β UPenn
asian-canadian π¨π¦πΉπΌππ°π³οΈβπ
https://ionathan.ch
@innerloop-press.bsky.social
Printing information as art! A small-batch, Risograph printing press π Philadelphia, PA innerloop.press
@404media.co
it's a website (and a podcast, and a newsletter) about humans and technology, made by four journalists you might already know. like and subscribe: 404media.co
@transrights.northsky.social
We're creating a safer social media experience for people from marginalized groups, powered by ATProtocol, and operating as a nonprofit worker-owned cooperative. π’ = actively monitored | π‘ = passively monitored
@queerfilmfestival.ca
Illuminating, celebrating & transforming 2SLGTBQIA+ lives through film & dialogue since β89 π³οΈββ§οΈπ³οΈβπ September 11-21, 2025 In person & online #VQFF2025 linktr.ee/queerfilmfest
@khr.monster
pronouns: xey/xem, they/them i'm a big gay dragon. poly, agender, grey ace find me on Mastodon/ActivityPub fediverse: @chr@scalie.business
@lean-lang.org
Helping to break the trust bottleneck in modern research mathematics.
@standupforscience.bsky.social
Because Science is for everyone! π§ͺπ Learn more β¬οΈ https://linktr.ee/standupforscience2025 π―sister org: @sciforgood.bsky.social
@hbomberguy.bsky.social
π₯οΈ Gaming Youtuber, Media Critic, Philosopher King π€΄ π Patreon.com/Hbomb π© Enquiries to contact@hbomb.zone
@billy-penn.bsky.social
No fluff, no BS, all Philly β¨ Local β’ Independent β’ Nonprofit β’ News π #billypenngram to be featured in our daily newsletter | π part of WHYY @whyynews.bsky.social linktr.ee/billypenn
@kmett.ai
Founder/Chief Scientist @ positron.ai I like to write about Haskell, category theory, AI, and safety, and a whole lot of low level SIMD stuff for some reason http://calendly.com/ekmett http://github.com/ekmett http://x.com/kmett http://comonad.com/reader
@hausofdecline.bsky.social
Hank of Decline Patreon - http://patreon.com/hausofdecline Store - https://hausofdecline.bigcartel.com/
@paulbib.bsky.social
Present: Pursuing PL at Penn (PhD) Before: Browsing bytes at Brown (Bachelor's) paulbiberstein.me
@ghostrights.bsky.social
CS PhD student at UMD (part of @plumlab). Previously at Epic, Northwestern University.
@alexlew.bsky.social
Theory & practice of probabilistic programming. Current: MIT Probabilistic Computing Project; Fall '25: Incoming Asst. Prof. at Yale CS
@reifyreflect.bsky.social
@sigplan-pldi.bsky.social
The ACM SIGPLAN Conference on Programming Language Design and Implementation. Website: https://pldi25.sigplan.org/. Official hashtag this year: #PLDI2025. Posts by @konstantinoskallas.bsky.social and @lastland.bsky.social.
@dangrossmanseattle.bsky.social
@ethancecchetti.bsky.social
Assistant Professor, PL-Security Researcher, and Bitcoin Unenthusiast at WisconsinβMadison | Cornell PhD | Ultimate Frisbee player | Aspiring-to-be-more-avid cyclist Mastodon: discuss.systems/@EthanCecchetti Web: cecchetti.sites.cs.wisc.edu
@elefthei.bsky.social
PhD candidate @Penn, Compilers, Formal Verification, Cryptography. Previous: @AWS, @MIT, @Apple.
@konstantinoskallas.bsky.social
Assistant Professor of CS at UCLA // Systems, Compilers, PL // he/they Website: https://angelhof.github.io/
@nora.zone
botmaker, jeweler, queer, kobold, glass wizard, husband haver, capitalism hater. they/them ze/hir https://nora.jewelry/ https://nora.zone/ "we are our only saviors"
@bvbblebeam.bsky.social
derek/pup bvbbles 𫧠water type pokemon master. 30-something in philly π©΅
@staff.cohost.org
updates from @staff in the read-only era https://cohost.org/staff DMs not checked, please do not contact for support
@daviddarais.bsky.social
Principal Scientist at Galois. Former computer science professor. Research in programming languages, networks, security and privacy. david.darais.com
@dominikwinterer.bsky.social
PostDoc@ETH Zurich | Making Formal Methods better and more practical
@cestlemieux.bsky.social
now: Assistant Professingβ’ in Software Practices Lab at UBC. was: postdoc MSR NYC, phd UC Berkeley. also at https://mastodon.acm.org/@cestlemieux. she/her.
@david.industries
he/him 23 main: https://types.pl/@david I am here because apparently I needed another social media account
@joeyeremondi.bsky.social
PL Researcher. Assistant Prof at University of Regina π¨π¦ Trying to make dependent types a bit easier to use. Formerly Postdoc at Edinburgh with Ohad Kammar, and PhD at UBC with Ron Garcia.
@gemsofscience.bsky.social
At Gems of Science, me and my brother turn scientific, medical, and industrial crystals into gems! Ultrafluorescent LuAG, color-changing YAG, glow-in-the dark GAGG, color changing wakfieldite, rutile, ruby, and so many more! Visit us at GemsOfScience.com
@pdarragh.bsky.social
he/him/his. PhD student in computer science at UMD known for bad food takes. CS interests in PL, CS Ed, SE, and HCI. Mastodon: https://types.pl/@pdarragh
@andrewhead.bsky.social
Assistant prof at Penn. Designing interactions to make code, formulas, medical notes, and mechanized proofs more readable. Read about my group's work at https://andrewhead.info
@servo.org
Servo aims to empower developers with a lightweight, high-performance alternative for embedding web technologies in applications. https://servo.org https://github.com/servo/servo
@gastronauts.bsky.social
Chefs compete against unhinged challenges from comedians. Hosted by Jordan Myrick. www.dropout.tv
@sainati.bsky.social