@beritmiriam.bsky.social
Polarkreiskorrespondentin in Reykjavík – 🍞&🌹 – computer comrade – Jules Verne Ultra – Schneeaffen Fan – Writer of Fiction and Non-Fiction – Typos – sie/she/hún www.beritglanz.de https://ko-fi.com/beritmiriam
@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
@wendigotypes.bsky.social
theoretical computer sorcery and theorem potions · she/they/e wendigotyp.es
@joborgs.bsky.social
Associate prof at Uppsala University in Programming languages Swedish econ through an MMT lens - MMT for Sweden Born at 335 ppm, living in Stockholm 🇸🇪 previously 🇬🇧 🇩🇪 🇨🇭 Private account, he/him, 🌹 🇺🇦 🟣
@adbrucker.bsky.social
Cybersecurity Prof at @UniofExeter, former Security Testing Strategist at SAP SE. Formal Methods, Security, Safety, Theorem Proving, Formal Semantics, http://logicalhacking.com / @adbrucker@fediscience.org
@altyellonatpark.org
A team of scientists & activists, in & around Yellowstone National Park. 501c3. Posting photos, ideas & solutions, because together, we can change the world. Please report malicious trolls & imposters. We are AltYelloNatPark™️
@rebekkaendler.bsky.social
milkshake, boys, yards, schreiben über Patriarchat (erst der Dinge, jetzt der Mythen) 1/2 von @femshelfcontrol.bsky.social Foto: Andrew Collberg
@anjaruetzel.bsky.social
Autorin für Tiere & Televisionen. Hängengeblieben auf der Damals-Zeit. ko-fi.com/anjaruetzel
@femshelfcontrol.bsky.social
Feministischer, intersektionaler Romance-Podcast! @ardenthistorian.bsky.social & @rebekkaendler.bsky.social lesen und schauen allerlei patriarchalen Kram, damit ihr es nicht müsst- und nehmen das Ganze dann voller Liebe auseinander.
@ardenthistorian.bsky.social
Author @Rowohlt, freelance journalist, senior correspondent Religion Dispatches, writes about Christian Nationalism & Right-Wing Extremism in the US & globally. 1/2 of @femshelfcontrol.bsky.social Agent: Landwehr & Cie Events: Paula Döring
@taliaringer.bsky.social
@kisonecat.com
associate professor in mathematics at The Ohio State University he/him https://youtube.com/kisonecat
@cup-jfp.bsky.social
Design, implementation & application of functional programming languages from mathematical theory to industrial practice. Published by Cambridge University Press. Posts by @liamoc.net
@jensscherbl.bsky.social
Tell ’em a hookah smoking caterpillar has given you the call. https://www.threads.net/@jensscherbl
@aserebrenik.bsky.social
Professor of Social Software Engineering. Eindhoven University of Technology, The Netherlands. Diversity, inclusion and source code. 🇧🇪🇮🇱🏳️🌈 🐕 He/him
@travisbrown.dev
Software developer living in Berlin https://travisbrown.dev for contact info
@jay.bsky.team
CEO of Bluesky, steward of AT Protocol. Let’s build a federated republic, starting with this server. 🌱 🪴 🌳
@dboeselager.volteuropa.org
MEP & Co-founder of @volteuropa 💜 Future of Europe & EU Reform 🇪🇺 Migration & Asylum 🌍 AI & Data strategy🤖
@marina-purkiss.bsky.social
I’m not always having a go at wrong’uns…sometimes I’m sleeping | Political Commentator & Co-Host of The Trawl Podcast https://linktr.ee/thetrawlpodcast | @jeremyvineon5 | @skynews |
@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/
@anero.id
Learning from meteorologists, climatologists, engineers, cartographers, aviators, authentic Christians and other good sorts. Software Engineer at Weatherzone Fediverse @andrewmiskelly@anero.id
@voltnederland.org
De enige échte Europese partij! ⚡️ Word lid! 💜 ➡️ volt.team/simple-join/nl-NL
@peterstefanovic.bsky.social
Lawyer, Filmmaker, Big Issue top 100 Changemaker 2024, CEO CAMPAIGN FOR SOCIAL JUSTICE https://www.cfsj.co.uk/
@gleissen.bsky.social
PL and Security research at VU Amsterdam https://gleissen.github.io
@leo-lambro.bsky.social
Assistant Professor at UMD. Property Based Testing, Formal Verification, and everything QuickChick.
@maartenvanrossem.bsky.social
Maarten van Rossem is 's lands bekendste historicus en Amerikadeskundige. Hij is een veelgevraagd commentator op radio en tv en heeft sinds 2008 een eigen blad: Maarten! Volg Maartens kritische gedachtegang via www.maartenonline.nl
@maaikekooistra.bsky.social
Journalist AD. Thuis in Utrecht en Amersfoort. Tips of een goed verhaal? m.kooistra@ad.nl | Volg ook @ADutrecht.bsky.social
@mfseidl.bsky.social
Associate Professor, Microbial Genome Evolution, Utrecht University, the Netherlands
@andreaskopp.bsky.social
Political Economist. Green Economics, Climate Risk/Adaptation, Sustainability, Innovation Systems. Researcher and Consultant. Prvsly UCL, Oxford, LSE. Usual caveats. 🇪🇺 More on andreaskopp.org
@yannicnoller.bsky.social
CS Professor at @ruhr-uni-bochum.de https://yannicnoller.github.io
@icfp-conference.bsky.social
ACM SIGPLAN International Conference on Functional Programming. Biskweets by @shwestrick.bsky.social https://icfp25.sigplan.org/ https://icfpconference.org/
@ericvanwyk.bsky.social
Professor, Computer Science, University of Minnesota, Extensible Programming Languages, https://cs.umn.edu/~evw, He/His.
@inkytonik.bsky.social
Computer Scientist, programming addict, music lover, sports tragic. Ex ANU, CU Boulder, JCU, Macquarie Uni, Symbiont. Currently, static analysis tooling at Oracle. Opinions here are my own. Also https://mastodon.acm.org/@inkytonik.
@reifyreflect.bsky.social
@dangrossmanseattle.bsky.social
@oldergeeks.bsky.social
OlderGeeks.com is the popular free software download site as featured on tech sites from around the world. - Randy & Deanna (The Older Geeks)
@ravimangal.bsky.social
Computer Scientist. Assistant Professor at Colorado State University. Formal Methods + Trustworthy Machine Learning
@haaretzcom.bsky.social
All the news, opinion and analysis from Israel, the Middle East and the Jewish World
@codyroux.bsky.social
Still ultrafinitist, but with a softer side. https://www.kleene.church/ I do the Church of Logic podcast. https://open.spotify.com/show/6vEh6ZpQr1Eoeoz8TbsMKx?si=3-hd-mv3ShGe2LFij4MCIQ