@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

@techsavvytravvy.com

sr software engineer @ crunchyroll 🦀🔪 @ crablang winning the fight against Big Outside™ 2024 hellthread heavyweight champion gas station snack enthusiast, father of some, does leetcode problems hardest to easiest, never sleeps, sometimes streams

@hailey.at

eng @bsky.app

@juli.ee

maintains a bunch of projects and people

@rastrian.dev

3 digit IQ master race (132, antifa), polygloth. Ethereal audio engineer (mix/master/design) & software menace engineer, compilers screams at me & autist. #bolhadev #bolhasec #bolhatech Github: github.com/Rastrian Telegram: t.me/Rastrian

@macabeus.bsky.social

@nickgabe.bsky.social

eu faço programa

@noghartt.dev

22y senior swe @ fireflies.ai blog: noghartt.dev github: github.com/noghartt

@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

@adolfont.github.io

Software Engineering researcher; Associate Professor at UTFPR, Curitiba, Brazil. https://adolfont.github.io Posts mostly in English. #ElixirLang enthusiast (I also love #LeanLang, #LuaLang, #Erlang). Podcaster. My podcasts: @redeemilias.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

@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