Hacker News

1.		Formal Methods of Software Design an Online Course by Eric Hehner (utoronto.ca)
		134 points by blewboarwastake 2 hours ago \| hide \| 6 comments
2.		New 5G protocol vulnerabilities allow location tracking (therecord.media)
		56 points by DyslexicAtheist 1 hour ago \| hide \| 26 comments
3.		Box86 vs native: OpenGL is almost native, CPU bound 50%, SSE3 is slower (fosdem.org)
		62 points by marcodiego 2 hours ago \| hide \| 14 comments
4.		Lots of progress on the piano practice software (jacquesmattheij.com)
		112 points by jacquesm 4 hours ago \| hide \| 44 comments
5.		Ada for the C++ and Java Developer [pdf] (adacore.com)
		95 points by pjmlp 6 hours ago \| hide \| 35 comments
6.		BitClout, the Dystopian Social Network with Big Backers and Vocal Critics (decrypt.co)
		59 points by elsewhen 4 hours ago \| hide \| 21 comments
7.		The Fortran I Compiler (2000) [pdf] (stanford.edu)
		34 points by Bostonian 4 hours ago \| hide \| 8 comments
8.		How can you tell if someone is lying? (theatlantic.com)
		368 points by samizdis 13 hours ago \| hide \| 259 comments
9.		AtoB (YC S20) – Stripe for transportation – is hiring founding team engineers (notion.so)
		1 hour ago \| hide
10.		The Island Affair (2006) (theguardian.com)
		7 points by prismatic 2 hours ago \| hide \| discuss
11.		Bassoonfluencers: The World of Instagram Practice Accounts (newyorker.com)
		16 points by fortran77 3 hours ago \| hide \| 3 comments
12.		Hubble Telescope Captures a Rare Asteroid Worth 70k Times the Global Economy (robbreport.com)
		16 points by jd115 3 hours ago \| hide \| 14 comments
13.		Bitcoin as a Battery (nickgrossman.xyz)
		83 points by tomsyouruncle 4 hours ago \| hide \| 155 comments
14.		Ancient genomes trace the origin and decline of the Scythians (phys.org)
		11 points by dnetesn 3 hours ago \| hide \| 2 comments
15.		NASA Mission to Venus in 1978 May Have Detected Phosphine, a Gas Related to Life (planetary.org)
		40 points by nathandaly 2 hours ago \| hide \| 33 comments
16.		Vintage HP computer systems (groups.io)
		34 points by optimalsolver 7 hours ago \| hide \| 8 comments
17.		Gender, race, and entrepreneurship: A randomized field experiment on investors (ssrn.com)
		108 points by sdan 4 hours ago \| hide \| 94 comments
18.		Bronze Age mining sites received deliveries of pre-processed foods (phys.org)
		64 points by Hooke 12 hours ago \| hide \| 20 comments
19.		Amazon driver quits over AI-powered safety cameras in delivery vehicles (businessinsider.com)
		128 points by Black101 6 hours ago \| hide \| 117 comments
20.		Asymmetric Opportunities and the Cult of Optionality (applieddivinitystudies.com)
		32 points by feross 9 hours ago \| hide \| 6 comments
21.		Preview: IBM z/OS v2.5 [pdf] (ibm.com)
		33 points by throwawaybutwhy 8 hours ago \| hide \| 24 comments
22.		Free as in Climbing: Open Data Project Threatened by Bogus Copyright Claims (eff.org)
		35 points by pabs3 3 hours ago \| hide \| 11 comments
23.		Larry McMurtry has died (washingtonpost.com)
		51 points by samclemens 11 hours ago \| hide \| 21 comments
24.		Straussian Reading (2017) (lacker.io)
		20 points by gauchojs 7 hours ago \| hide \| 4 comments
25.		Shared Libraries for C64 OS (c64os.com)
		63 points by rbanffy 14 hours ago \| hide \| 1 comment
26.		Religious fervour is migrating into politics (economist.com)
		104 points by shanedias 7 hours ago \| hide \| 113 comments
27.		I tracked down my impostor (theguardian.com)
		413 points by vanilla-almond 21 hours ago \| hide \| 211 comments
28.		The fingerprint inside photos (bbc.com)
		160 points by LordAtlas 8 hours ago \| hide \| 64 comments
29.		High schooler invented color-changing sutures to detect infection (smithsonianmag.com)
		186 points by webmaven 15 hours ago \| hide \| 25 comments
30.		Louvre makes its entire collection available online (louvre.fr)
		867 points by colinprince 1 day ago \| hide \| 188 comments
		More