How Elm slays a UI antipattern: https://blog.jenkster.com/2016/06/how-elm-slays-a-ui-antipattern.html
Argues for GADTs in web dev, and points out a common issue with async UIs that I can't unsee now.
miniblog.
Related Posts
"Minus 100 points", an article on deciding how to add features C#, remains one of the best introduction to PL design principles I've seen: https://docs.microsoft.com/en-us/archive/blogs/ericgu/minus-100-points
(Design is hard, combinatorial complexity grows easily, saying "no" needs to be a default.)
Clojure is changing how entry points are handled, with a default convention for command line arguments: https://insideclojure.org/2020/07/28/clj-exec/
Re-examining what the main function looks like is a really good exercise!
An optimistic take on neural networks for programming: https://medium.com/@karpathy/software-2-0-a64152b37c35
It makes some good points about predictable runtime performance, ability to trade CPU for accuracy, and the ease of hardware acceleration.

