miniblog.

I'm at Strange Loop conference! Do say hello if you're around.

OH agile philosophy: "postpone decision making until the last responsible moment"

Infer, a static analysis tool, has a DSL for declaring forbidden patterns: https://code.facebook.com/posts/277643589367408/ (it models ASTs with *temporal* logic!)

Nim's term-rewriting macros are wild: https://nim-lang.org/docs/manual.html#term-rewriting-macros (you can leverage Nim's side-effect analysis or enforce canonicalisation!)

Using 'final' to avoid dynamic dispatch on Swift: https://developer.apple.com/swift/blog/?id=27 (interesting keyword choice, I associate final with immutability)

Sadly, I've had to start muting words related to political topics. Politics produces lots of tweets in my feed saying the same thing.

I'm a big fan of the tangotango Emacs theme: https://github.com/juba/color-theme-tangotango It now has matching fringe colours, for a cleaner look!

A library with more contributors is almost always better than a lib with fewer IME. More perspectives and a greater range of ideas.

Charles Babbage was 100 years ahead of his time. An ambitious project to build his Analytical Engine:

Monetising fame and followers on Instagram/Snapchat: https://www.bloomberg.com/features/2016-arsenictv-snapchat-influencer-economy/ (people sometimes working for exposure rather than money!)

@magit_emacs shouldn't "its user" be "its users"? https://magit.vc/donate/ Magit is very widely used IME :)

Impressive! Elm can detect if you're assuming truthiness semantics,& the type checker will make helpful suggestions:

Too few languages have increment/decrement in the global namespace. I'm only aware of elisp and Clojure. It's really handy and I miss it.

A neat Rust project that compares types of public fns/structs/traits to see if you need to do a major version bump!

Interesting defence of laziness-by-default. Has some neat examples where wrapping expressions in λ is insufficient!