ID.nl logo
Huis

Microsoft koopt GitHub in slimme en logische zet

Microsoft heeft ontwikkelaarsplatform GitHub overgenomen. De aquisitie van 7,9 miljard euro is zeker niet de grootste van het bedrijf, maar misschien wel de meest invloedrijke. Het is namelijk precies de kant die het bedrijf de laatste jaren op is gegaan.

Het gaat niet slecht met Microsoft. Wie oppervlakkig naar het Redmondse bedrijf kijkt ziet misschien een techbedrijf dat het meerdere keren niet voor elkaar kreeg om iets te bereiken in mobiele telefonie, en waarvan het bekendste product een besturingssysteem is voor een platform dat steeds minder belangrijk wordt.

Maar dat is allemaal schijn. In werkelijk is Microsoft nog steeds financieel erg gezond. Sterker nog, het is inmiddels zelfs https://www.businessinsider.nl/microsoft-alphabet-beurswaarde/ groter dan Google-moederbedrijf Alphabet. Onder leiding van nieuwe ceo Satya Nadella heeft Microsoft de laatste jaren weer aan relevantie weten te winnen.

Boze ontwikkelaars

Met de overname van GitHub ging 7,5 miljard dollar gemoeid. Er gingen al tijden geruchten over een overname, maar inmiddels is die definitief aangekondigd.

Niet iedereen is daar even blij mee. Veel ontwikkelaars stappen uit frustratie en baldadigheid over naar concurrenten zoals GitLab. De Nederlandse startup laat weten een vertienvoudiging te zien van het aantal dagelijkse aanmeldingen.

Je kunt je daarbij afvragen hoe groot de exodus is. Harde cijfers zijn er nog niet, dus grote kans dat de gefrustreerde GitHub-gebruikers net zo zijn als Facebook-gebruikers na het Cambridge Analytica-schandaal.

Openheid

De grootste frustratie zit voor ontwikkelaars in de mate van openheid bij Microsoft. GitHub is het epicentrum van open source-software, waar je code gratis kunt delen zonder addertjes onder het gras en zonder angst dat het door een commercieel bedrijf wordt misbruikt. De ontwikkelaars die nu weg stappen van GitHub zijn bang dat Microsoft die filosofie uiteindelijk de nek omdraait, en dat GitHub straks een commercieel platform wordt waarbij al die vrijheden langzaam verdwijnen. Dat is niet wat Microsoft zelf belooft, maar in een dergelijk geval moet je natuurlijk eerst zien, en dan pas geloven.

Goed nieuws voor GitHub

Voor GitHub is de overname goed nieuws. In typische Silicon Valley-stijl is het bedrijf waanzinnig populair en heeft het miljoenen opgehaald in venture capital, maar desondanks krijgt GitHub het niet voor elkaar geld te verdienen.

Dat levert risico's op voor ontwikkelars. Programmeurs en bedrijven die samen miljarden uren aan werk opslaan op een platform dat verlies lijdt lijkt geen gezonde langetermijnstrategie - wat als je plotseling alles kwijtraakt omdat het bedrijf over de kop gaat? Toegegeven, die kans is niet groot, maar is nog kleiner nu Microsoft de eigenaar is.

Gouden zet voor Microsoft

Maar wat is nou het voordeel voor Microsoft zelf? Een paar jaar geleden was het nog ondenkbaar geweest dat het bedrijf zich met GitHub zou bemoeien. Microsoft is altijd fel anti-open-source geweest, met een quote van voormalig ceo Steve Ballmer als tekenend voorbeeld:

"Linux is a cancer that attaches itself in an intellectual property sense to everything it touches"

-

Inmiddels is een duidelijke omslag te zien. Die is vooral in gang gezet door de nieuwe ceo Satya Nadella. Hij is veel minder stoïcijns over samenwerking met andere partijen, waaronder open source-platformen als Linux. Onder Nadella's leiding bracht Microsoft zijn Office-applicaties uit voor Android en iOS, en was het Word/Excel/Powerpoint-trio één van de belangrijkste launchtitels van de iPad Pro.

Écht opvallend was het feit dat Windows 10 Bash-integratie kreeg, en dat het bedrijf SQL Server voor Linux uitbracht.

Lees ook: Waarom Microsoft nu ineens Linux omarmt

