π in Julia is not just a Float64 constant. It's evaluated to the accuracy required of the type you're using! https://julialang.org/blog/2017/03/piday
miniblog.
One Emacs user has filed ~2000 bugs, 5x the next most prolific user! https://lists.gnu.org/archive/html/emacs-devel/2017-03/msg00222.html (also contains OS, distro and arch popularity)
Enforcing that globals are assigned first in Lua: https://metalua.luaforge.net/src/lib/strict.lua.html (💪 metaprogramming, something I normally associate with slow PLs)
GitHub Flavoured Markdown now has a formal spec as a superset of CommonMark! https://githubengineering.com/a-formal-spec-for-github-markdown/
Lua treats nil and false as falsy values, but not 0 (unlike python and JS). So little agreement as to what should be falsy!
Lektor is an interesting mix of Jekyll and Wordpress functionality: a Wordpress-style editor but outputs static HTML https://www.getlektor.com/docs/what/
Understanding and using SAT solvers: A practitioner perspective https://resources.mpi-inf.mpg.de/departments/rg1/conferences/vtsa09/slides/leberre1.pdf
Detecting Android malware by extracting a static call graph and applying ML https://blog.acolyer.org/2017/03/09/mamadroid-detecting-android-malware-by-building-markov-chains-of-behavorial-models/ (impressive how high-level the CFG is)
BuzzFeed is exploring a comments tool that deliberately shows opposing views https://www.buzzfeed.com/bensmith/helping-you-see-outside-your-bubble (trying to prevent a filter bubble!)
ez-query-replace is now even smarter, and has screenshots! https://github.com/Wilfred/ez-query-replace.el #emacs
TIL an obscure git flag: --intent-to-add. Adds an empty file at a given path, so you can see new files as diffs: https://stackoverflow.com/q/24329051/509706
Utter Disregard for Git Commit History https://zachholman.com/posts/git-commit-history/ (the unit of change is important -- put PR descriptions in merge commits?)
Did you know that M-x calc in Emacs supports exact fractions? (I didn't.) Use colons, so 1:3 is one third.
Imagine calling a method on all your superclasses and summing: https://www.gigamonkeys.com/book/object-reorientation-generic-functions.html (method-combination: CLOS is amazingly flexible!)
Buggy C++ (including use of == in place of =) enabled an attacker to create Zcoin from thin air: https://makebitcoingreatagain.wordpress.com/2017/02/18/is-the-zcoin-bug-in-checktransaction/ (formal methods?)
Golang community survey: https://blog.golang.org/survey2016-results (a much underrated way of finding ways of making PLs better)
Crystal clear intro to the challenges of inlining with good debug info https://docs.google.com/presentation/d/1Wcblp3jpfeKwA0Y4FOmj63PW52M_qmNqlQkNaLj0P5o/edit#slide=id.p (even though Go lets you inspect the stack!)
Amusingly, *technology* book sales still prefer paper over ebooks!
If you've ever fancied implementing a type checker, there's a fun example in readable JS here: https://languagengine.co/blog/so-you-want-to-write-a-type-checker/
Showing 3,041-3,060 of 6,855 posts