
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
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
7
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