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!
Exponential time complexity in the Swift type checker https://www.cocoawithlove.com/blog/2016/07/12/type-checker-issues.html (nifty deep dive into the constraint solver inside)
Rust libstd without C dependencies: gives a 131 byte hello world! https://twitter.com/BRIAN_____/status/820566643344429056
Emacs package of the day: unfill https://github.com/purcell/unfill . This handy utility will undo M-q (fill-paragraph).
Ratings on app stores have just become a way to report bugs. It's unfortunate, reviews need to be separate.
Sometimes language implementation is elegant and neat, but other times it's surprisingly simplistic. (from https://www.deater.net/weave/vmwprod/portal/ )
Showing 841-860 of 885 posts