| user: | lacker |
| created: | February 19, 2008 |
| karma: | 14.5k |
| about: | 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 ] |
| 1. | CUDA-oxide, a Rust-to-CUDA compiler(nvlabs.github.io) |