Oskar Wickström
Software engineer in rural exile. Autonomous and generative testing, PL, web, and more.
wickstrom.tech
@johns.codes
Software engineer @ antithesis Always trying to talk about nix or rust... Blog: Johns.codes
@maggieappleton.com
Design engineer exploring applied AI and hacky prototypes. Adores digital gardening, end-user development, and embodied cognition. Makes visual essays about design, programming, and anthropology. 📍 London 🌱 maggieappleton.com
@hojberg.xyz
Front-End @unison-lang.org (Leading UCM Desktop and Unison Share) https://github.com/hojberg Web: hojberg.dev Writing: https://programming-is-collaboration.com Dance more!
@briangoetz.bsky.social
Java Language Architect at Oracle. Author, Java Concurrency in Practice (http://amzn.to/2nzZnkl). Also, cats.
@lawik.bsky.social
Code creative, 10x talker, Elixir, BEAM, open source/standards/platforms, he/him, part librarian. The stuff: https://underjord.io Elixir shirts: https://oswag.org
@electric-sql.com
Building AI apps. You need sync. https://electric-sql.com - see also @pglite.dev
@axman6.au
Aussie Haskell dev who likes making things go fast. Interested in Cybersecurity and not cybercurrency. HDL dabbler. Also find me on 🦣 @axman6@infosec.exchange
@sandydoo.me
code janitor / big doofus / rust · haskell · elm · nix & everything nice / swe @ cachix.org
@jalonso.bsky.social
Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving. Homepage: https://jaalonso.github.io Sevilla, Spain
@larsalbertsson.se
I help companies extract value from data - https://www.scling.com. Data factory engineer, 1st edition data bard. I passed Debois's test.
@banjotragedy.bsky.social
Static analysis by day, baduk and old-time music by night. Writing compilers to stop the baddies.
@neurocy.bsky.social
🌱 ruining programming forever @ hazel.org 🌱 professoring @ Michigan 🌱 poetry 🌱 dendrites 🌱 immersion 🌱 flowers 🌱 resisting idiocracy https://web.eecs.umich.edu/~comar
@berrettini.bsky.social
Architect, distributed systems and #EDA enthusiast, #DDD advocate, #AWS aficionado Opinions are my own
@danielbachler.de
Head of Engineering at @ourworldindata.org; likes nuanced discourse, weird creatures and programming languages with ADTs
@www.stephendiehl.com
Softwares, maths, physics and bears. https://www.stephendiehl.com/
@sjfloat.bsky.social
Types, Principles, Creation, Humanity Scala's been paying the bills. I respectfully disagree.
@zimbatm.bsky.social
I like to build things. Helping companies adopt #Nix and #NixOS at https://numtide.com
@edwin.type-driven.org.uk
Reader in Computer Science at the University of St Andrews. Will play ukulele for free, will stop for money. Cricket. Go. Woke Prick. He/him. Avatar by Joo (www.siajoohiang.com) https://www.type-driven.org.uk/edwinb/ https://www.lambda-miners.org.uk/
@vanlightly.bsky.social
Researcher, advisor, writer, formal verification eng @ Confluent. Everything data (dist sys, databases, messaging, data eng/analytics). https://jack-vanlightly.com, https://www.hotds.dev Credit: ESO/B. Tafresh
@andreaszeller.bsky.social
Software researcher at https://cispa.de, working on #Fandango, #S3, #FuzzingBook, #DebuggingBook. Testing, debugging, analyzing, and protecting software for a better world. Find me at https://andreas-zeller.info/
@craigalfieri.bsky.social
Autonomous Testing Sherpa & Hypervisor Hype-man 📣 | On a journey to make software/systems testing better one fault at a time.... (Comms are my own)
@norootcause.surfingcomplexity.com
Student of complex systems failures, resilience engineering, cognitive systems engineering. Will talk your ear off about @resilienceinsoftware.org
@jepsen.mastodon.jepsen.io.ap.brid.gy
Breaking distributed systems, one fault at a time. [bridged from https://mastodon.jepsen.io/@jepsen on the fediverse by https://fed.brid.gy/ ]
@marcbrooker.bsky.social
Serverless, databases, and serverless databases at AWS. Views my own. Check out my blog: https://brooker.co.za/blog/
@chrispenner.ca
FP and Programming languages nerd Building the Unison Language & Unison Share 📍Victoria BC 🇨🇦 https://chrispenner.ca
@developsense.bsky.social
@jmct.bsky.social
Director of The Haskell Foundation, former lecturer UMD CS. Jazz, music theory, compilers, privacy and aviation, sometimes I combine them. I can also be found @jmct@types.pl I miss Yorkshire
@gconstantinides.bsky.social
Prof Digital Computation @imperialcollege, Director of the Early Career Researcher Institute. Vice Chair @iclmathsschool. Views own. http://constantinides.net.
@janstette.bsky.social
Long term software developer and data engineer. AI centrist. Norwegian/British. Walthamstow resident on hiatus in Oslo. Father of twins, servant of two cats.
@johnchildren.bsky.social
Software Engineer working on Quantum Computing Web Services. Into Programming Languages, Compilers, Video Games and Anime. GitHub.com/johnchildren
@ryanmarc.us
Assistant professor at UPenn. Database systems. https://RyanMarc.us I'm mostly on Mastodon, https://discuss.systems/@ryanmarcus