asker the gauche, glycojohn destroyer of carbs
Formal verification researcher at Sandia National Labs. Much too excited about bikes. Bread is my loaf language.
@elizas.website
e-girl (engineering girl) • interested in the kind of software nobody writes anymore • making computers at @oxide.computer • love too cheap to meter • nulla crux, nulla corona
@jfbastien.com
Distinguished engineer Woven by Toyota—Compiler engineer—security enforcer—C++ standards committee language evolution chair—WebAssembly co-instigator 🔗 https://jfbastien.com 🔗 https://tlbh.it 📍 東京、日本
@wil.to
I’m https://wil.to I make https://multipa.ge I wrote https://web.dev/learn/javascript and https://web.dev/learn/images
@jmct.bsky.social
Director of The Haskell Foundation, former lecturer UMD CS. Jazz, music theory, compilers, privacy and aviation, sometimes I combine them. I can also be found @jmct@types.pl I miss Yorkshire
@scott.hanselman.com
I want you to win and be happy. Code, OSS, STEM, Beyoncé, T1D, open source artificial pancreases, Portland, 3D printing, sponsorship http://hanselminutes.com inclusive tech podcast! VP of Developer Community @ Microsoft 🌮 http://hanselman.com/about
@kcsrk.info
Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic kcsrk.info
@kyla.bsky.social
wrote a book called "in this economy?" | chair of the federal reserve | writing and youtube @ http://kyla.substack.com
@dieworkwear.bsky.social
Menswear writer. Editor at Put This On. Words at The New York Times, The Washington Post, The Financial Times, Esquire, and Mr. Porter. If you have a style question, search: https://dieworkwear.com/ | https://putthison.com/start-here/
@thisishannahkim.bsky.social
Philosophy professor, Univ of Arizona 🌵 executive team at SEP 👩💻 thinking about fiction, poetry, music, movies, time, VR, and East Asian thought 🇰🇷🇰🇵 freelancer for philosophy, arts & culture ✌️ www.hannahkimphilosophy.com
@leo-lambro.bsky.social
Assistant Professor at UMD. Property Based Testing, Formal Verification, and everything QuickChick.
@brianloveswords.com
professional idiot; amateur professional - https://bjb.dev - https://bjb.dev/bsky-bc
@sarahedo.bsky.social
Opinions my own. https://sarah.dev Sr Director of Engineering @ Google: Core Web, Android, iOS Infrastructure Formerly Vue Core • Frontend Masters teacher • O'Reilly Author • https://www.engmanagement.dev/ https://github.com/sdras
@jingbow.bsky.social
Assistant Professor at Purdue ECE. I do research on formal methods and program verification. PL/SE/FM
@joomy.bsky.social
researcher at Bloomberg. somehow a computer doctor. posts about functional programming, dependent types, metaprogramming, linguistics, and Turkey. 🐦: http://twitter.com/joomy 🕸️: http://joomy.korkutblech.com
@sholtzen.bsky.social
I like computers. assistant prof at northeastern https://www.khoury.northeastern.edu/home/sholtzen/
@nobbel87.bsky.social
@megasett.bsky.social
Mistweaver enjoyer • Warcraft Partner • Author of wayofthecrane.io linktr.ee/megasett
@meeix.bsky.social
internet idiot - i talk about things in video games for a living - partnered dumbass on the purple page - otters - vibes - metal - cats she/her https://meeix.carrd.co/
@steveklabnik.com
#rustlang, #jj-vcs, atproto, shitposts, urbanism. I contain multitudes. Currently in Austin, TX, but from Pittsburgh. Previously in Bushwick, the Mission, LA.
@jennhu.bsky.social
Research Fellow at Harvard Kempner Institute and incoming Asst Prof at Johns Hopkins interested in language, cognition, and AI. jennhu.github.io
@georgemporter.bsky.social
UC San Diego professor, building networks that enable high-performance, scalable, and sustainable computer systems. https://www.cs.ucsd.edu/~gmporter
@pigworker.bsky.social
they/them I'm Conor. I'm a nonbinary Computer Scientist. God loves irony. @pigworker@types.pl on fedi
@bartoszmilewski.bsky.social
Physicist, mathematician, programmer. "The Dao of Functional Programming" Regularly updated work in progress. PDF on GitHub: https://github.com/BartoszMilewski/DaoFP/blob/master/DaoFP.pdf
@krismicinski.bsky.social
kmicinski.com Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
@roydanroy.bsky.social
Research Director, Founding Faculty, Canada CIFAR AI Chair @VectorInst. Full Prof @UofT - Statistics and Computer Sci. (x-appt) danroy.org I study assumption-free prediction and decision making under uncertainty, with inference emerging from optimality.
@bcantrill.bsky.social
Co-founder and CTO of Oxide Computer Company. According to Field of Schemes, "tech exec and Oakland A's fan" -- but more of an Oakland Ballers fan now.
@jcenzo.bsky.social
Assistant Professor, Purdue ECE. I do research in software verification and programming languages. All opinions are my own. She/her. https://jennalwise.github.io
@heathermiller.bsky.social
Professing computery things at CMU, doing science at Two Sigma. Co-founder & former Executive Director of the Scala Center at EPFL. Past life: artist @ Cooper Union
@swarat.bsky.social
Professor of Computer Science at UT Austin and Visiting Researcher at Google Deepmind, London. Automated Reasoning + Machine Learning + Formal Methods. https://www.cs.utexas.edu/~swarat
@avh.bsky.social
Asst. Professor of Computer Science at Wellesley. Cornell PhD. Compilers, systems programming languages, lightweight formal methods. she/her. https://cs.wellesley.edu/~avh/
@ltratt.bsky.social
Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
@idillig.bsky.social
CS professor at UT Austin, does research in programming languages & formal methods.
@santosh-nagarak.bsky.social
Professor of Computer Science at Rutgers University. See more here: https://people.cs.rutgers.edu/~santosh.nagarakatte/
@reflexive.space
he/him (John), near-30, looking for work! 🌙 your nonlocal hacker friend 🦀 hw/fw/sw, security, microarchitecture, rust, etc 🐬 hacks on gc/wii/melee stuff sometimes 🐘 @eigenform@treehouse.systems 🐦 @eigenform
@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
@ethanmarcotte.com
designer, writer, roommate to two kittens. I think you deserve a union, and I wrote a book about that: https://ethanmarcotte.com/books/you-deserve-a-tech-union/ hi friend
@guyvdb.bsky.social
🎓 CS Prof at UCLA 🧠 Researching reasoning and learning in artificial intelligence: tactable deep generative models, probabilistic circuits, probabilistic programming, neurosymbolic AI https://web.cs.ucla.edu/~guyvdb/
@scottjehl.com
Web Designer/Dev. Accessibility & Performance Fan. Mediocre surfer. My new web components course https://scottjehl.com/learn/webcomponentsdemystified/ scottjehl.com
@jonathanaldrich.bsky.social
Professor at Carnegie Mellon University, working on programming languages and software engineering. ACM Publications Board member. Husband, dad. Black & Trans Lives Matter. Views are my own. He/him.
@anil.recoil.org
Professor of Planetary Computing at the University of Cambridge @cst.cam.ac.uk, where I co-lead the @eeg.cl.cam.ac.uk, and am also to found at @conservation.cam.ac.uk. Homepage at https://anil.recoil.org
@xexd.bsky.social
@wycats.bsky.social
Open Sourcerer. Co-author of the Extensible Web Manifesto. Creator of Bundler, Cargo and Ember.js. Father of wykittens and wifelette's husband. he/him
@satnam6502.bsky.social
Punjabi-Scottish-American husband and father of two, Haskell hacker at Groq, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California http://satnam.raintown.org