Felipe O. Carvalho @_Felipe
@ApacheArrow / Databases / Compilers. (past @SDFLabs, VoDa, @Spotify). Rust/C++/TLA⁺🇧🇷 → 🇸🇪 → 🌎 https://t.co/vxbdByfADI felipe.rs Joined June 2008-
Tweets28K
-
Followers5K
-
Following2K
-
Likes37K
OS kernel vs compute kernels
I wonder how much confusion has resulted over the years from "kernel" meaning "code that runs with the S bit set"(1) to one set of engineers, and "numerically intensive applied math code"(2) to another.
@PavelSnajdr @opdroid1234 "wine works" is not a replacement for Windows that would allow Microsoft to throw Windows away. I hope you are joking.
$MSFT finally adding UNIX commands to Windows because of AI agents is an interesting turn of events. Microsoft could have made Windows more usable BEFORE but they had to wait until computers trained to use computers couldn’t use Windows.
@rachelsousab Muito! E é impossível bloquear. O time de trust and safety não existe mais nessa selva que é o X então fica aí Elon lucrando uma parte do dinheiro dos golpistas.
@kyleanthony Warm gray backgrounds and saturated color elements. We are ready for it!
@Aron_Adler add that on top of all the things that have been sucking out the joy of programming already
@_Felipe "It is a myth that a DBMS operates on data on disk". (A mentor told me this years ago, but I'm sure there are many Stonebraker/Gray/Pavlo quotes to the same effect.)
"Baudrillard claims that current society has replaced all reality and meaning with symbols and signs, and that human experience is a simulation of reality."
The stipend will be the baseline you're expected to spend, but for more tokens you will have to take from your salary.
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.
You put a database on S3, so now every transaction commit is as durable as S3 guarantees it to be? Not necessarily. You put a database on a server, now it allows clients to use in parallel? Not necessarily.
@HoytEmerson With the server as single box/process write-contention point.
@MaineFrameworks @julianhyde Kudos to them coining "Search as Code" as a new term like it is not already known as "querying a database". Databases are really cool and marketing should come up with ways to make it exciting like it deserves to be.
@mholt6 All the AI-generated content needs to be stored somewhere.
Rust keeps the checks in debug builds. So every time you run the debug build, you are testing against UB ever being exercised.
It's a way to telling the compiler about pre-conditions in reverse. The direct way being std::hint::assert_unchecked.
I love this. Rust also has it as std::hint::unreachable_unchecked. If you have another way to prove the branch in indeed unreachable, it allows the compiler to optimize the chain of branches that lead to it.
@curtissummers @ohmypy I wrote a library for generating 64-bit "snowflake ids" that has to deal with all the distributed system pitfalls. gist.github.com/felipecrv/38ce…
@curtissummers @ohmypy This is fine because of the size of UUIDs: 128 bits. You're free from collisions due to randomness. The mutex is necessary to ensure IDs are sorted.
@TheLatamGuy Guys from Rio and Bahia will break your heart no matter where you are coming from.
Gergely Orosz @GergelyOrosz
336K Followers 3K Following Writing @Pragmatic_Eng, the #1 software engineering newsletter on Substack. Author of @EngGuidebook. Formerly Uber & Skype.
Jane Manchun Wong @wongmjane
180K Followers 3K Following “The woman scooping Silicon Valley” — BBC・hacker turned builder, writer & consultant・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 📸 faço umas fotos analógicas (filme) 👨🏽💻 diretor de tecn&dados sp e df.
Adam Rackis @AdamRackis
46K Followers 2K Following Software Engineer. Prev, Riot. TanStack, Next, React, C++ when I'm feeling nasty. Beer, whiskey, coffee snob. Book lover. Jr Developer for life.
Emma Bostian @EmmaBostian
192K Followers 963 Following Engineering Manager @spotify 🇸🇪 American in Stockholm
Erik Bernhardsson @bernhardsson
55K Followers 4K Following Building everyone's favorite AI infrastructure platform @modal
patagucci perf papi @kenwheeler
68K 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
89K Followers 3K Following Adventures in software & design. Founder of @playbit_, designer of Inter, @Figma, @Spotify. Eng & design @Facebook
el hombre pulpo @coproduto
24K 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 333 Following Programador, agilista, escalador, ciclista, motociclista, mecânico amador. Fundei e vendi a Lambda3. As opiniões neste espaço são pessoais.
Fabiano Souza @iamfabiano
5K Followers 667 Following latino & queer ✦ 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. 📚🐛.👇
ramin @rmn
972 Followers 2K Following the Mel Brooks of memory leaks. ex @stockx, @stocktwits, @roverdotcom @hedra_labs
Mats @mats_cgo
234 Followers 2K Following
☯ @zpi314
1 Followers 79 Following
Franklin Homer @ho33519
0 Followers 377 Following
Bryce @bitmoral
13 Followers 2K Following Software Developer | Rust newbie 🦀 | Next.js/Typescript Professional
Fer 🇦🇺🧉 @ferparra
2K Followers 5K Following Growth, Data, Product 🚀 Formerly @pollenizer EstimateOne @Accenture @Microstrategy; @ITBA alumni.
Jeffrey Q Testicle @q_testicle
166 Followers 2K Following
Brent Aquarium @humblyonline
21 Followers 583 Following Wealthy industrialist. I have never been wrong in my life.
amino @aminoid
29 Followers 1K Following
Yawd @el_yawd
450 Followers 552 Following I like computers, computing and everything in between. BTHF! @thamismatos 💍 https://t.co/fWyapDV4ES
Alysson @leastsquared_
1K Followers 8K Following personal account. nlp. ai/ml. optimization. researcher.
job needer :( @kaxsthxbh
12 Followers 157 Following I NEED JOB!!!!!!!!!!!!!!!!!! PLS DM!!!!!!!!!!!!!!!!!!!!!!!!!!! databases, systems, optimization, backend
哈哈聪 @hahacong
1 Followers 2K Following
Dillon @DThorsteinn
42 Followers 1K Following
Thepromisebenard @ThePromiseBenrd
275 Followers 2K Following SoftWare Engineer || And so, we must continue.
Marcelo Penido @MarceloPenidoC
104 Followers 555 Following Falo sobre o que você não enxerga, tentando abrir seus olhos para aquilo que importa.
futile eon @futileeon
14 Followers 805 Following
Thiago Padilha @tarrudap
855 Followers 212 Following Geek, computer programmer, @Neovim founder. https://t.co/AbrmxxCTqR
Lazaro Brito @dev_lazaro
63 Followers 304 Following Rust engineer, backyard philosopher, wandering through the AI gold rush with a husky avatar.
//TODO: fix later �... @enjoyingthewind
791 Followers 8K Following
Ralphael Lundt @RLundt20993
49 Followers 6K Following
cat anthropologist �... @justizin
1K Followers 6K Following Cat Anthropologist. Software Archaeologist. Xoogler, Former AWU Bay Area Organizing Committee They/Them/Y’all. 🏳️⚧️🇵🇸 #BLM, SA ➡️ SF., Problematic fave 🏀⚾️
melanie 🐾 @melacfnn
61 Followers 804 Following 18 🌒 looking for a content partner this week 🌶 only responding here ⬇️
Chris Donnelly @cdonnelly402
6 Followers 431 Following
keenan cresslan @cresslank
73 Followers 4K Following
天宫 @tiangong58
21 Followers 440 Following
Mugenga Benoit @BenoitMuge82073
0 Followers 2K Following
Pawan Wagh @pwnwagh
1 Followers 354 Following Engineering@Wizzer — building AI-native full-stack quant infrastructure.
Mehmet Emin BAŞOĞLU @mebasoglu
45 Followers 769 Following
Edward Snowden @EdwardSnow51339
6 Followers 271 Following Mentally unstable, computer scientist, visual novel enthusiast, audiophile and yuri addict. I use arch, btw.
Douglas @knight_ramza
42 Followers 304 Following
Josh Burgess @_joshburgess
2K Followers 5K Following Programmer into FP, Haskell, Rust, PureScript, OCaml, TypeScript and music (prog rock/metal, jazz fusion), mountains, hiking, grassroots motorsports, etc.
Max 👻 @core_babamars
550 Followers 8K Following Probability. Sports. Europe photography. David Fincher filmography. FIFA & GTA soundtracks. Financial speculation.
Leandro Pereira @leandrocesquini
1K Followers 3K Following Realtime @supabase Building https://t.co/gxrQ6ar5wA (Markdown for Elixir) and https://t.co/FjRoBdaU2W (Syntax Highlighter)
Adrián Delgado @Caritativito
36 Followers 406 Following
Ben @arguableutopia
77 Followers 2K Following
Gabriela Moreira @bugarela
1K Followers 1K Following Building @quint_lang at @informalinc | Born and living in Brazil 🇧🇷
Mandeep @themandeepc
112 Followers 478 Following Building network-based computer use agents @ https://t.co/BuSn10E4gi. Systems engineer and PL enthusiast
Jeff Fang @all2jeff
67 Followers 638 Following
Gergely Orosz @GergelyOrosz
336K Followers 3K Following Writing @Pragmatic_Eng, the #1 software engineering newsletter on Substack. Author of @EngGuidebook. Formerly Uber & Skype.
Paul Graham @paulg
3.1M Followers 790 Following
Jane Manchun Wong @wongmjane
180K Followers 3K Following “The woman scooping Silicon Valley” — BBC・hacker turned builder, writer & consultant・prev: Threads, Instagram, startups
Jaana Dogan ヤナ �... @rakyll
167K Followers 1K Following Software Engineer at Google. Simpler platform, better APIs. Simplicity and optimism. Personal opinions. 🇺🇸🇩🇪
George Hotz 🌑 @realGeorgeHotz
303K Followers 204 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 📸 faço umas fotos analógicas (filme) 👨🏽💻 diretor de tecn&dados sp e df.
Alex Xu @alexxubyte
291K Followers 563 Following Co-Founder of ByteByteGo | Author of the bestselling book series: ‘System Design Interview’ | YouTube: https://t.co/9gPSJSrtPU
Adam Rackis @AdamRackis
46K Followers 2K Following Software Engineer. Prev, Riot. TanStack, Next, React, C++ when I'm feeling nasty. Beer, whiskey, coffee snob. Book lover. Jr Developer for life.
Emma Bostian @EmmaBostian
192K Followers 963 Following Engineering Manager @spotify 🇸🇪 American in Stockholm
François Chollet @fchollet
692K Followers 826 Following Co-founder @ndea. Co-founder @arcprize. Creator of Keras and ARC-AGI. Author of 'Deep Learning with Python'.
Erik Bernhardsson @bernhardsson
55K Followers 4K Following Building everyone's favorite AI infrastructure platform @modal
patagucci perf papi @kenwheeler
68K Followers 4K Following founder @ WheelerDefense, practically irresistible. violently suburban. sealand nobleman. forklift certified. user @openai @meta @netflix
trash @trashh_dev
119K Followers 460 Following i use one password. i like snacks, typescript, anime, pokémon, starcraft, and bjj.
Scott Hanselman 🌮 @shanselman
332K 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
61K Followers 2K Following building @ladybirdbrowser. recovering addict. husband of @katalinkult. uncle. gymnasium brother.
kitze · supermac.io ... @thekitze
101K Followers 916 Following @apple · https://t.co/2lUVc9DzP9 - superpowers for your mac
Andy Pavlo (@andypavl... @andy_pavlo
40K Followers 206 Following Associate Professor of Databases @CarnegieMellon.
Addy Osmani @addyosmani
395K Followers 3K Following Director, @GoogleCloud AI. Gemini ✨ Agents. Prev: Eng. leader, @GoogleChrome • Author • Great user, developer & AI experiences • @GoogleAI @GoogleDeepMind
Jake Archibald @jaffathecake
107K Followers 2K Following Developer of sorts at @firefox. No thought goes unpublished. He/him. Also jaffathecake on Mastodon, bsky, Threads etc.
Cindy Sridharan @copyconstruct
46K Followers 161 Following
Almog Gavra @almoggavra
666 Followers 265 Following building https://t.co/R3TkjZsGvc blogging about databases on https://t.co/tTzUjuZgDz co-founder at responsive • ex-Confluent, ex-LinkedIn
Anita Zsurzsan 🇵�... @iamjourjean
20K Followers 1K Following "Your boos mean nothing, I've seen what makes you cheer" (she/her)
Boring_Business @BoringBiz_
191K Followers 1K Following Nobody asks about your external rate of return
Catherine Liu @CLiuAnon
3K Followers 196 Following Author of Virtue Hoarders. Find me https://t.co/nMF5AXK6GK Class traitors and recovering liberals welcome here.
Ryan Peterman @ryanlpeterman
27K Followers 414 Following Building the podcast & ergonomic keyboard I wish existed • ex-software engineer @instagram, @meta • See what I'm building here ↓
Reiner Pope @reinerpope
18K Followers 458 Following CEO and founder, @MatXComputing, developing high throughput chips tailored for LLMs
Overengineering Studi... @overengstudio
191 Followers 2 Following Overengineering since 2020 @overtone_app
Cohere @cohere
114K Followers 6 Following Own your AI. Empowering enterprises with private, powerful systems and builders with accessible, open-source models.
Layergg @layerggofficial
125K Followers 468 Following Intuitive metrics(VC, Exchange, etc) | The deepest research in Market Trend/Project
Catppuccin @catppuccintheme
3K Followers 65 Following 🎨 Soothing pastel theme for the high-spirited! This community-driven pastel theme aims to be the middle ground between low and high-contrast themes!
Benn Eifert 🥷🏴�... @bennpeifert
120K Followers 1K Following Hedge fund manager (volatility/derivatives), QVR. Personal account. Oathbreaker paladin and Nightreign princess bodyguard. Chief Investment Officer of Antifa.
Dwarkesh Patel @dwarkesh_sp
236K Followers 1K Following Host of @dwarkeshpodcast https://t.co/3SXlu7fy6N https://t.co/4DPAxODFYi https://t.co/hQfIWdM1Un
Mike I Creative Mints @creativemints
16K Followers 207 Following Graphic designer with 20 years of experience / Available for work https://t.co/P1NpJkny6Y https://t.co/cPgwZ3HTPm
Charlie Marsh @charliermarsh
39K Followers 916 Following @OpenAI. Building Ruff, uv, ty, and other high-performance Python tools with the @astral_sh team.
Nihal Pasham @npashi
1K Followers 119 Following 🦀 Rust Tech | @Nvidia | Make general purpose GPU programming accessible 🖖 Disclaimer: The views, opinions expressed are my own (not my employer's)
Emil @EmilASadek
27 Followers 130 Following
Tech At Bloomberg @TechAtBloomberg
19K Followers 350 Following We are engineers and designers, builders and makers delivering unrivaled products and services every day. We have a lot to share and a lot to learn. Join us.
Sai Srirampur @saisrirampur
1K Followers 1K Following Postgres @ClickHouseDB, CEO and Co-founder @PeerDBInc (acq. ClickHouse) . Ex-Microsoft Postgres Team, Ex-Citus Data (acq. Microsoft), IIIT-H Alumnus, He/His
Jared Roesch @roeschinc
2K Followers 824 Following Distinguished Engineer @nvidia; working on Tile IR Prev. Co-founder @octoml. PhD @uwcse. Attempting to write about AI @ https://t.co/toFSukgrzM
Artur Chakhvadze @norpadon
4K Followers 1K Following building tools for fraud, plagiarism, and cognitive offloading @trymirai
Jared Palmer @jaredpalmer
103K Followers 2K Following VP Engineering @XBOX Prev: VP CoreAI @Microsoft. VP of AI @Vercel. Creator of @v0 and @aisdk. Founder of @Turborepo (acquired by Vercel)
John Myles White @johnmyleswhite
27K Followers 99 Following Exploring what’s next. Former engineering director at Meta :: MSL :: PyTorch, Julia core developer and psychology PhD student.
bashbunni @sudobunni
40K Followers 773 Following cashhh me in emacs, how bout da ʕ •̀ ω •́ ʔ coding n stuff | CEO of nothing https://t.co/aFDeQhzw1v https://t.co/9VJ5OByRP4
Robert Clausecker @FUZxxl
2K Followers 291 Following Professional bit shover-arounder. Does unspeakable things with SIMD units. Computers aren't smart, they are just dumb faster.
Paul E. McKenney @paulmckrcu
3K Followers 228 Following
Hoyt Emerson @HoytEmerson
415 Followers 83 Following Data Engineer and content creator. Founder at Early Signal | Technical Content for Data Tech Startups. I love Apache Arrow, DuckDB, Lakehouses and file formats.
sunil pai @threepointone
52K Followers 3K Following 🎈 Entscheidungsproblem. https://t.co/DISzWsXdnE forky mcforkface.
Hunter Leath @jhleath
4K Followers 402 Following the file system company of San Francisco @archildata (YCF24)
Maxime Chevalier @Love2Code
19K Followers 299 Following 💖 ➞ λ: CS PhD, into compiler design, programming languages, music, simulation, ML/AI, robotics. Follow me code code reviews, stock picks and dating advice.
Charles 🎉 Frye @charles_irl
18K Followers 3K Following memer of technical staff at @modal. he/him. ex @full_stack_dl, @weights_biases (acq. @CoreWeave), phd Berkeley @Redwood_Neuro. try https://t.co/SYWVMCb7OB
Bill Pugh @wpugh
2K Followers 2K Following Professor, software developer, maker, mentor, fire eater. Pronouns: he, him, his.
Mark Cusack @markcusack
426 Followers 315 Following CTO@Yellowbrick. Redditch * Brixham * Leeds #lufc * Newcastle * Malvern * San Francisco * San Diego * Raleigh
Henry Zhu @makneee
303 Followers 116 Following
Thales de Mello @thalesmello
207 Followers 1K Following Data Engineer, interested in cooking, programming languages, statistics and Vim.
Lucas Radaelli @lucasradaelli
45K Followers 560 Following Senior software engineer at Google during the day. People call me the Brazilian daredevil, but I still need to learn how to fight.
EVA DRAGAN @EVADRAGAN
15K Followers 1K Following
💻🐴Ngnghm @Ngnghm
2K Followers 327 Following The Swiftian World of Houyhnhnm Computing ("Hunam"). Call me "Ann"—🐎see my blog! More cooperation, less coordination. Alter ego @fare (pol) @phanaero (crypto)
Dieguinho @diegoschueng
187K Followers 855 Following ✨jornalista, especialista em TV e reality show! 🗞️ comentarista e host do @boracomentartv 🔴 +750k no YTube 📧 Publis: [email protected]



