Van Windows naar de cloud

Al die ontwikkelingen tonen aan dat Windows voor Microsoft allang niet meer het belangrijkste product is. Waarom zou het bedrijf de upgrade anders gratis weggeven toen die net uitkwam? Dat was geen wanhoopspoging om meer mensen op het platform te houden, want Windows is nog steeds oppermachtig qua gebruikersaantallen. Sterker nog, Windows 10 is een belangrijke factor in de discussie over open source-software. Het hele platform is gebouwd op Progressive Web App-technologie, wat uit zichzelf open is.

Voor Microsoft is 'de cloud' het belangrijkst. API's, platforms zoals Azure, en ontwikkeltools die daarop werken zijn de toekomst.

Integratie met Azure

Uiteraard is die verschuiving naar open source niet volledig altruïstisch. Microsoft wil zoveel mogelijk ontwikkelaars op Azure krijgen, het belangrijke cloudplatform waarmee het bedrijf concurreert met Amazons Web Services. Een goede integratie van GitHub met ontwikkeltools voor Azure is dan ook een gouden zet.

Het is dan wel van levensbelang dat GitHub open blijft. Het zou de doodsteek zijn als Microsoft het platform dichttimmert en ontwikkelaars dwingt om Azure of andere tools te gebruiken. Dat lijkt Microsoft wel te beseffen. "We zijn bewust van de verantwoordelijkheid die we met deze samenwerking hebben", schrijft Nadella in een blogpost. "We zijn toegewijd aan de GitHub-gemeenschap, en zorgen dat de ontwikkelaars daar voorop blijven staan en dat GitHub een onafhankelijk en open platform blijft."

Binding met ontwikkelaars

De overname speelt ook in op Microsofts langetermijnstrategie die steeds meer aansluiting zoekt bij ontwikkelaars. Microsoft biedt nu al een flink aantal tools aan voor ontwikkelaars. Visual Studio Code en .NET Core zijn bijvoorbeeld ook al open source, en Microsoft had ooit een eigen codeplatform waarmee het ontwikkelaars probeerde binnen te halen (dat vorig jaar werd gesloten). Aangezien GitHub nog steeds hét platform is voor ontwikkelaars is de binding met die groep niet te onderschatten.

Tot slot ziet Microsoft waarschijnlijk ook kansen voor vacatures, al zal dat aspect minder zwaar wegen. Een GitHub-pagina is voor veel ontwikkelaars een belangrijk deel van hun cv. Een goede integratie met LinkedIn, dat Microsoft vorig jaar voor een recordbedrag overnam, kan daar een belangrijke rol in spelen.

▼ Volgende artikel
In een half uur klaar: gourmetstel schoonmaken stap voor stap
© sara_winter - stock.adobe.com
Huis

In een half uur klaar: gourmetstel schoonmaken stap voor stap

Gezellig, zo'n avondje gourmetten. Maar na afloop blijft er op het gourmetstel vaak aangebakken vet, gesmolten kaas en saus achter. Logisch dat je niet meteen zin hebt om de boel schoon te maken. Als je het slim aanpakt, is alles binnen een half uurtje weer schoon!

In dit artikel

Je leest hoe je je gourmetstel stap voor stap schoonmaakt zonder de antiaanbaklaag te beschadigen. We leggen uit wanneer je het beste begint met schoonmaken, hoe je losse onderdelen en het elektrische deel veilig reinigt en welke fouten je beter niet kunt maken. Ook krijg je praktische tips om je tafel tijdens en na het gourmetten schoon te houden, zodat je na afloop snel klaar bent.

Lees ook: Gourmetten zonder stank: 10 ideeën die écht werken

Laten afkoelen, maar wacht niet te lang

Zet het gourmetstel na gebruik uit en trek de stekker uit het stopcontact. Laat het geheel afkoelen tot het handwarm is. Wacht je te lang, dan koeken vet en kaas vast en wordt schoonmaken lastiger. Haal losse onderdelen zoals pannetjes, spatels en bakplaatjes eraf voordat je begint met schoonmaken.

Losse onderdelen schoonmaken

