Jacob Lagerros

I'm a co-founder of Lightcone Infrastructure. We build tech, community and infrastructure to help people think clearly about AGI and navigate the most important time in human history. We run a [ forum ], a [ campus ], and previously a [ fund ].

I'm also a licensed pilot and full-stack developer. In the past I was a researcher at Oxford.

Interests: computing (end-to-end from wafer through bytecode to browser), manufacturing, aviation, operations

Contact: my_first_name + my_middle_initial + my_last_name @ gmail.com. My middle initial is "k".

On my mind, July 30 19, 2024.

physical unclonable functions + MEMS + zero knowledge proofs --- provable machines?

Jun 19, 2024.

What would it take to produce a zero knowledge proof of the full execution trace of a 100T param inference run, with end-to-end latency <1 day?