Hacker News

1.		System Font Stack (systemfontstack.com)
		183 points by SenHeng 5 hours ago \| hide \| 108 comments
2.		Make formal verification and provably correct software practical and mainstream (github.com/magmide)
		73 points by peanutcrisis 3 hours ago \| hide \| 49 comments
3.		My Students Cheated... a Lot (crumplab.com)
		28 points by benjyhirsch 1 hour ago \| hide \| 21 comments
4.		Once in a Lifetime (ethanhein.com)
		42 points by troydavis 2 hours ago \| hide \| 11 comments
5.		Building a Threat Intelligence Feed Using the Twitter API and a Bit of Code (grimminck.medium.com)
		24 points by Robbedoes 1 hour ago \| hide \| discuss
6.		Adding rollback netplay to a Game Boy Advance game from 2005: Part 1 (tangobattle.substack.com)
		57 points by vore 4 hours ago \| hide \| 3 comments
7.		GitHub Star History Graph (star-history.com)
		110 points by bokenator 7 hours ago \| hide \| 55 comments
8.		Paginating Requests in APIs (2020) (ignaciochiazzo.medium.com)
		198 points by exemel_hn 9 hours ago \| hide \| 156 comments
9.		Time Series and FoundationDB (2019) (github.com/richardartoul)
		216 points by richieartoul 10 hours ago \| hide \| 79 comments
10.		Linux kernel RNG enhancements for 5.19 (twitter.com/edgesecurity)
		72 points by zx2c4 6 hours ago \| hide \| 8 comments
11.		Reverse engineering Xiaomi air purifier NFC stickers (flamingo-tech.nl)
		183 points by thunderbong 10 hours ago \| hide \| 105 comments
12.		In Defense of Coding Interviews (biggestfish.substack.com)
		4 points by lilfrost 51 minutes ago \| hide \| discuss
13.		SplinterDB: High performance embedded key-value store (github.com/vmware)
		64 points by ridruejo 7 hours ago \| hide \| 29 comments
14.		Print an Arduino-Powered Color Mechanical Television (ieee.org)
		14 points by sohkamyung 2 hours ago \| hide \| discuss
15.		How do video games stay in sync? (medium.com/geekculture)
		269 points by whack 15 hours ago \| hide \| 145 comments
16.		What Was the Wiretap? (thenation.com)
		13 points by samclemens 2 hours ago \| hide \| 1 comment
17.		FireZone – Open-source VPN server and firewall (firezone.dev)
		216 points by punnerud 13 hours ago \| hide \| 51 comments
18.		Code quality only matters in context (2019) (adamtornhill.com)
		94 points by behnamoh 8 hours ago \| hide \| 50 comments
19.		Ciaramella DSP Web Playground (ciaramella.dev)
		6 points by nonrandomstring 1 hour ago \| hide \| discuss
20.		Persist or let it go: a study of entrepreneurial decision making (sciencedirect.com)
		90 points by sgfgross 9 hours ago \| hide \| 75 comments
21.		Tangle-free magnetic USB cables are here (theverge.com)
		28 points by Tomte 4 hours ago \| hide \| 37 comments
22.		QuestDB (YC S20) is hiring Python and cloud engineers (questdb.io)
		7 hours ago \| hide
23.		Anytype: A local, privacy-first Notion alternative (anytype.io)
		48 points by weakfish 7 hours ago \| hide \| 19 comments
24.		Uber and Lyft’s new road: Fewer drivers, thrifty riders and jittery investors (wsj.com)
		185 points by elsewhen 6 hours ago \| hide \| 345 comments
25.		Ampere Announces 5nm Arm Server CPU AmpereOne (servethehome.com)
		50 points by ksec 8 hours ago \| hide \| 21 comments
26.		Brave Browser Hardening (gitlab.com/chef-koch)
		68 points by CHEF-KOCH 6 hours ago \| hide \| 68 comments
27.		Fearful Symmetry: Inkblot Books (1859–1915) (publicdomainreview.org)
		7 points by prismatic 2 hours ago \| hide \| discuss
28.		Show HN: Quickly find sensitive files in your GitHub repo (sourcegraph.com)
		24 points by jdorfman 4 hours ago \| hide \| 9 comments
29.		The quest for fusion energy (inference-review.com)
		67 points by mellosouls 9 hours ago \| hide \| 83 comments
30.		Show HN: Memlink, a self-contained web page in a link (meml.ink)
		70 points by throwaway413 10 hours ago \| hide \| 33 comments
		More