Pedro Tavareλ @ordepdev
I really try to make functions pure, one at a time. Avid reader and @pwlporto organizer. ordep.dev 🇵🇹 🏴 Joined May 2017-
Tweets4K
-
Followers1K
-
Following467
-
Likes12K
@AntithesisHQ @SanjayNadaraja I’m already running the skill with hegel-java, ahah. This looks awesome folks, thanks!
I’m so glad I’ve been vacationmaxxing around Eastern Europe these past few months and getting a break from all this bullshit.
They both think this is some kind of flex.
@sudo_goreng What about companies with real customers that, instead of improving the things customers complain about, are more interested in playing the AI game?
Customers want useful features, great UX, superb reliability, and fair pricing; they don't give a fuck if you're tokenmaxxing, they don't even care whether it's a human or a robot writing your code.
Rules for engaging code reviews: > be direct > reject ceremony > praise good work > demand evidence > question complexity
What a time to be a software engineer; I can finally justify the time I spend exploring edge cases and introducing new ways of testing codebases.
I'm tokenmaxxing with the ensemble workflow.
@thoughtlesslabs Yeah, let's just shut down the internet already, it's over.
Unless I'm actually trying to find something, what's even the point of looking at the git log?
@ecommerceshares The world is healing.
In corporate lingo, "I took responsibility and delivered fixes" means you're acting as the ultimate safety net, making you a single point of failure.
@sudo_goreng You need to see a lot of awful stuff, agree that it's simply awful, and do better. People who don't develop that still have bad taste, even with a lot of experience.
Hard disagree. Good taste is a lot more than just experience. There are a ton of experienced engineers with bad taste, and adding more experience won't simply change that.
Database internals are such a cool thing to talk about. I gave a talk about Merkle trees in 2019, and I thought I was talking about something so old that no one cared about it. Fast-forward to 2016, and they're still rocking!
Merkle trees are everywhere: - ZFS uses them to detect data corruption - Git uses them to verify repo integrity - Cursor uses them for codebase sync - Bitcoin uses them for transaction verification Talked through how they work on the latest database stream.
Shameless plug. youtu.be/AEtXHTGEweg?is…
Carlos Baquero @xmal
3K Followers 4K Following Professor @feup_porto and researcher @inesctec. Distributed Systems and Data. Co-creator of CRDTs. Still searching for unknown unknowns
Ricardo Paiva @ricardoccpaiva
591 Followers 683 Following Engineering Manager @ Salsify Creator of https://t.co/vZC66SLssZ
Sourabh Choraria @choraria
2K Followers 1K Following 🤓 Spreadsheet nerd 💼 Solutions Architect → @RowsHQ 🏗️ Building → https://t.co/x9nHU6Kxjq, https://t.co/W07xLsp5Ar, https://t.co/4qzcj41DMq
Vitor Enes @vitorenesduarte
515 Followers 305 Following Distributed Systems. CRDTs. Formal Methods. Testing. Rust. Music.
🕹️ Alexander Gal... @emaxerrno
4K Followers 3K Following Founder & CEO of @RedpandaData. Building the Agentic Data Plane - https://t.co/xyvsqqV5OM. 🇨🇴
Bruno Baptista @brunobat_
884 Followers 824 Following Observability for Quarkus at IBM. Opinions are my own.
André Freitas @andrefreitaspt
373 Followers 1K Following From Porto’s specialty cafes to the BJJ mats. 🌊 Full Stack dev crafting Python solutions for the crypto world. 🐍⛓️ Always down for a pour-over or a roll. ☕️🥋
Cammelia divine @killporn6666
13 Followers 2K Following whimsical and wifi-dependent 🧚 always follow back
Sanjay Nadaraja @SanjayNadaraja
240 Followers 1K Following
Iron Fever | DM for k... @iron_fever
111 Followers 997 Following ✝️ https://t.co/vUuUzWpykK automated formal verification of semantic properties for agentic coding honorary american
Rushil Chugh @chugh_rushil
13 Followers 801 Following
Mia Glass @miaglass44xy0
2 Followers 217 Following 🩷 21 ⋆ playful energy ⋆ 🌷 ⋆ DM me 💫 ⋆ dreamy details 🍑
Vahid @Vahiiiiiiiiid
136 Followers 327 Following Senior Android Engineer 🤖 - @Honda | Metal Head 🤟 | Short Story Enthusiast | Neo-Noir 🌃 | Caffeinated AF | Computer Engineering FUM
farsi_rumi @farsi_rumi
0 Followers 2K Following
Patrick Sotiriou @PatrickSotiriou
60 Followers 312 Following Founder & Head of Web Services @ https://t.co/1K5In6ybZq
Diogo Carvalho @Diogomfc1995
1 Followers 13 Following
Rui Fernandes @rmlfernandes
34 Followers 777 Following
Muwaffaq Elbadawi @MuwaffaqBadawi
624 Followers 4K Following Building @MusicTransify 🎧 | C# .NET Engineer
Diogo Monteiro @diogo_monteiro0
3 Followers 25 Following
Alessandro Gambin da ... @z3rocall
267 Followers 3K Following Noah's dad 😻 Nature lover 🌷 Software engineer 👨🏻💻 Pilot 👨🏻✈️ In a timeless discovery journey called life 🏞️
wild cat @linianque
2 Followers 208 Following
zeeshan ameer @zzeeshan_ameer
179 Followers 5K Following Software Engineer,Java, Spring, microservices,Camunda
pierrot! @medoeterno
783 Followers 2K Following The Fool that doesn't belong to this world. ig feixesingular blue thing: fou (standard domain) he/they
Andrea @Kind0_n28e4b
120 Followers 2K Following How am I going to spend Valentine`s Day? Naked, one the floor with a bottle of Captain Morgan in my hand, screaming Adele songs to my cat!
Misha Burmistrov @bazfoobar
1 Followers 88 Following
./miguel.sh @JosRodr63795423
5 Followers 206 Following
Alex Martsinovich @distantprovince
94 Followers 100 Following #ElixirLang Developer 🇨🇦 ✨ InstructorLite 🦔 PostHog SDK 👋 Handwave 🪵 DiscoLog
thoughtlesslabs @thoughtlesslabs
3K Followers 934 Following dad of 2 amazing kids. marketing guy who likes solving problems. love to code poorly. learning to stream. ceo of htmx. opinions are someone else's
Esteban Villalobos @orangyjuice
3 Followers 89 Following
CachorroAzul @cachorroazul84
89 Followers 3K Following Gosto de programação | Avatar criado por catalyststuff - https://t.co/iVkznMbel0
obedient_subpar @OSubpar91654
0 Followers 52 Following
Vibe Coding @vibingwithai
60 Followers 130 Following The go-to newsletter for non-techies ready to turn their expertise into profitable digital products using AI-assisted coding.Stefan @schteppe
4K Followers 2K Following Senior software engineer @StarStable. C++, physics, Jelly Mario, p2.js, cannon.js
!.! @xypyth
44 Followers 7K Following
Monadic Chain @monadicchain
2 Followers 145 Following Distributed systems engineer; currently studying compilers
ludwig @ludwigABAP
47K Followers 2K Following God’s chosen principal engineer. What is impossible for you is not impossible for me.
Beth Winters @WintersBet34760
0 Followers 1 Following
Runé Fernhout @RuneCronje
154 Followers 247 Following
Vladimir @vknez
20 Followers 982 Following
Gergely Orosz @GergelyOrosz
339K Followers 3K Following Writing @Pragmatic_Eng, the #1 software engineering newsletter on Substack. Author of @EngGuidebook. Formerly Uber & Skype.
Gunnar Morling 🌍 @gunnarmorling
69K Followers 297 Following Technologist @Confluentinc · Ex-lead of Debezium · Spec lead of Bean Validation 2.0 · Creator of Hardwood, kcctl, JfrUnit, MapStruct · Java Champion · 🚴
Mitchell Hashimoto @mitchellh
204K Followers 146 Following Creator of Ghostty. 👻 Prev founded @HashiCorp, created Vagrant, Terraform, Vault, and others.
John Carmack @ID_AA_Carmack
2.3M Followers 286 Following AGI at Keen Technologies, former CTO Oculus VR, Founder Id Software and Armadillo Aerospace
Martin Fowler @martinfowler
353K Followers 164 Following Author on Software Development. Works for Thoughtworks. Also hikes, watches theater, and plays modern board games. He/him.
Kelly Sommers @kellabyte
50K Followers 365 Following 🇨🇦 Backend Brat. Distributed Diva. Relentless Learner.
Jaana Dogan ヤナ �... @rakyll
167K Followers 1K Following Software Engineer at Google. Simpler platform, better APIs. Simplicity and optimism. Personal opinions.
ThePrimeagen @ThePrimeagen
367K Followers 1K Following skill issues: 🟩⬛️⬛️⬛️⬛️⬛️(69/420) https://t.co/TYJ6aSq4O0 https://t.co/wQJlh4stsc https://t.co/wxeJWY8LmI
Carlos Baquero @xmal
3K Followers 4K Following Professor @feup_porto and researcher @inesctec. Distributed Systems and Data. Co-creator of CRDTs. Still searching for unknown unknowns
José Valim @josevalim
55K Followers 92 Following Creator of @elixirlang. Chief Adoption Officer at @dashbit, where we build https://t.co/FK8F4URbVG and https://t.co/xncEVrvWml.
Carlos Guimarães Pin... @cgpliberal
84K Followers 2K Following "Se a tolerância nasce da dúvida, que nos ensinem a duvidar dos modelos e utopias, a recusar as profecias da salvação e os arautos de catástrofes."
Ricardo Paiva @ricardoccpaiva
591 Followers 683 Following Engineering Manager @ Salsify Creator of https://t.co/vZC66SLssZ
John Cutler @johncutlefish
117K Followers 10 Following I like the beautiful mess of product development.| newsletter: https://t.co/tCLvCkCdiS
Andy Pavlo (@andypavl... @andy_pavlo
40K Followers 207 Following Associate Professor of Databases @CarnegieMellon.
Cindy Sridharan @copyconstruct
46K Followers 161 Following
Lisbon AI @lisbonai_
742 Followers 37 Following September 23-24, 2026 at the Champalimaud Center for the Unknown, Lisbon. A conference for builders.
Yacine Mahdid @yacinelearning
28K Followers 2K Following (neuro/ai) I make technical deep learning tutorials 👺
The Consensus @theconsensusdev
1K Followers 15 Following on software infrastructure https://t.co/Ihlpr2wTYE
Simon Späti 🏔️ @sspaeti
6K Followers 1K Following Crafting data engineering+ stories. Educator at https://t.co/49Ty3GXSg0 & https://t.co/7r8pihXnG7. Dad, Technical Author, Data Engineer. Neovim & Obsidian. Learning for Life.
Paulo 𝕱idalgo @fidalgo_pt
216 Followers 222 Following 👨💻 Tech founder & engineering leader. Founder @ EthosLink: https://t.co/BU0F4uQNlF • Building Reviato: https://t.co/SzTOwXGTIc
Pedro Domingos @pmddomingos
131K Followers 178 Following Professor of computer science at UW and author of '2040' and 'The Master Algorithm'. Into machine learning, AI, and anything that makes me curious.
notch @notch
3.2M Followers 243 Following Currently working on Levers and Chests, a dungeon crawler roguelike roguelite.
Zed A. Shaw, Writer @lzsthw
19K Followers 446 Following Learn to code at https://t.co/M2PoncbFO6. I stream programming, games, and teach art at https://t.co/a41VlARoyB every day.
NeetCode @neetcode1
56K Followers 1K Following building https://t.co/LEf8SyeJKr / tech & programming on YT / prev updated config files at @Google
Alex Rios (RFC ghost ... @alextrending
1K Followers 317 Following ⛩️ Supreme Leader ⛩️ Author of System Programming Essentials with Go. Posts about Tech Leadership, Go and Zig. Also on bsky: https://t.co/w27mgTLeA8
Luis Batalha @luismbat
40K Followers 409 Following Physicist. Founded @amplemarket, @fermatslibrary, @orankl_inc
thoughtlesslabs @thoughtlesslabs
3K Followers 934 Following dad of 2 amazing kids. marketing guy who likes solving problems. love to code poorly. learning to stream. ceo of htmx. opinions are someone else'sStefan @schteppe
4K Followers 2K Following Senior software engineer @StarStable. C++, physics, Jelly Mario, p2.js, cannon.js
Dioxus 🧬 @dioxuslabs
6K Followers 37 Following Web, desktop, mobile, server functions, all in one codebase. https://t.co/V7HFXretPQ
vaxry @vaxryy
21K Followers 93 Following Either your favorite, or your least favorite desktop Linux developer. I make Hyprland and other stuff.
Satnam Singh @satnam6502
22K Followers 3K Following Punjabi-Scottish-American working at @HarmonicMath. Cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Grummz @Grummz
299K Followers 4K Following Games. Firefall, Em-8ER, OG WoW Team Lead. Diablo 2 Producer, Starcraft.
David Sancho @davesnx
4K Followers 2K Following Open Source UI stuff with OCaml at @ahrefs Made styled-ppx and server-reason-react Working on Reason / Melange / reason-react and co
Celso Martinho @celso
9K Followers 20 Following 👶 From when Mosaic took over Gopher 🏢 VP of Engineering @cloudflare 🦋 https://t.co/Ymq10xTmlO
Ivan Prisyazhnyy @joh... @JohnKoepi
883 Followers 407 Following software engineer, distributed systems, open source, linux, cooking, music, and sports. @discuss.systems, @fosstodon.org
Nicolae Vartolomei @nvartolomei
655 Followers 360 Following distributed systems, data management, and the future of large language models
Dillon Mulroy @dillon_mulroy
32K Followers 4K Following principal engineer @cloudflare • tweets about functional programming, typescript, neovim, & formula 1 • https://t.co/6Vr6DiQUoM • https://t.co/tlUe9v9eZC
sin-ack @traits_reality
1K Followers 100 Following sin-ack@github. An object that sends and receives messages. Software plumber. Use Bazel! Use Gerrit! Working on zigSelf: https://t.co/djGHD2LPIC
Daniel 🦔 @DanielW_Kiwi
4K Followers 3K Following Husband, father and software developer from the bottom of the world in NZ that likes F# a little too much.
IroncladDev @IroncladDev
14K Followers 361 Following Opinionated Texan software engineer who aims to build and share great software with the world • Creator @webtui • I like guns, TUIs, and jiujitsu • ✝
Felipe O. Carvalho @_Felipe
5K Followers 2K Following @ApacheArrow / Databases / Compilers. (past @SDFLabs, VoDa, @Spotify). Rust/C++/TLA⁺🇧🇷 → 🇸🇪 → 🌎 https://t.co/vxbdByfADI
aron @Aron_Adler
3K Followers 3K Following ⊙ functional programming, dependent types. lean4 💜 newbie. love thinking about type systems. jewish. ¬p-zombie.
Palmer Luckey @PalmerLuckey
872K Followers 2K Following I am a technology enthusiast, writer, and modder. Founder of @ModRetro, @Oculus VR, and @Anduriltech. Keeping American superheroes safe with autonomous systems.
💻🐴Ngnghm @Ngnghm
2K Followers 325 Following The Swiftian World of Houyhnhnm Computing ("Hunam"). Call me "Ann"—🐎see my blog! More cooperation, less coordination. Alter ego @fare (pol) @phanaero (crypto)
Michael Drogalis @MichaelDrogalis
3K Followers 476 Following 🔥 Founder @ShadowTrafficIO 📰 Writes about bootstrapping https://t.co/UrFUCR6yxg
Jamie Turner @jamwt
9K Followers 412 Following Co-founder/CEO of @convex. Former Sr. Director/Principal Engineer of Storage & Databases at Dropbox. Shameless startup junkie.
Andreas Kling @awesomekling
62K Followers 2K Following building @ladybirdbrowser. recovering addict. husband of @katalinkult. uncle. gymnasium brother.
Joe Mwangi Mburu (조... @JoeMwangiMburu
761 Followers 3K Following BSc: Industrial Chemistry| MSc: Nuclear Power Plant Engineering | Clean Energy Advocate | Nuclear Energy Enthusiast | Programmer | Photographer
The Institute for Typ... @typememetics
4K Followers 107 Following Truth in types, safety in thought. Advancing the use of type theory as a protective factor against cognitohazard.
Hussein Nasser @hnasr
89K Followers 640 Following Backend and Database Courses https://t.co/Qonec4YftL YouTube https://t.co/FfDg8cnVCI Author of Root Cause https://t.co/x5hQ6JCIcw Engineer @esri
PVLDB @pvldb
6K Followers 10 Following The Proceedings of the VLDB Endowment (PVLDB) RSS Feed: https://t.co/5wEKOfq2OD Bluesky: https://t.co/jULSIiQ5M3
gingerBill @TheGingerBill
15K Followers 1K Following I'm a Ginger thus I have no soul. Creator of the Odin Programming Language https://t.co/LWFCLB39eC Working at @JangaFX on EmberGen/LiquiGen/GeoGen/IlluGen

































