Hacker News on 21 November 2020

• Cover Your Tracks
• I Miss Working from the Office
• Linux on iPad
• I'm building a Minecraft clone in hardware, on a tiny FPGA with 143kb of RAM
• Mvp.css – build your landing page with only semantic HTML
• SQLite briefing for Linux kernel hackers (2019)
• X11 Library Sees Lots of Fixes with LibX11 1.7 Release
• Victoria follows South Australia and imposes electric car road tax
• Deep Frozen Arctic Microbes Are Waking Up
• Why is dependent type theory more suitable than set theory for proof assistants?