I'm still alive17 hours agohttps://buttondown.com/hillelwayne/archive/im-still-alive/作者一直忙于旅行和完成《程序员逻辑》一书，没有时间写新闻简报或更新社交媒体。书已接近完成，预计几周内可出版印刷；已审查过印刷样稿，效果良好。两场即将到来的会议：周四的“软件应该正常工作”会议将作形式化方法讲座，7月27日的“分布式系统”会议将带来全新的《程序员逻辑》演讲。七月份预计不会再发布新闻简报，除非书完成时可能发布一次发布公告。