独立系统编程会议(11月14日至15日)

2020-11-11 04:09:41

独立低级编程会议。

https://www.handmade-seattle.com
电子表格：面向大众的函数式编程(2014)[幻灯片]
2020-11-10 21:49
对编程任务的定理证明者进行基准测试：YICES与Z3
2020-11-9 16:0
费曼、算法编排和基于节点的编程
2020-11-8 9:34
Vgil：永远保持道德警惕的编程语言
2020-11-7 18:10