694
256
Cover Your Tracks
https://www.eff.org/deeplinks/2020/11/introducing-cover-your-tracks
5 years ago
579
471
I Miss Working from the Office
https://www.roguelazer.com/2020/11/i-miss-working-from-the-office/
469
281
Linux on iPad
https://ipadlinux.org/
369
50
I'm building a Minecraft clone in hardware, on a tiny FPGA with 143kb of RAM
https://twitter.com/nickmqb/status/1330195947050176517
319
82
Mvp.css – build your landing page with only semantic HTML
https://andybrewer.github.io/mvp/
301
88
SQLite briefing for Linux kernel hackers (2019)
https://sqlite.org/lpc2019/doc/trunk/briefing.md
267
63
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
255
378
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/
240
132
Deep Frozen Arctic Microbes Are Waking Up
https://www.scientificamerican.com/article/deep-frozen-arctic-microbes-are-waking-up/
221
59
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