Minix and how it has won mindshare in a way that Hurd struggled to: https://www.reddit.com/r/hurd/comments/273tij/hurd_the_minix_3_microkernel/chxycem/ (due to seL4, Redox I'm excited re microkernels)
miniblog.
How My 10-Year-Old Learned Javascript https://hackernoon.com/how-my-10-year-old-learned-javascript-d8782b586db7 (after Scratch, used JS over Python: more visual and a natural UI component)
I think of FP practices as being young, but *Fortran* supports annotations for explicit inputs, outputs and purity! https://www.moreisdifferent.com/2015/07/16/why-physicsts-still-use-fortran/
I used to think DCE and constant propagation were pointless: eg clean code shouldn't have dead sections. But inlining creates opportunities!
Interesting thread: argues that fake news is just a subset of the clickbait problem. https://twitter.com/maradydd/status/809506887133790208
An elegant blog post demonstrating conversion to A-Normal Form (important in SSA in compilers) using Liquid Haskell: https://goto.ucsd.edu/~rjhala/liquid/haskell/blog/blog/2016/09/05/normal-forms.lhs/
How language design leads to AOT compilation or a JIT, and how Swift tries a hybrid approach: https://lists.swift.org/pipermail/swift-evolution/Week-of-Mon-20151207/001948.html
Dependency resolution is NP-complete, and many package managers use external SAT solvers! https://research.swtch.com/version-sat
Why does NPM's policy of duplicated deps work? https://stackoverflow.com/q/25268545 (JS practices around encapsulation tend to prevent problems)
Great overview of the first lisp, which even invented conditional statements! https://dev.to/ericnormand/the-idea-of-lisp
Seems ironic that Erlang was built by a telecoms company yet WhatsApp is using it to replace a major revenue stream for phone providers.
Crowd-sourced creation really benefits from letting users claim the glory. A user may show off SO rep, but there's no Wikipedia equivalent.
On the challenges of writing a good benchmark, and how JS implementations risked optimising the wrong things: https://benediktmeurer.de/2016/12/16/the-truth-about-traditional-javascript-benchmarks/
Today I learnt the term Full Syntax Tree. Unlike an AST, this includes whitespace and comments so you can do code transformations.
Kakoune is a fascinating project taking the vim philosophy but building a compelling interactive feedback UI: https://kakoune.org/why-kakoune/why-kakoune.html
The value of a static analysis tool grows superlinearly with the size of the codebase: https://www.viva64.com/en/b/0158/
Discovered today that org-mode has its own subreddit! https://www.reddit.com/r/orgmode/
Another 'can't live without it' Emacs package: bool-flip: https://github.com/michaeljb/bool-flip toggle between true/false under the cursor.
Debugging Your Operating System: A Lesson In Memory Allocation https://lukasa.co.uk/2016/12/Debugging_Your_Operating_System/ (superb, accessible deep dive into calloc and paging)
Emacs tip: add lexical-binding: t to your elisp files. This makes closures easier to reason about and lets the byte compiler find more bugs.
Showing 21-40 of 922 posts