banner
jakebailey.dev
Jake Bailey
@jakebailey.dev
3.9K followers 360 following 1.3K posts
According to git blame, I wrote the TypeScript compiler, don't fact check that Principal Software Engineer at Microsoft working on TypeScript Underground gopher, finally revealed https://jakebailey.dev/ https://github.com/jakebailey arch btw
jakebailey.dev
Posts Media Videos Starter Packs
jakebailey.dev
Jake Bailey @jakebailey.dev · 3h
Was the candidate Joe Tsai
1
jakebailey.dev
Jake Bailey @jakebailey.dev · 17h
Have you ever seen anyone with one of the t-shirts? Are we sure they even existed
2
jakebailey.dev
Jake Bailey @jakebailey.dev · 1d
Not to mention anyone downloading random users' APKs from GitHub releases, or anyone using App Cloner, or anyone making an app Google doesn't like (like adblockers)
jakebailey.dev
Jake Bailey @jakebailey.dev · 3d
STOP DOING CRAZY SHIT THINGS WERE SUPPOSED TO BE NORMAL YEARS OF A PRETTY CHILL TIME yet NO REAL-WORLD USE FOUND for doing FUCKING WHACK SHIT Wanted to goof off and fuck around? We had something for that: It was called "play Garry's Mod" or "try new recipe" "Yes please I'd love to live in unprecedented times. Please make sure everything is uncool and stressful" - Statements dreamed up by the utterly Deranged LOOK at what Historians have been demanding your Respect for all this time, with all the recorded knowledge & jurisprudence we built for them very clear warning from the past literally the same scenarios "Hello I would like to upend reality for no reason" They have played us for absolute fools
1 13
jakebailey.dev
Jake Bailey @jakebailey.dev · 3d
like the previous game they just have to keep doing the thing where they put a boss in an auto locking room so that if you die during it you're forced to replay it over and over and over until you have a raging headache
1
jakebailey.dev
Jake Bailey @jakebailey.dev · 3d
and yet I can't stop opening the game
1 1
jakebailey.dev
Jake Bailey @jakebailey.dev · 3d
SILKSONG ENEMIES SHOULD NOT DO TWO MASKS OF DAMAGE AAAAAAAAAAAAA
1 3
jakebailey.dev
Jake Bailey @jakebailey.dev · 3d
You know she's serious because she brings her own gloves
1 4
jakebailey.dev
Jake Bailey @jakebailey.dev · 3d
Believe me top of my list is to go see Les Mis
jakebailey.dev
Jake Bailey @jakebailey.dev · 5d
who lives who dies who tells your story
jakebailey.dev
Jake Bailey @jakebailey.dev · 5d
a man in a green jacket is standing next to another man in a suit on a stage .
Alt: Hamilton the staged recording, Aaron Burr says "Maaaan, the man is non-stop"
media.tenor.com
1
jakebailey.dev
Jake Bailey @jakebailey.dev · 5d
please I keep listening and the situation only get worse
jakebailey.dev
Jake Bailey @jakebailey.dev · 6d
uh oh
Spotify Daily Mix 1 for my account, it's all Hamilton (Les Mis off screen)
3 4
jakebailey.dev
Jake Bailey @jakebailey.dev · 5d
bump
jakebailey.dev
Jake Bailey @jakebailey.dev · Jun 6
supremely shitty court
3
Reposted by Jake Bailey
infinitescream.bsky.social
Endless Screaming @infinitescream.bsky.social · 5d
AAAAAAAAAAAAHHHHHHHHHHHH
7 31
jakebailey.dev
Jake Bailey @jakebailey.dev · 6d
uh oh
Spotify Daily Mix 1 for my account, it's all Hamilton (Les Mis off screen)
1 14
jakebailey.dev
Jake Bailey @jakebailey.dev · 6d
sqlc, sqlboiler, ent, are where it's at
3
jakebailey.dev
Jake Bailey @jakebailey.dev · 7d
It is not, no. I have to do a lot of nasty rebasing and I have a bunch of failed ideas I prefer not to show 😅
1
jakebailey.dev
Jake Bailey @jakebailey.dev · 7d
Kinda... Still figuring testing.

If/when I send this it'll be on github.com/golang/go/is...
cmd/compile: statically remove type switch in instantiated generic code · Issue #57072 · golang/go
Using Go1.19 Consider this benchmark, which has three functions: lessUTF16 is a generic function that operates on either []byte or string. It relies on a type switch to call either utf8.DecodeRune ...
github.com
1 1
jakebailey.dev
Jake Bailey @jakebailey.dev · 8d
Forgive the yellow text, even though I killed my color correction app for some reason it still happened to the video out 🫠
jakebailey.dev
Jake Bailey @jakebailey.dev · 8d
I'll note that I found this while working on another optimization, specifically trying to make this DCE the impossible cases:

func foo[T []byte | string](v T) {
switch any(v).(type) {
case string:
// ...
case []byte:
// ...
}
}

Which I do have working on a branch!
1 5
jakebailey.dev
Jake Bailey @jakebailey.dev · 8d
No idea but you can see the livestream recording here: www.youtube.com/live/C_ePbVZ...
1 1
jakebailey.dev
Jake Bailey @jakebailey.dev · 8d
At least for typescript-go, I'm hoping this helps a lot in generic functions we have that really just pass info around, but are too large to inline. But, it's probably immeasurable.

But, it is fun.
1 7
jakebailey.dev
Jake Bailey @jakebailey.dev · 8d
But, the dict is never nil!

My CL (go.dev/cl/706655) detects nil checks of the dict arg and removes them.

It's hard to measure how much this helps; many generic funcs get inlined or need the dict, but I am hoping that this opt means faster code and less wasting of cache lines on unused dicts.
Gerrit Code Review
go.dev
1 4
jakebailey.dev
Jake Bailey @jakebailey.dev · 8d
For example, the code for cmp.Compare[go.shape.int] might look like:

00006 TESTB AX, (AX)
00007 CMPQ CX, BX
00008 JGT 14
00009 JGE 12
00010 MOVL $1, AX
00011 RET
00012 XORL AX, AX
00013 RET
00014 MOVQ $-1, AX
00015 RET

The first instruction loads from the dict to do a nil check (e.g. segfault)
1 2
jakebailey.dev
Jake Bailey @jakebailey.dev · 8d
The dict arg contains information about the actual types passed into the implementation, used for reflection, type switches, etc.

The compiler generates lookups into the dict arg as though it was a slice of uintptr, and so those lookups actually get a nil check!
1 3