miniblog.

Amazingly, Clang implements proper tab stops so that its diagnostics always line up with the faulty code! https://github.com/rust-lang/rust/issues/38384#issuecomment-326813710
Interesting critique of laziness in PLs and what their types mean from
Photo
Using defstruct in Common Lisp to produce more optimised code:
Another Emacs user learning more about git thanks to magit! I've had similar experiences. https://twitter.com/AMalabarba/status/910817171584028672
All the papers from the <Programming> 2017 conference have freely available PDFs! https://2017.programming-conference.org/track/programming-2017-papers Well worth your time.
Interesting slides on how V8 produces efficient assembly using only one pass of the AST!
Impressively, Elm collects bad error message examples to find ways of improving them! https://github.com/elm-lang/error-message-catalog/issues Elm errors are already v good!
Proving that two funcs are equivalent is undecidable in general. Still, this SO answer describes some amazing tools!
When was the last time you installed a program that included help or a manual? It seems to be a dying breed.
A nice heuristic: treat cookies differently depending on whether you've browsed to their domain. Browser fingerprint tech is mature though.
Great paper quantifying bugs that could be avoided with JS gradual typing, and even measuring verbosity increases! https://twitter.com/adriancolyer/status/910043537651183616
CSS scoped modules can even have type checking with Typescript!
Worthwhile article on considering PL creation as a design process:
ML's module system has a notion of composition and even types! https://jozefg.bitbucket.io/posts/2015-01-08-modules.html
Highlighting parameters, let-bound vars and special variables differently in elisp!
Photo
Showing 211-225 of 885 posts