software engineer @vercel β€’ I write about performance, compilers, puzzles, &more on my website β€’ @recursecenter alum

πŸ‡¬πŸ‡§
Joined January 2019
Include

Only show posts containing:

Exclude

Hide posts containing:

Time range
-
Minimum likes
the stronger the searcher, the more dangerous metadata about the existence of an answer becomes in security: "just a rumour of a bug is enough to find an exploit these days" in chess: Carlsen would be MUCH stronger with just one bit per game: "this position is critical"
1
175
I wrote about the performance of LLM tokenizers like most things you want to go fast, it's better to use compact contiguous state instead of complex data structures! healeycodes.com/what-makes-l…
1
15
632
however, I haven't given up and have high hopes for "We Could Have Had Coding Agents in 2Μ΄0Μ΄1Μ΄9Μ΄ 2021"
3
94
but GPT-2 can't reliably emit JSON, or call tools in a meaningful way. the only hint of agency came from leaning into text completion: Programmer β†’ ACTION, Computer β†’ observation, etc. to get it to fix tests, the examples were so close to the answer that it was kinda useless
2
2
182
I wanted to write a blog post titled (provocatively) "We Could Have Had Coding Agents in 2019" I used the GPT‑2 XL weights (no post-training) and backported several later agent-design breakthroughs (action/observation loops, filesystem tools, etc.)
1
9
428
I added πšπšŽπšπšŽπš› to the typescript compiler but along the way, I realised that what I want is different syntax for πšžπšœπš’πš—πš I just want to be able to write: πšžπšœπš’πš—πš πšŠπš πšŠπš’πš πšœπšŽπš–πšŠ.πšŠπšŒπššπšžπš’πš›πšŽ() but you can't ↧ healeycodes.com/adding-defer…
1
13
945
Replying to @aaaronson
do you count CHACHALACA?
1
11
450
two sum in lisp is actually really cute
3
7
357
new post! I wrote a tiny compiler that lowers simple kernel loops into explicit data-parallel code (lanes! masks!) ofc I made up a language to make the input/output code easier to read
1
4
627
quickjs is GOATed delightful API surface I was able to hack together a tiny runtime and event loop v quickly with it
1
1
24
1,666
I built a tiny shell with C so I could learn more about syscalls and pipes great fun I found C to be quite suited for the task (fork, execvp) ... until I had to manage some string lifetime stuff πŸ₯²
2
4
1
49
3,782
glad y'all like this one 🫑
18
819
2
201
I suggested to my friend that writing a semaphore is fairly trivial but when I sat down to write one I was pretty humbled the edge cases around context cancellation are no joke more notes and my solution below down there ⇣
1
6
275
I also made a search-tree view that I used to debug the solver and get a feel for how it behaved with different optimizations
1
3
225
I built a solver for NYT's daily Pips puzzle I started with a brute-force search and optimized it to be 16Γ— more efficient (by the number of nodes that need to be checked)
2
6
962