News for hackers. Stuff that matters.

A comment on Applied Category Theory Course. Parent comment

Re:Applied Category Theory Course by j2kun on Thursday September 28, 2023 @09:54PM (#37698396)
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.

[ Parent | on HN ]
Re:Applied Category Theory Course by nextaccountic on Friday September 29, 2023 @02:24PM (#37708232)
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

[ Parent | on HN ]