Cosmin Lehene
@taylor.town
🐀🐀 🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀 🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀 🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀 🐀🐀🐀🐀🐀 taylor.town 🐀🐀🐀 🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀 🐀🐀🐀🐀🐀🐀🐀 🐀🐀🐀🐀🐀🐀🐀🐀 🐀🐀🐀🐀🐀🐀🐀🐀🐀
@pekkavaa.bsky.social
Avid reader, computer graphics fan and atmospheric jungle beats enjoyer. Demoscene: cce/Peisik. Blog at https://30fps.net/
@abelaer.bsky.social
Emergence and compositionality in complex and living systems || Fellow @emergenceDIEP, University of Amsterdam || prev at MPI Leipzig & Un. of Edinburgh abeljansma.nl
@jalonso.bsky.social
Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving. Homepage: https://jaalonso.github.io Sevilla, Spain
@garymarcus.bsky.social
AI and cognitive science, Founder and CEO (Geometric Intelligence, acquired by Uber). 8 books including Guitar Zero, Rebooting AI and Taming Silicon Valley. Newsletter (50k subscribers): garymarcus.substack.com
@davidcorfield.bsky.social
Philosopher interested in mathematics, especially category theory, and psychoanalysis. Author of 'Modal Homotopy Type Theory: The prospect of a new tool for philosophy' (OUP, 2020) and 'Why do people get ill? (Hamish Hamilton 2007)
@bartoszmilewski.bsky.social
Physicist, mathematician, programmer. "The Dao of Functional Programming" Regularly updated work in progress. PDF on GitHub: https://github.com/BartoszMilewski/DaoFP/blob/master/DaoFP.pdf
@kmett.ai
Founder/Chief Scientist @ positron.ai I like to write about Haskell, category theory, AI, and safety, and a whole lot of low level SIMD stuff for some reason http://calendly.com/ekmett http://github.com/ekmett http://x.com/kmett http://comonad.com/reader
@egrefen.bsky.social
FR/US/GB AI/ML Person, Director of Research at Google DeepMind, Honorary Professor at UCL DARK, ELLIS Fellow. Ex Oxford CS, Meta AI, Cohere.
@tkipf.bsky.social
Research at Google DeepMind. Ex-Physicist. Controllable World Simulators (GNNs, Structured World Models, Neural Assets). 📍 San Francisco, CA
@taliaringer.bsky.social
@petar-v.bsky.social
Senior Staff Research Scientist, Google DeepMind Affiliated Lecturer, University of Cambridge Associate, Clare Hall GDL Scholar, ELLIS @ellis.eu 🇷🇸🇲🇪🇧🇦
@moajohansson.bsky.social
Associate Professor in Data Science and AI at Chalmers University of Technology. Neuro-symbolic AI, AI for maths, a bit of NLP and stir.
@yminsky.bsky.social
Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
@pseudomanifold.topology.rocks
Dad · Geometry ∩ Topology ∩ Machine Learning Professor at University of Fribourg While #geometry & #topology may not save the world, they may well save something that is homotopy-equivalent to it. 🏠 https://bastian.rieck.me/ 🏫 https://aidos.group
@hansmriess.bsky.social
research faculty @gatechengineers ∙ prev. postdoc @DukeEngineering ∙ Ph.D. @PennEngineers ∙ category theory, ML, networks, topology ∙ also on X
@epatters.bsky.social
Applied mathematician and technologist. Research scientist at @toposinstitute.bsky.social
@palcu.net
Member of Technical Staff at @Anthropic.com. Prev Staff SRE @ Google (GCP/GCE) and FDE @ Palantir. Big Matt Levine and Scott Alexander fan. Tweets are meta-post-irony. London. @AlexPalcuie on Twitter
@sjfloat.bsky.social
Types, Principles, Creation, Humanity Scala's been paying the bills. I respectfully disagree.
@julianhyde.bsky.social
On a mission to tame data. (Ex-Google, always ASF, working on something new.)
@satnam6502.bsky.social
Punjabi-Scottish-American husband and father of two, Haskell hacker at Groq, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California http://satnam.raintown.org
@teamtock.bsky.social
Texas mathematician studying applied category theory. Trying to make sense of it all. I'm building a small company called TOCK Analytics, whose concept won an award from the office of Senator Ted Cruz, and is receiving many well wishes. Thank you so much!
@briangoetz.bsky.social
Java Language Architect at Oracle. Author, Java Concurrency in Practice (http://amzn.to/2nzZnkl). Also, cats.
@timothysc.bsky.social
Father, Coach • Slow Rolling Entrepreneur • ex-DE/PE (VMware-Tanzu, Heptio, Red Hat-Openshift) • k8s `OG` + Mesos & Condor Alum • Building superclusters in the sky
@codyroux.bsky.social
Still ultrafinitist, but with a softer side. https://www.kleene.church/ I do the Church of Logic podcast. https://open.spotify.com/show/6vEh6ZpQr1Eoeoz8TbsMKx?si=3-hd-mv3ShGe2LFij4MCIQ
@demofox.bsky.social
Invented spatiotemporal blue noise, created Gigi rapid graphics prototyping & dev platform. https://github.com/electronicarts/gigi 20+ year game dev, and graphics researcher. Currently at EA SEED. Tech blog: https://blog.demofox.org/
@rntz.net
Michael Arntzenius irl. Postdoc at UC Berkeley doing PL + DB + incremental computation. PL design, math, calligraphy, idle musings, &c. rntz.net 🐘 @rntz@recurse.social 🐦 @arntzenius Attempting to use bsky more now that people are showing up.