Fun blog post on the subtleties of lazy IO in Haskell: https://ianthehenry.com/2016/3/9/lazy-io/
miniblog.
Thoughtful, interesting piece on why Julia is adding syntax to force vectorisation of code: https://julialang.org/blog/2017/01/moredots
Great overview of the Java unsoundness paper, and how null allows type system abuse: https://hackernoon.com/java-is-unsound-28c84cb2b3f
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: https://emacs.stackexchange.com/a/2472
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! https://aur.archlinux.org/packages/remacs-git/
This Week in Remacs: https://www.wilfred.me.uk/blog/2017/01/19/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: https://stackoverflow.com/a/20843829/509706
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 3,826-3,840 of 7,508 posts