forsome.xyz
36 following
LightNews LightNews
Don Syme
Don Syme
@dsyme.bsky.social
Gergely Orosz
Gergely Orosz
@gergely.pragmaticengineer.com
Terence Tao
Terence Tao
@teorth.bsky.social
Sebastian Graf
Sebastian Graf
@fixpt.de
Microsoft Research
Microsoft Research
@msftresearch.bsky.social
Hugging Face
Hugging Face
@hf.co
Quanta Magazine
Quanta Magazine
@quantamagazine.bsky.social
Lean Focused Research Organization
Lean Focused Research Organization
@lean-lang.org
RE//verse
RE//verse
@re-verse.io
Charles Southerland
Charles Southerland
@proidiot.bsky.social
Jingbo Wang
Jingbo Wang
@jingbow.bsky.social
Swarat Chaudhuri
Swarat Chaudhuri
@swarat.bsky.social
Alexa VanHatttum
Alexa VanHatttum
@avh.bsky.social
Isil Dillig
Isil Dillig
@idillig.bsky.social
Hendrik van Antwerpen
Hendrik van Antwerpen
@hendrik.van-antwerpen.net
Yaron Minsky
Yaron Minsky
@yminsky.bsky.social
Douglas Creager
Douglas Creager
@dcreager.net
Alex Ionescu
Alex Ionescu
@ionescu.bsky.social
silviocesare.bsky.social
silviocesare.bsky.social
@silviocesare.bsky.social
Dave Aitel
Dave Aitel
@daveaitel.bsky.social
Fabian Yamaguchi
Fabian Yamaguchi
@fabsx00.bsky.social
Bas
Bas
@anti.computer
JF Bastien
JF Bastien
@jfbastien.com
OCaml
OCaml
@ocaml.org
Tien Chih
Tien Chih
@tienchihmath.bsky.social
Steven Strogatz
Steven Strogatz
@stevenstrogatz.com
Grant Sanderson
Grant Sanderson
@3blue1brown.com
Rev. Dr. Everett Howe
Rev. Dr. Everett Howe
@ewhowe.com
Jeremy Kun
Jeremy Kun
@jeremykun.com
Hillel
Hillel
@hillelwayne.com
Haroon Meer
Haroon Meer
@haroonmeer.canary.love
Maddie Stone
Maddie Stone
@maddiestone.bsky.social
Mark Dowd
Mark Dowd
@mdowd.bsky.social
Azeria
Azeria
@azeria-labs.com
lcamtuf
lcamtuf
@lcamtuf.coredump.cx
halvarflake.bsky.social
halvarflake.bsky.social
@halvarflake.bsky.social