With any skill for which there exist Internet tutorials, there are bound to be
hundreds of tutorials covering the very basics. This is especially true for
computer programming. The problem, though, is that
As January winds down, I figured it would be a good time to continue my "What's
New" series. (I've actually posted one this month already, so this will also
cover early February.)
What's
I originally wrote a draft of this in December, but was inspired to finish it by
recent events (i.e. actix-web).
We’ve all heard the trope that the “free” in “free software”
Position: Type annotations are ultimately undesirable when working with
sufficiently-complex type systems, but there is no better solution.
There is a point where a formally-verified compiler becomes indistinguishable
from an automated theorem prover.
