Felipe O. Carvalho @_Felipe

@ApacheArrow / Databases / Compilers. (past @SDFLabs, VoDa, @Spotify). Rust/C++/TLA⁺🇧🇷 → 🇸🇪 → 🌎 https://t.co/vxbdByfADI felipe.rs Joined June 2008

Tweets

28K
Followers

5K
Following

2K
Likes

37K

Felipe O. Carvalho @_Felipe

3 hours ago

OS kernel vs compute kernels

Keith Adams // Pebblebed @keithmadams

13 hours ago

I wonder how much confusion has resulted over the years from "kernel" meaning "code that runs with the S bit set"(1) to one set of engineers, and "numerically intensive applied math code"(2) to another.

6 1 26 4K 7

0 1 6 335 0

View Details

Felipe O. Carvalho @_Felipe

5 hours ago

@PavelSnajdr @opdroid1234 "wine works" is not a replacement for Windows that would allow Microsoft to throw Windows away. I hope you are joking.

0 0 1 11 0

View Details

Felipe O. Carvalho @_Felipe

7 hours ago

$MSFT finally adding UNIX commands to Windows because of AI agents is an interesting turn of events. Microsoft could have made Windows more usable BEFORE but they had to wait until computers trained to use computers couldn’t use Windows.

Xeno @XenoPanther

2 days ago

Coreutils coming to Windows!

29 51 720 227K 121

4 1 37 3K 3

View Details

Felipe O. Carvalho @_Felipe

5 hours ago

@rachelsousab Muito! E é impossível bloquear. O time de trust and safety não existe mais nessa selva que é o X então fica aí Elon lucrando uma parte do dinheiro dos golpistas.

0 0 2 143 0

View Details

Felipe O. Carvalho @_Felipe

11 hours ago

@kyleanthony Warm gray backgrounds and saturated color elements. We are ready for it!

0 0 1 243 0

View Details

Felipe O. Carvalho @_Felipe

11 hours ago

@Aron_Adler add that on top of all the things that have been sucking out the joy of programming already

0 0 1 213 0

View Details

Julian Hyde @julianhyde

11 hours ago

@_Felipe "It is a myth that a DBMS operates on data on disk". (A mentor told me this years ago, but I'm sure there are many Stonebraker/Gray/Pavlo quotes to the same effect.)

0 1 6 367 0

View Details

Felipe O. Carvalho @_Felipe

14 hours ago

"Baudrillard claims that current society has replaced all reality and meaning with symbols and signs, and that human experience is a simulation of reality."

GURGAVIN @gurgavin

a day ago

VICTORIA SCRET SHARES ARE UP 50% TODAY AFTER THE COMPANY CHANGED IT’S STOCK SYMBOL TO VERY SEXY $VSXY FROM $VSCO BEFORE THE COMPANY ALSO REPORTED EARNINGS EARLIER TODAY

97 124 2K 1.4M 226

0 1 4 738 0

View Details

Felipe O. Carvalho @_Felipe

14 hours ago

The stipend will be the baseline you're expected to spend, but for more tokens you will have to take from your salary.

0 0 2 161 0

View Details

Felipe O. Carvalho @_Felipe

14 hours ago

The solution to employees using too many tokens will be similar to what most companies do regarding food. They don't like giving you food for free even though you need to eat to keep working. The employees will have to pay for the tokens from their salary+stipend.

2 1 5 400 0

View Details

Felipe O. Carvalho @_Felipe

15 hours ago

You put a database on S3, so now every transaction commit is as durable as S3 guarantees it to be? Not necessarily. You put a database on a server, now it allows clients to use in parallel? Not necessarily.

1 0 2 364 0

View Details

Felipe O. Carvalho @_Felipe

15 hours ago

@HoytEmerson With the server as single box/process write-contention point.

0 0 1 357 0

View Details

Felipe O. Carvalho @_Felipe

15 hours ago

@MaineFrameworks @julianhyde Kudos to them coining "Search as Code" as a new term like it is not already known as "querying a database". Databases are really cool and marketing should come up with ways to make it exciting like it deserves to be.

1 0 1 28 0

View Details

Felipe O. Carvalho @_Felipe

a day ago

@mholt6 All the AI-generated content needs to be stored somewhere.

0 0 3 854 0

View Details

Felipe O. Carvalho @_Felipe

a day ago

Rust keeps the checks in debug builds. So every time you run the debug build, you are testing against UB ever being exercised.

0 0 6 437 0

View Details

Felipe O. Carvalho @_Felipe

a day ago

It's a way to telling the compiler about pre-conditions in reverse. The direct way being std::hint::assert_unchecked.

1 0 5 545 0

View Details

Felipe O. Carvalho @_Felipe

a day ago

I love this. Rust also has it as std::hint::unreachable_unchecked. If you have another way to prove the branch in indeed unreachable, it allows the compiler to optimize the chain of branches that lead to it.

Dmitrii Kovanikov @ChShersh

2 days ago

C++ devs love Undefined Behaviour so much, They even made a function to introduce UB on purpose.

34 104 3K 101K 226

4 2 35 7K 14

View Details

Felipe O. Carvalho @_Felipe

a day ago

@curtissummers @ohmypy I wrote a library for generating 64-bit "snowflake ids" that has to deal with all the distributed system pitfalls. gist.github.com/felipecrv/38ce…

0 0 0 87 0

View Details

Felipe O. Carvalho @_Felipe

a day ago

@curtissummers @ohmypy This is fine because of the size of UUIDs: 128 bits. You're free from collisions due to randomness. The mutex is necessary to ensure IDs are sorted.