Impressive! Elm can detect if you're assuming truthiness semantics,& the type checker will make helpful suggestions: https://elm-lang.org/blog/compilers-as-assistants
miniblog.
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! https://github.com/ibabushkin/rust-semverver
Interesting defence of laziness-by-default. Has some neat examples where wrapping expressions in λ is insufficient! https://augustss.blogspot.co.uk/2011/05/more-points-for-lazy-evaluation-in.html
On the challenges of building a P2P microblog system that still allows you to deal with trolls: https://medium.com/enspiral-tales/personal-safety-in-a-p2p-social-network-f2f7008ba31a
Applying any additional form of static analysis will find new bugs. Writing a new fuzzer is equally effective! https://googleprojectzero.blogspot.co.uk/2017/09/the-great-dom-fuzz-off-of-2017.html?m=1
All to often, we choose programming languages based on social merit. Great commentary from
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.
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
Using defstruct in Common Lisp to produce more optimised code: https://blog.kingcons.io/posts/Going-Faster-with-Lisp.html
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! https://cs.au.dk/~mis/dOvs/slides/46b-codegeneration-in-V8.pdf
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! https://stackoverflow.com/a/17046172/509706
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. https://twitter.com/TheRegister/status/909787320907386881
Showing 201-220 of 885 posts