OpenIndiana * de S van Simpel * Vervanger opleiden

Vervanger opleiden
Sociale dumping in de IT sector is nog niet van de politieke agenda in de VS. Oorspronkelijk leek het of Trump de jobs terug aan de Amerikanen ging geven, en maatregelen zou nemen om goedkope arbeidkrachten uit het buitenland administratief af te remmen. Een van de manieren is het gebruik van H-1B […]

Vervanger opleiden
Sociale dumping in de IT sector is nog niet van de politieke agenda in de VS. Oorspronkelijk leek het of Trump de jobs terug aan de Amerikanen ging geven, en maatregelen zou nemen om goedkope arbeidkrachten uit het buitenland administratief af te remmen. Een van de manieren is het gebruik van H-1B visa’s, die bedrijven buitenlandse werknemers laten overkomen, bv uit India.
Craig Diangelo werkte als IT-er in Northeas Utilities, en was een van de opleiders. Pas toen hij samen met 200 andere werknemers ontslagen werd, en het werk volledig overgenomen werd door het outsourcing bedrijf uit India, werden de gevolgen duidelijk. Hij was zijn baan kwijt, en had zelf mee de vervangers opgeleid. Maar hij kon geen kant uit met zijn verontwaardiging, want hij had met zijn voormalige werkgever een spreekverbod getekend dat nog doorliep na zijn ontslag. Die had misschien geleerd van de ontslagronde bij Disney,


Uit het artikel op Computerworld:
“Employee agrees that he/she shall make no statements to anyone, spoken or written, that would tend to disparage or discredit the Company or any of the Company’s officers, directors, employees, or agents”

http://www.computerworld.com/article/3027640/it-outsourcing/laid-off-it-workers-muzzled-as-h-1b-debate-heats-up.html

de S van Simpel

Microsoft lijkt geïnspireerd te zijn door de werkwijze van Apple bij het maken van keuzes voor zijn nieuwe gadgets. Hun surface tablet-achtige laptop moet de moeilijke concurrentie aangaan met de marktoverheersende Android tablets en netbooks. De enige succesvolle tegenspeler daar is Apple, en Microsoft probeert hun streken over te nemen. Ze maken dus een luxetablet-laptop, die ze een naam geven, en nooit als laptop of netbook beschrijven. Ze voorzien het toetsenbord van een stofje dat de luxe moet uitstralen (maar tegelijk ook de eindigheid: stofje vuil? koop een nieuwe? Tja, je moet het behandelen als een dure handtas volgens een woordvoerder- kwestie van het product te positioneren).
Ze geven het toestel heel erg weinig aansluitingen mee, want “hun klanten willen niet afgeleid worden door ingewikkelde kabeltjes”. Je krijgt dus bv maar 1 usb poort. Heb je meer nodig? Dan koop je toch gewoon voor een paar honderd euro het docking station bij, daar heb je alle aanslutingen die je nodig hebt. Want met het weglaten van standaardaansluitingen die echt bruikbaar zijn onderweg, als usb, audio, netwerk enz, is er wel plaats voor de bedrijfseigen Microsoft docking station aansluiting op het toestel. En op de docking station vind je wel al die standaard bruikbare aansluitingen voor randapparaten.
Maar goed, het apparaat is dan toch vernieuwend, technologisch dan, bv met een USB Type C aansluting, waarvan je de kleine usb stekker die niet ondersteboven kan gestoken worden omdat hij symmetrisch is? Neen. Het bedrijf is oorspronkelijk een softwarebedrijf, dus dan zal het grote verschil daar wel zitten, met een superieur systeem, Windows 10 S? Ook al niet, het toestel krijgt een beperkte versie van het Windows besturingssysteem mee. De S staat waarschijnlijk voor “Savings” of besparingen, want er wordt bespaard op functionaliteit. Je kan er minder spelletjes op spelen, wat natuurlijk het batterijgebruik ten goede komt. En er wordt nog meer bespaarrd op batterij-verbruik: je kan er ook minder programma’s op gebruiken, eigenlijk alleen die Microsoft aanbied in zijn online winkel. Het is dus ook een manier om een meer gesloten systeem op te zetten, “net zoals Apple”. Wie zich nu afvraagt of je er dan geen Firefox of Chromium op kan draaien, kan het antwoord al raden. Meer nog, de ingebouwde browser, die nu Edge heet, is de standaard browser, en dat kan niet verzet worden. Willen andere browser-makers een kans hebben, zullen ze hun browsers via het kanaal van de Windows Store moeten aanbieden. En als je om één of andere reden toch absoluute een ander programma wil draaien? Oh geen probleem, dan betaal je 50 euro extra om een upgrade te krijgen naar een volledige Windows, en dan blijkt het mode-dingetje toch gewoon een computer te zijn. Simpel.

