A renowned functional-programming engineer who co-founded Positron in 2023, contributing the software and compiler stack for its inference hardware.