Profile avatar
felipe.rs
SWE @ dbt Labs. Past: SDF, VoDa, Spotify. Apache Arrow/Databases/Compilers/DistSys. Rust/C++/OCaml/TLA+. 🇧🇷 → 🇸🇪 → 🌎 http://bento.me/felipe / https://felipe.rs
807 posts 1,365 followers 463 following
Regular Contributor
Active Commenter
comment in response to post
This is better than any AI announcement
comment in response to post
agora vc pode dizer “me sinto dentro de um filme” como todo turista em NYC 2x
comment in response to post
macOS suggested a Force Quit
comment in response to post
Of course this isn't easy because the structure makes it really hard to divert resources from the "current thing" to the next "uncertain thing".
comment in response to post
At least the second one deserves it.
comment in response to post
"Art of the Deal" didn't survive the basic game theoretical reality of how negotiations work. It stops working when the opponent knows that is your strategy.
comment in response to post
Similar take from in my blog 😃 felipe.rs/2024/04/08/r...
comment in response to post
What does "learning chatgpt" even means? Isn't the point of AI that we don't have to do anything?
comment in response to post
Apple Intelligence
comment in response to post
planning life is hard with ADHD
comment in response to post
Some humans still insist on writing code by thinking and they write typos in comments sometimes.
comment in response to post
This is code written by organic humans, its imperfections are what sets it apart.
comment in response to post
This is specially true after the saying has been used as a sales tactic for so long.
comment in response to post
The dramatic lighting on that one makes the resemblance very striking.
comment in response to post
I used Hibernate as well. 😥 Now anything that generates SQL for you (e.g. jooq) may be called an ORM. Even when they fully expose the relational nature of the database operations.
comment in response to post
It's on my list since its release. I will watch this one in the living room with pop corn and all.
comment in response to post
I think the difference is that SomeOtherTemplate also comes as a generic parameter.
comment in response to post
Things are easier for the C++ compiler because templates aren't type-checked. The Rust solution seems to be macros which are naive-ish like C++ templates. 🙃
comment in response to post
It’s OK to appreciate very different takes on a technical problem. Rust is a beautiful solution in a vast solution space that is programming language design.
comment in response to post
I tried emacs before transitioning to vim and never went back. Does that make me trans-textual?
comment in response to post
Do you mean in another thread? Because I don’t think it can interrupt any C function while it’s running.
comment in response to post
This manifesto was a confession of fascism tendencies. Insufferable indeed.
comment in response to post
Apple will withdraw the ability for U.K. users to sign up for ADP. Since they can’t turn off ADP for existing users, those users will still have it. But eventually they intend to “provide guidance” to those users, which I imagine means a choice of turning it off manually or losing their backup data.
comment in response to post
No more quotes, this is me: This will not affect: iMessage encryption iCloud Keychain FaceTime Health data These will remain end-to-end encrypted. Other services like iCloud Backup and Photos will not be end-to-end encrypted without ADP.
comment in response to post
TS is an interesting example because all the people coming from C++/Java/C#/... complaining about JS not having types would never suggest a type system like the one TS adopted (gradual). They couldn't see the value of dynamic type checking and how to impose types w/o restricting it too much.
comment in response to post
We can design a web that doesn't need the robustness principle, but the only web that can exist in practice is one that applies it everywhere.
comment in response to post
Systems should be designed to not need the Robustness principle as much. But there’s a limit.
comment in response to post
en.wikipedia.org/wiki/Robustn...
comment in response to post
Depende. O que o datetime significa? É o horário de um evento recorrente (horário de tomar um remédio) ou o instante em que algo aconteceu/acontecerá? Se for o primeiro, mandar em UTC não preserva a intenção.