Fun blog post on the subtleties of lazy IO in Haskell:
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.
Good language design tries to avoid similar programs being valid, to avoid accidents producing executable code. I keep typing listp as lisp!
Showing 841-855 of 885 posts