Microsoft doet een Apple-tje

Ze hebben één van de vervelendste eigenschappen van Apple overgenomen: beperken van de mogelijkheden van de kopers van een duur apparaat.
thurrott com:

Microsoft continue its latest attempt to be more like Apple, the premium brand it is so desperate to emulate.

Microsoft Launches a “Signature” Version of its Surface Pro 4 Type Cover

De S van .. Security? Speed? Simpel??
Eigenlijk is het straf: ze maken een super-draagbare computer, zet er een systeem op dat de gebruiksmogelijkheiden vermindert (versimpelt), en maken daar dan nog reklame mee ook.
Student?
Mikken ze misschien op hippe jonge studenten? Zonder spelletjes? En met een gesloten systeem?
De S van $
Vanwaar dat streven om meer Apple-achtig te zijn? Dat is gemakkelijker te begrijpen als je naar de waarde van Apple kijkt. Die bereikte gisteren een marktwaarde van meer dan 800 miljard dollar, en daarmee schiet technologie zelfs de oliesektor voorbij.

OpenIndiana

De traditie van OpenSolaris wordt voortgezet in het OpenIndiana project. Dat bracht een nieuwe versie van zijn systeem uit, OpenIndiana 2017.04. Deze versie ondersteunt USB 3.0, de MATE desktop versie 1.16, en een nieuwe versie van de Xorg server die de grafische kant van het systeem verzorgt.
Ook de drivers voor de beeldkaarten zijn verbeterd, en ook meer hardware is nu bruikbaar voor het systeem. Als desktop wordt Gnome 3 gebruikt, en veel eindgebruikers programma’s worden nu (enkel) in de 64 bit versie geleverd..

De wortels van OpenIndiana liggen in het Illumos project. Dat is de softwarebundel die bestaat uit een kernel, bestandssystemen, apparaatsturingen enz. Allemaal samen dus een besturingssysteem, of althans de pit ervan, en wel uit de familie van het Unix dat door Sun ontwikkeld werd; Solaris. .Het is eigenlijk een communty fork van Solaris.

Geschiedenisles op https://smartos.org/2011/12/15/fork-yeah-the-rise-and-development-of-illumos-2/
http://dlc.openindiana.org/
OpenIndiana Hipster 2017.04 is here

Programmeren als performance: the sonic pi

Sonic Pi
Raspberry Pi software gaat zijn eigen weg…
Watch his 2015 talk: “Programming as Performance”
https://www.youtube.com/watch?v=TK1mBqKvIyU
Pixel op netbook
vervolg van vorige week
Raspberry Pi software op de netbook met beperkte 1 GB RAM (vanaf externe USB-DVD-drive)
(verslag).
Yast, Partitioner: verwijder bestaande partitie en maak nieuwe Linux partitie op de SD kaart.
Steek de DVD (waar de ISO op staat) in de drive.
Om […]

Sonic Pi
Raspberry Pi software gaat zijn eigen weg…

Watch his 2015 talk: “Programming as Performance”
https://www.youtube.com/watch?v=TK1mBqKvIyU

Pixel op netbook
vervolg van vorige week
Raspberry Pi software op de netbook met beperkte 1 GB RAM (vanaf externe USB-DVD-drive)
(verslag).
Yast, Partitioner: verwijder bestaande partitie en maak nieuwe Linux partitie op de SD kaart.
Steek de DVD (waar de ISO op staat) in de drive.
Om te zoeken hoe de drives heten; bv de micro sd kaart waarop de distro moet komen:
lsblk

Om de ISO van de DVD op de kaart te zetten (mmcblk0p1 is de naam in onze situatie, pas aan):
dd if=/var/run/media/cybr/Debian\ jessie\ 20/dvd/files/2016-12-13-pixel-x86-jessie.iso of=/dev/mmcblk0p1

