@randyisrandom.bsky.social

Sigma

@superhacker.bsky.social

Security Engineers -> Software Developer Recently, Competitive programming in #Haskell I’m studying English. [My tech Articles(Translated into English by AI)](https://zenn.dev/sigma_tom) [GitHub](https://github.com/RyosukeDTomita)

Stephen

@sp.degabrielle.name

Cat feeder. London(UK) / Garramilla (Darwin) / Naarm (Melbourne)

Na'aman Hirschfeld

@nhirschfeld.bsky.social

Co-Founder & CTO @ xberg.io. Document AI and extraction, polyglot Rust cores. Building basemind. Creator of Litestar & Polyfactory. Open source. Opinionated and strongly typed.

Mark Piper

@mdpiper.bsky.social

Research software engineer, @csdms.bsky.social: earth-surface processes, numerical modeling, FAIR software. https://www.colorado.edu/instaar/mark-piper Also: Ultimate frisbee enthusiast. Bike commuter. Nerd. 🖖

FRACT

@fract.online

Context-first microblogging app. Simple PR: If you're tired of algorithm noise and AI spam — try FRACT. Jump in: https://fract.online/ GitHub (OS - AGPL v3.0): https://github.com/boomstrickweb/FRACT

mod_poppo

@mod-poppo.bsky.social

Haskell / Standard ML

wasabi

@wasabi315.bsky.social

:: (PhD Student at ScienceTokyo, traP, Haskell, Agda, OCaml) https://wasabi315.github.io/en/

(Sundara (Vishnu)) (Satish)

@svishnus.bsky.social

PhD student in Parallel PL & Systems @nyucourant.bsky.social CS, Math, & Music @umich.edu ‘25

Roly Perera

@dynamicaspects.org

Making software more open, explorable and self-explanatory https://dynamicaspects.org/research Also: subjectivity, agency, active inference, niche construction, enactivism @plrg-bristol.bsky.social @iccscambridge.bsky.social @f.luid.org

Jimmy Miller

@jimmyhmiller.bsky.social

Compiler engineer and co-host of the feeling of computing podcast https://jimmyhmiller.com https://feelingof.com/episodes/

Kristopher Micinski

@krismicinski.bsky.social

kmicinski.com Interested in automated reasoning, static analysis, and logic programming and literally nothing else.

Hila Peleg

@hilacodes.bsky.social

Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her

Alcides Fonseca

@alcidesfonseca.com

Synth-sizing programs. Associate Professor at U. Lisbon. blogs at alcidesfonseca.com

Marcel Goethals

@wolkenmachine.bsky.social

In(ter)dependant researcher and toolmaker. Currently inventing programmable ink @inkandswitch.com Living in Paris http://wolkenmachine.nl

tom larkworthy

@larkworthy.bsky.social

Computers and decentralization.

Kartik

@k4rtik.bsky.social

Compiler Engineer at Quantinuum. Quantum Computation, Programming Languages & Software Engineering. Chicago