I built a local-first replacement for TV Time before it shuts down July 15 · HackerLangs