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.
pronouns: he/him
music:
https://castlerockjazzband.co.uk/Published at
2026-10-15T19:28:07ZEvent JSON
{
"id": "1cfc69bc60a1a555b88908006d17757f681d3072bc129b6d4814763823979fac",
"pubkey": "261444e21bbc42a028813c2239861bae950bb4dec543941b6d545f9411c5e8ab",
"created_at": 1792092487,
"kind": 0,
"tags": [
[
"proxy",
"https://functional.cafe/users/aabh",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://functional.cafe/users/aabh",
"pink.momostr"
],
[
"-"
]
],
"content": "{\"name\":\"Adam\",\"about\":\"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.\u2028Also doing saxophone things with the Castle Rock Jazz Band.\\n\\npronouns: he/him\\nmusic: https://castlerockjazzband.co.uk/\\n\",\"website\":\"https://functional.cafe/@aabh\",\"picture\":\"https://files.functional.cafe/accounts/avatars/113/391/640/151/887/102/original/f2a2e65a566631ae.jpg\",\"banner\":\"https://files.functional.cafe/accounts/headers/113/391/640/151/887/102/original/be044e79eda5a48e.jpg\",\"nip05\":\"aabh_at_functional.cafe@momostr.pink\"}",
"sig": "b386c9fd6aa619cd8c2a1e68928741b56e6600c7b535cc027562a4f026629992ccfe75600512cd4f9e21e357e6ea62aeaf63729071c0c8348d8e46fd1e5c6a7a"
}
