RSS

Larry Lee

Karma: 6

I am a software engineer specializing in formal verification and statistical analysis. Over the last few years, I’ve worked as a data analyst studying health and social service systems. Prior to that, I used the interactive theorem prover COQ to formally verify hardware designs. I’m passionate about using sound science to improve people’s lives especially those who are vulnerable within society.

You can learn more about me on my website https://​​larrylee.tech.

In­tro­duc­ing the Ev­i­dence Color Wheel

Larry Lee14 Dec 2024 16:08 UTC
6 points
0 comments3 min readLW link

Rep­re­sent­ing Ir­ra­tional­ity in Game Theory

Larry Lee13 Dec 2024 0:50 UTC
−1 points
3 comments11 min readLW link