On the relationship between expressiveness and the need for patterns, from an interesting paper on PL expressiveness
miniblog.
Thoughtful, interesting piece on why Julia is adding syntax to force vectorisation of code:
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!)
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:
Ur-Scheme: A self-hosting compiler from a subset of R5RS to x86 https://canonical.org/~kragen/sw/urscheme/ (interesting and a great list of related projects!)
Listening to https://www.se-radio.net/2017/01/se-radio-episode-279-florian-gilcher-on-rust/ and hearing about Servo's influence on Rust's design, leading to the removal of GC from Rust.
Showing 3,871-3,885 of 7,549 posts