Gourmetpannetjes en bakplaatjes hebben meestal een antiaanbaklaag. Die blijft het mooist als je ze niet hardhandig schoon schrobt. Leg ze in warm water met een beetje afwasmiddel en laat ze tien tot vijftien minuten weken. Aangekoekte resten laten dan vanzelf los. Gebruik daarna een zachte spons of borstel en spoel alles goed af. Controleer altijd even de handleiding: sommige onderdelen kun je in de vaatwasser doen, andere juist niet.

©Saskia van Weert

Zo maak je het elektrische deel veilig schoon

Terwijl de pannetjes, spatels en losse bakplaatjes staan te weken, ga je door met het verwarmingselement. Dat element zelf mag nooit nat worden. Zie je vetspetters of etensresten, veeg die dan weg met keukenpapier zodra het gourmetstel is afgekoeld. Voor hardnekkiger vuil gebruik je een licht vochtige doek met een klein beetje afwasmiddel. Knijp de doek goed uit en zorg dat er geen water bij het snoer of in openingen komt. Droog alles direct na met een schone doek.

De bak- of grillplaat weer vetvrij krijgen

Heeft je gourmetstel een losse bak- of grillplaat, haal dan eerst het overtollige vet weg met keukenpapier. Leg de plaat vervolgens in warm water, zodat aangekoekte resten kunnen losweken. Is de bakplaat vast onderdeel van het gourmetstel, dan kun je deze uiteraard niet in water onderdompelen. Neem in dat geval de plaat af met een licht vochtige doek zodra hij is afgekoeld, eventueel met een beetje afwasmiddel. Zo voorkom je dat vet tijdens het schoonmaken uitsmeert. Gebruik vooral geen schuursponsjes of schrapers om het vet weg te krijgen, want die beschadigen de coating en zorgen ervoor dat eten de volgende keer sneller blijft plakken. 

Watch on YouTube

Veelgemaakte fouten bij het schoonmaken van een gourmetstel

Aangekoekte resten wegkrabben met een mesje of staalwol lijkt misschien slim (want: snel), maar beschadigt de antiaanbaklaag blijvend. Ook bij het elektrische deel gaat het vaak mis. Het verwarmingselement onderdompelen in water is onveilig en kan het gourmetstel onbruikbaar maken. Alles direct in de vaatwasser zetten is ook geen goed idee. Vaatwasprogramma's duren vaak lang en werken op hoge temperaturen. Antiaanbaklagen en dunne metalen onderdelen kunnen daardoor sneller slijten of kromtrekken. Twijfel je, dan is met de hand afwassen altijd de veiligste keuze.

Vergeet je tafel niet!

Vetspetters en gemorste saus zijn bijna niet te voorkomen. Leg daarom vooraf een afwasbaar tafelkleed of gebruik een papieren tafelkleed. Dat kan na het gourmetten rechtstreeks de vuilnisbak in. Houd tijdens het eten keukenpapier of doekjes bij de hand om gemorste resten meteen weg te vegen. Is de tafel toch vies geworden, neem hem dan zo snel mogelijk af met warm water en een mild schoonmaakmiddel.

Schoon wegzetten voor de volgende keer

Laat alle onderdelen volledig drogen voordat je het gourmetstel opbergt. Berg je alles nog vochtig op in de doos of kast, dan kunnen er snel muffe geurtjes ontstaan. Bewaar pannetjes en platen apart van elkaar, eventueel met een vel keukenpapier ertussen. Berg pannetjes en platen apart op, eventueel met een velletje keukenpapier ertussen. Zo voorkom je krassen. Zo is het volgende keer alleen nog maar een kwestie van de boel weer tevoorschijn halen en lekker gaan eten. Veel gourmetplezier!

▼ Volgende artikel
Wat is HDR10+ en wanneer zie je het verschil?
© ER | ID.nl
Huis

Wat is HDR10+ en wanneer zie je het verschil?

Ben je op zoek naar een nieuwe televisie? Grote kans dat de afkortingen je om de oren vliegen. 4K, OLED, QLED... en dan ook nog die eindeloze lijst aan HDR-formaten. Vandaag zoomen we in op een specifieke term die je vaak op de doos ziet staan, vooral bij televisies van Samsung, Panasonic en Philips: HDR10+. Is het een marketingkreet of zie je het echt?

