This does not appear to pass the criterion I gave: > used by someone in a produc... | Hacker News

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

		j2kun on Sept 29, 2023 \| parent \| context \| favorite \| on: Applied Category Theory Course This does not appear to pass the criterion I gave: > used by someone in a production software setting to solve a problem not related to category theory If this stuff or its derivative work is used in production in a mainstream compiler (GHC, perhaps?), then I would see it differently.

nextaccountic on Sept 29, 2023 [–]

there was a startup that used this to compile functional programs into circuits

not sure if it went anywhere, but it even included self modifying fpga-like circuits iirc

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