You don't happen to be working on cryptocurrencies do you? I'm surprised to hear... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		dwohnitmok on March 1, 2020 \| parent \| context \| favorite \| on: Programming trick questions You don't happen to be working on cryptocurrencies do you? I'm surprised to hear of Agda being used in production.

im_down_w_otp on March 1, 2020 [–]

We don't work on cryptocurrencies. Right now we work on automated testing & verification tools for "cyber-physical systems". Our target markets & customers often have safety-critical considerations.

We use Agda to create proofs for some of the components of our platform.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact