Felipe O. Carvalho
@_Felipe
@ApacheArrow / Databases / Compilers. SWE @dbt_labs. (past @SDFLabs, VoDa, @Spotify). Rust/C++/TLA⁺🇧🇷 → 🇸🇪 → 🌎 http://bento.me/felipe
How can you be in the ML space and not know Adam?!
Anyone knows adam?
When AI coding tools have negative effects: it's the same phenomena that happens when candidates in job interviews can click a button to run the code. Stuck in a time-consuming loop. Forgetting that stopping and thinking before the next step can save more time.
The thing you have to realize looking at this map: Brazil is huge and this is not a big problem in practice. Compare it to Europe where you travel a couple hours and now even the power sockets are incompatible.
Today in cursed maps:
Periodic reminder that floating point sum is not associative. The order you sum floating numbers affects error accumulation.
Turns out sum() compatibility with SQLite is surprisingly hard! Thanks HFaggs for the fix!
`git fixup` is the missing git command I always needed. I will try `git conflicting` next time I see git rebase conflicts. github.com/dinsandra/git-…
The justification for C++ is much simpler in this case: we already know C++ and learning Rust, to the level that would allow us to do the low-level manipulations that we want to do, would take a lot of time. Plus the antagonism against unsafe in the community.
CedarDB on why they picked C++ over Rust
LLMs are avid documentation readers and that creates a stronger incentive for documentation writing. And humans will benefit without having to read the docs because the agents will match prompt and docs to generate the code.
I’ve been using git add -p for 13 years!
Everyone: GitHub Desktop is better! No, VS Code! Me: ...I just use `git add -p`. Walks you through each change, hunk for hunk, and lets you accept with `y`. It’s like a mini code review before you commit. Pair that with dandavison/delta, and you get syntax highlighting too 👀
Error values instead of exceptions is only superior if combined with a type system that enforces checking. What Go does is the worst of both worlds.
People concluding “this LLM is smarter” for the sole reason that answers to a small set of questions matches their biases, at this point, is beyond stupid. LLMs are a direct result of the training set and they don’t have to be consistent or even partially consistent like humans.
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.
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!
Sorted trees for lower/upper bound queries are severely under-used.