返回 2026-07-15
💡 观点 / 杂谈

我还活着I'm still alive

buttondown.com/hillelwayne·2026-07-14 节选正文

作者因旅行安排和闭关赶稿而暂停了通讯更新与社交媒体互动。好消息是其著作《Logic for Programmers》有望在未来几周内完成并推出纸质版。作者还展示了目前已制作的多个打印样书。这标志着这本面向程序员的逻辑学书籍即将正式面世。

Hillel Wayne

Between travel obligations and this last heads-down-gotta-get-the-book-done stretch I haven't had time to write any newsletters or even look at social media.

The good news is that Logic for Programmers should be done and available in print hopefully in the next couple of weeks. Here's all of the printed proofs I've made so far:

And here's what the current proof looks like on the inside:

Looking good, if I say so myself!

On top of all that, I have two conference appearances coming up:

  • Software Should Work this Thursday! This'll be my formal methods talk.
  • Systems Distributed July 27. This'll be a new Logic for Programmers talk I'm still developing.
  • So there probably won't be another newsletter in July, except to announce the book (if it's done).

    If you're reading this on the web, you can subscribe here. Updates are once a week. My main website is here.

    My new book, Logic for Programmers, is now in early access! Get it here.

    需要完整排版与评论请前往来源站点阅读。