about

quick facts

who: jay kruer.

what (i am doing): who can say? everybody loves a little mystery.

when: now through ??? you tell me

where: bend, oregon.

with whomst: my amazing wife jaclyn and our dog zuzu. see outsta for some pics of us in the wild :)

before

i most recently worked on training language models and building acceleration kernels at tenstorrent. before that, i worked on CPU formal verification at tenstorrent and intel. even before that, i worked as a research engineer at sifive.

i studied math/cs at reed college, where i wrote my thesis on the category-theoretic semantics of lambda calculus, specifically as applied to the open normalization problem for the simply-typed lambda calculus. it's pretty wild stuff, and i went to great pains to make it approachable to someone with a cursory background in programming language theory. check it out!

check out my resume for more.

next

stay tuned.