_Felipe Profile Banner
Felipe O. Carvalho Profile
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
Don't wanna be here? Send us removal request.
@_Felipe
Felipe O. Carvalho
2 hours
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!.
@_Felipe
Felipe O. Carvalho
4 hours
@kellabyte Sorted trees for lower/upper bound queries are severely under-used.
0
1
7
@_Felipe
Felipe O. Carvalho
4 hours
💯.
@kellabyte
Kelly Sommers
6 hours
People talk about how compsci fails industry. Devs talk about it all the time. Why did I learn all this stuff I don’t use?. I see it the opposite. Industry failed academia by making devs hyper focus on application styles and religious patterns. Data structures make huge impacts.
0
0
4
@_Felipe
Felipe O. Carvalho
12 hours
Sou um contra-exemplo . PHP -> JavaScript -> C++ e Java -> C++, Go e Python -> Rust e Go.
@bmacabeus
macabeus
1 day
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
@_Felipe
Felipe O. Carvalho
3 days
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).
@_trish_xD
trish
3 days
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
@_Felipe
Felipe O. Carvalho
3 days
You would write relatively fast code by default or you end up with slow code. There is no "we will come back and optimize later if necessary". That will never happen, it will just remain slow.
1
2
16
@_Felipe
Felipe O. Carvalho
5 days
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.
@effectfully
effectfully
5 days
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
@_Felipe
Felipe O. Carvalho
6 days
This. 100%.
@peterrhague
Peter Hague
6 days
Ozempic skepticism seems entirely based on the animist-like idea that there is a conservation law for good fortune - all good things must have some equal cost imposed elsewhere. It’s not scientific skepticism, it’s superstition.
0
0
4
@_Felipe
Felipe O. Carvalho
6 days
If I still had mine and I met Bill Gates I would ask him to sign it. Did someone ever do this? 🤨.
@DrFlacker
Dr. Flacker
7 days
Você é velho, mas Velho assim?
Tweet media one
0
0
2
@_Felipe
Felipe O. Carvalho
7 days
It sucks to work on the kernel because you’re trying to convince a man that deals with crazy people every day, that you are not like them.
0
0
7
@_Felipe
Felipe O. Carvalho
7 days
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.
@lauriewired
LaurieWired
8 days
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
Tweet media one
Tweet media two
2
0
30
@_Felipe
Felipe O. Carvalho
8 days
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
@_Felipe
Felipe O. Carvalho
9 days
we are back to the "On Error Resume Next" era of error handling.
1
0
2
@_Felipe
Felipe O. Carvalho
9 days
LLMs by being too local, can't understand that making a change in a library to offset an application bug will also create more application bugs. e.g. it can change your file parser to drop "bogus" data and make a specific application problem go away, but now you get data loss.
0
0
2
@_Felipe
Felipe O. Carvalho
12 days
I’m getting a 100M offer next week.
@npparikh
Neal Parikh
13 days
I mean
Tweet media one
1
0
11
@_Felipe
Felipe O. Carvalho
13 days
Most programmers don’t read good code. They don’t open the code in the standard library of their languages or frameworks they use. AI gives them code they’re immediately interested in, so they read and learn.
1
0
7
@_Felipe
Felipe O. Carvalho
13 days
AI generated code is improving programmers’ skills by forcing them to read great code (for simple problems).
2
1
12
@_Felipe
Felipe O. Carvalho
13 days
Same. I learned the diff between hyphen, en-dash, and em-dash, but now they think I'm a robot.
@ID_AA_Carmack
John Carmack
14 days
I like em dashes, and I hate that some people now take them as evidence of text being AI generated.
0
0
2
@_Felipe
Felipe O. Carvalho
14 days
If you hate Vim users, create a single-line 4MB JSON file and check it into the repo.
4
2
21
@_Felipe
Felipe O. Carvalho
18 days
You have unsafe {}, unreachable_unchecked!(), C calling convention, can allocate uninitialized memory if you want.
0
0
7
@_Felipe
Felipe O. Carvalho
18 days
Atomics and the memory model in Rust follows the C++ Memory Model.
1
0
8