Freelance software engineer focused on formal methods & distributed systems, with an intensive side-interest in quantum computing. TLA⁺ enthusiast!
Living in Atlanta, GA, USA. Non-technical hobbies include BJJ, birdwatching, and mushroom foraging.
Other random facts: vim user, tea drinker, cyclist, living kidney donor, vegetarian, hoping for a 2000 watt society! he/him
Previously:
https://fosstodon.org/@ahelwerPublished at
2024-05-29 15:15:48Event JSON
{
"id": "ded229d1c48d6f5514e5ff30da9c379a1457b24587a86730b02d3da3d4f40c5b",
"pubkey": "bb71ef5d1017a45c515dc69f8894efe8f4a28954e663cc86e7862d4c76d26b24",
"created_at": 1716995748,
"kind": 0,
"tags": [
[
"proxy",
"https://discuss.systems/users/ahelwer",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://discuss.systems/users/ahelwer",
"pink.momostr"
]
],
"content": "{\"name\":\"Andrew Helwer\",\"about\":\"Freelance software engineer focused on formal methods \u0026 distributed systems, with an intensive side-interest in quantum computing. TLA⁺ enthusiast!\\n\\nLiving in Atlanta, GA, USA. Non-technical hobbies include BJJ, birdwatching, and mushroom foraging.\\n\\nOther random facts: vim user, tea drinker, cyclist, living kidney donor, vegetarian, hoping for a 2000 watt society! he/him\\n\\nPreviously: https://fosstodon.org/@ahelwer\",\"website\":\"https://discuss.systems/@ahelwer\",\"picture\":\"https://fd.discuss.systems/accounts/avatars/111/916/481/522/563/155/original/c36aeed56abad606.jpeg\",\"banner\":\"https://fd.discuss.systems/accounts/headers/111/916/481/522/563/155/original/1ebc7bc6f3d4b8ed.jpg\",\"nip05\":\"ahelwer_at_discuss.systems@momostr.pink\"}",
"sig": "c17bcb983f39b8d71b6ad9416b908bc470b0cc019dc8d238c36b825ec4825eef7fd241076a07f200a7157544f52764bbde0ff5e057e531cc93810ca61a76aff5"
}