Following
@osaidkhan.bsky.socialrich harris @rich-harris.dev my life is derp and i do derp shit
Shriram Krishnamurthi @shriram.bsky.social Brown Computer Science / Brown University || BootstrapWorld || Pyret || Racket I'm unreasonably fascinated by, delighted by, and excited about #compsci #education #cycling #cricket and the general human experience.
Kathi Fisler @kfisler.bsky.social Research Prof at Brown Computer Science studying computing education. K-12 outreach through Bootstrap. Avid jigsaw puzzler.
Aaron Ogle @aaronogle.dev Golang, Infra, SRE and tech in general
Quarkus @quarkus.io Supersonic Subatomic Java
Mike Dodds @m-dodds.bsky.social Formal methods nitwit. https://mikedodds.github.io
Bruno Gavranović @bgavran.bsky.social I'm building neural networks that generate provably correct code, and the software infrastructure for training them. Recently experimenting with TensorType: https://github.com/bgavran/TensorType www.brunogavranovic.com
Bluesky @bsky.app official Bluesky account (check username👆) Bugs, feature requests, feedback: support@bsky.app