Hacker News

1.		Cover Your Tracks (eff.org)
		308 points by cpeterso 6 hours ago \| hide \| 148 comments
2.		Transitioning from Docker to Podman (redhat.com)
		300 points by indentit 9 hours ago \| hide \| 166 comments
3.		Mvp.css – build your landing page with only semantic HTML (andybrewer.github.io)
		24 points by rahimnathwani 2 hours ago \| hide \| 3 comments
4.		Why do proof assistants use dependent type theory instead of set theory? (mathoverflow.net)
		63 points by pgustafs 4 hours ago \| hide \| 14 comments
5.		Symbiotic bacteria tell ant embryos how to develop (quantamagazine.org)
		55 points by rbanffy 5 hours ago \| hide \| 1 comment
6.		It is high time we let go of the Mersenne Twister (2019) (arxiv.org)
		117 points by henning 8 hours ago \| hide \| 61 comments
7.		SQLite briefing for Linux kernel hackers (sqlite.org)
		36 points by symisc_devel 4 hours ago \| hide \| 2 comments
8.		David Fincher’s Impossible Eye (nytimes.com)
		27 points by prismatic 4 hours ago \| hide \| 1 comment
9.		Why Japanese web design is so different (2013) (randomwire.com)
		279 points by Fiveplus 11 hours ago \| hide \| 133 comments
10.		Optimizing Your Web App 100x Is Like Adding 99 Servers (lukerissacher.com)
		180 points by QuadrupleA 8 hours ago \| hide \| 131 comments
11.		Show HN: Jupystar – Run any Jupyter notebook in the browser (starboard.gg)
		8 points by protoduction 2 hours ago \| hide \| discuss
12.		For Alaska shipwreck survivor, losing everything has been ‘sort of liberating’ (ktoo.org)
		67 points by DoreenMichele 7 hours ago \| hide \| 34 comments
13.		Test for Divisibility by 13 (johndcook.com)
		93 points by pmontra 9 hours ago \| hide \| 12 comments
14.		Nbdev: A literate programming environment that democratizes best practices (github.blog)
		174 points by pbowyer 13 hours ago \| hide \| 72 comments
15.		Sega VR Revived: Emulating an Unreleased Genesis Accessory (gamehistory.org)
		213 points by ecliptik 15 hours ago \| hide \| 63 comments
16.		Opytimizer: Nature-Inspired Computation in Python (github.com/gugarosa)
		55 points by optimalsolver 8 hours ago \| hide \| 2 comments
17.		Why We're Building Observable (observablehq.com)
		259 points by petulla 15 hours ago \| hide \| 75 comments
18.		The Gruen Effect (99percentinvisible.org)
		10 points by corentin88 3 hours ago \| hide \| 4 comments
19.		Getting Started with Random Matrices: A Step-by-Step Guide (medium.com/cantors-paradise)
		5 points by jorgenveisdal 1 hour ago \| hide \| 1 comment
20.		Hyperbaric oxygen therapy increases telomere length in isolated blood cells (aging-us.com)
		119 points by generalizations 12 hours ago \| hide \| 44 comments
21.		Show HN: I made an alternative to Google Alerts that listens to social media (pmalerts.com)
		205 points by fstopmick 15 hours ago \| hide \| 81 comments
22.		Flash Animations Live Forever at the Internet Archive (archive.org)
		720 points by tosh 1 day ago \| hide \| 242 comments
23.		Static Typing for Ruby: Adopting Sorbet at Scale (shopify.engineering)
		124 points by ufuk 13 hours ago \| hide \| 65 comments
24.		Paradigms Without Progress: Kuhnian Reflections on Programming Practice [video] (youtube.com)
		9 points by BadInformatics 3 hours ago \| hide \| discuss
25.		I've now played with a Raspberry Pi 400 for a week and here are my conclusions
		263 points by MarkusWandel 15 hours ago \| hide \| 185 comments
26.		BuildZoom (better way to build custom homes) Is hiring a Principal Engineer (lever.co)
		9 hours ago \| hide
27.		Eight Years at Roblox (zeux.io)
		240 points by modeless 21 hours ago \| hide \| 81 comments
28.		Symbolics, Inc.: A failure of heterogeneous engineering (2001) [pdf] (web.mit.edu)
		80 points by tmalsburg2 15 hours ago \| hide \| 53 comments
29.		What do RISC and CISC mean in 2020? (erik-engheim.medium.com)
		137 points by socialdemocrat 14 hours ago \| hide \| 112 comments
30.		Why are there so many cats in Istanbul? (legalnomads.com)
		97 points by ducaale 11 hours ago \| hide \| 91 comments
		More