Type systems for Programming Languages.
(Ret.) SIGPLAN conf AV/Virtualization
cs.uiowa.edu/~aningle
Official account of the LCSO in Loudoun County, VA. For an emergency, call 911. Non-emergency, call 703-777-1021. Social Media Policy: http://bit.ly/3WOVVPu
Building community through inclusion, innovation, and inspiration. To request an ADA accommodation, call 703-777-0368.
Welcome to the official BlueSky account for Loudoun County Government. Follow for important county-related updates, news and information about our community. (View comments policy: http://bit.ly/2gHmIyF)
Official Loudoun County Combined Fire and Rescue System feed. Emergencies, call 911. Non-emergencies, call 703.777.0637. Not monitored 24/7.
Loudoun County, Virginia, established in 1757, is located just west of Washington, D.C. Known for its rapid growth, it combines suburban, rural, and historic charm.
Standard white dude (but I tan quickly)
Interested in all things programming, cooking, hard metal, cats.
Love to explore new programming languages and build dev tools. Really love a good pit
A Synthesizing Interdisciplinarian, blogging about public policy, applied economics, languages, games, and the intersections thereof.
Mostly following Starter Packs. Mostly.
Email before @ and open source before GNU. Z-Mail and Zsh. Cat person and computer scientist. Dad and D&D.
Don't fear the days ahead. Fear not walking toward them.
-- @davekellet.bsky.social
https://leavesubstack.com
CS prof at the University of Waterloo, eh.
The ACM Special Interest Group on Software Engineering provides a forum for computing professionals from industry, government and academia to examine principles, practices, and new research results in software engineering.
Art. Cats. Слава Україні!
Feedly is the fastest way to track the topics and trends that matter to you.
The ACM SIGPLAN Conference on Programming Language Design and Implementation. Website: https://pldi26.sigplan.org/. Official hashtag this year: #PLDI2026. Posts by @jcenzo.bsky.social and @konstantinoskallas.bsky.social.
The world's largest professional organization advancing #computing as a science and profession. Also on Mastodon | LinkedIn | Meta | YouTube | Instagram.
Computer science professor
University of Wisconsin–Madison
https://pages.cs.wisc.edu/~aws/
The latest news and updates from Google. Press on deadline? Reach out to press@google.com.
Encouraging more people to go by bike more often!
Skeptical urbanist & design journalist @ 99% Invisible || NYT Best Seller: http://99pi.org/book || M. Arch || Visual musings @ http://instagram.com/kurtkohlstedt 🦝 More @ kurtkohlstedt.com
Always trying to simplify the complex unless there’s an opportunity for an interdisciplinary analogy.
Work at JetBrains. Java Champion. Check my Java book: https://mng.bz/671p
The home of terrible maps with a pinch of humour
terriblemaps@gmail.com
Fat. Cranky. Bitter. But my friends say I'm hilarious, so there's that.
Neurospicy British immigrant. Cosplayer, crafter, and spoiler of cats.
Software engineer, citizen, dad, not necessarily in that order
ProPublica Editor & Reporter. At work on “Unfair Share: The 250-year Fight to Tax the Rich” (Avid Reader). @sarahellison's husband. “Succession” S3 consultant. Green Bay Packers.
Cat feeder.
London(UK) / Garramilla (Darwin) / Naarm (Melbourne)
Garbage collector.
Professor.
Research Associate Professor, University of Utah Kahlert School of Computing • Personal account • Opinions my own, not employer's • RTs not endorsements
Professor at Aarhus University
https://cs.au.dk/~amoeller
Husband, Dad, Software Engineering researcher at UC Davis, Humboldtian. Loves good ideas, jokes, pranks and The Great Outdoors.
The ACM Special Interest Group on Programming Languages.
Software architect, researcher, former faculty at Tufts University. I like to make things!
Prof@SCS@CMU, scientist, software engineer, “heartless wench”, mama. It's pronounced "Le Gwess". Mostly academia, tech/SE, PGH. She/her
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/
Aging leg-spinner, frustrating goalie …
Journalism researcher, teacher at University of Wisconsin-Madison’s School of Journalism and Mass Communication. Former journalist. Publisher of Madison Commons, a community-based, student-powered SJMC news site. Book author about …what else? Journalism
University of Wisconsin environmental law prof, Associate Dean for UW Nelson Institute for Environmental Studies, food and horror movie buff. Doing what I can to save human life on this planet.
Wordslinger & Optimist! Hugo/Bram Stoker/BFA nominated author, editor, and media tie-in writer. Winner of multiple Scribe awards. Beloved of the Husband, collector of many antique occult books. Rep: Cherry Weiner. http://www.jenniferbrozek.com
AxialAge on chess.com
The apocalypse will be shitposted
Eat the Reich
No skeets are legal advice
Minors DNI except w/ a signed permission slip from your legal guardian on file w/ my manager
If I argue, I probably have a degree in it
我用很多语言发帖…
Professor at University of Melbourne and School of Computing and Information Systems cyber lead; Director @dsi-vic.bsky.social; Oxford DPhil (@compscioxford.bsky.social; @hertfordcollege.bsky.social). Cyber, verification, etc. He/him
PL fool and DB theory nerd. Working on the C++ Address Sanitizer for Windows these days (dynamic analysis for memory safety), still a Durable Functions nerd.
CSE faculty @UCSC, ex-Fed, progressive Mississippian. security / PL / distributed systems
he/him
Transmogrifying coffee into LaTeX, but now more grumpy and slow about it. University of British Columbia Computer Science
Programming Languages Researcher and Consultant
Interpreters, compilation, concurrency, and debugging tools.
Senior Lecturer at Imperial College EEE researching programming languages and hardware design.
actually just on Mastodon: https://discuss.systems/@adrian
incoming MIT prof. & director of FLAME lab (https://flame.csail.mit.edu/).
building new languages and compilers to make hardware design fast, fun, and correct
assistant professor @NYU Courant CS :: programming languages :: parallel computing :: music :: lead dev of the MaPLe compiler (https://github.com/mpllang/mpl)
https://cs.nyu.edu/~shw8119/
https://mwillsey.com
asst prof @ uc berkeley eecs
mastodon: @mwillsey@discuss.systems
🎓 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/
Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
Punjabi-Scottish-American husband and father of two, Haskell hacker, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California
http://raintown.org
Professor of Computer Science at Rutgers University. See more here: https://people.cs.rutgers.edu/~santosh.nagarakatte/
Get used to disappointment.
(Opinions are my own and do not reflect the views or opinions of my employer.)
Computer Scientist, Hiker, Photographer
CS professor. PL/Model Checking/Concurrency.
Sr. Distinguished Engineer @nvidia
Assoc. prof. at Uppsala University, working in programming languages and verification
Programming language researcher at Microsoft.
DevAI @google, working on PL/SE+ ML. CS PhD (@MIT_CSAIL) 🇨🇷 in ATL. www.josecambronero.com
formal methods researcher, CEO of Kestrel Institute
CS PhD student @ UT Austin
robertzhang.vercel.app
Just a happy doggo. Fan of asiago cheese.
Assistant Professor at Purdue ECE. I do research on formal methods and program verification. PL/SE/FM
CS PhD @utaustin.bsky.social
kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
Theory & practice of probabilistic programming. Current: MIT Probabilistic Computing Project; Fall '25: Incoming Asst. Prof. at Yale CS
Associate Teaching Professor at Carnegie Mellon University⚡️AI and developer tools⚡️ex startup, ex Microsoft
https://austinhenley.com/
Retired Professor of computer science at UMD, and engineer at Apple on exposure notifications.
Active maker, burner, traveler, husband, father.
Software Engineer, Programming Languages at Aptos Labs. Working on the Move compiler.
Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info
I am a professor in the computer sciences at UW-Madison. My technical interests in trustworthy ML, formal methods, and security.
My other interests are Indian classical music, mindfulness, tennis, and pickleball.
Associate Professor, IU Computer Science ·
Core Developer, @racketlang.bsky.social ·
Member, TC39 ·
Handler, Gravymaker ·
Bike Advocate, Bloomington IN
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.
Asst. Professor of Computer Science at Wellesley. Cornell PhD. Compilers, systems programming languages, lightweight formal methods. she/her.
https://cs.wellesley.edu/~avh/
Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
