I help building the .NET runtime at Microsoft. My tweets are my own opinions and/or shitposts, not the official party line.
Theoretical/computational physicist/astrophysicist. I love space, sci-fi, and a good book.
Logician, category theorist, semanticist. Likes to understand life mathematically, please.
I'm building neural networks that generate provably correct code, and the software infrastructure for training them.
Recently experimenting with TensorType: https://github.com/bgavran/TensorType
www.brunogavranovic.com
Applied Compositional Thinking
🌉 bridged from ⁂ https://mathstodon.xyz/@julesh, follow @ap.brid.gy to interact
Category theory
AI
Political betting
Artist
Grant Writer
🎓 CS Prof at UCLA
🧠 Researching reasoning and learning in artificial intelligence: tactable deep generative models, probabilistic circuits, probabilistic programming, neurosymbolic AI
https://web.cs.ucla.edu/~guyvdb/
me gustan la antropología, los movimientos sociales y ver fulbito
depresed 26 yo mexican gay | philosopher, writer and translator
"He"/"Him" || La Venlafaxina me volvió a hacer metalero || EN, ES || ¯\_(ツ)_/¯
quién es la gente cuando pensamos en la gente.
piensos ñoños de una socióloga estudiando migración y desigualdad en el gabacho | los typos son míos
Mexican dancer who fears the words
Mostly human, only a little machine. Doing my take on @good-faces-bot.bsky.social glorious work but not automatized. A project by @samio.bsky.social
Humanoid anxiety engine. Studied philosophy, with disastrous emotional results. Currently running sick as hell tabletop rpgs and thinking about what can we do about a hostile world and even harsher future.
official Bluesky account (check username👆)
Bugs, feature requests, feedback: support@bsky.app
