lacker

Current status: working on Acorn, a theorem prover with built-in AI.<p>https://acornprover.org<p>Also doing some software work on the DSA, a next-generation radio telescope going up in the Nevada desert:<p>https://www.deepsynoptic.org/overview<p>Previously, looking for aliens:<p>https://lacker.io/physics/2022/01/21/looking-for-aliens.html<p>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.<p>Unfortunately, we shut down the hosted Parse service in January 2017. Fortunately, a lot of the Parse magic lives on as open source:<p>https://github.com/ParsePlatform/parse-server<p>Before Parse, I founded Gamador (YC W2010). Millions of people have played Gamador's casual games.<p>Before that, I was a software engineer at Google working on search algorithms.<p>Before that, I was in grad school at Berkeley bouncing around between computational biology and AI.<p>You can follow me on Twitter: http://twitter.com/lacker<p>My email is just my hn username at gmail.<p>[ my public key: https://keybase.io/lacker; my proof: https://keybase.io/lacker/sigs/Jhx53TkSPU1FfKRiXpL5WXxSlr9XMDZgSlaIcEOpU_c ]