Cyrus Omar
🌱 ruining programming forever @ hazel.org
🌱 professoring @ Michigan
🌱 poetry
🌱 dendrites
🌱 immersion
🌱 flowers
🌱 resisting idiocracy
https://web.eecs.umich.edu/~comar
@ttforall.bsky.social
Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
@michaelhilton.bsky.social
Trying this out Associate Teaching Professor in Software Engineering @ Carnegie Mellon University
@se4fp.bsky.social
1st Workshop on Software Engineering for Functional Programming (SE4FP) In 2025, SE4FP is co-located with the @cbsoft.bsky.social Website: https://se4fp.github.io/2025/
@seflless.bsky.social
Founder of Decode, a white-board that writes & explains code — https://decode.dev
@zee.town
eng @oxide.computer | @paperswelove.org co-founder | @scsatcmu.bsky.social PLT PhD, prev @fission.codes, comcast, basho, arc90, nypl_labs. Online @ https://zee.town | Pastes @ https://scpaste.zee.town 🎵 NP: "Long And Lonesome Road" by Shocking Blue
@propl.dev
The 2nd Programming for the Planet (PROPL) workshop will be co-located with SPLASH and ICFP in Singapore (in hybrid mode) on 13th October 2025. Submit a paper, talk or provocation by the 3rd July! https://conf.researchr.org/home/icfp-splash-2025/propl-2025
@lauritzthamsen.org
Computer systems faculty at Glasgow, driving research on resource-efficient and carbon-aware distributed computing systems, @glasgowc3lab.bsky.social, lauritzthamsen.org ☁️💻🌱
@mark-carney.bsky.social
Prime Minister of Canada and Leader of the Liberal Party | Premier ministre du Canada et chef du Parti libéral markcarney.ca
@kagi.com
Humanizing the web with a user-centric search engine and browser - no ads, no trackers, just you and the product you love: https://kagi.com/
@jelv.is
I like programming languages. A lot. Especially Haskell. Tools, types and functions.
@gazagnaire.org
#ocaml #mirageOS - CEO of @tarides.com - CTO of https://parsimoni.co ex Docker, Unikernel Systems, Citrix DMs open for collaboration on OCaml, Irmin or MirageOS projects!
@bekavalentine.bsky.social
a dyke who hacks on things. she/xey/ey. defnotbeka@twitter.com beka_valentine@kolektiva.social
@sigplan-av.bsky.social
We are a volunteer-led team within SIGPLAN that provides audio, livestreaming, recording, remote participation and archiving for SIGPLAN conferences. https://sigplan.org/AV Every event we cover is available on YouTube: https://youtube.com/@acmsigplan
@rsms.me
Working on Playbit https://playb.it/ . Designer of Figma, Inter, Spotify. Software painter. https://rsms.me/
@csdatcmu.bsky.social
The Computer Science Department's mission has remained steadfast: to lead in computer science research and education that has real-world impact — to push the frontiers of the field and produce the next generations leaders.
@ericlengyel.bsky.social
• PhD, Computer Science • Creator of Slug Library, C4Engine • Math/gamedev author • #GeometricAlgebra researcher • Former Naughty Dog, Apple, Sierra
@jehrhardt.dev
I'm a cozy developer writing software that let's me sleep well at night 💤. I am talking about open source 📄, vibe coding ✨ and sometimes Rust 🦀. I am currently working on @cozycoder.dev. Find me streaming 🎥: https://youtube.com/@jehrhardt
@mcnuttandrew.bsky.social
Professing at University of Utah vis/hci/programming interfaces (He/his) http://mcnutt.in/
@alt18f.bsky.social
Delivered effective, efficient, and secure digital services for the American people until we were forced to stop on March 1. Not an official government account. Reposts are not endorsements. Our new website: https://18f.org/ #AltGov
@simonsinstitute.bsky.social
The world's leading venue for collaborative research in theoretical computer science. Follow us at http://YouTube.com/SimonsInstitute.
@antonsaccount.bsky.social
Curious about phil. of mind, embodied cognition, art-science fusions
@lean-lang.org
Helping to break the trust bottleneck in modern research mathematics.
@watwa.re
experimenting with future of coding, putting the yikes in Dijkstra building skylights.my, floma.io & mietencheck.de Before: MDN (@developer.mozilla.org) and commonvoice.mozilla.org Blog: https://watwa.re skylights.my/profile/watwa.re
@guannanwei.bsky.social
Programming languages; Postdoc at INRIA/ENS; Incoming Assistant Professor at Tufts CS https://continuation.passing.style/
@epatters.bsky.social
Applied mathematician and technologist. Research scientist at @toposinstitute.bsky.social
@fxdpntthm.bsky.social
Type systems for Programming Languages. SIGPLAN conf AV/Virtualization cs.uiowa.edu/~aningle
@lessp.dev
appreciator of intuitive UI experiences, functional programming, and outdoors. occasional music maker O'Cameleer @ ahrefs Stockholm, Sweden
@necozay.bsky.social
Professor of EECS and Robotics at University of Michigan. Control theory, hybrid & cyber-physical systems, sys id, algorithms, safe autonomy. More info @ http://web.eecs.umich.edu/~necmiye/
@kirillosenkov.com
(Unofficial) VP of Developer Productivity at Microsoft. Developer tools, engineering systems, .NET, C#, Roslyn, Visual Studio, Editor, WPF, Avalonia, MSBuild.
@patrickshafto.bsky.social
Prof: Rutgers; Program Manager: DARPA; Scientist-at-Large: Redpoll. Math! Machine learning! Cognitive Science!
@grgzkhr.bsky.social
PhD student at @prg-grp.bsky.app Interested in PL and Type Systems. Programmer for more than 10 years. Based in 🇨🇭 from 🇱🇧 (he/him) https://grgz.me
@neurobrittany.bsky.social
Behavioral Neuroscience PhD Candidate in the DeVries-Nelson lab @ WVU | Neuroendocrinology, Biological Rhythms, Cancer, Development, & Stress 🧪🧬🧠