To see my personal blog (on which I post a 6-8-page essay each month) click here.
On August 9, 2023, I presented a Webinar for Linux
Foundation on the topic of "Writing a Formal IT Specification." A link to the
recording is https://lnkd.in/egpChnet,
while a link to the handout is
https://lnkd.in/eEnU_7G8.
On October 12, 2023, I presented a Webinar for the Linux Foundation titled,
"Writing a Formal IT Specification for Publication by ISO." A link to the
recording is https://lnkd.in/er6BKKZH. A
link to the handout is
https://lnkd.in/eZTFzjmx.
In 1989, my book Portability and the C Language was published. Starting in 2021, I spent a great deal of time and effort revising it to match that language’s evolution over the previous 32 years. Late in 2022, I donated the final result to Wikibooks (a sister site to Wikipedia) where it can be read and maintained by members of the public. Click here to see that revised book.
As part of my work for Facebook, I wrote the first formal specification for the PHP language. This spec is available to the public at https://github.com/php/php-langspec. I also wrote one for Hack, Facebook's strongly typed language that is built on PHP. That spec is available at https://github.com/hhvm/hack-langspec.