Hercules Lemke Merscher
Coding for a living and for fun -- bitmaybewise.com
Backend Engineer at GitLab
@joplinapp.bsky.social
The secure open source note-taking app. Capture your thoughts and access them from any device. joplinapp.org
@caarlos0.dev
Husband; Christian; Works @charm.sh; Creator & maintainer @goreleaser.com; Lifter of heavy circles; Enjoyer of server racks & black screens;
@aripiprazole.dev
i'm an atypical antipsychotic who loves theorem provers - 🖥️ rust 🦀 & ocaml 🐫 - 📖 type theory & hott - 🌝 my name is gabrielle - 🇧🇷 são paulo ⏱️ previously @io_gabx on twitter/x
@steveklabnik.com
#rustlang, #jj-vcs, atproto, shitposts, urbanism. I contain multitudes. Currently in Austin, TX, but from Pittsburgh. Previously in Bushwick, the Mission, LA.
@yminsky.bsky.social
Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
@fronteirases.bsky.social
Podcast (https://fronteirases.github.io/) da Rede Emílias de Podcasts @redeemilias.bsky.social
@philcalcado.com
Headed engineering for companies w/ either millions of users but no revenue or millions in revenue but no users. Now making AI for SWEs not PhDs at http://outropy.ai
@pragmaticengineer.com
Big Tech and startups, from the inside. Highly relevant for software engineers and managers, useful for those working in tech. The #1 technology newsletter on Substack. https://newsletter.pragmaticengineer.com/about
@johncrickett.bsky.social
Author of CodingChallenges.fyi Helping you become a better software engineer through coding challenges that build real applications.
@paperswelove.org
A community of folks into computer science research and using it for great justice. 🌏 https://paperswelove.org 👀 https://pwlconf.org 🦣 https://mstdn.io/@paperswelove 📺 https://www.youtube.com/@PapersWeLove
@crmarsh.com
Building Astral: Ruff, uv, and other high-performance Python tools, written in Rust.
@macgyver.engineer
- https://www.youtube.com/@daniel_romero - https://infoslack.pro
@rafaelponte.bsky.social
Príncipe do Oceano, Marajá dos Legados e antigo @rponte no Twitter. Também sou um entusiasta de sistemas distribuídos e boring techs 😬 Não obstante, um dev cansado na Zup tentando facilitar a vida de devs(as) através da educação. deveficiente.com
@simonwillison.net
Independent AI researcher, creator of datasette.io and llm.datasette.io, building open source tools for data journalism, writing about a lot of stuff at https://simonwillison.net/
@katjastrophic.bsky.social
I do many things, on here I'll try to focus on the more creative ones. Sometimes I have opinions. Gaming: http://twitch.tv/katjastrophic #NazisRaus #FCKAFD
@anthropic.com
We're an Al safety and research company that builds reliable, interpretable, and steerable Al systems. Talk to our Al assistant Claude at Claude.ai.
@rodrigobranco.net
Doutorando em Ciência da Computação - UFMS / Analista Legislativo - TI na Câmara dos Deputados / Linkedin - https://goo.gl/Ujjond / Lattes - https://goo.gl/QYGrwk
@david.sancho.dev
Software engineer at @ahrefs building open source tools with Reason and OCaml — styled-ppx / server-reason-react / reason-react / Reason / Melange
@monad.mom
I code Lean because I love Lean. Lean is my main language. I use Lean for frontend, backend, and math. I just love Lean Charlie. This is my personal account that I post mainly in PT/BR
@chreke.com
Functional programming enjoyer Co-founder of https://functionalsoftware.se Personal website: https://chreke.com Sometimes I write stuff here: https://blog.snork.dev/
@chshersh.com
🧑💻 Senior Software Engineer at Bloomberg using OCaml 🐫 ♾️ Autistic 📽 Content: https://youtube.com/c/chshersh All opinions are my own.
@supergiantgames.bsky.social
Creators of Hades, Pyre, Transistor, and Bastion. Now developing Hades II. · Merchandise: https://supergiant.games/merch · Discord: http://discord.gg/supergiant
@was.tl
Created http://adventofcode.com, http://compute-cost.com, http://anoik.is, http://was.tl/projects/; Principal Architect at https://acvauctions.com
@h.olysh.it
Semi-retired technologist. Did k8s, GCE, gtalk and IE. Figuring shit out. Protect Trans kids 🏳️⚧️. Seattle. Signal: jbeda.99 he/him
@arthursilvasens.bsky.social
@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
@leostera.com
staff eng/pm making dev tools for #ocaml at @tarides.com 💆 mission for 2025: take care of leo 📸 street photographer at photo.leostera.com 📺 watch me code: twitch.tv/leostera 📝 writes at leostera.com 🇦🇷🇸🇪🏳️🌈🖖🏼 he/they #adhd
@realgalego.bsky.social
Top Cloud Computing Voice™ Linkedin 2024 Mais de 20 pessoas impactadas positivamente com meus insights sobre Cloud Computing
@manishgill.bsky.social
Engineering Manager @clickhouse.com | Databases | Kubernetes | http://parallelthoughts.xyz | https://berlinsystems.xyz/ | https://cal.com/manishgill | AI Research @TomTom Delhi raised, Berlin based.
@thorstenball.com
Author of interpreterbook.com and compilerbook.com. Working at Sourcegraph. Previously Zed. Programming where the rubber hits the road. Writing Register Spill at: registerspill.thorstenball.com
@principalengineer.com
Principal Engineer, maker, builder, sometimes manager of Engineers. I like to talk about tech, software, data/AI, startups, on rare occasions economy. Location: 🇨🇭 Languages spoken: English, Swedish, Finnish, German https://www.principalengineer.com
@felipe.rs
SWE @ dbt Labs. Past: SDF, VoDa, Spotify. Apache Arrow/Databases/Compilers/DistSys. Rust/C++/OCaml/TLA+. 🇧🇷 → 🇸🇪 → 🌎 http://bento.me/felipe / https://felipe.rs
@gergely.pragmaticengineer.com
Writing The Pragmatic Engineer (@pragmaticengineer.com), the #1 technology newsletter on Substack. Author of The Software Engineer's Guidebook (engguidebook.com). Formerly at Uber, Skype, Skyscanner. More at pragmaticengineer.com
@coprodu.to
polvo da internet 🐙 dev elixir crio código e empresas cofundador técnico @ cumbuca.com ⫻ internet octopus 🐙 elixir developer building code and businesses technical cofounder @ cumbuca.com