Gabriela Araujo Britto's Avatar

Gabriela Araujo Britto

@gabritto.bsky.social

software engineer @typescriptlang.org, master's student @ University of British Columbia.

219 Followers  |  558 Following  |  14 Posts  |  Joined: 05.07.2023  |  1.8864

Latest posts by gabritto.bsky.social on Bluesky

I've been trying to push the vscode API in that direction 😅

10.08.2025 13:42 — 👍 2    🔁 0    💬 0    📌 0

it might be a bit boring but better tools for refactoring, type systems and lsp help but I want to know where are all instances of type X constructed, when are they sent across threads, where is field Y read etc. Things that let you plan and execute complex changes on legacy code.

26.07.2025 14:57 — 👍 7    🔁 1    💬 1    📌 0

another day of gopls not letting me do a rename because the file has errors when those errors would be fixed by the rename 🙂

07.08.2025 17:30 — 👍 0    🔁 0    💬 0    📌 0

Anyone who knows the first thing about literary translation knows that direct translations are often impossible, and that creative, nuanced, sympathetic solutions must be found due to unfamiliar idioms, imagery, rhyming schemes, etc while balancing author motifs and style. AI simply can't do that.

07.07.2025 11:22 — 👍 430    🔁 143    💬 12    📌 8

Yeah, I remember we discussed this because someone (you?) had a PR to error on element access on never... But in the end we didn't figure out a way to distinguish between intencional and accidental nevers.

06.07.2025 17:52 — 👍 0    🔁 0    💬 1    📌 0

From what I recall, just one: we only error on property access to `never`, sadly. 🙁

06.07.2025 14:45 — 👍 4    🔁 0    💬 1    📌 0
Solving `Passport Application` with Haskell Using logic programming to beat the game

Solving "UK Passport Application" with Haskell: jameshaydon.github.io/passport/

29.06.2025 04:47 — 👍 27    🔁 11    💬 0    📌 1
A 10x Faster TypeScript with Anders Hejlsberg | BRK116
YouTube video by Microsoft Developer A 10x Faster TypeScript with Anders Hejlsberg | BRK116

I'm excited to be a part of this project!
youtu.be/UJfF3-13aFo?...

27.05.2025 01:00 — 👍 6    🔁 0    💬 0    📌 0
Preview
Cannes: Neon Picks Up Wagner Moura’s ‘The Secret Agent’ Political Thriller Neon has acquired the North American rights to the political thriller The Secret Agent from writer and director Kleber Mendonça Filho.

Neon has acquired the North American rights to the political thriller The Secret Agent from writer and director Kleber Mendonça Filho.

21.05.2025 18:00 — 👍 35    🔁 9    💬 0    📌 17

Funnily enough this comes at a time when layoffs are ripping up existing systems, flushing irreplaceable organizational knowledge down the drain. The answer these managers give is "just use AI" because they are not competent to rebuild the broken system, or even see it.

16.05.2025 13:19 — 👍 23    🔁 5    💬 2    📌 0

I'm so sorry.

14.05.2025 16:29 — 👍 3    🔁 0    💬 0    📌 0

por que livro de fantasia tem tanta capa fubanga meudeus

08.05.2025 13:12 — 👍 88    🔁 5    💬 5    📌 0

