Hacker News

1.		Verified Programming in F*: A Tutorial (fstar-lang.org)
		38 points by jstrieb 1 hour ago \| hide \| 1 comment
2.		Uber discovered they’d been defrauded out of 2/3 of their ad spend (twitter.com/nandoodles)
		1509 points by rbanffy 16 hours ago \| hide \| 747 comments
3.		Show HN: Lightspeed – subsecond, open source, self hosted stream from OBS (github.com/grvydev)
		208 points by GRVYDEV 6 hours ago \| hide \| 48 comments
4.		Equal Pay for Equal Work (dusted.codes)
		22 points by dustinmoris 2 hours ago \| hide \| 14 comments
5.		URL shorteners set ad tracking cookies (ylukem.com)
		397 points by firloop 15 hours ago \| hide \| 170 comments
6.		I logged my activities at 15-minute intervals for the whole year (samplesize.one)
		595 points by HuangYuSan 17 hours ago \| hide \| 262 comments
7.		Microsoft files patent to create chatbots from your dead loved ones (inputmag.com)
		18 points by deesep 44 minutes ago \| hide \| 23 comments
8.		AMD Patent Reveals Hybrid CPU-FPGA Design That Could Be Enabled by Xilinx Tech (hothardware.com)
		250 points by craigjb 17 hours ago \| hide \| 143 comments
9.		Graphtoy (graphtoy.com)
		159 points by based2 13 hours ago \| hide \| 25 comments
10.		Look Up Unknown Phone Numbers Using Facebook Reset Password (bytexd.com)
		161 points by punkspider 14 hours ago \| hide \| 90 comments
11.		QuestDB (YC S20) Is Hiring a Back End Engineer (questdb.io)
		3 hours ago \| hide
12.		ECC matters (realworldtech.com)
		899 points by rajesh-s 19 hours ago \| hide \| 481 comments
13.		Singapore says contact tracing data may be used for criminal investigations (channelnewsasia.com)
		122 points by acekingspade 3 hours ago \| hide \| 103 comments
14.		Show HN: Organizedly – Linked notes, todo's, calendar and queries (organizedly.io)
		18 points by gabriel0r 4 hours ago \| hide \| 15 comments
15.		20 months, 2K hours, 200K € lost. A story about resilience and sunk cost fallacy (dsebastien.medium.com)
		208 points by dSebastien 9 hours ago \| hide \| 125 comments
16.		Worldsheet: Wrapping the World in a 3D Sheet, View Synthesis from a Single Image (worldsheet.github.io)
		87 points by ArtWomb 11 hours ago \| hide \| 25 comments
17.		On Repl-Driven Programming (mikelevins.github.io)
		263 points by todsacerdoti 1 day ago \| hide \| 126 comments
18.		The Toyota Production System (toyota.co.uk)
		182 points by louis-paul 16 hours ago \| hide \| 84 comments
19.		E.O. Wilson on Becoming a Great Scientist (fs.blog)
		55 points by MrXOR 9 hours ago \| hide \| 15 comments
20.		MIT 6.172: Performance Engineering of Software Systems (ocw.mit.edu)
		90 points by roperzh 11 hours ago \| hide \| 9 comments
21.		Rust is now overall faster than C in benchmarks (debian.net)
		594 points by wiineeth 16 hours ago \| hide \| 325 comments
22.		Reviving Old X Code (keithp.com)
		208 points by fcambus 16 hours ago \| hide \| 35 comments
23.		Britney Spears' Guide to Semiconductor Physics (britneyspears.ac)
		106 points by doener 10 hours ago \| hide \| 31 comments
24.		Show HN: Pluto – macOS system monitor app (apps.apple.com)
		142 points by lupinglade 14 hours ago \| hide \| 75 comments
25.		Ask HN: How do I get people to find my pre-launch landing page?
		16 points by vuciv1 1 hour ago \| hide \| 12 comments
26.		Philly scientist behind COVID vaccine tech was demoted by UPenn (billypenn.com)
		269 points by apsec112 16 hours ago \| hide \| 137 comments
27.		Crush: Controlled, Scalable, Decentralized Placement of Replicated Data [pdf] (ceph.com)
		25 points by todsacerdoti 9 hours ago \| hide \| 7 comments
28.		Letting Go of Nostalgia Urbanism (granolashotgun.com)
		61 points by oftenwrong 11 hours ago \| hide \| 27 comments
29.		What's good about offset pagination; designing parallel cursor-based web APIs (brandur.org)
		96 points by clra 17 hours ago \| hide \| 46 comments
30.		Computed goto for efficient dispatch tables (2012) (thegreenplace.net)
		44 points by henning 14 hours ago \| hide \| 20 comments
		More