lacker

Current status: working on Acorn, a theorem prover with built-in AI.

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 ]