It was called choir.io. It allowed you to translate streams of events into sounds. You would categorise your events into a matrix of good-neutral-bad with different levels of severity, and point them at choir.io. The service would then play samples that fit the category in a web client. There were different sound themes as well.
They probably couldn't make it pay, and it disappeared, but I sorely miss it. Would have been nice if it was open sourced.
I agree completely. Elastic tabstops are such an elegant solution to the whole debate. It turns the tab character into what it should be semantically, a character to denote alignment, just as it is used in a wysiwyg word processor.
When supported by the editor, it also allows the user to align columns using a proportional font instead of the fixed-with fonts we have to use now.
The concept has been discussed on HN earlier, but the accessibility argument is something that I hadn't considered or seen anyone discuss.
They probably couldn't make it pay, and it disappeared, but I sorely miss it. Would have been nice if it was open sourced.
https://web.archive.org/web/20180917233517/https://corte.si/...