miniblog.

Remacs now builds on OS X, and we run the Emacs ERT tests on every PR!
Nice overview of Scheme macros, and a good motivation for having a syntax object (filenames! line numbers!)
On the relationship between expressiveness and the need for patterns, from an interesting paper on PL expressiveness
Photo
Fun blog post on the subtleties of lazy IO in Haskell:
Thoughtful, interesting piece on why Julia is adding syntax to force vectorisation of code:
Great overview of the Java unsoundness paper, and how null allows type system abuse:
If Haskell is so great, why hasn't it taken over the world? https://pchiusano.github.io/2017-01-20/why-not-haskell.html (on productivity multipliers and composability)
Today I learnt that the Travis status site shows the build backlog, if any: https://www.traviscistatus.com/ (see also https://stackoverflow.com/questions/29567063/how-does-travis-ci-org-throttle-builds/34809448#34809448)
TIL XEmacs has more datatypes! For example, a keymap is an opaque type rather than a list:
Amazingly, Haskell can sometimes detect unwanted infinite loops at runtime: https://stackoverflow.com/a/21554398 (and you can even catch the exception!)
Remacs now has its git repo packaged on AUR!
This Week in Remacs:
Go is exploring a smart test runner which only re-runs tests that depend on changed code: https://github.com/golang/go/issues/11193 (rare in other languages!)
Turns out that byte-compiling elisp will replace calls to some primitive functions! https://emacs.stackexchange.com/a/30071/304 (faster, but stops redefining)
Remacs is a great way of learning bits of C I haven't seen before. TIL `void foo();` is not a function prototype:
Showing 3,961-3,975 of 7,641 posts