dmm: (Default)
Dataflow matrix machines (by Anhinga anhinga) ([personal profile] dmm) wrote2023-02-17 08:47 pm
  • Add Memory
  • Share This Entry
Entry tags:
Flat | Top-Level Comments Only
dmm: (Default)

[personal profile] dmm 2023-02-18 01:48 am (UTC)(link)
Via Andrej Bauer and Steve Awodey: https://math.andrej.com/2022/10/11/happy-birthday-dana/
juan_gandhi: (Default)

[personal profile] juan_gandhi 2023-02-18 02:34 am (UTC)(link)

I'm so happy that I had a chance to hear his great, long talk about all this, history of lambda and D∞.

Edited 2023-02-18 02:35 (UTC)
juan_gandhi: (Default)

[personal profile] juan_gandhi 2023-02-18 02:32 am (UTC)(link)

Thank you!!!

Flat | Top-Level Comments Only