Vim desires you to manage, VSCode desires you to devour • Buttondown
E-newsletter updates had been sporadic in July due to two weddings, two conferences (with two completely different talks!), and ending ...
Tag: Buttondown
Logic for Programmers is Achieved • Buttondown
It is performed. Logic for Programmers is now 1.0 and out there in print. Full announcement right here, official web ...
I am nonetheless alive • Buttondown
Between journey obligations and this final heads-down-gotta-get-the-book-done stretch I have never had time to jot down any newsletters and even ...
Logic for Programmers v0.15, Livecoding • Buttondown
There is a new launch of Logic for Programmers! This one, model 0.15, is the primary true launch candidate. There's ...
Nontrailing separators don’t spark pleasure • Buttondown
That is legitimate JSON: { "a": 1, "b": 2, "c": 3 } That is invalid JSON: { "a": 1, "b": ...
Logic for Programmers additional credit • Buttondown
So I stated there wasn’t a correct e-newsletter this week, since I’m in Budapest prepping for a convention. However I ...
Understanding about issues is cheaper than figuring out issues • Buttondown
Quick one this week as a result of I am approach behind on e book and convention prep. Final week ...
Assumptions weaken properties • Buttondown
In some checks are stronger than others, I outlined STRONG => WEAK to imply "any system passing check STRONG can ...
Factors are a bizarre and inconsistent unit of measure • Buttondown
I am in the course of redoing the Logic for Programmers diagrams and this has surfaced a extremely annoying downside. ...
New Logic for Programmers (and the way forward for this article) • Buttondown
So first the fast information: I simply launched model 0.14 of Logic for Programmers! This launch is fairly just like ...
The world's leading source for AI research, emerging technology, and the people building the future. Independent, rigorous, and always ahead.