Hacker News

1.		System Font Stack (systemfontstack.com)
		154 points by SenHeng 4 hours ago \| hide \| 100 comments
2.		Make formal verification and provably correct software practical and mainstream (github.com/magmide)
		49 points by peanutcrisis 2 hours ago \| hide \| 40 comments
3.		Adding rollback netplay to a Game Boy Advance game from 2005: Part 1 (tangobattle.substack.com)
		39 points by vore 3 hours ago \| hide \| discuss
4.		GitHub Star History Graph (star-history.com)
		101 points by bokenator 6 hours ago \| hide \| 52 comments
5.		Time Series and FoundationDB (2019) (github.com/richardartoul)
		212 points by richieartoul 9 hours ago \| hide \| 78 comments
6.		Once in a Lifetime (ethanhein.com)
		19 points by troydavis 1 hour ago \| hide \| 3 comments
7.		Paginating Requests in APIs (2020) (ignaciochiazzo.medium.com)
		187 points by exemel_hn 8 hours ago \| hide \| 153 comments
8.		Linux kernel RNG enhancements for 5.19 (twitter.com/edgesecurity)
		65 points by zx2c4 5 hours ago \| hide \| 8 comments
9.		Reverse engineering Xiaomi air purifier NFC stickers (flamingo-tech.nl)
		175 points by thunderbong 9 hours ago \| hide \| 99 comments
10.		What Was the Wiretap? (thenation.com)
		8 points by samclemens 1 hour ago \| hide \| discuss
11.		SplinterDB: High performance embedded key-value store (github.com/vmware)
		61 points by ridruejo 6 hours ago \| hide \| 27 comments
12.		Building a Threat Intelligence Feed Using the Twitter API and a Bit of Code (grimminck.medium.com)
		7 points by Robbedoes 25 minutes ago \| hide \| discuss
13.		Code quality only matters in context (2019) (adamtornhill.com)
		91 points by behnamoh 7 hours ago \| hide \| 48 comments
14.		How do video games stay in sync? (medium.com/geekculture)
		261 points by whack 14 hours ago \| hide \| 137 comments
15.		FireZone – Open-source VPN server and firewall (firezone.dev)
		208 points by punnerud 12 hours ago \| hide \| 51 comments
16.		Uber and Lyft’s new road: Fewer drivers, thrifty riders and jittery investors (wsj.com)
		176 points by elsewhen 5 hours ago \| hide \| 323 comments
17.		Tangle-free magnetic USB cables are here (theverge.com)
		21 points by Tomte 3 hours ago \| hide \| 15 comments
18.		Ampere Announces 5nm Arm Server CPU AmpereOne (servethehome.com)
		46 points by ksec 7 hours ago \| hide \| 19 comments
19.		Persist or let it go: a study of entrepreneurial decision making (sciencedirect.com)
		84 points by sgfgross 8 hours ago \| hide \| 73 comments
20.		QuestDB (YC S20) is hiring Python and cloud engineers (questdb.io)
		6 hours ago \| hide
21.		Anytype: A local, privacy-first Notion alternative (anytype.io)
		38 points by weakfish 6 hours ago \| hide \| 16 comments
22.		Fearful Symmetry: Inkblot Books (1859–1915) (publicdomainreview.org)
		5 points by prismatic 1 hour ago \| hide \| discuss
23.		Show HN: Quickly find sensitive files in your GitHub repo (sourcegraph.com)
		18 points by jdorfman 3 hours ago \| hide \| 7 comments
24.		Brave Browser Hardening (gitlab.com/chef-koch)
		61 points by CHEF-KOCH 5 hours ago \| hide \| 63 comments
25.		Print an Arduino-Powered Color Mechanical Television (ieee.org)
		6 points by sohkamyung 1 hour ago \| hide \| discuss
26.		The quest for fusion energy (inference-review.com)
		63 points by mellosouls 8 hours ago \| hide \| 76 comments
27.		Multiplicity Choices Are Hard to Model and Change (tratt.net)
		14 points by ltratt 4 hours ago \| hide \| 1 comment
28.		Translating math into code with examples in Java, Racket, Haskell, Python (2011) (might.net)
		52 points by ddtaylor 7 hours ago \| hide \| 4 comments
29.		The Endearing Colette (2015) (whistlingshade.com)
		12 points by robtherobber 4 hours ago \| hide \| 1 comment
30.		Show HN: Memlink, a self-contained web page in a link (meml.ink)
		65 points by throwaway413 9 hours ago \| hide \| 32 comments
		More