Dit kan een tijdje duren…. en leidde hier tot:

2709120+0 records in
2709120+0 records out
1387069440 bytes (1.4 GB) copied, 502.943 s, 2.8 MB/s


Meer Raspberry Pi in …

Linux User & Developer
174 (uk magazine) Februari 2017

Na het teloorgaan van Linux Voice zijn er nog genoeg Britse Linux tijdschriften over, zoals Linux Format en Linux User and Developer, van uitgeverij Future Publishing, waarvan hier uitgave 174. Hoofdredacteur April Madden verwelkomt ons in dit nummer dat als thema veiligheid heeft. Ze merkt op dat wij, als Linux gebruikers, misschien wel iets veiliger zijn dan onze broeders en zusters op Windows en Mac. Dat we dat mede te danken hebben aan de vele tools en testen die bestaan op Linux. Daarvan leveren ze er ook een aantal mee op de DVD bij het tijdschrift, en verschillende artikels geven uitleg. Vooraan in het tijdschrift ontdekken we Guinnux, een combinatie tussen Linux distributie en hardware, en daarin komt de Raspberry Pi ook voor. Vanaf pagina 57 tot 79 zit je echt in Raspberry Pi land, met een aantal projecten, maar eerst en vooral een goede uitleg over de 40 GPIO pinnen van de Pi, met een handig schema.
Op de volgende blz leggen ze uit hoe schakelaars en leds te verbinden aan de Pi. Daarbij geven ze wat handige basiskennis mee over de realiteit van electrische circuits, weerstanden, condensators en polarisatie, en overbelasting.
Het volgend artikel gaat over logische circuits en de symbolen ervoor, en handige tips voor welke uitvoeringen in aanmerking komen voor gebruik met de Pi. Daarna komen ze tot het gebruik van IC’s die helpen om meer te doen met minder GPIO pinnen op de Pi, bv 4 led’s sturen met maar twee GPIO pinnen (waarop dan een IC is aangesloten natuurlijk).
En een tip hoe te werken met componenten of circuits die met 5 volt werken in plaats van de 3,3 volt van de Pi; inderdaad, er bestaan omzetters. De volgende stap is het gebruik van toepassingen die te veel stroom trekken, ook daarvoor geven ze oplossingen als het gebruik van de transistor. Kortom, op een paar bladzijden geven ze een stoomcursus electronica.
De daaropvolgende bladzijden bevatten dan projecten waarbij een Raspberry Pi gebruikt wordt.
Verder nog een browser overzicht met Midori, Chrome, Firefox, en QupZilla. De distributie die ze bespreken is Fedora 25. Het tijdschrift rondt af met enkele vrije software besprekingen, en een lezersbrievenrubriek.


Raspberry Pi GPIO

GPIO staat voor General Purpose Input / Output, maw Invoer en Uitvoer voor Algemeen gebruik. Het lijkt ongelooflijk ingewikkeld om 40 verschillende aansluitingen te hebben, die allemaal voor iets anders dienen. Dat is gelukkig niet het geval. Tien dienen voor de electrische spanning. Twee pinnen boven rechts geven een spanning van +5 Volt, twee andere pinnen geven + 3,3 Volt. En 8 pinnen dienen als GND of ground, waarlangs de stroom terugloopt, de – kant dus. Die zijn verspreid over de twee rijen pinnen, je moet een schema raadplegen om te weten waar ze zitten. Om die pinnen juist aan te duiden worden namen gebruikt voor de functies, zoals GND, en nummers voor de pinnen, door gewoon te tellen van 1 tot 40 (niet van 0 tot 39 zoals ik zou verwachten). In zo’n schema zal ook opvallen dat twee pinnen helemaal geen functie hebben, er staat “gereserveerd” bij. Dat geeft de mogelijkheid om in de toekomst een nieuwe versie van de Raspberry Pi te maken die een extra functie heeft waarvoor die pinnen dan gebruikt kunnen worden. Daardoor kan de vorm hetzelfde blijven, en kunnen dezelfde stekkers in gebruik blijven voor verbinding met randapparatuur.
Een van de belangrijkste functies van de overblijvende 26 pinnen is om de mogelijkheden van de processor bereikbaar te maken. Bij de meeste pinnen zie je de naam GPIO met een nummer. Opgelet, dat is niet het volgnummer van de pin in de rij (maar wel een nummer dat overeenkomt met de in/uit van de processor?). In de software ga je bepalen of een pin de functie van ingang heeft, of van uitgang. Een ingang dient om stroom te ontvangen met een spanning van 3,3 Volt, een uitgang dient om een spanning van 3,3 volt te leveren op die pin.
Als je met je software beslist om spanning op bv GPIO pin 5 te zetten, kan je in je opstelling iets aan die pin aansluiten dat reageert op de spanning, zoals een led, die gaat branden. Op de ingang ga je enkel voelen of er spanning is of niet, en daarmee lees je een toestand uit. Als er stroom naar een schakelaar wordt gevoerd, en de andere kant van de schakelaar naar een in-pin loopt, kan je op die pin voelen of de schakelaar open is of toe, als je in software die pin als input aangegeven hebt.
Je kan in je software dan reageren op die toestand.
Deze twee voorbeelden zijn digitale in en uitgangen. Je voelt een toestand aan of uit, je geeft een toestand spanning of geen spanning; beiden zijn zwart/wit, aan/af, ook 1 of 0 of binair genoemd.
—-

