🇨🇦 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.
@anniesexton.com
📹 I make tech videos @ http://Fly.io 👩💻 Software engineer 12+ years ✍️ I also write and draw comic books ☁️ Previously @ Render and Heroku Fly.io YT: https://www.youtube.com/@flydotio Annie's YT: https://www.youtube.com/@AnnieSexton1 日本語OK she/her
@jeremysimes.bsky.social
Saskatchewan Correspondent with The Canadian Press in Regina. Supporter of all things local. Email is [email protected]
@pdcityhall.bsky.social
I will be live-tweeting Regina city council meetings from this account. When the tweets start coming, they will be furious & fast & keep up for hours. Not for the faint of heart. You have been warned.
@savannah.dev
Building for builders. Python Core Developer, maintaining the JIT + argparse. Python DevEx lead @ Snowflake. Jupyter Foundation Governing Board. Loves containers, compilers, open source software + cats. Brat. savannah.dev github.com/savannahostrowski
@kurtkohlstedt.bsky.social
Skeptical urbanist & design journalist @ 99% Invisible || NYT Best Seller: http://99pi.org/book || M. Arch || Visual musings @ http://instagram.com/kurtkohlstedt 🦝 More @ kurtkohlstedt.com
@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/
@nytpitchbot.bsky.social
Parody. Destroy your safe and happy lives before it is too late.
@se4fp.github.io
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! | Former 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
Incoming Lecturer (Assistant Professor) at The University of Manchester 👩🎓👨🎓 Looking for PhD students! Formal Methods Engineering Lab: https://manchester-fme.github.io
@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." affilié à France Points Fixes 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