Hey! Welcome to my corner of the internet. 3 letter domain, let's go. Organizing my thoughts here.
Reproducing AttnRes and playing with value residuals and token routing.
Surveying the neuroimaging landscape
Code for AttnRes experiments
Writeup coming soon. Using Tinker (SFT + RL) to teach emoji usage.
Working with Lean4 FFI
Write stuff down faster
A list of things that have held space in my brain