You are not logged in
Bluesky Followers
@
Shrutarshi Basu
Followers of @basus.me
Kiran
Registered:11 Sep 2023 13:04
Programming Languages Researcher https://kirancodes.me
Anna Fore Waymack
Registered:18 Aug 2023 21:26
Feminist, nerd, sailor, gardener, embroiderer, beekeeper. Should be writing. She/her.
Bart Blast
Registered:14 Mar 2025 17:47
Building Hologram, a full-stack Elixir web framework https://hologram.page
krishna
Registered:19 Nov 2024 16:42
Interested in the Philosophy of Science, Logic, and Programming Currently reading Carnap and Hempel
Joel R. Mitchelson
Registered:19 Aug 2024 22:36
Engineer, 3D sensor maker, ponderer of information/nature/brain/economics/society, piano tinkler, and occasional climate data cruncher. Views my own.
proustian.bsky.social
Registered:23 Mar 2025 21:02
๐Ÿซ
Sam Thoyre
Registered:18 Nov 2024 17:29
๐ŸŒ Tech Enthusiast | AI & Dev Tools ๐Ÿ› ๏ธ ๐ŸŽฅ Sharing insights on Next.js, Payload, Supabase, Tailwind, AI, and serverless architecture. ๐Ÿ“บ Watch my tutorials & build with me: https://www.youtube.com/channe...
a public builder
Registered:13 Mar 2025 04:17
doing some experiments to build something in public
Alex
Registered:26 Apr 2023 11:20
friends, ๐Ÿˆ๐Ÿˆโ€โฌ›, distributed systems, ๐Ÿง—๐Ÿฝโ€โ™‚๏ธ java, go, python (wish: lisp/clojure) ๐Ÿคพ๐Ÿฝโ€โ™€๏ธ ๐Ÿ‰ ๐Ÿฅ… ๐Ÿˆ ๐Ÿ€ emacs & vim now: Oracle Cloud past: InfoQ, TestNG, DataStax, Cassandra, RethinkDB
Fabulous Evangelina
Registered:27 Feb 2025 19:18
Nik Swamy
Registered:26 Feb 2025 05:55
I work on Programming Languages at Microsoft Research
Not an AI. Yet.
Registered:23 Nov 2023 20:03
Always make new mistakes. โ€”Ester Dyson
รlvaro Ramรญrez
Registered:24 Aug 2023 06:24
Blogs about #emacs and other stuff at xenodium.com.โ€ฉ Authored plainorg.com and flathabits.com for iOS.โ€ฉโ€ฉLiving in an Emacs buffer somewhere in London. โ€ฉAlso at https://twitter.com/xenodium and https://indieweb.social/@xenod...
techsh.bsky.social
Registered:18 Nov 2024 09:16
John Pearce
Registered:24 Nov 2024 12:16
Writer and environmentalist. Find me on Medium: https://medium.com/@johnpearce... Author of: "The Little Green Book - A Guide to the Green Revolution" โ€œGaia โ€” A Faith for the Futureโ€ โ€œThe Medium Story โ€” The Ultimate Guide to Medium"
Swarat Chaudhuri
Registered:13 Nov 2024 22:51
Professor of Computer Science at UT Austin and Visiting Researcher at Google Deepmind, London. Automated Reasoning + Machine Learning + Formal Methods. https://www.cs.utexas.edu/~swa...
markermak.bsky.social
Registered:7 Feb 2024 13:57
Cody Rivera
Registered:21 Jan 2025 03:46
Ph.D. Student doing verification research, specializing in concurrent and systems code. (he/him)
staphanie.bsky.social
Registered:13 Jan 2025 23:06
Life is to be lived as love is for us all Building a generation with peace and love โค๏ธ
Josh Gancher
Registered:18 Nov 2024 22:26
Assistant Prof @ Northeastern. Formal verification + security + crypto. https://gancher.dev
Maria Antoniak
Registered:26 Apr 2023 15:12
asst prof of computer science at cu boulder nlp, cultural analytics, narratives, communities books, bikes, games, art https://maria-antoniak.github....
ad213312.bsky.social
Registered:16 Mar 2024 16:50
Ferhat Erata
Registered:22 Nov 2024 16:44
PhD student @Yale โ€ข Applied Scientist @AWS AI โ€ข Automated Reasoning โ€ข Neuro-Symbolic AI โ€ข Alignment โ€ข Security & Privacy โ€ข Views my own โ€ข https://ferhat.ai
Hayden Evans
Registered:23 Nov 2024 15:14
Founder of Beam it ๐Ÿ’œ & Rust Rec ๐Ÿฆ€โš™๏ธ I recruit for Elixir, Erlang & Rust Beamrec.com Beamrecjobs.co.uk Need help hiring? Beamrec.com/employers Help with job hunting? Beamrec.com/employability
Gabriela Araujo Britto
Registered:5 Jul 2023 15:04
Rachit Nigam
Registered:11 Aug 2023 17:15
incoming MIT prof. & director of FLAME lab (https://flame.csail.mit.edu/). building new languages and compilers to make hardware design fast, fun, and correct
J. Ryan Stinnett
Registered:7 May 2023 23:45
Exploring how to make programs more malleable and computing more humane | My communities: Malleable Systems, Matrix, Mozilla | He/him
NoFilterGPT AI
Registered:12 Dec 2024 13:06
We allow what ChatGPT doesn't, stay free, stay nofiltergpt.ai ๐Ÿ˜ˆ
Fully Digital Future
Registered:13 Nov 2024 02:37
Your apocalypse buddy! Art, music, news, and links related to science, entertainment, technology, science fiction, and the looming cyberpunk apocalypse. AI is dangerous. The future is frightening. But I'm hopeful and full of love for all humans.
vaibhav sagar
Registered:25 Apr 2023 00:56
future trophy husband disco ๐Ÿชฉ / haskell ๐บ / powerlifting ๐Ÿ‹๏ธ / sci-fi ๐Ÿš€ / scuba diving ๐Ÿคฟ ๐Ÿ‡ฆ๐Ÿ‡บ๐Ÿ‡ฎ๐Ÿ‡ฉ๐Ÿ‡ฎ๐Ÿ‡ณ on gadigal land vaibhavsagar.com instagram.com/vbhvsgr recurse.social/@vaibhavsagar twitter.com/vbhvsgr
๐ŸŽฒ shayan ๐ŸŒ
Registered:29 Nov 2024 11:49
๐Ÿ’ป github.com/massivefermion ๐Ÿ“ธ instagram.com/massivefermion
Healthy Minds and Bodies
Registered:21 Nov 2024 19:03
Welcome to the path of healing your mind, your body, and your soul. We believe your best investment is in your mind and body. Sharing tips, tricks, and ideas to calm the mind, heal the body, and extend our journey in this life.
Gerardo Nunez
Registered:4 Sep 2024 05:10
(Typed) Functional programming enthusiast. Haskell, Purescript. "We act as though comfort and luxury were the chief requirements of life, when all we need to make us happy is something to be enthusiastic about." -- C. Kingsley
Junrui Liu
Registered:12 Nov 2024 02:20
CS PhD student @ UC Santa Barbara, doing program synthesis and verification. https://junrui-liu.github.io/ Opinions are my own.
Oliver Kriska
Registered:23 Aug 2023 11:39
Father, Elixir developer mostly in Fintech/Payments. You want to know something, just ask. Only wrong question is which was not asked. Doing web development almost 20y from Slovakia