Felipe O. Carvalho @_Felipe
@ApacheArrow / Databases / Compilers. (past @SDFLabs, VoDa, @Spotify). Rust/C++/TLA⁺🇧🇷 → 🇸🇪 → 🌎 felipe.rs Joined June 2008-
Tweets29K
-
Followers6K
-
Following3K
-
Likes42K
Long post. I haven't read it in full, but the description of "decoherence" gives a ton to think about. maevyn.codes/decoherence
@dcolascione Joking about it. Firing health secretaries that were trying to manage the situation. Not providing oxygen tubes to hospitals in need of it. The biggest one was refusing to talk with vaccine labs.
Brazil has 3% of the world’s population but had 15% of the C0VID deaths because of Bolsonar0’s disdain with the people of Brazil. #ElesPodiamEstarVivos
Fighting illegal gold-digging and deforestation at Amazon scale is not easy. An administration that keeps funding environmental policing bodies like IBAMA should continue its work.
Brazil registered the lowest Amazon deforestation rate on record over the past year, allowing President Luiz Inácio Lula da Silva to claim success on a key issue that’s been at the center of his platform bloomberg.com/news/articles/…
@thekitze A financial system and legal system that humans can’t understand and be affected by is a video game.
@AdamRackis @dhh It’s a hyperbole. No one has infinite tokens because thermodynamics runs the universe. You can have virtually infinite tokens.
@CFDevelop If your project is full of trees and memoized functions returning trees, that power of circular structures is justified and results in overall simplification.
Seeing the reasons Anders gave, for choosing Go instead of Rust in the tsc "rewrite" and their porting approach, convinced me Go was a better choice.
Anders Hejlsberg (creator of TypeScript and C#, @ahejlsberg) on two reasons they used Go, not Rust: Me: If you think about Rust, what didn't it have that, if it had it, you would have picked it? Anders: I think there are two things. It doesn't have garbage collection. It's done
@opdroid1234 @GergelyOrosz Unfortunately, I can't retire yet.
@satnam6502 I remember not liking it during my graduation already. Early 2010s.
If building tools and frameworks is so easy (it is) what is the point of building tools for other software engineers instead of doing end-user products already? What kind of tools survive?
@Sc_Meerkat Maximum output, minimum token spend subject to employer incentives. Does more output at a higher token cost get a comp bump?
The solution to employees using too many tokens will be similar to what most companies do regarding food. They don't like giving you food for free even though you need to eat to keep working. The employees will have to pay for the tokens from their salary+stipend.
@thorstenball @fxn @GaurangKaria It's a mixed bag.
@thorstenball @fxn @GaurangKaria I've got acquihired twice in two years and I don't set the hiring bar.
@thorstenball @fxn @GaurangKaria You just moved the review to the interview process.
@oprimodev Ele vai rastrear as balas por Wi-Fi
Gergely Orosz @GergelyOrosz
362K Followers 3K Following Writing @Pragmatic_Eng, the #1 software engineering newsletter on Substack. Author of @EngGuidebook. Formerly Uber & Skype.
Jane Manchun Wong @wongmjane
184K Followers 3K Following “The woman scooping Silicon Valley” — BBC・hacker turned builder, writer & member of technical staff・prev: Threads, Instagram, startups
marcogomes @marcogomes
121K Followers 4K Following gama df; são paulo; new york; viagens 🌎 nerd da periferia do df 🎤 fã de rap 📸 arte: faço fotos em filme e digital👨🏽💻 trab: diretor de tecn&dados sp/df
Adam Rackis @AdamRackis
47K Followers 2K Following Software Engineer. Prev, Riot. @MasterDotDev instructor. TanStack, React, C++ when I'm feeling nasty. Beer, whiskey, coffee snob. Book lover. Jr Dev for life.
Emma Bostian @EmmaBostian
191K Followers 988 Following Engineering Manager @Spotify 🇸🇪 · American in Stockholm
Erik Bernhardsson @bernhardsson
60K Followers 4K Following Building everyone's favorite AI infrastructure platform @modal
patagucci perf papi @kenwheeler
71K Followers 4K Following founder @ WheelerDefense, practically irresistible. violently suburban. sealand nobleman. forklift certified. user @openai @meta @netflix
Sibelius Seraphini @sseraphini
49K Followers 18K Following @woovibr CoFounder/CTO - 10 years building Startups https://t.co/7Rbm0XjdXq
Rasmus Andersson @rsms
93K Followers 3K Following Adventures in software & design. Founder of @playbit_, designer of Inter, @Figma, @Spotify. Eng & design @Facebook
el hombre pulpo @coproduto
25K Followers 3K Following faço código (profissionalmente), faço código (como hobby), construo empresas e falo de tecnologia, ciência e negócios
Giovanni Bassi 🇧�... @giovannibassi
36K Followers 339 Following Programador, agilista, escalador, ciclista, motociclista, mecânico amador. Em sabático. Fundei e vendi a Lambda3. As opiniões neste espaço são pessoais.
Principe do Oceano @rponte
14K Followers 2K Following Príncipe do Oceano, Marajá dos Legados e instrutor na Jornada Dev+Eficiente. Também um dev cansado entusiasta de sistemas distribuídos e "boring techs" ✌🏻
Fabiano Souza @iamfabiano
5K Followers 669 Following leading design @ hook ✦ previously staff designer @spotify
Thiago Ghisi @thiagoghisi
25K Followers 3K Following 🤹♂️ (Former) Director of Eng at @Nubank, @Apple, @AmericanExpress. 🇧🇷 in🗽. I share career growth strategies, leadership insights & my many reads. 📚🐛.👇
Ahmed Lashin @zlashinz
44 Followers 2K Following
clint @_clintharrison
170 Followers 1K Following ☕️🏳️🌈💻 | he/him | trying out mastodon: @[email protected]
Joan @Farrawayfrmhere
198 Followers 4K Following Love me now, Love me never. But if you love me, Love me forever!
Mianlai Zhou @MianlaiZhoy3
55 Followers 1K Following A Catholic, into math, into programming, into philosophy, into languages.
Alfonso @Alfonsonxir
0 Followers 63 Following
RoboDollars @UrMom2College
193 Followers 6K Following
wang @wangzhr4
4K Followers 1K Following Creating the computing engine for next era. Cloud | Backend | Frontend | AI Infra
Suhas Surya @notheng090
1 Followers 193 Following
Andrew Duffy @andreweduffy
238 Followers 917 Following software enjoyer | ex-palantir | stanford '17 | building databases @spiraldb
Home Decor Vision @Decor__World
1K Followers 4K Following Decor ideas that will inspire and delight you every day. Daily Amazon product links with over 4.5 ⭐⭐⭐
... @int_tr_
90 Followers 3K Following Gündemi ve ilgi alanlarımı takip etmek için kullanıyorum. Sık tweet atılmaz, atılırsa da bir süre sonra imha edilir.
Walderbs @deRbYdaEarthMaN
850 Followers 762 Following
Danx @Danx2076839
47 Followers 628 Following
Lock @5pinlock
3 Followers 963 Following
Eduardo Díaz @lnds
3K Followers 3K Following Todo se puede hacer dentro de los límites de la termodinámica y la tesis Church-Turing. 🦋@lnds.net
Ganesh Kudva @KudvaGanesh
11 Followers 328 Following
Goreng @sudo_goreng
3K Followers 409 Following Zoomer SRE @ a social media company and AgentRel (Agentic Relations) @typememetics And most importantly, a follower of Jesus ✝️
Monadic Chain @monadicchain
19 Followers 238 Following Distributed systems engineer; currently studying compilers
Zeeshan Qureshi @zeeshanq
509 Followers 611 Following Engineering @Composio | Prev @Shopify, founder, @getdbt | @UofT 🇨🇦🇮🇳
alias @loadingalias
840 Followers 3K Following Founder @ alias-research | cargo-rail | rscrypto | privacy advocate | Member @ Zed Guild 🦀
Litepen @Litepenco
5 Followers 139 Following
Neculau Francisc @FranciscNeculau
3 Followers 82 Following
Rafael Oliveira @rafaell88
37 Followers 191 Following
Mashuk Jim @mashukjim
496 Followers 1K Following Building apps & games people pay for SWE • shipping in public • real metrics
Shantanu Mishra @shhan_m
1 Followers 116 Following
Raymond Mustang @Raymond_Mustang
0 Followers 336 Following Looking into the heavens for them to look back into me.
analemma @aenalemma
0 Followers 60 Following
Johannes Gmeiner @real_jobier
2 Followers 20 Following
Momo M @sshbeetle
11 Followers 101 Following ai builder, building https://t.co/893AWGcLN2, solane (releasing soon) backend systems at scale, prev Senior SRE/backend at gorgias. paris → shanghai
Bhupathi Guntupalli @bhupathi712
45 Followers 2K Following CS grad | Systems enthusiast Mega Bullish on life.
Danchi @danchi1234
9 Followers 504 Following
Andrii Mishkovskyi @mishok13
333 Followers 472 Following Fascists are killing Ukrainians. putin is Hitler. Every muscovite is responsible for this.
Visesh @viseshrp
120 Followers 2K Following Engineering @SYNOPSYS. @unccharlotte alum. Conference t-shirt collector. ❤️ FOSS, Python and self-hosting. I don't consider myself an anything-ist.
Gergely Orosz @GergelyOrosz
362K Followers 3K Following Writing @Pragmatic_Eng, the #1 software engineering newsletter on Substack. Author of @EngGuidebook. Formerly Uber & Skype.
Paul Graham @paulg
5.4M Followers 806 Following
Jane Manchun Wong @wongmjane
184K Followers 3K Following “The woman scooping Silicon Valley” — BBC・hacker turned builder, writer & member of technical staff・prev: Threads, Instagram, startups
Jaana Dogan ヤナ �... @rakyll
171K Followers 1K Following ML/AI Systems at Google. Simplicity and optimism. Personal opinions. 🇺🇸🇪🇺
George Hotz 🌑 @realGeorgeHotz
303K Followers 202 Following President @comma_ai. Founder @__tinygrad__
marcogomes @marcogomes
121K Followers 4K Following gama df; são paulo; new york; viagens 🌎 nerd da periferia do df 🎤 fã de rap 📸 arte: faço fotos em filme e digital👨🏽💻 trab: diretor de tecn&dados sp/df
Alex Xu @alexxubyte
295K Followers 610 Following Co-Founder of ByteByteGo | Author of the bestselling book series: ‘System Design Interview’ | YouTube: https://t.co/9gPSJSrtPU
Adam Rackis @AdamRackis
47K Followers 2K Following Software Engineer. Prev, Riot. @MasterDotDev instructor. TanStack, React, C++ when I'm feeling nasty. Beer, whiskey, coffee snob. Book lover. Jr Dev for life.
Emma Bostian @EmmaBostian
191K Followers 988 Following Engineering Manager @Spotify 🇸🇪 · American in Stockholm
François Chollet @fchollet
748K Followers 831 Following Co-founder @ndea. Co-founder @arcprize. Creator of Keras and ARC-AGI. Author of 'Deep Learning with Python'.
Erik Bernhardsson @bernhardsson
60K Followers 4K Following Building everyone's favorite AI infrastructure platform @modal
patagucci perf papi @kenwheeler
71K Followers 4K Following founder @ WheelerDefense, practically irresistible. violently suburban. sealand nobleman. forklift certified. user @openai @meta @netflix
trash @trashh_dev
126K Followers 477 Following i use one password. i like snacks, typescript, anime, pokémon, starcraft, and bjj.
Scott Hanselman 🌮 @shanselman
336K Followers 10K Following VP, Member of Technical Staff @ MSFT/GitHub - Code, OSS, STEM, Beyoncé, T1D, #DevRel YouTube/TikTok and listen to the @Hanselminutes tech podcast
Andreas Kling @awesomekling
65K Followers 2K Following building @ladybirdbrowser. recovering addict. husband of @katalinkult. uncle. gymnasium brother.
kitze 🛠️ tinkere... @thekitze
105K Followers 1K Following ⬖ https://t.co/xtPXkQL3aC ⬖ https://t.co/Iw4TIuqTtK ⬖ https://t.co/CM6tdOudN5 ⬖ https://t.co/uOF56sSq7G ⬖ https://t.co/TCvIHPw0C1 ⬖ https://t.co/8nztYWTcsC ⬖ https://t.co/0ZhXAdx3pL
Andy Pavlo (@andypavl... @andy_pavlo
42K Followers 209 Following Database Research @ClickHouseDB. Associate Professor of Databases @CarnegieMellon.
Cassidy @cassidoo
185K Followers 734 Following Making memes, dreams, & software! Sr. Director of Dev Experience at @github. Married to @ijoosong, mom of 2 nerdy babies. She/Her ✝️ Subscribe to my newsletter!
Gülçin Yıldırım ... @apatheticmagpie
5K Followers 5K Following Postgres contributor working @ClickHouseDB, MSc Computer & Systems Eng @TallinnTech , Chair @kadinyazilimci, Founder @divaconference 👩🎤 , @PrahaPostgreSQL 🐘
Kleber Mendonça Filh... @kmendoncafilho
174K Followers 2K Following VINIL VERDE RECIFE FRIO SOM AO REDOR AQUARIUS BACURAU RETRATOS FANTASMAS e O AGENTE SECRETO- Janela Intl de Cinema do Recife.
Biazita Gomes @BiazitaGomes
96K Followers 1K Following Analista política; comentarista de Geopolitica da TVT, especialista em Geopolitica,RI,docência em DH,Direitos humanos internacionais Pix: [email protected]
Ekaeo @Ekaeoq
18K Followers 457 Following Watchmaker with a strong CS background https://t.co/J5ylTJy2bg See my blog for projects: https://t.co/FtNPoC0oq2
André Janones @AndreJanonesMG
1.3M Followers 1K Following 🇧🇷Deputado Federal por Minas Gerais Rede Sustentabilidade-MG
Zeeshan Qureshi @zeeshanq
509 Followers 611 Following Engineering @Composio | Prev @Shopify, founder, @getdbt | @UofT 🇨🇦🇮🇳
Leo Papa XIV @Pontifex_ln
990K Followers 47 Following Optati ingrediamini Summi Pontificis Leonis Papae XIV publicum situm.
key @keythspace
6 Followers 116 Following
ZML @zml_ai
4K Followers 2 Following ZML is an AI engineering lab building the fastest, easiest and most universal inference software on the planet.
Rayon.design @Rayonapp
2K Followers 8 Following Design interiors in your browser. AI handles the grunt work, you keep the taste. Give it a go👇
Peter Allen Webb @PeterAllenWebb
68 Followers 409 Following This is what happens when keeping it real goes kind of okay-ish.
Core @compux72
151 Followers 123 Following "The ones who are crazy enough to think they can change the world, are the ones who do" - Embedded Software Engineer. Anime nerd. Sometimes NSFW
russell @russellromney
520 Followers 4K Following filesystems for agents. build housing. drink kefir
Sam Arch 🇦🇺 @SamArchDB
525 Followers 173 Following PhD Student in Databases @CMUDB with @andy_pavlo, Previously a Compiler Engineer @apple
Alexy 🤍💙🤍 @ChiefScientist
6K Followers 8K Following Ecosystems, @lakesailhq. Cofounder, AI Alliance, GenAI@LF, https://t.co/gVgl0OqOH5 @northeastern, @scalebythebay. Publisher: https://t.co/VG37Z4xowL, https://t.co/tx4mrl2WS8. OSS AI: https://t.co/xghHzIo4CX
Arun Sharma @arundsharma
571 Followers 256 Following Databases | Limited Memory LM | Ranked Choice | Single Dad @ladybugmem @lbugdb
Samarrrtthh @Samarthssrao
124 Followers 644 Following | Engineer | Tinkerer | Building data warehouses for Nissan
Lam Sambert @georgecurtiss
4K Followers 607 Following CEO at @helixdb | YC alum | calisthenics enjoyer 😎 | 🇬🇧| 24 all my takes are satire. Star the GH! https://t.co/dadvr63vpZ
Ion Stoica @istoica05
10K Followers 22 Following Professor at UC Berkeley, co-founder of Databricks, Anyscale, Arena, Conviva.
Diogo Almeida @CompleteSkeptic
156K Followers 78 Following Sane + 🌶️ takes in an insane AI world... AI capabilities researcher: co-created RLHF/ChatGPT @ @openai now trying to right the wrong 🤭 (ceo @typesafeai)
The Food Manufacturin... @TipOfTheBanana
679K Followers 361 Following A deep dive into Food Manufacturing, CPG and anything Food Related | Newsletter Below
ethan @ethandins
161 Followers 108 Following
Konstantin Vinogradov @vinogradovk
2K Followers 4K Following VC investor in Open Source, AI and Infra Software. Chairman @osendowment. KF30 @KauffmanFellows. I am deeply interested in OSS, and I take it seriously
Silicon Data @silicondata
23K Followers 21 Following Revolutionize compute markets through unparalleled data transparency, financial product innovation and market intelligence
wangbin579 @wangbin579
18K Followers 136 Following Expert in tackling complex software challenges, with deep knowledge of TCP, MySQL and PostgreSQL kernels, and a passion for AI, history, math, and physics.
Ozan Erdem @ozanerdem
1K Followers 1K Following Tech Lead @CerebrasSystems. PhD in AI, Satisfiability and Constraint Satisfaction Problems. Tweets don't necessarily represent my employer's opinions.
Zellij @Zellij_dev
3K Followers 34 Following Hi there! I'm Zellij, a terminal workspace with batteries included.
Joe Gibbs Politz @JoePolitz
2K Followers 1K Following When not programming or teaching CS @ucsd_cse, I go to the dog beach. https://t.co/i6J3Qronk4 | https://t.co/Omunb4WqwB | https://t.co/iEAaulUul8
JosH200 @josh_wills
18K Followers 2K Following Engineering at @datologyai; ex-@slackhq. I like Data Loaders and @duckdb.








































