top 10 hacker news stories for 2020-11-21

Cover Your Tracks

https://www.eff.org/deeplinks/2020/11/introducing-cover-your-tracks

5 years ago

I Miss Working from the Office

https://www.roguelazer.com/2020/11/i-miss-working-from-the-office/

5 years ago

Linux on iPad

https://ipadlinux.org/

5 years ago

I'm building a Minecraft clone in hardware, on a tiny FPGA with 143kb of RAM

https://twitter.com/nickmqb/status/1330195947050176517

5 years ago

Mvp.css – build your landing page with only semantic HTML

https://andybrewer.github.io/mvp/

5 years ago

SQLite briefing for Linux kernel hackers (2019)

https://sqlite.org/lpc2019/doc/trunk/briefing.md

5 years ago

X11 Library Sees Lots of Fixes with LibX11 1.7 Release

https://www.phoronix.com/scan.php?page=news_item&px=libX11-1.7.0-Released

5 years ago

Victoria follows South Australia and imposes electric car road tax

https://thedriven.io/2020/11/21/shameful-victoria-follows-south-australia-and-imposes-electric-car-road-tax/

5 years ago

Deep Frozen Arctic Microbes Are Waking Up

https://www.scientificamerican.com/article/deep-frozen-arctic-microbes-are-waking-up/

5 years ago

Why is dependent type theory more suitable than set theory for proof assistants?

https://mathoverflow.net/questions/376839/what-makes-dependent-type-theory-more-suitable-than-set-theory-for-proof-assista

5 years ago