🇨🇦 Joey Eremondi
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.
@andreaszeller.bsky.social
Software researcher at https://cispa.de, working on #Fandango, #S3, #FuzzingBook, #DebuggingBook. Testing, debugging, analyzing, and protecting software for a better world. Find me at https://andreas-zeller.info/
@craigweekend.bsky.social
Daniel Craig reminds you that The Weekend is here, every Friday evening at 7:00pm Eastern (inspired by: https://twitter.com/CraigWeekend) Maintained by @young.me
@clash-lang.bsky.social
A modern functional hardware description language https://clash-lang.org/ https://github.com/clash-lang/clash-compiler
@yearprogress.bsky.social
Year Progress Bot. Maintained by @haider.bsky.social Buy me a Coffee: https://buymeacoffee.com/halipunjabi
@nishiorain.bsky.social
Functional programmer, community builder, professor of CS, emerita, keen to get more women into CS and tech, lecturer, photographer, baker, table tennis player
@plrg-bristol.bsky.social
This is the account of the Programming Languages Research Group at the University of Bristol. https://plrg-bristol.github.io/
@ericgrenier.bsky.social
I cover elections at The Writ (http://thewrit.ca), The Numbers (http://thenumberspod.ca) and Les chiffres (http://leschiffres.ca) Follow me on YouTube: http://youtube.com/@TheWrit
@rbreich.bsky.social
Berkeley professor, former Secretary of Labor. Co-founder of @inequalitymedia.bsky.social and @imcivicaction.bsky.social. Substack: http://robertreich.substack.com Preorder my new book: https://sites.prh.com/reich Visit my website: https://rbreich.com/
@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/
@rust-lang.org
A programming language empowering everyone to build reliable and efficient software.
@jonhoo.eu
Rust live-coder and OSS tinkerer who loves teaching. I try to maintain a high SNR. Wrote Rust for Rustaceans. At Helsing.ai. Formerly AWS. Co-founded ReadySet. @jonhoo elsewhere. he/him/they
@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.
@cfiesler.bsky.social
information science professor (tech ethics + internet stuff) kind of a content creator (elsewhere also @professorcasey) though not influencing anyone to do anything except maybe learn things she/her
@jnz.ski
MSc Computer Science @ ETH Zürich 🦣 @masto.jnz.ski (https://mastodon.social/@jnzd) 📸 @pixels.jnz.ski (https://pixelfed.social/@jnzd) 🧵 https://threads.net/@jnzdg ⌨️ https://github.com/jnzd
@polyroly.bsky.social
CS PhD student @ UC Santa Barbara, doing program synthesis and verification https://junrui-liu.github.io/
@thegooddotstore.bsky.social
100% profit to charity. A better way to get better products. 🧦 Awesome Socks Club ☕ Keats & Co Coffee and Tea 🧼 Sun Basin Soap 🌱 EcoGeek Link to shop: good.store
@jaredforsyth.com
trying to be christian. feminist. mormon. type theory, PLT Mobile dev @KhanAcademy building kipos https://github.com/kipos-lang/kipos @jaredforsyth on the dead bird site
@rustfoundation.org
The Rust Foundation is an independent nonprofit organization dedicated to stewarding the Rust programming language and its global community. rustfoundation.org
@csateth.bsky.social
Official Bluesky page of the Computer Science Department at ETH Zurich. Collected media and news from and about the department.
@justinesherry.bsky.social
I'm a member of the imperial senate on a diplomatic mision to Alderaan. Computer networking professor. 🇺🇲❤️🇵🇹, she/her, Dr. Sherry, Mamã, working at AS8! www.justinesherry.com
@jagmeetsingh.ca
Pronounced Jug(rhymes with hug)-MEET! | Leader of Canada's New Democratic Party | Le chef du NPD du Canada | Text me 👉🏽 613-801-8210
@dixonary.co.uk
Assistant Professor of Computer Science at the University of Warwick 🏳🌈 {they,he} Interests: Functional programming; theoretical computer science; Indie games; Gamedev; TTRPGs; Doctor Who (I made whodle! 📺)
@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
@dominikwinterer.bsky.social
PostDoc@ETH Zurich | Making Formal Methods better and more practical
@aspiwack.bsky.social
Multi-classed Software Engineer/Constructive Mathematician. Sometimes plays video games sort of fast. Puts topoi in your computer.
@lean-lang.org
Helping to break the trust bottleneck in modern research mathematics.
@janiczek.cz
Frontend FP developer (spending a lot of time in Elm the past few years). NuAshworld MMORPG. Programming language design (cara-lang.com). Property based testing!! Music making. Drive for teaching and unblocking others, writing little experiments. He/him
@guannanwei.bsky.social
Programming languages; Postdoc at INRIA/ENS; Incoming Assistant Professor at Tufts CS https://continuation.passing.style/
@monniauxd.bsky.social
"Uncultured researcher in computer science, completely banal and mainstream." he/him/whatever https://social.sciences.re/@MonniauxD https://cv.hal.science/david-monniaux
@brettevans.me
Functional programming, dependent types, denotational semantics, category theory, cooking, snowboarding, rugby.
@boogalooh.bsky.social
Former game dev now working as a Rust developer in finance. Love functional programming and making terrible games in my free time!
@alcidesfonseca.com
Synth-sizing programs. Associate Professor at U. Lisbon. blogs at alcidesfonseca.com
@grimalkina.bsky.social
Psychologist for Software Teams (& writing a book about it). Founder: Developer Success Lab, Catharsis Consulting. VP of Research. Defender of the mismeasured. https://www.drcathicks.com/ Host at: https://www.changetechnically.fyi/
@damienstanton.bsky.social
👋 hello, I’m a research software engineer at PwC & @colorado.edu CS grad student. Code tinkerer for 10+ years; into distsys, PL/types, & practical AI.
@albertatech.bsky.social
👩💻 Software eng 🤪 Creator of cringe tech videos 🥺 The funniest girl in us-east-1 beacons.ai/albertatech
@teorth.bsky.social
Mathematician at UCLA. My primary social media account is https://mathstodon.xyz/@tao . I also have a blog at https://terrytao.wordpress.com/ and a home page at https://www.math.ucla.edu/~tao/
@engid.bsky.social
Software Engineer. I look for the bright side of the absurd. brightsideofabsurd.com
@abhizer.com
Compiler Engineer @ Feldera Interested in PL, Compilers, Databases and a whole lotta things that I don’t know about yet! https://abhizer.com
@taylorjsmith.bsky.social
🇨🇦 Theoretical computer scientist. Assistant professor at @stfx-university.bsky.social. Website: taylorjsmith.xyz.