Adam
@aabh@functional.cafe
Compiler engineer doing compute things with SPIR-V. Previously working on Firefox at Mozilla. Interested in type theory, dependent types, theorem proving, and making code fast and correct. Also doing saxophone things with the Castle Rock Jazz Band.
functional.cafe
Replying to
@aabh@functional.cafe
There are also a number of absolute cess-pit-of-a-human engineers at Mozilla, some of whom (along with leadership) were the reason that I left.
