User : lacker

• Created: 1203382308
• Karma: 14293
• Current status: working on Acorn, a theorem prover with built-in AI.

  https://acornprover.org

  Also doing some software work on the DSA-2000, 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 ]

submissions | comments