miniblog.

Scala LMS is really neat: it's rare to see a code generation tool with common subexpression elimination included!

hub is really growing on me: https://github.com/github/hub It provides a layer of excellent GitHub commands on top of the usual git UI.

"link aggregators are a special type of social network that we should value higher" The importance of upvoting

Reading about the nonempty list type in Haskell: https://wiki.haskell.org/Non-empty_list (example of the 'enforce everything in the type system' philosophy)

Strict-by-default vs Lazy-by-default https://www.barrucadu.co.uk/posts/2016-02-12-strict-vs-lazy.html (clear, readable defense of lazy programming languages)

I admire the Go team's drive to improve build times. Many golang release announcements include bar charts—I wish more PLs did this.

Sometimes I use tools because they're clearly technically superior. Sometimes though it's because the maintainer is a delight to work with.

Awesome @emacs_flycheck feature: you can click error IDs and it will show the full compiler explanation! (Rust in this example.)

How China Is Changing Your Internet https://www.nytimes.com/video/technology/100000004574648/china-internet-wechat.html (video on how WeChat has become a platform)

The Swift team are discussing a Rust/Cyclone style ownership system! https://lists.swift.org/pipermail/swift-evolution/Week-of-Mon-20170213/032155.html (opt-in and an interesting dynamic enforcement)

The Racket team are looking at using the Chez VM, for higher perf and writing more of Racket in Racket!

The Biggest and Weirdest Commits in Linux Kernel Git History https://www.destroyallsoftware.com/blog/2017/the-biggest-and-weirdest-commits-in-linux-kernel-git-history (epic diffs, 66-way octopus merges and other fun)

What's your preferred Emacs mail package?

I'm also struck by how many gnus tutorials assume gmail. We're a monoculture!

I've created a throwaway email account to play with Gnus. It's surprising how many email providers disable IMAP by default these days.