











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:
So there probably won't be another newsletter in July, except to announce the book (if it's done).
此内容由惯性聚合(RSS阅读器)自动聚合整理,仅供阅读参考。 原文来自 — 版权归原作者所有。