@zaitcev Though, it's hard to find dumb tvs anymore on BestBuy at least. there's a reasonable number of 1080p ones mostly store-brand models, but 4k ones are very scarce. 1 $550 Samsung one, and a moderate number of super expensive Magnolia ones.
@zaitcev Myth's still around, though the releases have slowed down. (Last stable one was 11 months ago.) There's modern TV tuner boxes that are standalone and network connected, so you can just log into them and watch digital ATSC OTA tv, and I think Myth supports recording TV from those as well. That's what I did back in 2006-2010ish, but then I basically dropped cable and stopped watching OTA entirely. I just have consoles hooked to monitors by HDMI, and use Streaming services now.
@zaitcev I don't know if all of these are Myth supported, but here's various tuner/pvr solutions. https://www.lifewire.com/external-tv-tuner-guide-1130672
An instance for Kazriko