Kevin Bass PhD MS @kevinnbass.bsky.social Building AI for healthcare — Writing book about future of science & tech — Kicked out of TTU med for truth-telling — Words @nypost @newsweek — Remember Charlie Kirk — Here to promote the principles of civilization
John D. Cook @johndcook.bsky.social Mathematician, data privacy consultant
See also @johndcook.mathstodon.xyz.ap.brid.gy
Greg Egan @gregegansf.bsky.social SF writer / computer programmer
Latest novel: MORPHOTROPHIC
Latest collection: SLEEP AND THE SOUL
Web site: http://gregegan.net
Also: @gregeganSF@mathstodon.xyz
Taelin @victortaelin.bsky.social
John Austin @johnaustin.bsky.social Founder of Pontoco and Project Lead for The Last Clockwinder. Engineer, Game Designer, Tea Lover; in no specific order.
Previously: Lead XR Eng at Funomena | Research at Google Brain
@kleptine on the Hellbirdsite
Mads Toftum @q42.bsky.social $dayjob is AWS / DevOps / infosec related
Apache Software Foundation Member (part of root@ many moons ago)
Free time spent on photography and cooking.
@quasi42 in the twitters
@q42 on Flickr.
Robby Raschke @rtr.tombob.com mostly music appreciation, some programming stuff here and there, a bit of systems thinking
Tim O'Reilly @timoreilly.bsky.social Founder & CEO, O'Reilly Media. Doing my best to help good futures happen.
Tim Berners-Lee @timbl.bsky.social Inventor of WWW
Co-founder & CTO Inrupt.com | Lead, Solidproject.org
Co-founder WebFoundation.org & theODI.org
Founder w3.org
My memoir ‘This is for Everyone’ https://thisisforeveryone.timbl.com/
Follow me on Mastodon https://w3c.social/@timbl
John Wiseman @lemonodor.bsky.social Persistent sousveiller. Walt Disney R&D Imagineer. Runs GPSJAM.org. Signal: wiseman.04 https://heavymeta.org
renee french @reneefrench.bsky.social painter, animator, writer/illustrator of books http://reneefrench.tv
Russ Cox @swtch.com
Matt Blaze @mattblaze.org Scientist, safecracker, etc. McDevitt Professor of Computer Science and Law at Georgetown. So-called expert on election security and a few other things. Slow photographer. RF nerd. Occasionally blogs at https://mattblaze.org/blog
Tom Duff @tomduff.bsky.social Retired computer graphics researcher
Grandparent
Musical tinkerer
Pen plotter enthusiast
@TomDuff.mastodon.social
Racket @racket-lang.org Racket is...
* a general purpose language
* compiler, runtime and tools,
* a diverse community
https://racket-lang.org/
Rhombus is a general-purpose programming language that is easy to use and uniquely customizable.
https://rhombus-lang.org
mattparlmer @mattparlmer.bsky.social
dx � @dequis.org @dekisu on birdsight
Anil Madhavapeddy @anil.recoil.org Professor of Planetary Computing at the University of Cambridge @cst.cam.ac.uk, where I co-lead the @eeg.cl.cam.ac.uk and work on computing for global biodiversity and climate change with @conservation.cam.ac.uk.
Homepage at https://anil.recoil.org
Simon Marlow @simonmar.bsky.social I write code, delete email and forget to go to meetings at Meta, mainly on glean.software. Spare time: bikes and mountains.
Tim Holt @timholt.bsky.social Northern English photo/painter chap. Loves Scones. Hates Nazis.
Reels & Stories: Instagram.com/timholt
Matt Parker @eztuary.bsky.social
OCaml @ocaml.org https://ocaml.org
Lawrence Paulson @lawrpaulson.bsky.social Computer scientist with a background in mathematics and logic. Academic researching formal verification technologies and applications. Also in the cesspit
Conor Titania Mc Bride @pigworker.bsky.social I'm a trans-femme poly
Computer Scientist.
Apartheid target. Cardiac outpatient. Hatstand owner. Tomato grower. Doctor Who fan.
I do not trust this place.
@pigworker@types.pl on fedi
Don't call me Sir. Do call me "her" personally, or "them" professionally.
Bartosz Milewski @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
Dan Piponi @dpiponi.bsky.social Disclaimer: My opinions are not my own. They're beamed to me by aliens.
Cody @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
Matthew Green @matthewdgreen.bsky.social I teach cryptography at Johns Hopkins. https://blog.cryptographyengineering.com
karpathy @karpathy.bsky.social AI @ OpenAI, Tesla, Stanford
Meredith Whittaker @meredithmeredith.bsky.social President of Signal, Chief Advisor to AI Now Institute
Yaron Minsky @yminsky.bsky.social Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
KC Sivaramakrishnan @kcsrk.info Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info
Derek Dreyer @herrdreyer.bsky.social Get used to disappointment.
(Opinions are my own and do not reflect the views or opinions of my employer.)
Shriram Krishnamurthi @shriram.bsky.social Brown Computer Science / Brown University || BootstrapWorld || Pyret || Racket
I'm unreasonably fascinated by, delighted by, and excited about #compsci #education #cycling #cricket and the general human experience.
Laurence Tratt @ltratt.bsky.social Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
Jonathan Aldrich @jonathanaldrich.bsky.social Professor at Carnegie Mellon University, working on programming languages and software engineering. Coauthor, Programming Language Pragmatics (videos: https://tinyurl.com/PLP5vids). CTO of noteful.net ACM Publications Board member. He/him.
andrew blinn @disconcision.com https://andrewblinn.com
abstractJuiceFactory
Fernando 🌺🌌 @eudoxia.bsky.social interests: compilers, chemistry, logic, nanofabrication, pharmacology ❧ transhumanist ❧ essays, fiction: borretti.me ❧ code: github.com/eudoxia0 ❧ 🏳️🌈- G @griesemer.bsky.social @griesemer.bsky.social
rob pike @robpike.io Long career as a dilettante at Bell Labs Research and Google, mostly building weird stuff no one uses, but occasionally getting it right, such as with UTF-8 and Go.
Daniel Litt @littmath.bsky.social Assistant professor (of mathematics) at the University of Toronto. Algebraic geometry, number theory, forever distracted and confused, etc. He/him.
Jeremy Kun @jeremykun.com Portland-based mathematician and software engineer. Building a homomorphic encryption compiler at Google.
https://jeremykun.com/linkgraph
https://heir.dev
qntm @qntm.org There Is No Antimemetics Division (https://qntm.org/antimemetics) ~ "Lena" ~ Absurdle ~ HATETRIS ~ many other cool things
Electronic Frontier Foundation @eff.org We're the Electronic Frontier Foundation. We're a nonprofit that fights for your privacy and free speech online. Find all of EFF's social media accounts at eff.org/social.- T Tim Sweeney @timsweeneyepic.bsky.social
Bryan Cantrill @bcantrill.bsky.social Co-founder and CTO of Oxide Computer Company. According to Field of Schemes, "tech exec and Oakland A's fan" -- but more of an Oakland Ballers fan now.
lcamtuf @lcamtuf.coredump.cx Substack: http://lcamtuf.substack.com/archive
Homepage: http://lcamtuf.coredump.cx
Killed by Google @killedbygoogle.com Disappointment as a Service by @codyogden.com (they/he)
👋🔪💀
/etc/motd 🤖 @motd.rusher.com A bot that posts a "message of the day" taken from @jackrusher.com's curated fortune file.
Jack Rusher @jackrusher.com Ex-Bell Labs/AT&T Research'er making art & technology in Berlin.
🐘@jack@jackrusher.com
🐦@jackrusher
Emily @aiju.bsky.social @the_aiju from twitter
Roger Peppe @rog.bsky.social CUE, Go, fiddler, climber, gardener, curry maker.
Paul Jolly @myitcv.io Hacker at https://cuelang.org/. I also post on https://twitter.com/_myitcv and https://mas.to/@myitcv