code, git & infra at @openai. prev ceo cased, cto github, eng banksimple. https://xitter.cf/t.co/ppNMfi0IdK. "sf’s guardian angel"-ken jennings

ca
Joined September 2009
new git work at @OpenAI. packfile-uri concurrency fixes now in upstream. 20 more patches in openai/git’s status work (still only our fork, but stay tuned), + better partial-clone maintenance and tracing. openai-git-upstream.openai.c… & github.com/openai/git see you at git merge
7
7
1
128
10,233
the world's very best programmers are still not on this website; or if they are, they are posting photos of mountains, or blurry photos of the balkans, or a complaint about a Python Enhancement Proposal from 2011
5
4
82
3,816
many years ago, this was long before large language models, a new grad came to me for advice. i said then, same as I would say now: when you’re at Olive Garden, slip the maitre’d a $10, and watch as the best table comes to you.
3
49
4,606
🔜
4
15
2,521
openai will be cohosting Git Merge this year in Lisbon. see you in September. much to share. git-merge.com
1
4
1
48
6,598
contribution graph was a nightmare to maintain bc it needed spinning disks; & invalidating its redis cache on push was a punitive exercise in systems design. socially, it mixed up impact with volume. but it is helping insurance marketing tho now; so who is to say if good or bad!
me and my gfs are currently discussing how hot it is when a guy has consistent github commits 💀💀
7
3
136
15,178
happy friday we've continued our work on git here at @openai. performance, correctness, & testing improvements are flowing from openai/git to upstream. perf improvements in codex app too; you'll see more efficient use of git in new builds. follow along: openai-git-upstream.openai.c…
our work on git will go to upstream, in the C programming language, so long as they are useful generally. so, a public fork.
27
47
13
1,265
813,417
28
509
11
12,635
258,138
some dude opining about technology who has never even run dtrace idgaf
2
48
6,307
our work on git will go to upstream, in the C programming language, so long as they are useful generally. so, a public fork.
holy shit openai just forked git
13
10
2
450
185,488
math is easy af once you realize all the Greek symbols are actually just slow as fuck Python built-ins
10
5
3
133
75,187
the fact git has lasted this long (20+ years) is bonkers. statistically, something you wouldn’t expect to see in your lifetime. the messi of software. a testament to good engineering practices. an extremely careful set of maintainers & most of all: the C programming language.
9
2
1
57
7,929
was asked today what’s a good first programming language. I always answer python, since it’s practical, but realized today that doesn’t matter in the same way now. didn’t have a great answer. but after awhile, said, honestly: Lisp. almost had an existential crisis.
17
1
57
7,680
time is a flat circle etc etc
3
1,100
tremendous meme potential I never noticed until now
2
20
1,740
in technical discussion, the phrase “that’s fair” is the highest praise there is.
1
2
26
2,070
new interview: write C
4
11
3,424
salvatore points the right way, as usual. we are in a transitional era. in an era like this, things will be weird! half-done things. the twilight of an era. this has happened before, in the early renaissance.
There are projects where I don't look anymore at the code at all, but only control the design ideas and the "product" itself (DS4). There are other stuff where I check every line and modify (mostly saying how and not myself, sometimes myself) every detail, like for Redis Arrays. Let's say that for 80% of the projects to check the code no longer makes sense, but checking the ideas / algorithms / code structure even only by prompting is, I believe, a good idea. While providing the right design decisions is not just a good idea, it is essential to do great work.
1
6
1,654
been noodling and editing and fixing; and I have something I don’t mind for a 1.1 edition of High Performance Git gitperf.com free to the world a lot better will come so stay tuned for 1.2
3
8
1
36
4,726
pdf too, so you can take the book to Zion and get off the internet
624