Bacurau foi um DOCUMENTΓRIO meus amigos.
27.09.2025 23:55 β π 258 π 30 π¬ 2 π 5@gabritto.bsky.social
software engineer @typescriptlang.org, master's student @ University of British Columbia.
Bacurau foi um DOCUMENTΓRIO meus amigos.
27.09.2025 23:55 β π 258 π 30 π¬ 2 π 5the 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 π 124My 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 π 0I've been trying to push the vscode API in that direction π
10.08.2025 13:42 β π 2 π 0 π¬ 0 π 0it 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 π 0another 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 π 0Anyone 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 π 8Yeah, 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 π 0From what I recall, just one: we only error on property access to `never`, sadly. π
06.07.2025 14:45 β π 4 π 0 π¬ 1 π 0Solving "UK Passport Application" with Haskell: jameshaydon.github.io/passport/
29.06.2025 04:47 β π 26 π 11 π¬ 0 π 1I'm excited to be a part of this project!
youtu.be/UJfF3-13aFo?...
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 π 17Funnily 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 π 0I'm so sorry.
14.05.2025 16:29 β π 3 π 0 π¬ 0 π 0por que livro de fantasia tem tanta capa fubanga meudeus
08.05.2025 13:12 β π 88 π 5 π¬ 5 π 0once 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 π 0Do 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 π 40Once 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 π 365ainda sobre plΓ‘gio, elegΓ’ncia, a histΓ³ria do livro do Scliar
e do Yann Martel.
www.mobylives.com/Yann_Martel....
A white, brown and black guinea pig eating lettuce leaves.
This is Omelette.
16.12.2024 03:09 β π 1 π 0 π¬ 1 π 0Everyone 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 π 17Sometimes 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 π 0Note 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 π 0In 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 π 0The 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.
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 π 02014: 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.
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 π 73I'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!
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