Great paper quantifying bugs that could be avoided with JS gradual typing, and even measuring verbosity increases! https://twitter.com/adriancolyer/status/910043537651183616
Related Posts
Difftastic has been cited in a paper!
Modernizing SMT-Based Type Error Localization https://arxiv.org/abs/2408.09034
The authors use difftastic to work out which parts of a buggy program have actually changed, a great use case :)
On thinking of books like software, treating them as evolving artifacts, and URLs versus paper book publishers: https://cs.brown.edu/~sk/Memos/Books-as-Software/
Text to speech systems seem to have largely avoided the uncanny valley effect. I've encountered robotic sounding voices but it's way less unsettling than bad CGI.
I'm not sure why this is. Maybe looking at faces is just way higher bandwidth so more things can go wrong?