miniblog.

On the challenges of building a P2P microblog system that still allows you to deal with trolls:
Applying any additional form of static analysis will find new bugs. Writing a new fuzzer is equally effective!
All to often, we choose programming languages based on social merit. Great commentary from
Photo
Do we associate syntax with semantics? Would you find ML syntax with dynamic types weird, or a lisp with Java-style var type declarations?
Elixir has a lovely syntax. It has great macro support without requiring parentheses.
Notes on Postmodern Programming is a fun, quirky paper. The comments on where metaphors come from is interesting.
Photo
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.
Showing 3,271-3,285 of 7,584 posts