Aaron Eline
@kaijusos.com
was rocketattack on the other place. Heart of gold, jacket of leather. Building products @ AWS - some other stuff like http://maginotline.com & https://www.youtube.com/@kaijusos2146 - also @kaijusos@masto.ai
@loworbittourist.bsky.social
Google Earth is my copilot. Pictures of places I've never been. Hi-res / 4k on tumblr @LowOrbitTourist on Instagram @LowOrbitTourist@pixelfed.fr https://loworbittourist.tumblr.com/
@jeffstein.bsky.social
Reporter at The Washington Post. Listen to my series on John Brown: https://podcasts.apple.com/us/podcast/american-carnage/id1723391781
@nathantankus.bsky.social
President of Notes on the Crises Inc. (crisesnotes.com) Book: [About Undetermined], under contract with Viking Books email: crisesnotes(at)gmail(dot)com Signal: NathanTankus.01 (only for reporting, not reader speculation) https://linktr.ee/crisesnotes
@littmath.bsky.social
Assistant professor (of mathematics) at the University of Toronto. Algebraic geometry, number theory, forever distracted and confused, etc. He/him.
@mcy.gay
a whimsicott crawled into your compiler and got stuck call me miguel. yes! i am a furry! more arts: art.mcyoung.xyz writings: mcyoung.xyz comm info: mcyoung.xyz/comms 📍Seattle, WA
@neilwalkinshaw.bsky.social
Lecturer in Computer Science at the University of Sheffield. Researcher interests in software analysis and testing, and their links to causal reasoning and ML.
@craigdissel.bsky.social
Applied Scientist @ AWS; PhD ‘22 from UC San Diego; he/him. Opinions are my own. PL, Security, and miscellany Mastodon @craigdissel@discuss.systems
@guipsp.bsky.social
PhD Student at the University of Lisbon Working on Static Resource Analysis and Probabilistic Programming Mastadon: @GUIpsp@types.pl Dorothy is my bestie
@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
@erata.bsky.social
PhD student @Yale • Applied Scientist @AWS AI • Automated Reasoning • Neuro-Symbolic AI • Alignment • Security & Privacy • Views my own • https://ferhat.ai
@interlisp.org
Official account of the open source project to preserve, revive, and modernize Medley Interlisp. This extensible graphical operating and programming environment has roots in Xerox's Palo Alto Research Center (PARC). https://interlisp.org
@pdarragh.bsky.social
he/him/his. PhD student in computer science at UMD known for bad food takes. CS interests in PL, CS Ed, SE, and HCI. Mastodon: https://types.pl/@pdarragh
@fasterthanli.me
hi, I'm amos! 🍃 they/them 🫐 open-source goblin and content creator(TM) at @bearcove.eu ✨ be kind, be curious articles: https://fasterthanli.me videos: https://youtube.com/@fasterthanlime podcast: https://sdr-podcast.com work: https://bearcove.eu
@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
@scrabsha.bsky.social
POSIX sorceress by day, Rustacean by night. Weird macros, compilers, functional programming, C.
@tonofcrates.bsky.social
@keleshev.com
Docopt, OCaml programmer, author of Compiling to Assembly from Scratch: https://keleshev.com/cas Copenhagen
@tyoverby.com
Professional OCaml enjoyer. Views expressed therein are also those of your employer.
@larrytheliquid.bsky.social
Formal Methods / Programming Language Theory / Neuro-Symbolic AI ... now working on colimit.io / @colimit.bsky.social
@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
@krismicinski.bsky.social
kmicinski.com Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
@gleam.run
Support Gleam development on GitHub sponsors! https://github.com/sponsors/lpil
@haskell.org
Committed to a welcoming, vibrant & flourishing #Haskell community! Find us on https://haskell.org and https://blog.haskell.org
@wffl.ihatereality.space
@nanami.codes
"that one kotlin girl" | i’m just a cat ᓚᘏᗢ 🎀 | cat mom (Lucy: Bouba Disney ragdoll, Lily: Kiki Ghibli void)
@welltypedwit.ch
When the limestone of imperative programming has worn away, the granite of functional programming will be revealed underneath -Simon Peyton Jones https://welltypedwit.ch
@catsofyore.bsky.social
Hi! I’m Molly Hodgdon. I live in Vermont with my beautiful FIV+ cats Fergus and Francie. Banner photo by W. Eugene Smith. Profile pic is a postcard from my collection mailed 1908. Not a bot. Not selling anything. Just a keeper of forgotten cats.
@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.
@zoozle.bsky.social
🏳️⚧️🏳️🌈 ‹24› ‹it/they› ‹furry› 🔞 game/app developer, designer, and photographer ⤷ 💼 bugwilliamsportfolio.com ⤷ 🔗 linktr.ee/zuuzle
@theabigailthorn.bsky.social
Actress & Writer. Sharako Lohar in HOUSE OF THE DRAGON; Eurus in STAR WARS; Jess in DJANGO; Nocturne in BALDUR’S GATE 3; Hotspur in THE PRINCE; Belle in DRACULA’S EX-GIRLFRIEND. Philosophy Tube & @KillJamesBond ✨👑
@yungchomsky.bsky.social
@astrokatie.com
Cosmologist, pilot, author, connoisseur of cosmic catastrophes. TEDFellow, CIFAR Azrieli Global Scholar. Domain verified through my personal astrokatie.com website. She/her. Dr. Personal account; not speaking for employer or anyone else.
@xkcd.com