×
You are not logged in
Bluesky Follows
Samuel Teuber
Follows by @teuber.bsky.social
UCSB Computer Science Department
Registered:18 Nov 2024 23:42
Follow date:4 Mar 2026 20:27
Last post:2 days ago
Horizon Omega
Registered:8 Mar 2024 18:58
Follow date:9 Feb 2026 18:13
Last post:23 Feb 2026
Advancing AI safety through collaboration, research, and education
https://www.horizonomega.org/
floc2026.bsky.social
Registered:18 Jul 2025 08:27
Follow date:23 Jul 2025 07:14
Last post:24 Feb 2026
Last like received:21 hours ago
Université Paris-Saclay
Registered:12 Dec 2024 15:34
Follow date:18 Jun 2025 15:04
Last post:6 hours ago
Last like received:7 hours ago
Compte officiel de l'Université Paris-Saclay : 48 000 étudiants, 9 000 chercheurs et enseignants-chercheurs, 4 600 doctorants #Formation #Recherche
Ferhat Erata
Registered:22 Nov 2024 16:44
Follow date:26 May 2025 09:24
PhD student @Yale • Applied Scientist @AWS AI • Automated Reasoning • Neuro-Symbolic AI • Alignment • Security & Privacy • Views my own • https://ferhat.ai
ETAPS conferences
Registered:1 Jan 2025 19:48
Follow date:4 May 2025 18:36
Last post:1 day ago
The International Joint Conferences On Theory and Practice of Software: the ETAPS conferences are TACAS, FoSSaCS, FASE and ESOP.
ETAPS 2026: April 11 - 16, Turin, Italy
https://etaps.org/
Sean M Kauffman
Registered:22 Aug 2023 13:47
Follow date:4 May 2025 18:29
Last post:4 Dec 2025
Space, Cats, Mennonites, Mariners Baseball, Dodgeball, Computers, Pedagogy. Assistant Professor at Queen's University with research in Runtime Verification.
Alexander Gray
Registered:19 Nov 2024 15:52
Follow date:3 May 2025 18:43
Head, Centaur AI Institute: neuro-symbolic AI research and education. Ex- tenured prof, big tech VP, startup co-founder. centaurinstitute.org
CAV
Registered:26 Nov 2024 00:10
Follow date:2 Apr 2025 14:46
37th International Conference on Computer-Aided Verification. July 21-25, 2025 in Zagreb 🇭🇷. Publicity Co-Chairs: @erata.bsky.social & @frenkel_hadar. Use #cav25
Rick Elrod
Registered:11 Nov 2024 13:29
Follow date:13 Feb 2025 12:56
Hello! I am a #linux and #emacs user and software engineer who also enjoys #linguistics and #etymology. Trying to forget that I'm American. Proud to be living in Germany. Learning #German and #Rust. he/him/his.
GitHub: https://github.com/relrod
jnpn
Registered:13 Jan 2025 01:46
Follow date:23 Jan 2025 09:38
Lisp / FP / Logic programming / APL
Applied Math / Comp bio wannabee
looking for projects in MDD/MDA, RO, DX, cs.PLT
Anne Koziolek
Registered:16 Jan 2025 20:39
Follow date:18 Jan 2025 11:57
Professor for software engineering at @kit.edu. Interested in automated capturing of SWA models with NLP and model consistency. @akoziolek@mastodon.acm.org
ENCODE Doctoral Network
Registered:26 Nov 2024 16:36
Follow date:9 Jan 2025 15:59
Last post:17 Feb 2026
https://www.encode-doctoral-ne...
European Network in Coding Theory and Applications:
A Horizon Europe Marie Skłodowska-Curie Action Doctoral Network
Zhouxing Shi
Registered:18 Nov 2024 21:53
Follow date:9 Jan 2025 01:45
PhD candidate at UCLA. Trustworthy ML | Formal verification for NN | robustness & safety
Noa Kaplan
Registered:6 Jan 2025 23:13
Follow date:9 Jan 2025 01:45
Rémi Forte
Registered:20 Aug 2023 18:01
Follow date:23 Dec 2024 20:14
Last post:2 days ago
Last like given:2 hours ago
Poetic Program, Typographic System
https://www.rmfrt.com/
Emerson Victoria Johnston
Registered:22 Jul 2024 23:39
Follow date:19 Dec 2024 06:16
Last post:2 days ago
Last like received:11 hours ago
currently researching the social history of the early internet (think algorithms, architectures, and archives)
tech policy @ stanford / comms and membership @ AoIR
masters x2 @ stanford / bachelors @ northeastern
first gen 🎓 | 🏳️🌈
Zhaoyang Wang
Registered:20 Nov 2024 12:54
Follow date:18 Dec 2024 20:24
Last post:17 Dec 2025
Foundation Models, Bayesian Optimization, reinforcement learning, and AutoML. Uni of Birmingham.
Share latest AI news and trends.🏳️🌈
Kush Varshney कुश वार्ष्णेय
Registered:20 Nov 2024 13:43
Follow date:14 Dec 2024 17:50
I wrote a book.
Free pdf: http://trustworthymachinelearn...
Paperback: http://amazon.com/dp/B09SL5GPC...
Posts are my own and don't necessarily represent IBM.
Andrés Corrada
Registered:17 Nov 2024 12:13
Follow date:12 Dec 2024 13:01
Last post:23 Feb 2026
Scientist, Inventor, author of the NTQR Python package for AI safety through formal verification of unsupervised evaluations. On a mission to eliminate Majority Voting from AI systems. E Pluribus Unum.
Davide Borghi
Registered:24 Nov 2024 19:30
Follow date:12 Dec 2024 12:59
Research Fellow from 🇮🇹 | Multi-Agent Reinforcement Learning
Juan Diego Rodriguez
Registered:30 Oct 2023 00:28
Follow date:10 Dec 2024 01:12
Last post:3 hours ago
Last like given:1 hour ago
Last like received:1 hour ago
CS PhD student at UT Austin in #NLP
Interested in language, reasoning, semantics and cognitive science. One day we'll have more efficient, interpretable and robust models!
Other interests: math, philosophy, cinema
https://www.juandiego-rodrigue...
Formal Methods Europe
Registered:6 Dec 2024 18:28
Follow date:7 Dec 2024 19:16
Last post:5 Dec 2025
Formal Methods Europe is a worldwide association bringing together researchers and practitioners in formal methods developing computing systems and software.
Daniel Dobriy
Registered:5 Dec 2024 15:01
Follow date:7 Dec 2024 19:15
Last post:26 Feb 2026
Researcher & faculty member @DPKM dedicated to the field of AI, with the focus on knowledge technologies (knowledge graphs, semweb, RAG) & their use in e-gov, skills matching, research ecosystem, digital humanities and education. Partner @km-a.bsky.social.
Hank Green
Registered:29 Apr 2023 04:29
Follow date:7 Dec 2024 15:17
Last post:6 days ago
Last like received:1 hour ago
Long Time Internet Guy
Dominik Winterer
Registered:4 Dec 2024 12:46
Follow date:6 Dec 2024 14:34
Assistant Professor (Lecturer) at University of Manchester
Formal Methods Engineering Lab: https://manchester-fme.github....
Alessandro Crimi
Registered:18 Nov 2023 23:39
Follow date:5 Dec 2024 15:17
Last post:25 Feb 2026
Prof.@AGH_Krakow. Intersecting #neuroscience/#AI and #impact #social development.
#innovation #globalhealth All links: http://linktr.ee/alecrimi
Paul Cochrane
Registered:20 Nov 2024 22:02
Follow date:5 Dec 2024 15:16
Last post:4 hours ago
Last like received:2 hours ago
Global Services Manager @ Hyland | Passionate about services, healthcare, digital health, AI & cloud | BSc, PRINCE2, MSP, L6σ Green Belt | Opinions are my own | https://linktr.ee/paulcochrane
Molly White
Registered:23 Apr 2023 23:50
Follow date:5 Dec 2024 11:14
Last post:2 hours ago
Last like given:2 hours ago
Last like received:0 seconds ago
writes citationneeded.news • runs @web3isgoinggreat.com and @followthecrypto.org • tech researcher and cryptocurrency industry critic • software engineer • wikipedian
support my work: citationneeded.news/signup
links: mollywhite.net/linktree
💗💜💙
Meredith Whittaker
Registered:1 May 2023 20:26
Follow date:5 Dec 2024 11:14
Last post:6 days ago
Last like given:21 hours ago
President of Signal, Chief Advisor to AI Now Institute
Paris Marx
Registered:27 Apr 2023 14:54
Follow date:5 Dec 2024 11:14
Last post:5 hours ago
Last like given:5 hours ago
Last like received:10 minutes ago
i criticize the tech industry
🎙️ @techwontsave.us
📬 https://disconnect.blog
📖 https://roadtonowherebook.com
Kate Starbird
Registered:1 May 2023 14:25
Follow date:5 Dec 2024 11:14
Last post:17 hours ago
Last like given:2 hours ago
Last like received:1 hour ago
Researcher of online rumors & disinformation. Former basketball player. Prof at University of Washington, HCDE. Co-founder of the UW Center for an Informed Public. Personal account: Views may not reflect those of my employer.
Erin Kissane
Registered:25 Apr 2023 23:43
Follow date:5 Dec 2024 11:14
Last post:18 minutes ago
Last like given:18 minutes ago
Last like received:59 seconds ago
Making and mending networks and knowledge. Working and thinking at wrecka.ge, building at Unbreaking.org.
Cofounded the Covid Tracking Project, previously OpenNews, old web nonsense.
Karla Ortiz
Registered:3 May 2023 00:56
Follow date:5 Dec 2024 11:14
Last post:20 hours ago
Last like given:30 minutes ago
Last like received:4 hours ago
Karla is a Puerto Rican artist who loves to paint and draw. Karla works on Films (MCU, ILM,HBO), Games, TV, Covers, Fine art, etc. She is also a passionate advocate for better artist industries+ rights. Opinions are her own. ✌️
www.karlaortizart.com
danah boyd
Registered:29 Apr 2023 23:27
Follow date:5 Dec 2024 11:14
Last post:21 hours ago
Last like received:1 hour ago
STS researcher who likes to look at things sideways. Founded Data & Society.
Topics: Census | Youth | Data | Society
Professor of Communication, Cornell
https://made-not-found-by-dana...
404 Media
Registered:21 Aug 2023 15:29
Follow date:5 Dec 2024 11:14
Last post:49 minutes ago
Last like given:3 hours ago
Last like received:29 seconds ago
it's a website (and a podcast, and a newsletter) about humans and technology, made by four journalists you might already know. like and subscribe: 404media.co
jennifer uncoolidge
Registered:24 Apr 2023 22:40
Follow date:5 Dec 2024 11:14
Last post:40 minutes ago
Last like given:26 minutes ago
Last like received:12 seconds ago
Historian of technology & dad joke aficionado who lived w/a great little gray rabbit until recently (RIP).
I won’t share AI generated content, except to critique it.
In person I’ll be wearing a KN95. If you care about me put one on too.
www.marhicks.com
Justin Hendrix
Registered:28 Apr 2023 00:53
Follow date:5 Dec 2024 11:14
Last post:3 hours ago
Last like given:15 hours ago
Last like received:45 minutes ago
Concerned with tech, media and democracy. CEO & Editor at Tech Policy Press. Research & Adjunct Professor at NYU Tandon School of Engineering. Opinions mine.
Joseph Cox
Registered:3 May 2023 14:08
Follow date:5 Dec 2024 11:14
Last post:1 hour ago
Last like received:2 minutes ago
Hacking/crime/privacy journalist. Author of DARK WIRE, buy here: https://www.hachettebookgroup.... Co-founder of 404 Media. Signal: joseph.404 Email: joseph@404media.co
Margaret Mitchell
Registered:28 Apr 2023 17:01
Follow date:5 Dec 2024 11:14
Last post:1 hour ago
Last like given:1 hour ago
Last like received:13 minutes ago
Researcher trying to shape AI towards positive outcomes. ML & Ethics +birds. Generally trying to do the right thing. TIME 100 | TED speaker | Senate testimony provider | Navigating public life as a recluse.
Former: Google, Microsoft; Current: Hugging Face
Alice Wong
Registered:19 Aug 2023 03:32
Follow date:5 Dec 2024 11:14
Author, editor, activist, cat lover. Founder of the Disability Visibility Project.
#DisabilityJustice feed I created:
https://bsky.app/profile/did:p...
More about me
https://linktr.ee/disability_v...
Hypervisible
Registered:11 Apr 2023 19:57
Follow date:5 Dec 2024 11:14
Last post:2 hours ago
Last like given:1 hour ago
Last like received:28 seconds ago
Every future imagined by a tech company is worse than the previous iteration…or something like that.
Emily M. Bender
Registered:4 May 2023 03:28
Follow date:5 Dec 2024 11:14
Last post:58 minutes ago
Last like given:38 minutes ago
Last like received:14 seconds ago
Nathan Schneider
Registered:20 Apr 2023 14:37
Follow date:5 Dec 2024 11:14
Last post:13 hours ago
Last like given:13 hours ago
Last like received:4 hours ago
Teaching and writing media studies at CU Boulder. Helping to build a cooperative fediverse with Social.coop. Fan of democratic experiences and divine mysteries. Co-leading metagov.org, start.coop, wagingnonviolence.org.
Brian Merchant
Registered:28 Apr 2023 01:24
Follow date:5 Dec 2024 11:14
Last post:26 Feb 2026
Last like given:23 hours ago
Last like received:11 hours ago
author of Blood in the Machine, tech writer, luddite
newsletter: https://www.bloodinthemachine....
books: https://www.hachettebookgroup....
kofi link: https://ko-fi.com/brianmerchan...
Dr Abeba Birhane
Registered:3 May 2023 17:13
Follow date:5 Dec 2024 11:14
Last post:54 minutes ago
Last like given:52 minutes ago
Last like received:11 minutes ago
Founder & PI @aial.ie. Assistant Professor of AI, School of Computer Science & Statistics, @tcddublin.bsky.social
AI accountability, AI audits & evaluation, critical data studies. Cognitive scientist by training. Ethiopian in Ireland. She/her
Rest of World
Registered:4 May 2023 15:55
Follow date:5 Dec 2024 11:14
Last post:3 hours ago
Last like received:6 seconds ago
We're a nonprofit publication covering global technology outside the West.
✉️ Sign up: https://restofworld.org/newsle...
Ethan Zuckerman
Registered:27 Apr 2023 18:02
Follow date:5 Dec 2024 11:14
Last post:24 hours ago
Last like received:15 hours ago
UMass Amherst, Initiative for Digital Public Infrastructure, Global Voices, Berkman Klein Center. Formerly Center for Civic Media, MIT Media Lab.
Caroline Sinders
Registered:16 Apr 2023 01:05
Follow date:5 Dec 2024 11:14
Last post:28 Feb 2026
Human rights centered design, art, and policy
https://www.convocation.design...
Executive Director @cordlabs