Het is een bekend scenario: je staat in de elektronicawinkel of scrolt door een webshop, en de specificatielijst van je droomtelevisie lijkt wel een geheimtaal. Fabrikanten beloven gouden bergen met termen die indrukwekkend klinken, maar waarvan de betekenis vaak vaag blijft. Toch is het zonde om deze termen zomaar te negeren, want achter die cryptische afkortingen gaan technieken schuil die je filmavond aanzienlijk kunnen upgraden. Het gaat tegenwoordig namelijk niet meer alleen om hoeveel pixels je scherm heeft, maar vooral om de kwaliteit van die pixels. Om te begrijpen waarom die plus in de naam HDR10+ zo belangrijk is, moeten we terug naar de basis.

Eerst even terug: Wat is HDR ook alweer?

HDR staat voor High Dynamic Range. Simpel gezegd zorgt deze techniek ervoor dat de beelden op je tv een groter contrast en meer kleuren hebben. Het zwart is dieper zwart en de felle lichten, zoals een explosie of de zon, knállen echt van je scherm zonder dat de rest van het beeld flets wordt. De standaardvorm hiervan heet HDR10. Dit is de basislaag die bijna elke moderne 4K-televisie ondersteunt. Maar HDR10 heeft één beperking: hij bepaalt aan het begin van de film de instellingen voor helderheid en contrast, en houdt die vervolgens de hele film vast.

©ER | ID.nl

De plus maakt het dynamisch

Hier komt HDR10+ om de hoek kijken. Die plus staat eigenlijk voor dynamische metadata. In plaats van één instelling voor de hele film, stuurt HDR10+ extra informatie mee naar je tv. Hierdoor kan de televisie het beeld scène voor scène of zelfs frame voor frame aanpassen. Zie het als een lichttechnicus die continu aan de knoppen draait om te zorgen dat elk specifiek shot er perfect uitziet, in plaats van dat hij het licht aan het begin instelt en daarna rustig koffie gaat drinken.

Wanneer zie je het verschil echt?

Klinkt goed op papier, maar merk je dit in de praktijk? Het antwoord is ja, vooral in films met veel wisselingen tussen licht en donker. Stel, je kijkt een film die begint met een scène in een zonovergoten woestijn, gevolgd door een scène in een pikdonkere grot. Bij standaard HDR10 stelt de tv zich in op het gemiddelde van de hele film. Omdat die woestijn zo fel is, kan de grot-scène er daarna wat te donker of dichtgelopen uitzien, waardoor details in de schaduw wegvallen.

Bij HDR10+ krijgt je tv, zodra de camera de grot in gaat, een seintje dat het donker wordt en het contrast moet worden aangepast. Hierdoor zie je opeens wél de details op de rotswanden en de texturen in de schaduw, terwijl de felle scènes nog steeds spathelder blijven. Kortom, HDR10+ haalt meer detail uit zowel de donkerste schaduwen als de felste hooglichten, precies op het moment dat het nodig is.

©Gorodenkoff - stock.adobe.com

Wat heb je nodig?

Om van HDR10+ te genieten, moeten alle schakels in de ketting kloppen. Allereerst heb je een geschikte televisie nodig. Vooral Samsung is de grote aanjager van HDR10+, maar ook merken als Panasonic, Philips en TCL ondersteunen het vaak. Let er wel op dat LG en Sony meestal kiezen voor de concurrent Dolby Vision.

Daarnaast moet de content (de film of serie die je kijkt) in HDR10+ geschoten zijn. Amazon Prime Video is de grootste aanbieder van HDR10+-materiaal op streaming-gebied, maar ook Apple TV+ en Google Play Movies bieden het aan. Netflix gebruikt helaas voornamelijk concurrent Dolby Vision. Tot slot ondersteunen veel 4K Ultra-HD Blu-rays het formaat ook als je liever fysieke schijfjes kijkt.

Direct aanschaffen dan maar...?

Is HDR10+ een reden om je huidige tv direct bij het grofvuil te zetten? Nee, dat niet. Maar sta je op het punt een nieuwe tv te kopen, bijvoorbeeld een Samsung, dan is het wel een hele fijne bonus. Het zorgt ervoor dat je films en series ziet zoals de regisseur ze bedoeld heeft: levendig, contrastrijk en vol detail. En ze hoeven tegenwoordig al helemaal niet meer de wereld te kosten.