https://acornprover.org
Also doing some software work on the DSA, a next-generation radio telescope going up in the Nevada desert:
https://www.deepsynoptic.org/overview
Previously, looking for aliens:
https://lacker.io/physics/2022/01/21/looking-for-aliens.html
Before that, I was the founder of Parse (YC S2011), the simplest way to build a mobile app. We were acquired by Facebook in 2013 and had a few exciting years there.
Unfortunately, we shut down the hosted Parse service in January 2017. Fortunately, a lot of the Parse magic lives on as open source:
https://github.com/ParsePlatform/parse-server
Before Parse, I founded Gamador (YC W2010). Millions of people have played Gamador's casual games.
Before that, I was a software engineer at Google working on search algorithms.
Before that, I was in grad school at Berkeley bouncing around between computational biology and AI.
You can follow me on Twitter: http://twitter.com/lacker
My email is just my hn username at gmail.
[ my public key: https://keybase.io/lacker; my proof: https://keybase.io/lacker/sigs/Jhx53TkSPU1FfKRiXpL5WXxSlr9XMDZgSlaIcEOpU_c ]
