Staff software engineer at MetaMask, on the Extension Platform team.
My approach to platform work is to make calls based on measurements and evidence instead of intuition. So my best work has been in the form of empirical research: hypothesis, instrument, falsifier, and even the occasional null result that kills a finding I was really attached to.
With TypeScript I've dug deeper into the type-level trenches than might be practical or wise. But with verification being at the top of everyone's minds, my interest in the value of purely-functional type systems is looking like it wasn't completely misplaced.
My favorite part of this job is the same thing I love about music: different voices coming together to form unexpected, intricate, meaningful structures.
Happy to jam. Bring an instrument, either kind.
jongsun.dev · ORCID · LinkedIn
-----BEGIN PGP PUBLIC KEY BLOCK-----
mQINBGPr8A4BEADG/85+7ZJUEgcTnCpowZLPFF8ZYsSR/j34l+W72KkHF31huAqi
dzmVuaodLTbUuXZaulhXyX177Zkf2W1h2Qo4In9fq5Xj0HF5+hup/rA0jABoS4dK
LMo29C2Fxx9eukXlNkF+lF8MY5UGidWE2Ljv692lJ1lH34L+6I3iR2Uz6j9RoWMf
3EJTAhrYd0bn0+pa4eEgdL+cGTbXqcnV0uzW/k6NiZSR3SeNr2B+8SlS+3J46vNk
oZQwuICQnOIQYLifYyxNFfUAQd/rJYcGVK1OFtYJob3hvbmdHStcFE2t3uTH/ol+
hXtuVIQAWhilc7/eQlnyGfZ765i3vVGPxS/Dqh1q+ssaTFu2mVyTaK13DboS4g5S
w80sIl+URXeJaeqM0zhofxBPqbSNdYj4f2WzS9kq1ArbI16ObSQWt/DiPBB7J6RW
ac4C5dfi2JX8d6F4JmGK7d2BWZnLtzM696GOO65GiHZSN+nu8K35be4PyqjS+6M2
QItfHJhuRkRCq4jmbxkiTwHLiEagZSpDy+S1RK7Aj3r2JUFTHw+3Atu6DsDeMtky
y0v68aDlDPDH9XC/n/rWZcS/G4gEhB7hKm7O7+P9x/6hmkNESmHlbzeRkxb9lB/F
alZ2RLfcxGZTvr9iHdvuHxUj2VUTiVIzPodcJMhcQ9dlRguFYwJZqFHBjwARAQAB
tDlKb25nc3VuIFN1aCA8MzQyMjgwNzMrTWFqb3JMaWZ0QHVzZXJzLm5vcmVwbHku
Z2l0aHViLmNvbT6JAk4EEwEIADgWIQRuvqqihB5ANoFKjJAGIH3klkG8XgUCY+wP
9gIbAwULCQgHAgYVCgkICwIEFgIDAQIeAQIXgAAKCRAGIH3klkG8Xq1cD/wJudEU
l96VNYhmJoINwdubJHR6dhvQdFSU0vP3DUgvnXfoykSj0FLVeiRUWhvOCwGQ3B3N
qHukzbSEj2P8vUjuXn3T6R68pe6v8riN0s1eXH7X9UPkbQJdFbKkX7mz7hc2dI1U
gSJsAbbmYl0IOp846s+BxF0YaR7vYhtLVPvyh7IAT1QgdJdywB2o55xF+wEyuPYB
18JD50TagmW8Buq7f401CH8v3Ex9083A3fX9oNerwoJsURO2hyCHWmBPutTukwWa
5nJOFk8P43sDbKQ6jDa7cErvDcEZKun6DzGtqr0Ut/brlTum8ymSMbng10IbIqcn
r9VqbKtnEg88J4xN3ehsO/o0M2a291JfoxpZB4Q7NXEqeeYax87eT9MMyhQlopdJ
/MHRImaByrfeekk2RMFM5BQY9B1nR6sYh/GazuPz3ztaQq9y1oi13QF50RY2s3kK
E9zEHF1C6pn4MpIlGwZAJIwag17AAWoOGgqpVZdc7sJiOFKBVgVNpaOUqn9ACkJB
YVxiJL6vljEQPC7opBShVPjuYHQz8/yuWkZAtgOVJuTaq/VBXRQE53fD5AQVVI+a
mMP46FZgH+PYeWgGX7uE/rW0j3A/GNh5hmGcWWKZ3DkF7UDUblVARWryBJNBl4qf
kym1klKdorJ8opwsog0B0dHwFPD7dC81Ovnqr7QjSm9uZ3N1biBTdWggPGpvbmdz
dW4uZGV2QGdtYWlsLmNvbT6JAlEEEwEIADsCGwMFCwkIBwIGFQoJCAsCBBYCAwEC
HgECF4AWIQRuvqqihB5ANoFKjJAGIH3klkG8XgUCY+wP9gIZAQAKCRAGIH3klkG8
XlN0D/4/hwx6cGUtXqc/ZitTwH/GCXiP7bUwiPspRRLXqMpjpRUYTcjJZlKh7Hdd
BBpiOTpCv1ilCA2WCUR90eOSbFzE0YkVLAmQVYWgj4M6dHRVVCZk3dEH4OhQ8uWr
X87g9UaJIfsZAlHM56/Xt0UXmzhdFj34tHhsjUiu98THfi7xP4bogZ3qQ7arsE2I
W87yF7so+FT+l0VqMwH1i9erIL5JOA87egup9R9PZpTulQITS3l6L3MbioI/Jp2c
EYb3T3OVryZUib4oG7KQCovGawTg2hKG17nTi2TGWYjcsKtuIxLMhs5Aq3e3yfNh
CzvZeFVeEEwkCZo3FRYqAIP0llPb+oWpER4bYa1FpmTzfSDWC2HxTk/lDN9iF8ZU
f+aPvOfgd5hSSW0VLF6EhG0P2i3GUYO/GDeEyjAFo8SwlpK8qGhYqCYyyxuF24Rs
0fzQuHMUBUACoDKQBfhTtaBzj/pg6xIiQheXU5kYmHxwla1dDqzCynBsXI/vRH6k
qfR3rMpF9rWO2N4L2Drb8mxAk02RR3t+bMyoGPR648/QpfqcpbrCnKaFb31o0lj4
cvoN6FrVgnk4NtFq8DPa7KXOY2cwInQcT+ITPq7EzpXRQwwmVlcqpmC3H+c6vjj/
wEHWA6Gq5lWl3v5enODdWtxKrACA2fMDKhm4SO0i2uJcXa+xWrkCDQRj6/AOARAA
rjzE2xnPn2xJNtwh/G9fA5Vktx38fWriguu4pB4Qp7Iz+NlI8bNzAbb77xJ/l9tt
Ng/fU/GkdavBuMzKeJ1TG4FgTUqRsEZy+qD0VO/hujOKv03etH0LME8MRNX79V5m
uEeyiwpxZXRBDrnTS1LxVgtOo8F+sxN39ztWQ+Cdi+1L0xZ10yEnfeC8xfkKkf5g
YXIIozAaz3K3APqC0H+a7CNoszWsvHmXReL3zEYnma8mxf5jE6KtA5QEE56qYg3n
I7ybLtwJyGCiSZ6TCN2Yx2PZIdjdr89CkvPsu1sLbGqWAYVm4O8Z5dkb/QYUW4x9
fHAk+UHMYLyhU0cRI2SCcCxPc43cwvagST4RT0ijSDul7nnS9RWYq5YDMNrMj9HX
eNrsJHljI8eZXTc8Lp38hC2h1vpYfiUyivdJhFAShTy6ojc6+HCM3xjcuilelBaM
COu0tm4Oq5Sio8iDRv6aEP1SyAnp+if90HEaVFdJ4KI4YGDw3RwwA0Ztuzw64TGM
xeNr0b2BARDD4dGuv0L4hubmMpE+LkcNxuS1zD4413L0Be7+g/l+di9biajLAMm/
UYz+HQNCDiLd8duR0EaMbZ3+WNB99CTWBv2S2LAh0xid4G1BEEVkVXKCOAdyeU1u
3CEb1ILZtay6RjIybYazUxehp0PiqM8ctwA5/axaxh0AEQEAAYkCNgQYAQgAIBYh
BG6+qqKEHkA2gUqMkAYgfeSWQbxeBQJj6/AOAhsMAAoJEAYgfeSWQbxehRIP/1vR
rXlv0ajI+RgHxPXo4JfLlhgPQ44hwJYlynd7wNuDmzZrtHY/JjReG97JKIW237IO
Uhfn13pMQU5J5iq+L968WPeBdLouNJM6zqIA8f9yJltQwApvrvjNy7sA5y5SIWme
U4R/VEaXJG+QvPen5xZK2H8hHxB7XVBGMuFHgyhqBrec2xPaBqZVVPL2nSU0QnBV
j/4DFSWf/vIDLbkZmsigsxLkTfVyqQ4GdJz/sP0BQDL872maNLYiarEz8Osg6NIE
sHggAk7upjTOeq7pMsQyI6gF6RLkdPePt5WAil2fEvwX5RjrzOjEbicVMa0wqskx
G41YbGRJn/CqPzTAf44zB/p2tCg3M348JfZ5xaqGPEN7HFx1iZt+uxVwUKNz2kpw
R21WEXNfCtJN6FEfbH1XYxebpf+v2iJNVt6v64oH5TxNqQLQw49kZ4Qr5nZ4klyJ
9lVBvSJVoKJ1BqkXzIQeQ6C+MG7/iVtSJHiWlotuVuXPsjfCvKM2pJr8sEurOopw
E3JSJVCeSh0MwquDp7pCbijyrL2jM8aScv3xnaFTyjF/r4wowbJ0TMhxSq6cDvo0
SvuQI3jKkOy1EqrBDXhh27zWqnrXbfDJ3CZoOr+JUCaMRbaewo4iweyTK2cn/qFg
3sj5XV0o5B82Dz1fH5jlqrMK51U63BBs9kgbAJgO
=UDIO
-----END PGP PUBLIC KEY BLOCK-----