Rant
En wie denkt dat Google de patroonheilige van het internet is, dream on in your cloud :

http://sealedabstract.com/rants/google-our-patron-saint-of-the-closed-web/

Bijgewerkt?

Als je een distributie gebruikt als Tumbleweed op een computer die je lang niet opgestart hebt, kan je dit tegenkomen:

In deze lezing wordt trouwens vermeld dat de helft van de Tubleweed gebruikers maar af en toe updaten; niet onlogisch voor wie het als een meer experimentele installatie ziet, misschien op een oudere pc, om kennis […]

Als je een distributie gebruikt als Tumbleweed op een computer die je lang niet opgestart hebt, kan je dit tegenkomen:

In deze lezing wordt trouwens vermeld dat de helft van de Tubleweed gebruikers maar af en toe updaten; niet onlogisch voor wie het als een meer experimentele installatie ziet, misschien op een oudere pc, om kennis te maken met de nieuwe ontwikkelingen.
https://youtu.be/40emCNzs6so

Raspi Pixel op de laptop / openSuse op de laptop

Live boot
Pixel
Er zit een Live boot dvd met Debian + pixel bij het Duitse MagPi magazine (Duitstalige officieële Raspberry Pi tijdschrift).
Pixel is de Linux desktop die gemaakt werd om te draaien op de Raspberry Pi; en die ook al op andere computertjes met gelijkaardige processor gebruikt werd. Nu is ze aangepast aan de intel […]

Live boot

Pixel
Er zit een Live boot dvd met Debian + pixel bij het Duitse MagPi magazine (Duitstalige officieële Raspberry Pi tijdschrift).
Pixel is de Linux desktop die gemaakt werd om te draaien op de Raspberry Pi; en die ook al op andere computertjes met gelijkaardige processor gebruikt werd. Nu is ze aangepast aan de intel processoren die voorkomen in pc’s, laptops en andere computers. Dus kan je het Raspberry Pi systeem draaien op je pc.

Live
De dvd start zonder probleem op de laptop. Rechtsboven uit de balk kan je via een icoon uit de wifi netwerken kiezen (na het inschakelen van de wifi schakelaar als je die hebt).
De browser is Chromium, e-mail programma is Claws mail, verder vind je LibreOffice, games enz.
Programmeren is er in de voorgrond aanwezit; het programmeermenu is het eerste in het Pi menu.

Programmeeromgeving
Programmeeromgevingen voor java: de IDE’s BlueJ, greenfoot. De Geany IDE vertelt zelf niet voor welke taal (zelfs niet in de About), maar blijkt voor een groot aantal talen geschikt te zijn: java, php, html, C, python, ruby, pascal …
Dan zitten nog Python 2 en Python 3 in het menu, en Scratch (speel-programmeeromgeving voor kinderen met symbolen voor de programmeerstrukturen),
Via add/remove software kan je gemakkelijk Gambas3 bij-installeren; Gambas2 wordt niet aangeboden.


(foto’s van Jolla)

Live Install

Tweedehandsje
Een tweedehands Elitebook 2740p (core i5 vPro 4xM540@2.53GHz , 4G RAM, 80 Gb i-SSDSA1M080SSD) voorzien van een beter besturingssysteem dan de meegeleverde Windows7?
Voorbereiding: Downloaden van een opensuse 42.2 iso, en op een “startbare” manier overbrengen op usb-stick om te installeren.

