"We've found a bug for you!" — a compiler with a remarkably upbeat personality.
miniblog.
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:
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:
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.
Amazing Clojure REPL demo, with integrated docs, search, multiline editing and inline evaluation. Pythonistas are spoilt with ipython, but this compares very favourably! https://twitter.com/bhauman/status/959170037025329153
I stumbled across a copy of 'Computers For Seniors For Dummies' today. 'Using Windows Help' comes several chapters before introducing web browsers!
Even new projects include a significant amount of shell code! A good reminder that our base abstractions matter.
Showing 586-600 of 657 posts