×
You are not logged in
Bluesky Follows
Carlo A. Furia
Follows by @bugcounting.net
Richard McElreath 🐈⬛
Registered:30 Jul 2023 15:07
Follow date:2 Feb 2026 11:06
Anthropologist - Bayesian modeling - science reform - cat and cooking content too - Director @ MPI for evolutionary anthropology https://www.eva.mpg.de/ecology...
Ken Jennings
Registered:27 Apr 2023 21:46
Follow date:7 Jan 2026 22:05
Your Jeopardy! pal. Author of THE COMPLETE KENNECTIONS (http://bit.ly/4qUcbhK) and a bunch of other stuff.
ISSTA 2026 Conference
Registered:21 Nov 2024 14:18
Follow date:18 Dec 2025 06:56
The 35th edition of the ACM SIGSOFT International Symposium on Software Testing and Analysis
Oakland, USA // 3-9 October 2026
https://conf.researchr.org/hom...
WeRateDogs
Registered:27 Apr 2023 20:42
Follow date:2 Dec 2025 21:32
Your Only Source For Professional Dog Ratings
nonprofit: @15outof10.org ❤️🩹
links.weratedogs.com
Nikolaj
Registered:19 Oct 2024 02:09
Follow date:22 Nov 2025 08:27
Project Gutenberg
Registered:19 Oct 2024 09:33
Follow date:23 Oct 2025 05:50
Project Gutenberg, founded in 1971, is the oldest producer and distributor of free ebooks.
For more information, visit our website at:
https://www.gutenberg.org/
Garry Kasparov
Registered:15 Jun 2023 13:00
Follow date:5 Oct 2025 07:40
Vice-president of the World Liberty Congress. Founder & Chair of the Renew Democracy Initiative. Board of the Human Rights Foundation. Father, activist, author, speaker, 13th World Chess Champion.
Stefan Marr
Registered:11 Nov 2024 20:48
Follow date:1 Oct 2025 10:33
Interpreters, compilation, concurrency, and debugging tools.
Hillel
Registered:4 May 2023 16:54
Follow date:25 Sep 2025 20:39
Formal methods, software history, chocolatiering. DMs open and happy to meet up in Chicago. Currently writing *Logic for Programmers* (out Q2 2026)
Newsletter: https://buttondown.email/hille...
Mike Dodds
Registered:21 Nov 2024 21:22
Follow date:17 Sep 2025 05:52
Formal methods nitwit. https://mikedodds.github.io
AI / math / formal methods paper feed: @ai-fm-papers.bsky.social
AI and Games Conference
Registered:4 Mar 2025 15:08
Follow date:13 Sep 2025 14:53
Bringing together the leading experts in AI for the video games industry.
http://www.aiandgamesconferenc...
AI and Games Conference is organised by Game AI Events CIC: a UK-based non-profit that hosts events for game AI developers in Europe.
rob pike
Registered:13 Jul 2023 09:06
Follow date:4 Sep 2025 06:24
Long career as a dilettante at Bell Labs Research and Google, mostly building weird stuff no one uses, but occasionally getting it right, such as with UTF-8 and Go.
James Brundage | MVP
Registered:8 Aug 2023 15:08
Follow date:4 Sep 2025 06:19
Jack of all Trades, Master of PowerShell.
Prolific Programmer
Microsoft MVP in Azure / PowerShell
https://mrpowershell.com/
https://github.com/StartAutoma...
https://github.com/PowerShellW...
NB, Neurodivergent, Nerdy, Newsjunkie.
Ask me anything.
Mark J. Nelson
Registered:27 Jul 2023 02:26
Follow date:27 Aug 2025 06:33
Comp. sci. prof. @ American University, Washington DC. AI & games researcher with miscellaneous other interests. https://www.kmjn.org/
Andrzej Wąsowski ☑️ 🟥
Registered:18 Nov 2024 15:43
Follow date:18 Jul 2025 12:01
An insolent elitist derogatory fearless context-free professor conjugates a well-typed glass of higher-order prilimubary students. Living in and in-between two […]
🌉 bridged from ⁂ https://social.itu.dk/@Andrzej... follow @ap.brid.gy to interact
daniel:// stenberg://
Registered:7 Jun 2024 16:32
Follow date:11 Jul 2025 13:04
I write curl. I don't know anything.
[bridged from https://mastodon.social/@bagde... on the fediverse by https://fed.brid.gy/ ]
Galois
Registered:28 Nov 2024 03:11
Follow date:9 Jul 2025 21:05
galois.com
For nearly 25 years, Galois has combined mathematical rigor with curious creativity to cut through complexity and guarantee trustworthiness in the world’s most critical systems.
Chris Hayes
Registered:29 Apr 2023 01:20
Follow date:4 Jul 2025 17:36
Bronx boy. Cubs fan. Dad, husband, writer, podcaster and cable news host.
The Sirens’ Call: How Attention Became the World’s Most Endangered Resource out now.
https://sirenscallbook.com/
Lean Focused Research Organization
Registered:14 Feb 2025 23:08
Follow date:23 Jun 2025 17:09
Supporting the Formal Mathematics revolution
Terence Tao
Registered:15 Nov 2024 03:17
Follow date:1 Jun 2025 20:56
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...
Lambda Days
Registered:25 Nov 2024 17:38
Follow date:27 May 2025 20:49
дблп - ☮ Stop the war!
Registered:16 Jan 2025 09:31
Follow date:23 May 2025 12:04
#dblp computer science bibliography
Schloss #Dagstuhl LZI
* Marcel R. Ackermann ~MRA
* Florian Reitz ~FR
* Michael Ley ~ML
#computerscience #research
#opendata #knowledgegraph
We are also on Mastodon: https://mastodon.social/@dblp
Carl T. Bergstrom
Registered:27 Apr 2023 05:59
Follow date:13 May 2025 06:08
Professor, UW Biology / Santa Fe Institute
I study how information flows in biology, science, and society.
Book: *Calling Bullshit*, http://tinyurl.com/fdcuvd7b
LLM course: https://thebullshitmachines.co...
Corvids: https://tinyurl.com/mr2n5ymk
he/him
Bill Gates
Registered:1 May 2025 21:22
Follow date:8 May 2025 21:48
Global Health. Energy Innovation. Alzheimer’s. https://gatesnot.es/tgn
ETAPS conferences
Registered:1 Jan 2025 19:48
Follow date:6 May 2025 17:59
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/
CISPA Helmholtz Center for Information Security
Registered:4 Apr 2025 12:12
Follow date:2 May 2025 10:49
The CISPA Helmholtz Center for Information Security is a German national Big Science Institution within the Helmholtz Association. We research information security in all its facets.
https://cispa.de/en/data-priva...
Jim Larus
Registered:17 Nov 2024 22:07
Follow date:29 Apr 2025 20:32
Retired EPFL CS professor/dean.
Retired Microsoft researcher/manager.
Time to do something new….
Ron Garcia
Registered:3 Jul 2023 05:31
Follow date:29 Apr 2025 19:37
Transmogrifying coffee into LaTeX, but now more grumpy and slow about it. University of British Columbia Computer Science
SE4FP Workshop
Registered:10 Apr 2025 20:00
Follow date:16 Apr 2025 20:49
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 Language
Registered:28 Jun 2023 20:17
Follow date:6 Apr 2025 07:52
A programming language empowering everyone to build reliable and efficient software.
Website: https://rust-lang.org/
Blog: https://blog.rust-lang.org/
Mastodon: https://social.rust-lang.org/@...
Nina Jankowicz
Registered:29 Apr 2023 14:32
Follow date:1 Apr 2025 20:30
🙅🏻♀️ Author (2 books & The Wayfinder newsletter), disinformation expert, advocate for targets of online abuse.
☀️ CEO, @americansunlight.org
😆 Tucker Carlson once called me a “highly self confident young woman” and meant it as an insult
Joshua Bloch
Registered:17 Nov 2024 07:10
Follow date:29 Mar 2025 07:45
Effective Java author, API Designer, CMU Prof, Swell guy.
Università della Svizzera italiana
Registered:17 Mar 2025 11:11
Follow date:25 Mar 2025 09:39
Official profile of Università della Svizzera italiana (USI). News and event from our campuses and beyond.
Profilo ufficiale dell'Università della Svizzera italiana (USI). Notizie ed eventi dai nostri campus e oltre.
Mohammad Rezaalipour
Registered:24 Mar 2025 14:23
Follow date:24 Mar 2025 16:02
Postdoc @unipassauresearch.bsky.social
PhD in Informatics from @usi.ch
Homepage: mohrez86.github.io
LinkedIn: https://www.linkedin.com/in/m-...
Mastodon: https://mastodon.acm.org/@mohr...
X: https://x.com/mohrez2019
Barack Obama
Registered:20 Mar 2025 16:38
Follow date:23 Mar 2025 22:08
Dad, husband, President, citizen. barackobama.com
evacide
Registered:30 Apr 2023 00:54
Follow date:22 Mar 2025 21:39
Director of Cybersecurity @eff.org
Co-founder of @stopstalkerware.bsky.social
These opinions are my own, not my employers’
I did a TED talk once
Valentin Wüstholz
Registered:4 Mar 2025 09:58
Follow date:19 Mar 2025 21:25
Principal Researcher and Co-founder at Diligence Security, previously at Consensys, ETH Zürich, UT Austin, Microsoft Research, and Google
Software Institute
Registered:13 Mar 2025 12:00
Follow date:13 Mar 2025 21:49
A center of excellence in software education, research, and development
USI Faculty of Informatics
Registered:12 Mar 2025 17:00
Follow date:13 Mar 2025 20:18
News and events from the Faculty of Informatics of the Università della Svizzera italiana (USI) - Lugano, Switzerland
Einar Broch Johnsen
Registered:27 Feb 2025 14:56
Follow date:27 Feb 2025 21:52
Prof CS University of Oslo
https://ebjohnsen.org
Andrea Bombarda
Registered:27 Feb 2025 14:55
Follow date:27 Feb 2025 21:52
Junior Assistant Professor (RTD-A) at the University of Bergamo working on Software Testing and Software Engineering for medical software and systems
Webpage: cs.unibg.it/bombarda/
Informatics Europe
Registered:3 Feb 2025 08:46
Follow date:21 Feb 2025 21:59
Official Bluesky Account of Informatics Europe
🔊 We are the European Voice of Informatics Research and Education, representing the academic and research community in Informatics in Europe. 🌍
🔗https://www.informatics-europe...
depths of wikipedia
Registered:27 Apr 2023 20:15
Follow date:19 Feb 2025 21:52
hi i'm @annierau.bsky.social i love wikipedia! dm submissions if you want :-)
Hamza Remmal
Registered:4 Jan 2025 09:20
Follow date:19 Feb 2025 21:50
Scala Days
Registered:3 Dec 2024 16:22
Follow date:18 Feb 2025 21:57
Time to meet again
Jahrim Gabriele Cesario
Registered:20 Jan 2025 18:44
Follow date:10 Feb 2025 17:35
PhD Student in Programming Languages at the University of St. Gallen (HSG)
Gregory Gay
Registered:23 Jan 2025 11:32
Follow date:23 Jan 2025 21:53
Associate Professor (Chalmers and University of Gothenburg), mostly working on software testing.
American living in Sweden.
Sometimes gaming journalist.
70% composed of memes.
More on my work at http://greggay.com
Catherine Rampell
Registered:29 Aug 2023 00:49
Follow date:21 Jan 2025 07:09
Economics editor at The Bulwark. MS NOW (formerly MSNBC) anchor.
Previously WaPo op-ed columnist and NYT reporter.
Econ, politics, immigration, tax, etc. + occasional theater nerdery.
Guido Salvaneschi
Registered:19 Jan 2025 11:42
Follow date:19 Jan 2025 22:09
Prof. University of St.Gallen, Director at the Institute of Computer Science. Programming languages, software engineering, cybersecurity
Randall Munroe
Registered:27 Apr 2023 20:54
Follow date:18 Jan 2025 09:01