Contribute, Or Die: An Open Source Mantra
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”
Programming
How Many Types Is Too Many?
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.
A First Look at the Manda Language
It's still not public yet, but here's a little bit about my current project.
If you've read any of my "What's New" posts, you'll recall hearing about me
working on the "Manda" language
First Thoughts on GNU Guile
Synopsis: Baby's first Lisp
AOT Compilation, Kernel, and other Dart Hackery
Tinkering around with kernel, Dart's intermediate format... And more.
Discuss on Hacker News: https://news.ycombinator.com/item?id=19844762
The continued development of Dart's unified frontend (shared across the VM, dev
compiler,