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?)
miniblog.
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/
JIT compiling elisp: https://nullprogram.com/blog/2016/12/11/ (really nice demonstration of the power of lisp)
To my surprise, mapcar is so fast (it's an elisp primitive) that creating lambdas is cheaper than using a loop: https://gist.github.com/Wilfred/d51db0a1433ec4abdbca58a0dec039a5
YouTube increased its viewership by ten times since 2012! https://www.wsj.com/articles/youtube-tops-1-billion-hours-of-video-a-day-on-pace-to-eclipse-tv-1488220851
Intriguingly, Haskell has *three* exponentiation operators to ensure everything is type safe: https://stackoverflow.com/a/6400628/509706
Let’s stop copying C https://eev.ee/blog/2016/12/01/lets-stop-copying-c/ (excellent overview of C's quirks and how it has influenced later languages)
I have graciously been given access to @ecotd, so do follow that account to learn new Emacs commands! (cl-incf productivity)
If git diff or git log shows you tons of added/deleted files, you can use --diff-filter to just see changed files! https://stackoverflow.com/a/6896699/509706
Many of my python docstrings could be shorter with a Rust type system. I end up writing "mutates" or "returns copy" rather than &mut Foo.
Why does a Turing-complete type system make type checking undecidable? https://composition.al/blog/2017/02/27/why-does-a-turing-complete-type-system-make-type-checking-undecidable/ (Java's type checker is Turing complete!)
Google now supports searching for language syntax like === https://blog.google/products/search/improvements-searching-special-characters-programming-languages/ (handy for infix heavy PLs like Scala or Haskell)
I don't see any value in an Optional type with a dynamic type system. AFAICS you can only avoid NPEs with a static or gradual type checker.
Emacs C has lots of sizeof(struct)*CHAR_BITS. Explicit is good, but I doubt many users have CHAR_BITS != 8.
Showing 721-740 of 885 posts