
Felipe O. Carvalho
@_Felipe
Followers
4K
Following
27K
Media
738
Statuses
25K
@ApacheArrow / Databases / Compilers. SWE @dbt_labs. (past @SDFLabs, VoDa, @Spotify). Rust/C++/TLA⁺🇧🇷 → 🇸🇪 → 🌎 https://t.co/vxbdByfADI
Joined June 2008
C++ core. Thin UIs based on in-memory message passing between C++ lib and UI code in Kotlin/Swift/TypeScript.
100% genuine question the answers to which will affect some decisions I make. You are about to build for iPhone and Android but also want to keep the door open to releasing for macOS and Windows. Which tech stack would you choose and why?. Please share for reach.
0
0
3
It’s sad that often the only time people use these operations are through a database query engine. Your app can have range queries too!.
@kellabyte Sorted trees for lower/upper bound queries are severely under-used.
0
1
9
Sou um contra-exemplo . PHP -> JavaScript -> C++ e Java -> C++, Go e Python -> Rust e Go.
O primeiro emprego define bastante a trajetória da vida. Eu trabalho com JS até hoje, pois meu primeiro emprego foi como dev JS. Vários amigos trabalham como dev iOS porque o primeiro emprego deles foi iOS. De forma análoga, o mesmo parece acontecer com advogados, por exemplo.
0
0
1
This can often mean a normal pace click could cause issues when the system is under extreme load (e.g. rustc pegging all the CPU cores).
My friend’s a frontend dev at a startup. Today he got assigned a bug reported by a tester:.“If you click the same button 10 times really fast, the page freezes.”.Bro… who’s out here button-mashing like it’s Mortal Kombat on a website?? 😂.
0
0
2
This helps navigating the literature! I’ve been tempted by Gradual Typing, but implementing it successfully seems to be a huge undertaking and you give up a lot in the process.
Type theory concepts and how important they're for a practical programming language. Absolutely useless:.- Curry-Howard correspondence.- Decidability of type inference.- Decidability of type checking [1].- Principality of typing.- Completeness.- Consistency.- W-types / TT.
1
0
9
It takes strength to understand that you don’t add features to a release candidate. You only fix bugs. Linus is a dick because no one that feels uncomfortable being a dick could be controlling a random group of engineers online the way he does.
New Linux Drama. > Bcachefs (filesystem) wants to be in kernel.> dev pushes PR after merge-window.> claims bugfix, user data at risk.> Linus says nah, that’s a new feature.> HUGE Flamewar begins. tl;dr Bcachefs is not in kernel anymore lol
2
0
30
RT @_Felipe: @TheEduardoRFS reminds of the days you had to type `vector<pair<int, int> >` because the C++ lexer would freak out seeing the….
0
1
0