I fear software tends towards the slowest tolerable speed. We only optimise when it's hurting us.
Perhaps we need less tolerant users? :)
miniblog.
Fascinating: BitTorrent is now dwarfed by Netflix usage, and younger internet users have grown up with good legal options for content! https://www.plagiarismtoday.com/2017/06/01/the-long-slow-decline-of-bittorrent/
Skalpel is a neat project for visualising type errors. Rather than showing where the type checker first found an issue, it highlights all the possible places you could fix the code to make it correct!
"We've found a bug for you!" — a compiler with a remarkably upbeat personality.
Component-Based Synthesis for Complex APIs: https://www.cs.utexas.edu/~isil/sypet-popl17.pdf
An incredible paper demonstrating synthesis of significantly sized pieces of Java code! You write a test case, and SyPet writes the code.
Emacs: where functions can be moral!
(This screenshot is shows helpful.el in action. See https://github.com/Wilfred/helpful ).
Lovely introdution to chaining computations in Haskell, and avoiding nesting: https://argumatronic.com/posts/2018-01-23-the-nesting-instinct.html (involves the M word, but in a very friendly way!)
Interesting article of the business dynamics affected by Glassdoor: https://www.newyorker.com/magazine/2018/01/22/improving-workplace-culture-one-review-at-a-time
I was struck by how much human moderation is still used despite their size. It's tempting to largely use machines when you have many users.
Proceedings of the SIGBOVIK 2017 conference (run by 'The Association For Computational Heresy): https://sigbovik.org/2017/proceedings.pdf is fully of excellent nerdy jokes.
TIL there's a fizzbuzz equivalent for computer science: "the rainfall problem". It's a fairly simple programming exercise with pretty thorough research about how tricky students find it: https://blog.acthompson.net/2018/01/how-hard-is-that-programming-problem.html (quite hard!)
Implementing an RPN macro in Rust: https://blog.cloudflare.com/writing-complex-macros-in-rust-reverse-polish-notation/ (includes a really useful section on robust macros that produce good error messages)
Persistent data types and how Rust's ownership model subsumes a surprising number of their use cases: https://smallcultfollowing.com/babysteps/blog/2018/02/01/in-rust-ordinary-vectors-are-values/
Squid is a remarkable quasiquotation library that ensures all of your code transformations are sound! It checks for types and free variables, and has a really neat way of pattern-matching on code with alpha conversion.
Dynamicland is exploring a "humane dynamic medium", an interesting model of computation using more tactile elements in a group context: https://dynamicland.org/research-notes/social-dynamics-of-programming-together/
I'm happy with pretty much any coding formatting style as long as there's an automated tool to apply it.
I do wonder whether there's a limit though -- are there styles that are completely awful even if you have a tool?
I suppose bug reports on formatting tools suggests so.
Showing 2,911-2,925 of 7,508 posts