Bios
Bij het opstarten zit de usb-stick in een usb aansluiting. Onmiddellijk na het indrukken van de power toets toont het scherm hoe je een extra boot menu kan krijgen. (bv esc-toets). Daar kies ik starten van ander medium (opties startapparaat F9), usb Hard Drive 1.

Installatie
Het systeem start onmiddellijk op in een installatiescherm (Linux dus van de usb-disk – die snelheid belooft al…). Ik doe een aantal keuzes in de installatieprocedure, zoals toetsenbord/landinstelling, verwijderen van alle bestaande partities op de harde schijf om volledig nieuwe installatie te doen, en ik kies de KDE desktop.
Nadien heb ik een 400 Mb startpartitiel, 30 Gb Systeempartitie waarop nog 20 Gb vrij is voor updates en uitbreiding, en 44 Gb voor de gebruiker, die zowat helemaal vrij is.

Snel: 23 minuten
18:23: opstarten systeem, kiezen van de opties (Taal EN, toetsenbord BE, geen extra Repo’s, Create partition setup***, tijdszone Brussel, Software KDE, user, ww ..)
18:31 Begin van de installatie (eindigend met installing boot manager)
18:46 Installatie van USB klaar, herstarten
18:48: Volledig geïnstalleerd, de online updates lopen al…
19:06: klaar.

De ventilator draait hoorbaar, en de opening geeft behoorlijk warme lucht af.
De tijd van de updates hangt ondermeer af van de internet/netwerksnelheid (wireless/kabel), andere gebruikers op je netwerk, drukte op de servers, enz.
In ons voorbeeld waren we binnen het uur helemaal rond met de installatie.

NB:
Als je een versleutelde harde schijf wil, wat zeker aan te raden is bij mobiele apparaten, moet je bij de voorbereiding voor de installatie kiezen voor Edit proposal settings, encrypted LVM based proposal. Je krijgt dan de vraag om je wachtwoord.

Dood op 101

101
Harry Huskey is op 101 jarige leeftijd gestorven. Hij stond mee aan de wieg van heel wat computerontwikkelingen.
Hij gaf wiskunde aan de universiteit van Pennsylvania.
Hij werkte aan het legendarische ENIAC project in de oorlogsjaren 1940.
Deze computer had 18.000 lampen,
Na de oorlog werkte hij met de ook al llegendarische Alan Turing aan de computer van […]

101

Harry Huskey is op 101 jarige leeftijd gestorven. Hij stond mee aan de wieg van heel wat computerontwikkelingen.
Hij gaf wiskunde aan de universiteit van Pennsylvania.
Hij werkte aan het legendarische ENIAC project in de oorlogsjaren 1940.
Deze computer had 18.000 lampen,
Na de oorlog werkte hij met de ook al llegendarische Alan Turing aan de computer van Turing, de ACE.
Later werkte hij zijn eigen computer uit, de Bendix G15, zowat de eerste personal computer, bestaande uit enkele grote kasten, waarvan 1 diende voor de tape opslagcapaciteit.

Hoe kan je als computerpionier beter sterven dan op 101 jarige leeftijd? … 1 … 0 …. 1 … (digitaal 101 staat voor getal 5)

Hier zie je hem met de eerste “personal computer”:
http://news.ucsc.edu/2017/04/harry-huskey-in-memoriam.html

Mexico muur of firewall? * Hard disk nog niet dood * Leren programmeren: wat? * Linux draaien: waarop?

Mexico muur of firewall?
Het opperste gerechtshof van Mexico besliste dat het verplichten van internetproviders om websites te blokkeren wegens copyright inbreuken, overdreven is. Met zo’n blokkade wordt alles van een site geblokkeerd, niet alleen de mogelijke overtreding. Die maatregel is buiten verhouding, vindt de rechtbank; ook de andere inhoud, de vrijheid van […]

