Hacker News

1.		Formal Methods of Software Design an Online Course by Eric Hehner (utoronto.ca)
		76 points by blewboarwastake 1 hour ago \| hide \| 5 comments
2.		Box86 vs native: OpenGL is almost native, CPU bound 50%, SSE3 is slower (fosdem.org)
		49 points by marcodiego 1 hour ago \| hide \| 8 comments
3.		New 5G protocol vulnerabilities allow location tracking (therecord.media)
		8 points by DyslexicAtheist 24 minutes ago \| hide \| discuss
4.		Lots of progress on the piano practice software (jacquesmattheij.com)
		78 points by jacquesm 3 hours ago \| hide \| 24 comments
5.		Ada for the C++ and Java Developer [pdf] (adacore.com)
		80 points by pjmlp 5 hours ago \| hide \| 28 comments
6.		The Fortran I Compiler (2000) [pdf] (stanford.edu)
		29 points by Bostonian 3 hours ago \| hide \| 8 comments
7.		AtoB (YC S20) – Stripe for transportation – is hiring founding team engineers (notion.so)
		34 minutes ago \| hide
8.		How can you tell if someone is lying? (theatlantic.com)
		350 points by samizdis 12 hours ago \| hide \| 227 comments
9.		BitClout, the Dystopian Social Network with Big Backers and Vocal Critics (decrypt.co)
		52 points by elsewhen 3 hours ago \| hide \| 18 comments
10.		The Island Affair (2006) (theguardian.com)
		5 points by prismatic 1 hour ago \| hide \| discuss
11.		Religious fervour is migrating into politics (economist.com)
		74 points by shanedias 6 hours ago \| hide \| 55 comments
12.		NASA Mission to Venus in 1978 May Have Detected Phosphine, a Gas Related to Life (planetary.org)
		27 points by nathandaly 1 hour ago \| hide \| 12 comments
13.		Bitcoin as a Battery (nickgrossman.xyz)
		61 points by tomsyouruncle 3 hours ago \| hide \| 115 comments
14.		High schooler invented color-changing sutures to detect infection (smithsonianmag.com)
		178 points by webmaven 14 hours ago \| hide \| 24 comments
15.		Bassoonfluencers: The World of Instagram Practice Accounts (newyorker.com)
		8 points by fortran77 2 hours ago \| hide \| discuss
16.		Vintage HP computer systems (groups.io)
		33 points by optimalsolver 6 hours ago \| hide \| 6 comments
17.		Amazon driver quits over AI-powered safety cameras in delivery vehicles (businessinsider.com)
		113 points by Black101 5 hours ago \| hide \| 94 comments
18.		Gender, race, and entrepreneurship: A randomized field experiment on investors (ssrn.com)
		92 points by sdan 3 hours ago \| hide \| 81 comments
19.		English is relatively easy to learn, but not to master (2018) (christopherwink.com)
		120 points by silasdb 14 hours ago \| hide \| 232 comments
20.		Bronze Age mining sites received deliveries of pre-processed foods (phys.org)
		61 points by Hooke 11 hours ago \| hide \| 18 comments
21.		Free as in Climbing: Open Data Project Threatened by Bogus Copyright Claims (eff.org)
		25 points by pabs3 2 hours ago \| hide \| 7 comments
22.		Straussian Reading (2017) (lacker.io)
		20 points by gauchojs 6 hours ago \| hide \| 4 comments
23.		Asymmetric Opportunities and the Cult of Optionality (applieddivinitystudies.com)
		29 points by feross 8 hours ago \| hide \| 5 comments
24.		Preview: IBM z/OS v2.5 [pdf] (ibm.com)
		30 points by throwawaybutwhy 7 hours ago \| hide \| 16 comments
25.		Larry McMurtry has died (washingtonpost.com)
		46 points by samclemens 10 hours ago \| hide \| 16 comments
26.		Conway's Game of Life TUI GUI (justine.lol)
		49 points by luu 11 hours ago \| hide \| 5 comments
27.		Shared Libraries for C64 OS (c64os.com)
		60 points by rbanffy 13 hours ago \| hide \| 1 comment
28.		The fingerprint inside photos (bbc.com)
		154 points by LordAtlas 7 hours ago \| hide \| 56 comments
29.		I tracked down my impostor (theguardian.com)
		407 points by vanilla-almond 20 hours ago \| hide \| 207 comments
30.		Ancient genomes trace the origin and decline of the Scythians (phys.org)
		4 points by dnetesn 4 hours ago \| hide \| discuss
		More