once again I have received a book that I immediately wanted to drop because it has that nasty "soft touch" cover please stop making me touch the soft touch it is VILE (and doesn't shelve well!!!!!)

25.04.2025 16:45 — 👍 35    🔁 3    💬 4    📌 0

Do you think theres unrest among the vampire communities due to the degradation of the quality of human blood caused by microplastics?

29.03.2025 21:45 — 👍 1090    🔁 246    💬 54    📌 40
Preview
Why aren't we talking about the real reason male college enrollment is dropping? We would rather talk about literally everything else.

Once any space becomes less than 40% male, (straight) men tend to cede it entirely while shouting about how it “went woke”. Fascinating read:

01.01.2025 15:28 — 👍 3392    🔁 1036    💬 174    📌 368
YANN MARTEL GETS AN IDEA

ainda sobre plágio, elegância, a história do livro do Scliar
e do Yann Martel.

www.mobylives.com/Yann_Martel....

18.12.2024 04:08 — 👍 16    🔁 6    💬 1    📌 0
A white, brown and black guinea pig eating lettuce leaves.

A white, brown and black guinea pig eating lettuce leaves.

This is Omelette.

16.12.2024 03:09 — 👍 1    🔁 0    💬 1    📌 0

Everyone is psyched about the Severance S2 trailer. But it's been 27 years since the 1st season and I don't remember a goddamn thing that happened & don't really feel like rewatching a whole season of a show so I can watch the 2nd. Nothing against Severance; this is true of half the streaming shows.

08.12.2024 03:27 — 👍 343    🔁 24    💬 35    📌 17

Sometimes type soundness is overrated. It's nice to have it, but ultimately what I want is for the type checker to catch my mistakes.

04.12.2024 23:41 — 👍 1    🔁 0    💬 2    📌 0

Note this is a limitation of narrowing in general, not a limitation of return type narrowing specifically, it's just that return type narrowing depends on regular variable narrowing to succeed.

29.11.2024 23:17 — 👍 1    🔁 0    💬 1    📌 0

In the example with string and number, 'a' is not a discriminant property, because, among other things, a discriminant property has to have a union type with a unit/literal type. In the first case, 'undefined' is a unit type, so it works. In the second, string and number are not, so it fails.

29.11.2024 23:14 — 👍 1    🔁 0    💬 1    📌 0

The last two examples don't work because narrowing of the parameter fails: you can test this by trying to assign 'param' to a variable of a narrower type inside the if block.
The example with string and undefined succeeds in narrowing 'param' because there, 'a' is a discriminant property.

29.11.2024 23:14 — 👍 1    🔁 0    💬 1    📌 0

The first 3 bad examples indeed don't work on purpose, because the constraint of the type parameter being narrowed is not a union. I meant to mention that in my PR but it seems I forgot. I added that now, and I'll try to add an example later as well.

29.11.2024 23:14 — 👍 1    🔁 0    💬 1    📌 0

2014: the movie Idiocracy is basically a documentary

2024: the movie Idiocracy is a beautiful and aspirational look at a future brighter than our own. a tantalizing glimpse into a better world that has already slipped from our fingertips.

23.11.2024 04:07 — 👍 19620    🔁 1984    💬 417    📌 123

I hate how streaming has changed most of TV into a thing where you find something you like and it either gets canceled after two seasons or it takes so long for them to do new episodes that you forget it was on in the first place

08.11.2024 16:50 — 👍 5433    🔁 626    💬 127    📌 73
Preview
Narrow generic conditional and indexed access return types when checking return statements by gabritto · Pull Request #56941 · microsoft/TypeScript Fixes #33912. Fixes #33014. Motivation Sometimes we want to write functions whose return type is picked between different options, depending on the type of a parameter. For instance: declare const ...

I'll remember the world before and after this PR: github.com/microsoft/Ty...
The new era of conditional types checking is coming in TypeScript 5.8!

06.11.2024 09:23 — 👍 73    🔁 14    💬 6    📌 3

yes, we're a long way from supporting that pattern and many others. but hopefully we can learn from the return type PR and get it to work someday.

06.11.2024 18:43 — 👍 0    🔁 0    💬 0    📌 0
2 tiras. A primeira tem 5 quadrinhos.
Um homem à mesa é servido com pratos e bebidas sucessivos, aos quais reage agressivo: “Acha que eu como lixo?” - “Vomito na sua cara” - “Leva isso de volta e enfia” - “Merece tiro”; no final, uma voz fora de cena diz: “O senhor foi bloqueado”. O homem resmunga: “Que foi? Não tem mais debate?”
A segunda tira tem 5 quadrinhos também.
Uma mulher, frente ao computador, escreve e imprime um texto de muitas folhas. Depois ela joga tudo no lixo. Ela espreita junto a um lixão os urubús que bicam as folhas do texto jogado fora. Em seguida, ela abate um urubu com um tiro de espingarda. Por fim, ela está botando no forno um urubu, depenado como frango, e comenta: “Chamo a isso de ‘Ciclo da vida’ ”

2 tiras. A primeira tem 5 quadrinhos. Um homem à mesa é servido com pratos e bebidas sucessivos, aos quais reage agressivo: “Acha que eu como lixo?” - “Vomito na sua cara” - “Leva isso de volta e enfia” - “Merece tiro”; no final, uma voz fora de cena diz: “O senhor foi bloqueado”. O homem resmunga: “Que foi? Não tem mais debate?” A segunda tira tem 5 quadrinhos também. Uma mulher, frente ao computador, escreve e imprime um texto de muitas folhas. Depois ela joga tudo no lixo. Ela espreita junto a um lixão os urubús que bicam as folhas do texto jogado fora. Em seguida, ela abate um urubu com um tiro de espingarda. Por fim, ela está botando no forno um urubu, depenado como frango, e comenta: “Chamo a isso de ‘Ciclo da vida’ ”

2 tiras com comida - saíram na Folha @folha.com :

30.10.2024 10:33 — 👍 1772    🔁 257    💬 21    📌 9
Preview
Have you purchased a weirdly low-quality paperback book lately? This may be why. I work as the bookstore manager for a bookstore in the Hudson Valley and one of the things that means is that I handle not only the ordering of most of our books, but the unboxing of them as well. …

Your boy is on the infrastructure beat again, sort of: I'm starting to dig into what the fuck is going on with all these POD paperbacks.
(s/o to @jomc.bsky.social, who tipped me off to this all happening in the first place)

lithub.com/have-you-pur...

24.10.2024 14:26 — 👍 220    🔁 85    💬 10    📌 14

se você ta pagando curso sem nunca ter dedicado horas de bunda na cadeira você ta pagando na esperança de que o outro entenda por você. e isso é impossível. ele so pode te explicar.

06.10.2024 12:22 — 👍 297    🔁 11    💬 1    📌 3

@gabritto is following 20 prominent accounts