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
💯.
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
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
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
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
This. 100%.
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
If I still had mine and I met Bill Gates I would ask him to sign it. Did someone ever do this? 🤨.
0
0
2
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
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
we are back to the "On Error Resume Next" era of error handling.
1
0
2
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
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
AI generated code is improving programmers’ skills by forcing them to read great code (for simple problems).
2
1
12
Same. I learned the diff between hyphen, en-dash, and em-dash, but now they think I'm a robot.
I like em dashes, and I hate that some people now take them as evidence of text being AI generated.
0
0
2
If you hate Vim users, create a single-line 4MB JSON file and check it into the repo.
4
2
21
You have unsafe {}, unreachable_unchecked!(), C calling convention, can allocate uninitialized memory if you want.
0
0
7
Atomics and the memory model in Rust follows the C++ Memory Model.
1
0
8