Mexico muur of firewall?
Het opperste gerechtshof van Mexico besliste dat het verplichten van internetproviders om websites te blokkeren wegens copyright inbreuken, overdreven is. Met zo’n blokkade wordt alles van een site geblokkeerd, niet alleen de mogelijke overtreding. Die maatregel is buiten verhouding, vindt de rechtbank; ook de andere inhoud, de vrijheid van meningsuiting van andere gebruikers enz worden daarmee geschonden. Een blokkade van bepaalde omstreden inhoud kan wel. Een lokale internetprovider in Mexico had geprotesteerd tegen de algemen blokkades van websites, opgelegd door de overheid. De geblokkeerde site waar de zaak over gaat bestaat ondertussen niet meer, maar dit is natuurlijk wel een precedent voor andere zaken.

Hard disk nog niet dood

Met de opkomst van de veel snellere SSD schijven, leek de harddisk ten dode opgeschreven. SSD wordt gebruikt als een harde schijf, maar er zit helemaal geen ronddraaiende schijf in als bij harddisks. Het is eerder vergelijkbaar met een hele schuif usb-sticks. Het enige probleem is nog de prijs die je voor de opslagcapaciteit betaalt. SSD is duurder, en wordt meestal in kleinere capaciteit geïnstalleerd, of in een hybride combinatie met een harde schijf.
Nu heeft intel een eigen lijn van SSD drives uitgebracht op basis van technologie ontwikkeld samen met Micron. Hun Optane memory wordt geïnstalleerd voor de harde schijf, en treed op als een soort optimaliseerder. Daardoor krijgt de harde schijf het gebruiksgevoel als een volwaardige SSD. De Optane treedt op als een soort cache, en heeft zelf de intelligentie in huis om te bepalen wat best in de cache wordt opgeslagen om het hele systeem te versnellen.
Het zal niet verwonderen dat het Optane geheugen alleen bruikbaar is op aangepaste systemen met de juiste en recente intel moederborden en chipsets. De huidige generatie ziet eruit als een langwerpig geheugenlatje, waar de aansluitingen niet over de lengtezijde zitten, maar op de korte zijde. Die passen in het M2 slot op het moederbord.

Linux draaien: waarop?
Verkopers van computers die Linux als systeem willen aanbieden hebben het moeilijk om te vechten tegen de marketingmachines en aankoopspierballen van de grote computerbouwers en softwaremakers. Een bedrijfje in de VS had toch de moed om de strijd aan te gaan, en beslist binnenkort om een derde belangrijke stap te zetten: zelf hardware bouwen.
Met een knipoog naar de Amerikaanse revolutie van 1776, waarbij de VS zich losmaakte van GB, richten ze System 76 op. De oprichter registreerde de domeinnaam System76.com in 2003. Ze zitten nu in Denver, Colorado, een paar straten verwijderd van de universiteit. Het kleine, vernieuwende bedrijfje bestaat uit een enthousiaste groep van wat je op zijn minst “betrokkenen” zou kunnen noemen. Denk richting hardcore nerds, geeks, makers, creators, builders, enz. Hun keuze om Linux te leveren op hun pc’s is niet de gemakkelijkste keuze, en ze hebben rustig opgebouwd vanuit de observatie dat er voor zo’n computers toch wel interesse is. Ze kozen zelf voor Ubuntu als Linux variant die ze installeren, maar in principe maakt de keuze voor distributie niet zoveel uit. Het gaat er eerder over of de nodige drivers voor de hardware bestaan en goed werken, dat zit meestal op niveau van de Linux kern.
Ze begonnen in 2005 met de verkoop van pc’s met Linux.
Ondertussen werken ze aan ontwerpen van eigen computers. Ze willen het echt open source houden, en zullen hun CAD bestanden ook publiceren.

http://blog.system76.com/post/159767214983/entering-phase-three

programmeertalen gegeven aan Amerikaanse universiteiten

https://docs.google.com/spreadsheets/d/1TQsv1ykVOTSfkeLc21jsx1-f2LRnV94z3OLWcv6I2OM/edit#gid=1852095133

Ik tel zo ongeveer:
76 x Java
31 x Javascript
(samen 107)
62 x Python
32 x C
58 x C++
19 x PHP
14 x SQL
10 x Ruby
1 x Perl
Basic komt nog 2 keer voor in dit staal.
Verder ook Assembly, Scratch, R, Processing, Prolog, Fortran,

En hoe zou het ondertussen met Marissa zijn?

http://www.cnbc.com/2017/04/25/marissa-mayer-will-make-186-million-on-yahoos-sale-to-verizon.html