Gabriela Araujo Britto's Avatar

Gabriela Araujo Britto

@gabritto.bsky.social

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

242 Followers  |  586 Following  |  14 Posts  |  Joined: 05.07.2023  |  2.0722

Latest posts by gabritto.bsky.social on Bluesky

Bacurau foi um DOCUMENTÁRIO meus amigos.

27.09.2025 23:55 β€” πŸ‘ 258    πŸ” 30    πŸ’¬ 2    πŸ“Œ 5

the post office is a public service. it doesn’t need to make money. public transit doesn’t need to make money. the library doesn’t need to make money. some things exist for the public good and we desperately need lawmakers to stop thinking about them in terms of capitalism. these are not businesses.

25.09.2025 23:09 β€” πŸ‘ 9756    πŸ” 4446    πŸ’¬ 88    πŸ“Œ 124
Preview
LLMs are the users now Tech companies have shifted focus from designing for people to prioritizing algorithms.

My new piece on the shift in "user centered design" with #AI in @fastcompany.com Hint: we are no longer the target audience. www.fastcompany.com/91397818/lar...

08.09.2025 12:15 β€” πŸ‘ 8    πŸ” 8    πŸ’¬ 0    πŸ“Œ 0

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 β€” πŸ‘ 428    πŸ” 141    πŸ’¬ 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 β€” πŸ‘ 26    πŸ” 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 β€” πŸ‘ 7    πŸ” 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 β€” πŸ‘ 34    πŸ” 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 β€” πŸ‘ 1083    πŸ” 246    πŸ’¬ 53    πŸ“Œ 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 β€” πŸ‘ 3376    πŸ” 1033    πŸ’¬ 172    πŸ“Œ 365
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 β€” πŸ‘ 341    πŸ” 23    πŸ’¬ 34    πŸ“Œ 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 β€” πŸ‘ 19545    πŸ” 1973    πŸ’¬ 415    πŸ“Œ 122

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 β€” πŸ‘ 5418    πŸ” 625    πŸ’¬ 126    πŸ“Œ 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

@gabritto is following 20 prominent accounts