主要观点:2024 年 12 月 5 日,研究小组的第一本杂志“Communicating Chorrectly with a Choreography”完成,介绍了 choreographic 编程,历经半年合作,Ali Ali 负责绘图和部分写作,作者对其称赞有加,希望后续有更多杂志,且因 NSF 资助能给学生合理津贴,杂志刚完成就在爱丁堡的会议上分发,作者想起 Alan Jeffrey 并希望能与他分享。
关键信息:
- 2019 年开始实验杂志创作,2022 年 NSF CAREER 提案涉及将其融入研究过程,2024 年冬季再次教授本科分布式系统课程并重启杂志任务。
- Ali Ali 的课程项目令人惊艳,获得 REU 补充资金后开始合作,杂志耗时超预期但成果显著,提到 HasChor 及相关工作。
- 作者为能给学生津贴而自豪,杂志在爱丁堡会议分发,想起 Alan Jeffrey。
重要细节: - 杂志可在线阅读或打印离线阅读,链接为 https://decomposition.al/zine...。
- Ali Ali 已从 UC Santa Cruz 毕业,在求职,可联系 https://www.linkedin.com/in/a...。
- 杂志目标是提供 choreographic 编程介绍,未特定针对某语言,结尾提及一些 choreographic 语言。
- 制作杂志花费时间长于预期,作者计划寻找下一位学生合作者,可能做关于因果分离图等内容的杂志。
- 感谢 Ohad Kammar 帮忙打印彩色副本。
**粗体** _斜体_ [链接](http://example.com) `代码` - 列表 > 引用
。你还可以使用@
来通知其他用户。