Andy Pavlo @andypavlo.bsky.social Database Research @ ClickHouse
Associate Prof. of Databases @ Carnegie Mellon.
Lean Focused Research Organization @lean-lang.org Supporting the Formal Mathematics revolution
дблп - ☮ Stop the war! @dblp.org #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
Simon Willison @simonwillison.net Independent AI researcher, creator of datasette.io and llm.datasette.io, building open source tools for data journalism, writing about a lot of stuff at https://simonwillison.net/
Joshua Bloch @joshbloch.bsky.social Effective Java author, API Designer, CMU Prof, Swell guy.
Armin Ronacher @mitsuhiko.at Creator of Flask • earendil.com ♥︎ writing and giving talks • Excited about AI • Husband and father of three • Inhabits Vienna; Liberal Spirit • “more nuanced in person” • More AI content on https://x.com/mitsuhiko
More stuff: https://ronacher.eu/
Antonio Tabet @antoniotabet.bsky.social Porta dos Fundos founder. Actor. Screenwriter. Emmy Academy member. Casting / events: contato@abtcagenciamento.com Ingressos: https://linktr.ee/IngressosPecanha
@hugomarques.dev @hugomarques.dev 🇺🇸 🇧🇷 Senior SWE @Netflix. ex-@AWS and ex-@Twitter.
🤓 Eu escrevo sobre código, RPG e outras nerdisses.
Tutor 🐶 de 🐍 .
As opiniões nesse perfil são apenas minhas.
https://linktr.ee/hellohugomarques
silvio meira @srlm.bsky.social founder: http://cesar.org.br, http://cesar.school, http://portodigital.org, http://tds.company, http://squared.ventures, http://strateegia.digital.
Bluesky @bsky.app official Bluesky account (check username👆)
Bugs, feature requests, feedback: support@bsky.app