@gasstationmanager.bsky.social
Independent AI Researcher. Blogging at https://gasstationmanager.github.io/ Building stuff at https://github.com/GasStationManager
@adolfont.github.io
Software Engineering researcher; Associate Professor at UTFPR, Curitiba, Brazil. https://adolfont.github.io Post mostly in English. #ElixirLang enthusiast (I also love #LeanLang, #LuaLang, #Erlang). Podcaster. My podcasts: @redeemilias.bsky.social
@jasonrute.bsky.social
AI Researcher @ IBM Research | Former Mathematician/Logician/Data scientist | Building AI for math and reasoning
@aniva.bsky.social
🔗 https://leni.sh, https://pixelfed.social/chrysoberyl 🔧 Researcher in Machine Assisted Theorem Proving in Stanford University Centaur Lab ☯️ Director of NorCal Hakkero Factory No. 1 (I make cosplay props) ❄️ I post both research and cosplay content #pinksky
@petebuttigieg.bsky.social
Husband, dad, veteran, writer, and proud Midwesterner. 19th US Secretary of Transportation and former Mayor of South Bend.
@aoc.bsky.social
Waitress turned Congresswoman for the Bronx and Queens. Grassroots elected, small-dollar supported. A better world is possible. ocasiocortez.com
@bsky.app
official Bluesky account (check username👆) Bugs, feature requests, feedback: support@bsky.app