Podcasts about programmeur

  • 49PODCASTS
  • 151EPISODES
  • 56mAVG DURATION
  • 1MONTHLY NEW EPISODE
  • Aug 20, 2026LATEST

POPULARITY

20192020202120222023202420252026


Best podcasts about programmeur

Latest podcast episodes about programmeur

Vandaag
Festivalpolitiek: de belangen achter het blokkenschema

Vandaag

Play Episode Listen Later Aug 20, 2026 19:45


Zo'n 60.000 Lowlandsbezoekers maken zich op voor een weekend vol optredens. Een blokkenschema van het festival is daarbij onmisbaar. Redacteur Amanda Kuyper zocht uit welke belangen er achter dat ogenschijnlijk simpele schema schuilgaan. Gast: Amanda KuyperPresentatie: Gabriella AdèrRedactie: Annabel RonhaarMontage: Bas van WinCoördinatie: Ilse Eshuis & Yara van Heugten Eindredactie: Ignace SchootProductie: Rhea Stroink In deze aflevering hoor je fragmenten uit de volgende nummers van artiesten die op Lowlands en/of Into the Great Wide Open spelen:'Low Era' - Geese'18 & Over' - Nia Archives 'DON'T BELIEVE THE KRANT' - IJsland 'Sarniezz' - Angine de PoitrineHeb je vragen, suggesties of ideeën over onze journalistiek? Mail dan naar onze redactie via podcast@nrc.nlZie het privacybeleid op https://art19.com/privacy en de privacyverklaring van Californië op https://art19.com/privacy#do-not-sell-my-info.

Dood & Verderf
Augustus 2026: gothic voor absolute beginners, met Baroeg Open Air-programmeur Marco van Belle

Dood & Verderf

Play Episode Listen Later Aug 5, 2026


Gothic. Synthpop. Industrial. Dark wave. EBM. Hellectro. Aggrotech. Niet de eerste genres waar de gemiddelde metalfan op aanslaat. Toch gelooft Marco van Belle, programmeur bij Baroeg en Baroeg Open Air, artiest bij Angels & Agony, en boeker bij Go! Music, er heilig in dat liefhebbers van zware metalen van al die muziek kunnen houden. In dit uur van Dood & Verderf doet Marco een moedige poging daar de luisteraars (en mij) van te overtuigen, inclusief uitleg hoe gothicfestivals werken en waar je moet zijn bij Baroeg Open Air op je gothic-gateway-drugs te scoren. Vind je dit tof? Abonneer je dan op de nieuwsbrief of de podcast. En ben je al fan? Geef dan een vijf-sterren-rating aan de show op je favoriete podcastplatform, zodat andere mensen Dood & Verderf ook kunnen vinden. Playlist Ministry – NWO (ΚΕΦΑΛΗΞΘ / Psalm 69: The Way to Succeed and the Way to Suck Eggs, 1992) Clan Of Xymox – A Day (Clan Of Xymox, 1985) Das Ich – Gottes Tod (Die Propheten, 1991) Suicide Commando – God is in the rain (Implements, 2010) VNV Nation – When is the future? (Noire, 2018) Diary Of Dreams – The Wedding (If (the memento ritual project), 2009) Angels and Agony - Forever (Eternity, 2001)

Haarlem105
Programmeur Laura Marcus over de Dansdagen Haarlem

Haarlem105

Play Episode Listen Later Apr 9, 2026 12:42


Programmeur Laura Marcus over de Dansdagen Haarlem by Haarlem105

haarlem programmeur haarlem105
DS Vandaag
Bits & atomen | Is het wel nog slim om programmeur te worden, nu AI er steeds beter in wordt?

DS Vandaag

Play Episode Listen Later Feb 28, 2026 31:35


AI kon al goed programmeren, maar de laatste weken en maanden gaat het steeds beter. “Beter dan ikzelf”, postte AI-expert Matt Schumer. Wat betekent dat voor de softwarewereld? Verder hebben we het over de maan Titan die carambole speelt in de ringen van Saturnus, over hinniken dat straffer is dan jodelen en over Metabaas Mark Zuckerberg die getuigt over de gevaren van sociale media. CREDITS Journalisten Pieter Van Dooren, Dominique Deckmyn, Jannes Verschakelen | Audioproductie Pieter Santens | Muziek Brecht Plasschaert | Chef podcast Alexander Lippeveld See omnystudio.com/listener for privacy information.

Film Van Het Jaar Podcast
[IN GESPREK MET] programmeur Jetske Breedeveld: over hidden gems, de programma-puzzel en het festival-leven | LIFF ‘25

Film Van Het Jaar Podcast

Play Episode Listen Later Oct 1, 2025 55:03


Het mooiste filmfestival van Nederland staat voor de deur. Van 9 t/m 19 oktober trekken we weer naar Leiden voor zowel de grotere films met awards-potentie als de (soms knotsgekke) kleine indies. We gingen in gesprek met Jetske Breedeveld, hoofd marketing & communicatie én een van de programmeurs van het festival. Over het festivalleven, de hidden gems en hoe het programma zich door het jaar heen vormt. Enjoy!Redactie: Don Zwaaneveld Bedankt voor het luisteren! Join onze PATREON voor extra info, polls en gezellige gesprekken :) Volg @dononfilm op Instagram & Letterboxd en op de Award Expert app voor de meest actuele Oscar voorspellingen.

De Nacht van...
ESNS-programmeur Joey Ruchtie over dé muzieknamen van 2025

De Nacht van...

Play Episode Listen Later Jan 15, 2025 55:38


Wat hebben Dua Lipa, James Bay, Oscar And The Wolf, S10 en Roxy Dekker gemeen? Zij stonden allemaal aan het begin van hun carrière op Eurosonic Noorderslag.  De aankomende dagen zijn meerdere podia in Groningen gevuld met artiesten uit heel Europa om hun talenten te laten zien aan een groter publiek.   In De Nacht van EO vertelt Joey Ruchtie over welke namen volgens hem de belangrijkste namen worden van het aankomende muziekjaar. Ook kijken we terug naar de talenten van vorig jaar. Want wat is er van hen geworden?

Dood & Verderf
Augustus 2024: dit zijn dé elektronicaplaten waar metalheads hard op gaan (volgens BOA-programmeur David Kuiper)

Dood & Verderf

Play Episode Listen Later Aug 16, 2024


Ja, metal, dat lusten metalheads wel. Maar wist je dat ze ook heel goed gaan op drum 'n bass, industrial hardcore, ambient, breakcore en cybergothic? David Kuiper, programmer van de electronics-stage van Baroeg Open Air, laat horen welke elektronica werkt. Vond je deze aflevering tof? Abonneer je dan op de nieuwsbrief of de podcast. Ben je al fan? Geef dan een vijf-sterren-rating aan de show op je favoriete podcastplatform, zodat zoveel mogelijke andere mensen de show ook kunnen vinden. Bedankt! We gaan terug naar september 2015, een duistere zaterdagavond in het Zuiderpark in Rotterdam. Met open mond sta ik daar bij de electronics-stage, een van de twee grote tenten van Baroeg Open Air. Black Sun Empire, het drum ‘n bass-drietal uit Utrecht, sluit af. In die tent gaan honderden, zo niet duizenden uitzinnige mensen helemaal los op de muziek. Waaronder heel veel metalheads. Metalheads? Die luisteren toch alleen maar trv kvlt badkamerblackmetal, en hooguit een blokje Metallica omdat het moet? Maar nee. Ook metalheads en andere liefhebbers van zware gitaren stappen - in ieder geval tijdens Baroeg Open Air - probleemloos over naar de bonkende 909's, zagende Juno's en bubbelende 303's. En precies over dat fenomeen, daar waar metalheads probleemloos ook hun hart ophalen bij de elektronica, gaat deze uitzending van Dood & Verderf. Samen met David Kuiper, sinds jaar en dag programmeur van de electronics-stage van Baroeg Open Air, onderzoeken we welke elektronica werkt (en welke niet), en waarom dat zo is. Zo kijken we vooruit naar de komende editie van Baroeg Open Air, op zaterdag 14 september in het Zuiderpark. Playlist 1: Sinister Souls - FCKN Hostile (Zardonic remix) (Chronicles, volume 1, 2024) 2: Combichrist - This shit will fuck you up (Everybody Hates You, 2005) 3: Somniac One - Instigator (I hope this EP finds you well, 2023) 4: The Silence - The Detonator (The silence of the perfect dark, 2023) 5: Neurocore - Souvenirs du futur (The Magellan Chronicles, 2015) 6: Enduser - 2-3 (1-3, 2016) 7: Kryptic Minds - Six degrees (One of us, 2009) 8: Tineidae, Access To Arasaka, Sole Massif - Power Disruption (Engage, 2022) Deens Aanbevolen Lidvall - Invalid (Prototype, 2024) Een unicum! Niet Zware Metalen, het online metalmagazine der Lage Landen, maar René Passet geeft vanuit zijn woonplaats Kopenhagen de muziektip voor David. René is al decennia Neerlands grootste connaisseur van elektronische muziek, onder meer voor 3voor12, Oor, DJ Broadcast en KindaMuzik. En omdat René als voormalig filelezer van de ANWB groot fan is van radio, heeft hij speciaal voor David zijn tip ingesproken. Shirts uit, dansvloer aan! Bezoek René Passet op Instagram

Haarlem105
Programmeur Peter van der Heyden over het nieuwe seizoen van Caprera

Haarlem105

Play Episode Listen Later May 9, 2024 5:02


Openluchttheater Caprera staat klaar voor het nieuwe seizoen met een nieuw programma dat mede tot stand is gekomen in samenwerking met verschillende Haarlemse culturele organisaties. Programmeur van Caprera is Peter van der Heyden en vertelde erover in Haarlem Vandaag.

Haarlem105
Eerste editie Dansdagen in Haarlem een succes: “Dans is van iedereen”

Haarlem105

Play Episode Listen Later Apr 17, 2024 4:50


De dansdagen zijn een samenwerking tussen de Stadschouwburg Haarlem en de Schuur. Afgelopen weekend werden ze voor het eerst georganiseerd met als doel om dansen in Haarlem op de kaart te zetten. Bezoekers konden meedoen aan workshops en voorstellingen bijwonen. De dansdagen moeten een brug slaan tussen zelf dansen en dans ervaren. Deze samenkomst van amateur en professionele dans is uniek in Nederland, aldus de organisatie. Programmeur van de Schuur Marjorie Boston zegt dat dit de cohesie kan vergroten. “Dans is van iedereen”, stelt zij. De dansdagen kunnen dans zichtbaar maken omdat “dans vaak ongezien is als het niet professioneel is.” Verslaggever Bas de la Rie nam een kijkje in de Stadsschouwburg.

Haarlem105
Programmeur Marjorie Boston Van Schuur

Haarlem105

Play Episode Listen Later Feb 4, 2024 11:51


Met de voorjaarsvakantie voor de deur en al eerder de Solodagen in de Schuur is het moeilijk kiezen uit het enorme aanbod. Gelukkig is daar programmeur Marjorie Boston op ons op weg te helpen. In Niet Thuis Magazine laat ze weten aan Ellen Stamer dat het voor haar ook nog moeilijk kiezen is.

gelukkig schuur programmeur
Haarlem105
Masja Schimscheimer Programmeur PHIL Over December

Haarlem105

Play Episode Listen Later Dec 3, 2023 5:42


Programmeur Masja Schimscheimer vertelt in Niet Thuis Magazine wat er in december allemaal te zien is in de Phil. Het is een vol programma met een groot muziekevenement dat plaats vindt in de kerstvakantie met veel bijzondere optredens tijdens het Live2000 festival. Er zijn optredens van Buddy Vedder, Abba Dance en One night in Vegas.

las vegas er programmeur masja
TRIBUS D’AMOUR
#Rencontre: Stéphane Lefebvre, l'alchimiste résilient. Programmeur, presque aveugle, il invente une application loupe pour son téléphone, pour continuer à travailler et à vivre en autonomie.

TRIBUS D’AMOUR

Play Episode Listen Later Nov 13, 2023 27:18


Dans ce nouvel épisode, je vous emmène en balade à la rencontre de mon frère Stéphane Lefebvre qui a transformé son plomb en Or. De son handicap, il a fait un défi. Quasiment aveugle et programmeur, il vient de développer 2 applications extraordinaires. Une loupe : MagGlass et un miroir : MagMirror qu'il utilise au quotidien pour continuer à pouvoir travailler de son art et à vivre au quotidien en continuant d'être autonome. Écoutez le se raconter et allez découvrir ses applications sur Apple Store. vous pouvez aussi le contacter par mail: stephane.epiphane.lefebvre@gmail.com. Bon voyage.

Alle Geschiedenis Ooit
106 - Ada Lovelace: de eerste programmeur

Alle Geschiedenis Ooit

Play Episode Listen Later Oct 14, 2023 2:31


Ze was de dochter van de beroemde dichter Lord Byron dus dat ze de geschiedenis in zou gaan stond bij haar geboorte in 1815 al vast. Maar weinig mensen hadden zich toen voor kunnen stellen dat Ada Lovelace aan de wieg zou staan van de digitale revolutie. Deze week vertelt Thom haar verhaal.Kom je ook naar onze liveshow op 16 oktober? Kaartjes vind je hier!Deze aflevering luister je hier exclusief op Podimo. Een maand gratis proberen? Klik hier!Alle Geschiedenis Ooit is een podcast van Dag en Nacht Media

Vrije geluiden op 4
Vooruitblik November Music (1)

Vrije geluiden op 4

Play Episode Listen Later Oct 1, 2023 59:00


Programmeur van November Music (al sinds een kwart eeuw!) Bert Palinckx over enkele van de vele programma-onderdelen van het festival dat zoals elk jaar in november gehouden wordt in 's-Hertogenbosch. Muziek van nu door de makers van nu - dat is de slogan van November Music, en dat is ook precies wat je er mag verwachten. Inclusief het Bosch Requiem van Aart Strootman, John Zorn, Maya Fridman en vele, vele anderen, en klankinstallaties, jazz, de Muziekroute, en een breed scale van nieuwe gecomponeerde muziek... 23.04 CD Unico Wilhelm van Wassenaer VI Concerti Armonici (Challenge Classics CC 72955) Unico Wilhelm van Wassenaer: Concerto I - III Un poco andante La Sfera Armoniosa olv Mike Fentross 3'46”  CD Unico Wilhelm van Wassenaer VI Concerti Armonici (Challenge Classics CC 72955) Unico Wilhelm van Wassenaer: Concerto I - IV Allegro La Sfera Armoniosa olv Mike Fentross 2'15”  23.12 CD Obras (Workin' Label 2023) Stefano Falcone: Obras #3 Stefano Falcone [piano] 5'15”  23.19 CD John Zorn: Sacred Visions (Tzadik TZ8345) John Zorn: The Remedy of Fortune The Jack Quartet 8'00”  CD The Turner Études (Tzadik TZ 8376) John Zorn: 18 Studies From The Later Sketchbooks of J.M.W. Turner -  II - III  Stephen Gosling [piano] 5'22”  CD Leonard: Book of Angels vol. 30 (Tzadik TZ 8350) John Zorn: Kmiel  Garth Knox & Saltarello Trio  4'15”  23.40 CD Farangi (Du baroque à l'Orient) (E-motive Records EMO 191) Renaud Garcia-Fons: Nove alla Turca - Pavane du Levant Renaud Garcia-Fons & Claire Antonini 7'43”  23.49 eigen opname Bart Spaan: De Lege Ether (fragment)  Bart Spaan, James Fulkerson 7'00”

Brood en Spelen
S03 #25 - Backstage: Kay Koopmans (Marathon, programmeur C. & NH-Pop)

Brood en Spelen

Play Episode Listen Later Sep 23, 2023 61:46


Backstage: Kay Koopmans (Marathon, programmeur C. en NH-Pop)Voor deze aflevering van van Brood en Spelen sprak Lars Kelpin op het kantoor van GRAP met Kay Koopmans. Kay is muzikant en bekend als singer songwriter en als frontman van de band Marathon. Daarnaast is hij programmeur van podium C. in Hoofddorp en projectleider voor de Noord-Hollandse Popkoepel NH-Pop. In de podcast gaat het over het werkzame leven van Kay. Hoe pakt Marathon de zaken aan qua team, inkomsten en uitgaven en hoe zet je de stap naar het buitenland? Maar ook zijn programmeurschap en werk voor NH-Pop komt aan de orde. En de grote vraag hoe Kay dit allemaal weet te combineren en welke voor- en nadelen er zitten aan het werken aan beide kanten van de muziekindustrie Muziek is er van Stella en Jacht. Links uit de uitzending:http://marathonamsterdam.comhttps://www.cpunt.nlhttps://www.nhpop.nl Voor meer info over Brood en Spelen volg je ons online: Spotify (met de gedraaide tracks uit de uitzending): https://open.spotify.com/playlist/0M7pWD7Tfmx4xgkVJVAAhc?si=XHjpEQo1T96J48ng-NPvkwFacebook:https://www.facebook.com/BroodenspelenpodcastInstagram:https://www.instagram.com/broodenspelenpodcast Hosted on Acast. See acast.com/privacy for more information.

Haarlem105
Yuen Kwan Lo programmeur Schuur

Haarlem105

Play Episode Listen Later Jun 4, 2023 8:13


De Schuur heeft de kaartverkoop voor het nieuwe theater seizoen geopend. En voor de snelle beslissers is er een vroegboekkorting. Het hele programma doornemen zou te lang duren, maar Yuen Kwan Lo belicht namens de programmeurs al een aantal voorstellingen in Niet Thuis Magazine.

kwan yuen schuur programmeur
Haarlem105
Yuen Kwan Lo Programmeur Schuur Over Het Nieuwe Theaterseizoen

Haarlem105

Play Episode Listen Later Jun 4, 2023 8:02


De kaartverkoop voor de voorstellingen van het nieuwe theaterseizoen is bij de Schuur van start gegaan. En wanneer je nu boekt, heb je nog vroegboekkorting. Eén van de programmeurs is Yuen Kwan Lo, zij vertelt aan Ellen Stamer wat er in september al allemaal te doen is.

nieuwe kwan yuen schuur programmeur
Brood en Spelen
S03 #15 - Melkweg special met Laura Vogelsang (Directeur) en Max van Bossé (Senior Programmeur)

Brood en Spelen

Play Episode Listen Later Apr 22, 2023 72:25


Melkweg special met Laura Vogelsang (Directeur) en Max van Bossé (Senior Programmeur)In deze aflevering van van Brood en Spelen gaat Amber Roner in gesprek met Laura Vogelsang en Max van Bossé van de Melkweg. De Melkweg is één van de meest iconische poppodia van Nederland. Naast meerdere popzalen, waar de groten der aarden allemaal gestaan hebben, is er ook ruimte voor cinema, exposities en staat talentontwikkeling hoog op de agenda. In deze podcast gaat het over de veelzijdigheid van de Melkweg, initiatieven als Oyster Festival en Encore en over de plannen voor de komende vijf jaar. Met Max gaat Amber tot slot in gesprek over het programmeren bij een groot podium en wanneer je als artiest klaar bent en in aanmerking komt voor een optreden in de Melkweg. Verder is er muziek van Silver Lake, Roos Blufpand en Stay Away From Dante! Links uit de uitzending:https://www.melkweg.nlBackstage aflevering met Max van Bossé https://podlink.to/afleveringBS28 Voor meer info over Brood en Spelen volg je ons online: Spotify (met de gedraaide tracks uit de uitzending): https://open.spotify.com/playlist/0M7pWD7Tfmx4xgkVJVAAhc?si=XHjpEQo1T96J48ng-NPvkwFacebook:https://www.facebook.com/BroodenspelenpodcastInstagram:https://www.instagram.com/broodenspelenpodcast/ Hosted on Acast. See acast.com/privacy for more information.

Haarlem105
Dorien Van Beek Programmeur Podia Heemstede

Haarlem105

Play Episode Listen Later Mar 26, 2023 5:37


Eind april kun je naar een benefiet concert in Heemstede, het concert is toegevoegd aan de planning. Programmeur Dorien van Beek vertelt in Niet Thuis Magazine aan Ellen Stamer voor welke concerten en optredens nog kaarten te koop zijn.

eind beek podia van beek dorien programmeur heemstede
Il était une fois l'entrepreneur
Tobias Lütke - Shopify : un programmeur qui devient entrepreneur - Ep 1

Il était une fois l'entrepreneur

Play Episode Listen Later Mar 14, 2023 13:02


Tobias Lütke crée Shopify, la plateforme de e-commerce par accident en 2006. Tobias dit Tobi naît en Allemagne à Coblence en 1981. Il est dyslexique et ne se reconnaît pas dans l'école. Heureusement, il découvre l'informatique et devient même obsédé. Il fait malgré tout un stage en entreprise où il apprend les bases du code… mais il préfère le snowboard , sa passion au travail en entreprise. Il rencontre au début des années 2000, sa femme, Fiona McKean au Canada sur les pistes de ski. Un coup de foudre et un départ pour le Canada où il ouvre un magasin en ligne de Snowboard, Snowdevil. Mais Tobi galère avec sa plateforme et doit tout recoder lui-même. Sa version de la plateforme e-commerce est tellement bonne que les autres commerçants lui demandent sa version. Il finit par ne vendre que sa plateforme avec son associé, Scott Lake et son ami allemand, Daniel Weinand. L'aventure est lancée… ils trouvent leurs premiers investisseurs et notamment John Phillips. Pourtant tout s'écroule quand Scott annonce son départ… il n'y a plus de CEO. Et un des investisseurs propose Tobias… mais il ne se voit pas en CEO. Notes Retrouvez les notes de l'épisode ===> https://inspire-media.fr/tobias-lutke-une-programmeur-qui-devient-entrepreneur-ep-1/

La Grosse Maladresse
104. Programmeur

La Grosse Maladresse

Play Episode Listen Later Jan 16, 2023 64:56


Cette semaine, je reçois TrivialPanPan. Il vient nous parler de son métier de programmeur. J'ai enfin appris ce que ça mangeait en hiver! Abonnez vous si tout comme moi vous voulez vous coucher moins niaiseux à soir ! Où trouver mon invité... Twitter: @Tr1v1alPPan Podcast: https://lajaquettepodcast.lepodcast.fr/ Youtube: https://www.youtube.com/channel/UC1alUAx92Y-N1ueYAka8PSA Où me trouver... TikTok: @lagrossemaladresse Twitter : @LGMaladresse instagram: @grossemladresse Courriel : Lagrossemaladresse@gmail.com Facebook : https://www.facebook.com/groups/grossemaladresse Aussi disponible sur tous les sites de podcast. Aussi disponible sur youtube: https://youtu.be/RSggg5jruJU --- Send in a voice message: https://podcasters.spotify.com/pod/show/la-grosse-maladresse/message

La Grosse Maladresse
104. Programmeur

La Grosse Maladresse

Play Episode Listen Later Jan 16, 2023 64:56


Cette semaine, je reçois TrivialPanPan. Il vient nous parler de son métier de programmeur. J'ai enfin appris ce que ça mangeait en hiver! Abonnez vous si tout comme moi vous voulez vous coucher moins niaiseux à soir ! Où trouver mon invité... Twitter: @Tr1v1alPPan Podcast: https://lajaquettepodcast.lepodcast.fr/ Youtube: https://www.youtube.com/channel/UC1alUAx92Y-N1ueYAka8PSA Où me trouver... TikTok: @lagrossemaladresse Twitter : @LGMaladresse instagram: @grossemladresse Courriel : Lagrossemaladresse@gmail.com Facebook : https://www.facebook.com/groups/grossemaladresse Aussi disponible sur tous les sites de podcast. Aussi disponible sur youtube: https://youtu.be/RSggg5jruJU --- Send in a voice message: https://podcasters.spotify.com/pod/show/la-grosse-maladresse/message

Talentgesprekken
Ron de Mos, van programmeur tot ceo. Talent: FOCUS

Talentgesprekken

Play Episode Listen Later Jan 6, 2023 56:40


Hij begon zijn imposante carrière als programmeur bij IBM. Via de OR speelde hij zich in de kijker van de directie. Toen hij als topmanager vertrok bij IBM ontdekte Ron dat het er buiten IBM toch net even wat anders aan toeging. Hij maakte achteraf gezien een aantal verkeerde keuzes en leerde met ‘vallen en opstaan' waar je op moet doorvragen als je ergens wordt gevraagd om de leiding te nemen  in het interview blikt hij terug op zijn lange carrière in het IT sector. Hij was erbij als programmeur bij IBM en als ceo van CGI. Tegenwoordig is hij actief als toezichthouder, adviseur en coach. Een atypische vindt hij zelf. Want het vragen stellen en op je handen blijven zitten heeft hij echt moeten leren. Dat zit ook minder in zijn talent. Hij is iemand die graag zijn eigen mening geeft en door pakt op de keuzes die vervolgens moeten worden gemaakt.  Zo reorganiseerde hij ook Logica, na de overname door CGI. Bij zijn aantreden was de tent zwaar verliesgevend maar dat wist hij door te focussen op een beperkt aantal keuzes snel om te zetten in winstgevendheid. Want FOCUS dat is zijn kerntalent. Niet laten afleiden door wat er eventueel ook allemaal kan en mogelijk is maar rücksichtslos vasthouden aan de gemaakte afspraken.     Of zoals het te lezen staat in zijn TMA analyse; het talentsignaal van Ron op zijn lage score op de drijfveer Afwisseling: “Gedreven worden door focus in taken en omgeving. Kan zich beter concentreren, heeft er meer moeite mee als hij gestoord wordt. Wil liever een beperkt aantal taken doen. Rond liever eerst zaken af alvorens aan een nieuwe taak te beginnen. Kan makkelijker prioriteiten stellen. Verliest soms de omgeving uit het oog omdat hij zich op een beperkt aantal zaken richt. Heeft minder behoefte zich in nieuwe of onbekende zaken te verdiepen. Heeft meer moeite met verandering. Blijft liever bij het “oude en vertrouwde”, hierdoor loyaler.” Het talent dat Ron heeft geholpen om het programmeur tot ceo schoppen is Focus. Is dat een noodzakelijk talent voor iedereen die ook zo'n carrière nastreeft? Zijn er ook momenten in zijn carrière geweest dat zijn Focus hem niet heeft geholpen? Hoe ga je om met dit talent als je van een uitvoerende naar een coachende rol verschuift? Beluister het in een nieuw talentgesprek van Jan Prins.

Thune
Jean-Baptiste Kempf, le start-uper qui n'aimait pas l'argent

Thune

Play Episode Listen Later Dec 8, 2022 33:33


On vous emmène au coeur de la fameuse start-up nation avec Jean-Baptiste Kempf, une star de la French tech. Il nous parle de son rapport à l'argent dans ce biotop qu'on nous vante comme le vivier de la win et des entrepreneurs à succès. Est-ce que "open source" veut dire gratuit ? Les geeks sont-ils désintéressés ? Qui fait fortune dans la tech, et comment ? Bonne écoute !

Roberta by Preligens

 Le visage de trois quarts, les cheveux noués en un élégant chignon élançant la nuque, des parures raffinées, les représentations d'Ada Lovelace indiquent tout de son rang de comtesse. Mais, soyez en sûrs, si nous avions passé ces tableaux au crible de nos solutions de vision par ordinateur, il y a fort à parier que même l'intelligence artificielle n'aurait pas détecté le génie qui s'y cache. Et pourtant, Ada Lovelace est bien la première programmeuse et de ce fait une autre figure aux origines de l'IA ! ROBERTA, le podcast : Nous sommes des spécialistes en intelligence artificielle (IA) et nous souhaitons partager notre passion avec vous. Avec ce podcast Roberta, en hommage à Roberta Wohlstetter, pionnière du renseignement moderne, nous nous sommes intéressés aux parcours de celles et ceux qui ont influencé ou ont été influencés par l'IA. Ce podcast mensuel retrace les histoires de scientifiques, cinéastes, romanciers, politiques et décrypte leur lien avec l'IA.  Ecoutez les épisodes précédents: Episode #1 : Roberta Wohlstetter Episode #2 : Stanley Kubrick Episode #3 : Jules Verne Episode #4 : Hannah Arendt et Hans Jonas Episode #5 : Elizabeth McIntosh Episode #6 : Eric Tabarly Episode #7 : Alan Turing Crédit Musique : Boogie Belgique - Once Have I

Brood en Spelen
S02 #28 - Backstage: Quirina Geijsen (programmeur De Vorstin / Markt Centraal)

Brood en Spelen

Play Episode Listen Later Sep 17, 2022 70:10


S02 #28 Quirina GeijsenIn deze aflevering van Brood en Spelen voert Lars Kelpin een gesprek met Vorstin programmeur en talentontwikkelaar Quirina Geijsen. Quirina is sinds begin dit jaar werkzaam bij de Vorstin en houdt zich bezig met het programmeren van talent en het helpen van jonge organisatoren. Daarnaast is ze programmeur bij Markt Centraal in Amsterdam en floormanager bij de Ziggo Dome. Quirina is haar carrière begonnen bij het lokale buurtcentrum, groeide tijdens haar studie door naar programmeur van de Vondelbunker in Amsterdam en studeerde ondertussen af door onderzoek te doen naar hoe concertbezoekers van hiphop shows zich gedragen in de Moshpit. Publieksbeleving bij concerten staat dan ook voorop bij Quirina. In de podcast kijken we naar het werk van Quirina als programmeur, de voorwaarden aan talentvolle artiesten die zij ziet om verder te komen, de beleving van publiek, hoe een begroting van een concert in elkaar steekt en wat je moet kunnen als programmeur. Verder is er muziek van Fontaines D.C. en Funkadelic. Links uit de uitzending:https://marktcentraal.nlhttps://www.devorstin.nl Voor meer info over Brood en Spelen volg je ons online: Spotify (met de gedraaide tracks uit de uitzending): https://open.spotify.com/playlist/0M7pWD7Tfmx4xgkVJVAAhc?si=XHjpEQo1T96J48ng-NPvkwFacebook:https://www.facebook.com/BroodenspelenpodcastInstagram:https://www.instagram.com/broodenspelenpodcast/ Hosted on Acast. See acast.com/privacy for more information.

Le Business du Fitness | Andy Poiron 
#14 - Étienne Dubois - CEO de Hexfit - De programmeur au développement d'applications francophones pour coachs sportifs !

Le Business du Fitness | Andy Poiron 

Play Episode Listen Later Apr 16, 2022 67:14


Dans l'épisode du jour, j'ai le plaisir d'inviter Étienne Dubois - CEO de Hexfit, l'une des meilleures applications francophones pour coachs sportifs !      Sa 1ère expérience en tant que client dans un club de fitness n'est pas exceptionnelle. Étant programmeur, il décide donc de créer une application pour l'accompagner dans sa démarche sportive. Cette application va devenir une société, Hexfit.      On a parlé de pleins de choses passionnantes :      • Sa vision sur le métier de coaching sportif à 360°,   • Comment il a développé sa solution Hexfit,   • Pourquoi le coach sportif est absolument nécessaire à la fois pour les clubs mais aussi pour les clients,   • Comment créer ses offres quand on est coach sportif,   • Et encore beaucoup d'autres choses.      Je ne vous en dis pas plus et je laisse place à notre conversation avec Étienne Dubois.      Où retrouver Étienne Dubois Offre Spéciale pour tester Hexfit : https://hxft.co/andy       Son livre "Coup de COEUR''  Système 1, système 2 : Les deux vitesses de la pensée : https://amzn.to/3up0Z0Q   ----------------  1. Faites vous coacher par moi !  Le meilleur moyen de vous expliquer comment je peux vous aider est de prendre un rendez-vous afin que l'on discute, ensemble, de vos challenges ou de vos problématiques : https://www.andypoiron.com/programmes/        2. Ma newsletter addictive  Cliquez ICI pour vous inscrire gratuitement        Je vous envoie régulièrement des e-mails pour vous aider à développer votre activité.   Je rédige chaque e-mail comme une leçon à part entière. Une sorte de micro-formation quotidienne que je vous conseille de lire. Vous devriez apprendre pas mal de trucs...  (c'est en tout cas les retours que me font les abonnés les plus assidus)     3. Contactez-moi !   Si le podcast vous plaît, le meilleur moyen de me le dire, ou de me faire vos feed-backs (et ce qui m'aide le plus à le faire connaître) c'est simplement de laisser un avis 5 étoiles ou un commentaire sur l'application iTunes. Ça m'aide vraiment, alors n'hésitez pas :)     Pour me poser des questions ou suivre mes aventures, c'est par ici : Sur Instagram @andypoiron       4. Sponsoring Vous souhaitez sponsoriser 'Le Business du Fitness' ou me proposer un partenariat ? Contactez-moi via Instagram @andypoiron 

BadGeek
Les Cast Codeurs n°274 du 07/03/22 - LCC 274 - Interview le darwinisme numérique avec Didier Girard - partie 2

BadGeek

Play Episode Listen Later Mar 7, 2022 50:40


Cet épisode est un échange entre Guillaume, Antonio, Emmanuel et Didier Girard sur les réflexions de Didier autour du darwinisme numérique. Cette deuxième partie se concentre sur ce que veut dire le darwinisme numérique pour les entreprises et analyse les entreprises qui ont embrassé ses nouvelles contraintes ces vingt dernières années. En particulier, nous discutons de leur capacité d'adaptation comme principe fondamental et en filigrane de l'impact sur l'individu. On y invente aussi la notion d'équipe raclette. Comme souvent l'actualité nous a rattrapé. Cette interview a été enregistré quelques jours avant l'invasion de l'Ukraine par la Russie ce qui donne une couleur plus intense à la partie 1 de cette interview. Enregistré le 17 février 2022 Téléchargement de l'épisode [LesCastCodeurs-Episode-274.mp3](https://traffic.libsyn.com/lescastcodeurs/LesCastCodeurs-Episode-274.mp3) ## Interview ### Ta vie ton oeuvre [Twitter](https://twitter.com/didiergirard) [SFEIR](https://www.sfeir.com/) [Envision](https://www.sfeir.com/fr/nos-offres-innovation-conseil-et-formation/envision/) ### L'entreprise Tech System organisationel [Génération surdiplômée - les 20% qui transforment la France](https://www.cultura.com/p-generation-surdiplomee-les-20-qui-transforment-la-france-9782738154026.html) [Les BATX](https://fr.wikipedia.org/wiki/BATX) ### L'individu ## Nous contacter Soutenez Les Cast Codeurs sur Patreon [Faire un crowdcast ou une crowdquestion](https://lescastcodeurs.com/crowdcasting/) Contactez-nous via twitter sur le groupe Google ou sur le site web

Bijdetijds
Stockhausen als programmeur

Bijdetijds

Play Episode Listen Later Feb 16, 2022 59:59


Karlheinz Stockhausen (1928-2007) werd wereldberoemd met (onder meer) zijn elektronische muziek. Maar hij had ook belangstelling voor de muziek van anderen.   Midden jaren zestig mocht hij programma’s maken voor de WDR. Daarvoor gebruikte hij zijn ervaring en contacten om uit alle hoeken van de wereld elektronische muziek te laten horen. Zo kreeg de luisteraar […]

CEO Radio.TV
Faire des économies pour penser à accélérer les innovations | Emmanuelle Hose, GVP & Regional General Manager EMEA de Rimini Street

CEO Radio.TV

Play Episode Listen Later Feb 8, 2022 7:32


Emmanuelle Hose décide jeune de devenir programmeuse à Londres, mais se rend vite compte qu'elle est davantage intéressée par le commerce. Repérée par un chasseur de têtes, elle est invitée à rejoindre le groupe Rimini street. L'entreprise propose des services de maintenance de CMS, CRM ou encore de base de données environ 50% moins chères que le prix du vendeur. Emmanuelle est une pianiste, elle aime voyager et aider les gens.

BadGeek
Les Cast Codeurs n°270 du 03/01/22 - LCC 270 - Interview de Nicolas De Loof sur Docker Compose

BadGeek

Play Episode Listen Later Jan 3, 2022 73:43


Nicolas De Loof rejoint Emmanuel et Antonio pour discuter de Docker Compose. Enregistré le 17 décembre 2021 Téléchargement de l'épisode [LesCastCodeurs-Episode-270.mp3](https://traffic.libsyn.com/lescastcodeurs/LesCastCodeurs-Episode-270.mp3) ## Interview ### Ta vie ton oeuvre [Nicolas De Loof](https://twitter.com/ndeloof) ### Introduction à la techno Docker en 1 minute Docker compose d'où vient l'idée et le besoin ### La techno en concepts Un container c'est quoi ? Ça tourne comment ? Du coup, on veut en faire tourner plusieurs Comment on les "lie"? Network autre chose? Mais c'est pas le job de Kubernetes? * deploy * scaling * rollback La spécification Discussion sur les notions: * service * build * label * network * sécurité (cap_add) docker-compose vs docker compose ### Comment on l'utilise en pratique pour un dev Comment je définie mon multi container Lien vers des dockerfiles? Echange d'infos (e.g. DB connection ou mot de passe entre DB et l'appli) Ma DB doit démarrer avant mon app Ca fait les health check? Je commite ce fichier où typoiquement ? comment je partage avec mon équipe ? Et ma CI ? Comment je mets en prod ? Je mets en prod hein, ça marche sur ma machine. v2 vs v3 ### Sous le capot Et donc comment ça marche docker compose? Zoom sur le network La sécurité ### La communauté, le futur Roadmap Docker desktop payant ## Nous contacter Soutenez Les Cast Codeurs sur Patreon [Faire un crowdcast ou une crowdquestion](https://lescastcodeurs.com/crowdcasting/) Contactez-nous via twitter sur le groupe Google ou sur le site web

BadGeek
Les Cast Codeurs n°269 du 23/12/21 - LCC 269 - Log4J devient Turing-complet

BadGeek

Play Episode Listen Later Dec 23, 2021 70:05


Antonio et Guillaume discutent de nouvelle crèmerie, des fêtes de fin d'années, des cadeaux du père Noël, et... de log4j, le feuilleton de fin d'année ! Enregistré le 20 décembre 2021 Téléchargement de l'épisode [LesCastCodeurs-Episode-269.mp3](https://traffic.libsyn.com/lescastcodeurs/LesCastCodeurs-Episode-269.mp3) ## News [Décès de Stéphane Maldini](https://twitter.com/glaforge/status/1470729181050937346) (14 Dec 2021) * Une triste nouvelle pour commencer l'épisode avec l'annonce du décès soudain de Stéphane Maldini * Un acteur de l'écosystème Grails à la fin des années 2000, gràce à de nombreux plugins * Mais plus connu pour avoir co-fondé le project Reactor, et popularisé le Reactive Programming au sein de la communauté Java * Egalement à l'origine de R2DBC pour rendre l'accès aux bases de données plus réactif * Après de nombreuses années chez Pivotal, il avait rejoint plus récemment Netflix, et c'est peut-être en partie grâce à lui que vous pouviez matter plein de séries ! [CloudBees clot un tour de table de 150 millions de dollars valorisant l'entreprise à 1 milliards de dollars](https://twitter.com/cloudbees/status/1468943708330643457?s=21) [Le feuilleton Log4J2](https://www.lunasec.io/docs/blog/log4j-zero-day/) (9 Dec 2021) * Grosse faille de sécurité liée à l'utilisation des versions

De Muzikanten Kletskoek Podcast
S2#5 Het stimuleren van opkomend talent: de rol van de artiest en de programmeur, met Jim van Kooten (De Vorstin)

De Muzikanten Kletskoek Podcast

Play Episode Listen Later Dec 22, 2021 84:29


Deze aflevering kletsen we met Jim van Kooten. Hij is hoofdprogrammeur bij de Vorstin en altijd nauw betrokken bij opkomend talent. Ook is hij mede-oprichter van boekingskantoor Atlas Agency. Jim kent de muziekindustrie daarmee vanuit verschillende posities (boeker, tourmanager, organisator, programmeur).

BadGeek
Les Cast Codeurs n°268 du 01/12/21 - LCC 268 - Interview sur GraalVM avec Gilles Duboscq - partie 2

BadGeek

Play Episode Listen Later Dec 1, 2021 74:41


Gilles Duboscq de OracleLabs discute des multiples facettes du projet GraalVM avec Emmanuel. La partie 2 nous emène vers GraalVM Native image, comment utiliser GraalVM en pratique en fonction des différents usages discutés, les versions, la communauté, comment c'est fait sous le capot et plein d'autres choses encore. Si vous n'avez pas écouter la partie 1, je vous encourage à le faire.

code java gilles programmeur codeurs
BadGeek
Les Cast Codeurs n°267 du 15/11/21 - LCC 267 - Lagom efface sa dette technique

BadGeek

Play Episode Listen Later Nov 15, 2021 76:33


Antonio et Emmanuel discutent Microsoft et Java, cryostat, Java 17, Micronaut, Quarkus, Play framework, Lagom, Amazon, CORS, CSS (si si), Hibernate Reactive, AtomicJar, canary, amplification algorithmique. Enregistré le 12 novembre 2021 Téléchargement de l'épisode [LesCastCodeurs-Episode-267.mp3](https://traffic.libsyn.com/lescastcodeurs/LesCastCodeurs-Episode-267.mp3) ## News ### Langages [Blog sur les extraits de code dans les JavaDocs](https://www.morling.dev/blog/executable-javadoc-code-snippets/) (18 Oct 2021) * C'est plus agréable à utiliser que les balises pre, pas besoin d'escaping (pour < et >), l'espace à gauche est normalisé * On peut mettre en valeur certaines portion, ou remplacer par une expression régulière certains bouts * Et on peut également externaliser d'où vient l'extrait de code, au lieu de le mettre dans la JavaDoc, on peut référencer une région de son vrai code. * Donc au moins, on est sûr que c'est du code valide et qui compile évidemment * Gunnar explique comment reprendre le code provenant de nos classes de test, pour le faire apparaître dans les JavaDocs, créant ainsi une vraie documentation “exécutable” [Compress class space](https://stuefe.de/posts/metaspace/what-is-compressed-class-space/) (27 Mars 2019) * compressed object ou class pointer sur 64buts en 32 bits vis adresse relative * due adresse relative, la Klass structure dans le metaspace doit être mémoire contiguë et pré allouée initialement (risque de non reallocation si mémoire libre non contiguë ) * Donc le classpart et le non class part séparés dans le meta space. Klass is 32G max et contiguë et la klass part est appelé compressed class space * Par défaut 1G mais configurable jusqu'à 3G. C'est virtual mémoire, juste une réservation. * 1K pas classe environ donc 1000000 de classes max * Que quand on utilise compressed oops * Que pour Java heap size de 32G max [Cryostat 2.0](https://developers.redhat.com/articles/2021/10/18/announcing-cryostat-20-jdk-flight-recorder-containers) (18 Oct 2021) * Fournit une API sécurisée pour profiler et monitored les applis Java dans les containers avec Java Flight Recorder * Cryostat peut récupérer stoquer et analyser les enregistrements flight recorder de containers * Ensuite consommé par graphana ou l.appli JDK Mission Control desktop * Fichier reste local au container par défaut donc pas pratique * Connection via JMX directe pas pratique ni secure par défaut * Cryostat récupère les recording via HTTPS * A un opérateur kubernetes * Etc [Microsoft augmente ses investissements dans Java](https://devblogs.microsoft.com/java/microsoft-deepens-its-investments-in-java/). (4 Nov 2021) * Microsoft rejoints le [JCP](https://jcp.org/) * Travaille sur VSCode for Java avec Red Hat * Est OK avec le LTS passant à 2 ans et va aider à supporter ces releases plus fréquentes ### Librairies [Micronaut 3.1](https://micronaut.io/2021/10/11/micronaut-framework-released/) (11 Oct 2021) * support d'applications utilisant JDK 17 * améliorations d'injections de dependances (repeatable scopes, primitive beans, etc) * les classes générées sont plus petites et amélioration de consommation mémoire sous GraalVM * routes HTTP par regexp * random port binding (pour les conflits de tests) * Changement certificats TLs via refresh sans arreter le serveur * Kotlin coroutine supportées dans micronaut data * extension de la couverture de support JPA (e.g. attribute converter) * support des informers Kubernetes via le Kubernetes SDK * integration Oracle Coherence sortie du mode preview [Quarkus 2.4](https://quarkus.io/blog/quarkus-2-4-0-final-released/) (27 Oct 2021) * Hibernate Reactive 1.0.0.Final * Introducing Kafka Streams DevUI (c'est cool pour développer ca et savoir ce qui se passe * Support continuous testing for multi module projects * Support AWT image resize via new AWT extension [Lightbend lâche Play Framework](https://www.lightbend.com/blog/on-the-future-of-play-framework) (20 Oct 2021) * lightbend construit sur Scala, akka, et play framework * C'est le moment de la 2.0 je crois * Mais avec le cloud, ils veulent se focaliser sur les systèmes distribués * Akka Open Source et Akka Serverless (leur PaaS) * Laisse Play à la,communité et lightbend arrête d'investir dedans * Dans une orga séparée * Besoin de sponsors et de contributeurs * Question: ils n'avaient pas déjà arrêté Scala? [Lightbend déveste de Lagom aussi](https://discuss.lightbend.com/t/the-future-of-lagom/8962) (27 Oct 2021) * Lagom effacé par akka Platform'et Akka Serverless * Trop de contraintes limitantes dans le framework * Mais si client de Lightbend, supporté sur Lagom mais sans nouvelle fonctionnalité ### Infrastructure [Installer et utiliser podman-machine sur macOS](https://blog.while-true-do.io/podman-machine/) (19 Oct 2021) * La virtualisation s'appuie sur qemu et met en place une VM dans laquelle les pods tournent. * Podman Machine pour installer une VM linux avec les outils * fonctionne aussi sous linux pour ceux qu ne supportent pas podman ou pour sandboxer * fonctionne sous M1 * homebrew pour l'installation * comme docker machine avant en gros * [il y a aussi une belle présentation de Devoxx France](https://www.youtube.com/watch?v=pUFIG2AMDhg) ### Cloud [Amazon déclaré la guerre à Microsoft en utilisant les arguments “Proprietaire”](https://aws.amazon.com/blogs/aws/goodbye-microsoft-sql-server-hello-babelfish/) (28 Oct 2021) * Aurora a un font qui parler protocole SQL server ([Babelfish pour Aurora PostgreSQL](https://aws.amazon.com/fr/rds/aurora/babelfish/)). * Et convertit les T-SQL * Open source the t sql vers Postgres (debug). Sous license ASL * Pas tout open sourcé encore ### Web [CORS expliqué](https://jakearchibald.com/2021/cors/) (12 Oct 2021) * inclue images d'autres sites, c'est l'origine * les cookies, credeitials etc etaient envoyés * yahoo mail pouvait filer les credentials des utilisateurs * une iFrame pouvait lire le contenu d'une autre iFrame (Netscape met en place le Cross-Frame Scripting) * `Access-Control-Allow-Origin: *` est ok si pas de données privées [Rendre une page HTML brute jolie en 100 caractères de CSS](https://www.swyx.io/css-100-bytes) (16 Oct 2021) * basique mais expliqué ligne par ligne * E.g. 60-80 caractères pour la lecture * Et 100 bytes de plus pour améliorer ### Data [elasticsearch 8.0 will require java 17](https://twitter.com/xeraa/status/1455980076001071106) (3 Nov 2021) * definitely easier for something standalone than a library or anything that needs to share the JDK with all its apps * [PR GitHub](https://github.com/elastic/elasticsearch/pull/79873) [Hibernate Reactive 1.0.0, ça vaut le coup ?](https://in.relation.to/2021/10/27/hibernate-reactive-performance/) (27 Oct 2021) * PostgreSQL, MySQL, MariaDB, Db2, SQL Server, and CockroachDB * bases de donnés désignées pour des interactions classiques * Donc les constructions haut niveau ont tendances à être limitées par le protocole sous-jacent ce qui ne se voyait pas ou peu en JDBC * utiliser HR si votre appli est déjà réactive au cœur (e.g. RESTEasy reactive dans Quarkus ou une appli Vert.x) * Compareperfs acec techempower mais avec angle latence à un volume donné et et pas throughout max * 20 requêtes d'affilée 20k request/s -> 35k sous 10ms de latence. C'est la valeur relative qui est intéressante * Une requête et du processing pour rendre au client, peu de différence * Toruhghput tend à être meilleur * Amélioration de réactive sur un an * [Un vidéo cast sur le sujet](https://youtu.be/VGAnVX1lCxg) ### Outillage [AtomicJar se lance dans une offre Cloud](https://www.atomicjar.com/2021/11/announcing-testcontainers-cloud/) (04 Nov 2021) * les containers de test containers ne tournent plus en local * Mais dans le cloud de AtomicJar * A plus de spores source qu'une machine locale typique (2 cores et 8GB ram pour la docker machine) * peut utiliser la machine quand les tests tournent * Pour CI limitées vs containers ou les cloud IDE pour pas trop dépenser * Pas de problème avec M1 * Un petit binaire à installer (eg via curl) * TestContainers et Quarkus: TestContainer Cloud fonctionne avec Dev Service (les containers lancés et configurés automatiquement) * Encore en cours de développement (beta privée et on peut demander invitation) ### Méthodologies [Canary releases ou avoir des testeurs](https://www.infoq.com/articles/canary-releases-testing/) (04 Nov 2021) * canary release est une release en prod mais sur un petit sous ensemble des utilisateurs * Peut aider a voir si une nouvelle fonctionnalité intéresse les utilisateurs avant de commiter sur le long terme * Toujours option du retour arrière * Donc peut on réduire les tests internes ? * Risque de réputation ou abandon utilisateur (acquisition et rétentions sont chères) * Test automatisés compréhensifs permettent le risque de canary * Test exploratoires pour compléter les tests automatiques ### Loi, société et organisation [Le droit à decompiler pour corriger des erreurs confirmé légal](https://www.legalis.net/actualite/le-droit-a-decompiler-un-logiciel-pour-corriger-des-erreurs-confirme-par-la-cjue/) (21 Oct 2021) * arrêt du 6 octobre 2021 * Pour corriger une erreur affectant le fonctionnement y compris via la désactivation d'une fonction affectant le bon fonctionnement de l'application [Influence de l'amplificartion algorithmique sur le contenu politique](https://blog.twitter.com/en_us/topics/company/2021/rml-politicalcontent) (21 Octo 2021) * les recommendations algorithmiques amplifient-elle le contenu politique ? * dans le cas des timeline organisées algorithmiquement et pas reverse chronologique * Est-ce que ça varie entre partis politiques ou groups politiques * Des sources de nouvelles plus amplifiées que d'autre * Les élus sont plus amplifiés que le contenu politique général * Pas d'amplification particulière d.individus ces d'autres au sein du même parti ???? * La,droite tend à avoir une amplification plus importante que la gauche * Les sources de nouvelles orientées à droite sont aussi plus amplifiées que celles de gauche * La méthodologie est détaillée sur par exemple ce qu'est un journal de droite * Pourquoi c'est amplifié différemment est une question plus difficile à répondre * Amplification n'est pas mauvaise par défaut mais elle l'est si elle amène à un traitement préférentiel du à l'algorithme (vs comment les gens interagissent sur la plateforme) * [Le PDF de l'étude intégrale](https://cdn.cms-twdigitalassets.com/content/dam/blog-twitter/official/en_us/company/2021/rml/Algorithmic-Amplification-of-Politics-on-Twitter.pdf) ## Conférences [DevFest Lille le 19 novembre 2021](https://devfest.gdglille.org/) [Devoxx France du 20 au 22 avril 2021](https://www.devoxx.fr/) [SunnyTech les 30 juin et 1er juillet 2022 à Montpellier](https://sunny-tech.io/) ## Nous contacter Soutenez Les Cast Codeurs sur Patreon [Faire un crowdcast ou une crowdquestion](https://lescastcodeurs.com/crowdcasting/) Contactez-nous via twitter sur le groupe Google ou sur le site web

Canada's Podcast
Dominic Goulet ou l‘éloge du parcours atypique - Québec - Canada‘s Podcast

Canada's Podcast

Play Episode Listen Later Oct 27, 2021 34:23


Suivre ses passions, écouter son intuition et saisir les opportunités, voilà quelques unes des pistes de réflexion abordées avec Dominic Goulet lors de ce podcast. Programmeur de formation. Entrepreneur par passion. Éternel optimiste en recherche constante de solutions innovantes. Dominic Goulet est un fier représentant de la communauté numérique du Québec. Entre sa carrière de consultant en technologies pour des entreprises internationales, son parcours d'entrepreneur et ses postes en gestion, Dominic cumule plus de 17 ans d'expérience dans le monde du numérique. Ces dernières années, il a principalement consacré son temps à guider les entrepreneurs vers la réussite en tant que mentor, ange investisseur et membre actif de la communauté entrepreneuriale de Québec. Depuis 2018, il est au service de la communauté numérique du Québec à travers son rôle de directeur général de Québec numérique. L'équipe de la Banque Silicon Valley au Canada peut vous aider à faire avancer vos idées audacieuses – rapidement. En apportant une expertise mondiale aux fondateurs, investisseurs et innovateurs. Visitez svb.com/fr/canada pour en savoir plus. Les entrepreneurs sont l'épine dorsale de l'économie canadienne. Pour soutenir les entreprises canadiennes, abonnez-vous à notre chaîne YouTube et suivez-nous sur Facebook, Instagram, LinkedIn et Twitter. Vous voulez rester au courant des derniers podcasts et actualités #entrepreneur? Abonnez-vous à notre newsletter bimensuelle.

BadGeek
Les Cast Codeurs n°266 du 22/10/21 - LCC 266 - Interview sur GraalVM avec Gilles Duboscq - partie 1

BadGeek

Play Episode Listen Later Oct 22, 2021 58:59


Gilles Duboscq de OracleLabs discute des multiples facettes du projet GraalVM avec Emmanuel. Dans cette première partie, nous discutons de l'histoire de GraalVM, de ses concepts fondamentaux et nous zoomons sur Truffle, Polyglot et Espresso, le support de JavaScript, Ruby, R, Python, LLVM, WASM... et Java dans GraalVM. La partie 2 nous emmènera vers GraalVM Native image, comment utiliser GraalVM en pratique en fonction des différents usages discutés, les versions, la communauté, comment c'est fait sous le capot et plein d'autres choses encore. Enregistré le 16 septembre 2021 Téléchargement de l'épisode [LesCastCodeurs-Episode-266.mp3](https://traffic.libsyn.com/lescastcodeurs/LesCastCodeurs-Episode-266.mp3) ## Interview ### Ta vie, ton œuvre [Twitter de Gilles](https://twitter.com/WoodenGil) ### GraalVM pour comprendre l'enjeu [GraalVM](https://www.graalvm.org/) GraalVM en 3 phrases Les cas d'utilisation typique [Maxine VM](https://maxine-vm.readthedocs.io/en/stable/index.html) ### Les concepts clés Graal le compilateur et le JIT * c'est quoi un JIT * Pourquoi pas basé sur HotSpot * Pourquoi en Java? * des cas d'utilisations préférés par GraalVM JIT vs HotSpot (et vice versa) Truffle et polyglot * Java qui tourne d'autres langages, lesquels? * comment ça marche, génère du byte code? Interprète? * Comment les codes de différents langages interagissent? JavaScript, Ruby, R, Python, [LLVM](https://llvm.org/), [WASM](https://webassembly.org/)... et Java [Arbre syntaxique](https://fr.wikipedia.org/wiki/Arbre_de_la_syntaxe_abstraite) Espresso: * Java sur Java (what??!), ca veut dire quoi exactement? * Quels usages? * niveau de stabilité, maturité? ## Nous contacter Soutenez Les Cast Codeurs sur Patreon [Faire un crowdcast ou une crowdquestion](https://lescastcodeurs.com/crowdcasting/) Contactez-nous via twitter sur le groupe Google ou sur le site web

Pillowtalk
Pillowtalk S01E45 – Terminologie in Tech

Pillowtalk

Play Episode Listen Later Oct 15, 2021 35:54


Je kunt een hoop over ons vakgebied zeggen, maar niet dat je niets te kiezen hebt als je opzoek bent naar een baan. Ben je programmeur of ontwerper? Nee, ik ben UX/UI designer. Programmeur? Nee, ik ben DevOps. Of misschien hou je je vooral bezig met CX in plaats van UX. Of misschien ben je overgestapt van UX developer naar GUI engineer. Volg jij het nog? Wat moeten klanten er wel niet van vinden, al at jargon. Hoe wij het noemen? Je hoort het in deze aflevering. De fuck-up van deze week gaat over het huzarenslatje. En de stellingen die aan bod komen zijn: Stelling 1: UI en UX is uiteindelijk gewoon hetzelfde Stelling 2: Klanten hebben het meeste last van terminologie Stelling 3: Termen zijn niet interessant. Iedereen is een ontwerper!

BadGeek
Les Cast Codeurs n°265 du 13/10/21 - LCC 265 - Chérie, ça va couper

BadGeek

Play Episode Listen Later Oct 13, 2021 63:39


Dans ce nouvel épisode news, Arnaud, Emmanuel et Audrey reviennent sur les annonces d'Oracle concernant le JDK, sur Spring One, mais aussi sur les petites fuites de données et autre panne généralisée qui ont fait l'actu récemment. Enregistré le 8 octobre 2021 Téléchargement de l'épisode [LesCastCodeurs-Episode-265.mp3](https://traffic.libsyn.com/lescastcodeurs/LesCastCodeurs-Episode-265.mp3) ## News ### Langages [Oracle annonce des LTS de deux ans](https://inside.java/2021/09/14/moving-the-jdk-to-a-2-year-lts-candence/) * Donc une LTS tous les 2 au lieu de 3 ans, ce qui fait que la prochaine sera la 21 et pas la 23. * Une enquête récente auprès de développeurs montre qu'entre un quart et la moitié utilisent les release de six mois en dev, mais moins de la moitié d'entre eux en prod * Mais pas de détail sur le temps de security patch support gratuit. Oracle en payant c'est 8 ans [Oracle offre Oracle JDK gratuitement avec support pendant 1 LTS + 1 an (donc 3 ans)](https://blogs.oracle.com/java/post/free-java-license) * Java 17 et + * Redistribution gratuite aussi. Pas de click through. * Sous license NFTC ("Oracle No-Fee Terms and Conditions"). * Ils en ont marre d'avoir de la compétition ? [Dans JDK 18, avec le JEP 400, le charset par défaut va enfin passer à UTF-8](https://inside.java/2021/10/04/the-default-charset-jep400/) * Autant ce n'était plus vraiment un problème pour les systèmes sour mac OS ou Linux, qui utilisent depuis assez longtemps UTF-8 par défaut, mais c'est surtout pour les systèmes Windows où c'est plus problématique * Dans JDK 17, la propriété système `System.getProperty("native.encoding")` avait été introduite si on veut lire par exemple un fichier avec * Deux approches de mitigation pour les problèmes de compatibilité, * en recompilant et en utilisant cette propriété quand on ouvre un fichier * en utilisant -Dfile.encoding=COMPAT sans recompilation, qui gardera le même comportement qu'en JDK 17 et avant * L'équipe d'Oracle suggère de tester ses applications avec -Dfile.encoding=UTF-8 pour voir s'il n'y a pas de soucis ### Librairies [JUnit 5.8](https://junit.org/junit5/docs/current/release-notes/index.html#release-notes-5.8.0) * les classes de test peuvent être ordonnées avec la Class Order API (par nom de classe, nom d'affichage, avec @order ou random) * les classes de test imbriquées peuvent l'être avec @TestClassOrder * @ExtendWith peut maintenant être utilisé pour enregistrer des extensions via des champs ou des paramètres de méthode (constructeur, méthodes de test ou lifecycle) * @RegisterExtension peut maintenant être utilisé sur des champs privés. * `assertThrowsExactly` version plus stricte de assertThrows() * `assertDoesNotThrow()` supporte les suspending functions Kotlin * `assertInstanceOf` produit de meilleurs messages d'erreurs (remplacement pour `assertTrue(obj instanceof X)`) * `assertNull` comporte maintenant le type de l'object si sa méthode `toString` retourne null pour éviter les messages de type `expected but was ` * @TempDir * peut maintenant être utilisé pour créer plusieurs répertoires temporaires (le retour au mode par context peut être fait par configuration) * fait un reset des permissions read and write du répetertoire root et de tout les répertoires contenus plutôt que d'échouer à les supprimer * peut maintenant être utilisé sur des champs private * Nouvel UniqueIdTrackingListener qui va générer un fichier contenant les identifiants des test executés et qui peut être utilisé pour re-executer ces tests dans une image GraalVM par exemple. [Stephen Colebourne avertit les utilisateurs de Joda Time de ne pas mettre à jour la base de données des fuseaux horaires](https://blog.joda.org/2021/09/big-problems-at-timezone-database.html) * Les personnes qui sont responsables de cette base de données veulent fusionner certaines zones ensemble, par exemple, Oslo et Berlin. Alors que ces deux villes (et d'autres) n'ont pas forcément toujours eu la même heure * La base est censée référencer tous les changements depuis 1970 * mais en fusionnant plusieurs zones, le risque est de perdre l'historique pré-1970 Recap Spring.io : * [Récap Jour 1](https://tanzu.vmware.com/content/blog/springone-2021-day-1-recap-and-highlights) * [Récap Jour 2](https://tanzu.vmware.com/content/blog/springone-2021-day-2-recap-and-highlights) * [Récap en vidéo par Josh Long](https://www.youtube.com/watch?v=VMtUzytjo6Y) * [State of Spring 2021](https://www.youtube.com/watch?v=O0-IhAKnkWM) * les chiffres: * 61% des sondés utilisent spring boot * 94% d'entre eux pour faire des micro services * 35% sur des architectures reactive * 61% voudraient passer sur du natif d'ici 2 ans * Nouvelle baseline pour Spring Framework 6.0 * Java 17 et Jakarta EE 9 dès la 6.0 M1 de Spring Framework qui arrive Q4 2021 (GA en Q4 2022) * Spring Native arrive dans Spring Framework * Compilation AOT bénéficiera aux déploiements JVM aussi * Spring Boot starter pour applications natives * Spring Boot proposera des plugin de build et configuration native dès la 3.0 * Support de RSocket and GraphQL * Spring Observability passe dans Spring Framework * API unifiée pour les metrics et le tracing, compatible Micrometer, Wavefront, Zipkin, Brave et OpenTelemetry * intégration consistante dans tout le portfolio * auto configuration dans Spring Boot 3.0 * Core abstractions dans Spring Framework 6.0 * [Spring Native](https://springone.io/2021/sessions/spring-native) * [De Spring framework 5.3 à 6.0](https://springone.io/2021/sessions/from-spring-framework-5-3-to-6-0) ### Infrastructure (suite annonces Spring.io) [Tanzu Application Platform](https://tanzu.vmware.com/content/blog/announcing-vmware-tanzu-application-platform) : * plateforme livrée avec toute la chaine d'outils mais configurable si les équipes préfèrent utiliser d'autres outils que ceux proposés * compatible AKS, EKS, GKS et TKG. * application accelerator (inspiré par spring initializer) pour générer les templates des applications qui seront ensuite déployées * Spring Cloud Gateway for K8s and API Portal for VMware Tanzu [Tanzu Community Edition](https://tanzu.vmware.com/content/blog/vmware-tanzu-community-edition-announcement) : * Version OSS de Tanzu ### Cloud [Azure installe des agents dans son image linux et ils sont vulnérables aux auto update](https://www.wiz.io/blog/secret-agent-exposes-azure-customers-to-unauthorized-code-execution) * Lié à OMI (open management infrastructure, l'équivalent de Windows Management Infrastructure (WMI) pour les systèmes UNIX qui s'exécute en root avec tous les privilèges * Dès qu'on utilise des services comme azure log, ils l'installent dans les VMs * L'article dit que c'est la faute à l'open source et que seulement 20 contributeurs. C'est un peu BS. * En fait si c'est installé via un service le service le mettra à jour * Mais MS recommande de mettre à jour manuellement aussi ### Web [Julia Evans nous explique CORS](https://twitter.com/b0rk/status/1445039796804542473) * Julia explique comment se comporte le navigateur qui voit qu'on essaie d'accéder à une URL différente de celle du domaine de la page web chargée, et le navigateur se demande s'il a le droit de charger cette page * Il va faire un “preflight” request (avec une méthode HTTP OPTIONS) pour savoir s'il a le droit ou non, puis si c'est le cas, pourra accéder à la resource * Julia explique la same-origin policy (càd qu'on ne doit accéder que des resources du domaine qu'on est en train de visiter dans son navigateur) ### Data [Kafka 3.0](https://blogs.apache.org/kafka/) * Le support Java 8 et Scala 2.12 est déprécié et sera retiré en version 4 * Nouvelles améliorations sur KRaft, le méchanisme de consensus qui remplacera à terme ZooKeeper ### Outillage [TravisCI fait un petit partage de vos secrets dans toutes les PRs de vos repos par accident](https://arstechnica.com/information-technology/2021/09/travis-ci-flaw-exposed-secrets-for-thousands-of-open-source-projects/) * le problème a duré 8 jours * rotation des secrets recommandé * Travis a patché discretement sans disclosure initialement ce qui a fait un raffut ### Architecture [Facebook est tombé pendant environ 6H ](https://engineering.fb.com/2021/10/05/networking-traffic/outage-details/) * Facebook prévoit de faire une maintenance sur son backbone (classique) * Un ingénieur lance par erreur une commande qui declare l'ensemble du backbone inaccessible * Oups, le système d'audit qui devrait empêcher de lancer une telle commande est buggé, la commande passe ... * Toute l'infra de Facebook est désormais déconnectée du net. Les avertissements BGP sont stoppées puisque l'infra FaceBook n'est plus dispo et les DNS déprovisionnent les entrées FaceBook, le monde ne peut plus accéder à FaceBook * Les ingé comprennent vite le problème sauf que ils ont perdus les accès remotes aux services et la plupart de leurs systèmes internes sont KO à cause du retrait des DNS * Ils envoient donc du personnel sur site dans les datacenters pour physiquement remettre en service l'infra mais l'accès physique aux machines est super protégé * Ils finissent par y arriver SAUF que le fait de tout redémarrer pause un vrai challenge du fait de l'affluence du traffic qui reprend. Ils risquent de refaire tomber les datacenters du fait de la surcharge électrique. (sans parler de sproblèmes plus haut niveau comme le rechargement des caches etc) * Heureusement ils ont un plan de reprise qu'ils testent régulièrement qui est plutôt prévu dans le cadre d'une tempête qui mettrait HS tout ou partie du réseau. Ce système marche bien et tout rentre dans l'ordre petit à petit, Facebook est sauvé, la planète a reperdu 5 points de QI * [Julia Evans explore BGP et son fonctionnement dans cet article](https://jvns.ca/blog/2021/10/05/tools-to-look-at-bgp-routes/) * [Vu de dehors avec Cloudflare](https://blog.cloudflare.com/october-2021-facebook-outage/) * Impact non seulement du DNS mais des routes BGP elles même. Ces routes disent qu'une IP (our série d'IP) appartient à une personne donnee. * Fondamentalement modèle de confiance. * Intéressant de voir comment Facebook DNS down ajouté beaucoup de traffic aux serveurs de DNS principaux qui ne cachent pas le SERVFAIL ### Sécurité [Fuite massive de données chez Twitch](https://cyberguerre.numerama.com/13464-fuite-sur-twitch-revenus-de-streameurs-4-questions-sur-le-leak-colossal-qui-frapperait-la-plateforme.html) * Quoi ? * l'intégralité du code source * Les revenus (sur 3 ans) de plus de 10 000 streamers Twitch ont été publiés sur le net. * certains codes d'accès AWS * attention c'est la partie 1, il pourrait y avoir d'autres données prochainement * Comment ? * Officiellement suite à une erreur dans un changement de config * Officieusement c'est plus probablement un employé ou un ex employé * Pourquoi ? * le message sur 4chan dénonce un « un cloaque toxique dégoûtant », ce qui pourrait faire référence aux problèmes de harcèlements et de raids hostiles visant des streameurs et des streameuses en raison de leur origine ethnique, de leur orientation sexuelle ou genre. * il est aussi question d'une revendication à une concurrence plus saine dans le secteur du streaming de jeu vidéo ## Conférences [DevFest Nantes les 21 et 22 octobre 2021](https://devfest.gdgnantes.com/) [DevFest Lille le 19 novembre 2021](https://devfest.gdglille.org/) [SunnyTech les 30 juin et 1er juillet 2022 à Montpellier](https://sunny-tech.io/) ## Nous contacter Soutenez Les Cast Codeurs sur Patreon [Faire un crowdcast ou une crowdquestion](https://lescastcodeurs.com/crowdcasting/) Contactez-nous via twitter sur le groupe Google ou sur le site web

BadGeek
Les Cast Codeurs n°264 du 04/10/21 - LCC 264 - En direct de Devoxx France 2021

BadGeek

Play Episode Listen Later Oct 4, 2021 47:21


Pour cette édition 9 3/4, Les Cast Codeurs clôturent cette édition de Devoxx. Un regard sous le capot, une discussion sur les keynotes, une chanson en direct, un homme grenouille, les tendances, etc. Enregistré le 1 octobre 2021 Téléchargement de l'épisode [LesCastCodeurs-Episode-264.mp3](https://traffic.libsyn.com/lescastcodeurs/LesCastCodeurs-Episode-264.mp3) ## Clôture de Devoxx France 2021 ### Le Dessous De(s)voxx Devoxx France 2022: Avril 20-22 2022, les 10 ans de Devoxx France ### Concert en direct ### Les keynotes ### Mais il est où Vincent? ### Les talks #### Les tendances #### Le CfP réchauffé #### Nos talks préférés #### Vos talks préférés ### Allez hop ! On se reconfine ! ## Nous contacter Soutenez Les Cast Codeurs sur Patreon [Faire un crowdcast ou une crowdquestion](https://lescastcodeurs.com/crowdcasting/) Contactez-nous via twitter sur le groupe Google ou sur le site web

google nos code java vos allez en direct enregistr programmeur devoxx codeurs devoxx france
Haarlem105
Laura Marcus Programmeur Schouwburg Haarlem En Philharmonie

Haarlem105

Play Episode Listen Later Oct 3, 2021 7:16


Programmeur Laura Marcus van de Stadsschouwburg Haarlem en de Philharmonie vertelt aan Ellen Stamer in Niet Thuis magazine over de programmering in oktober.

haarlem philharmonie programmeur schouwburg
BadGeek
Les Cast Codeurs n°263 du 17/09/21 - LCC 263 - Le maillot jaune du salon

BadGeek

Play Episode Listen Later Sep 17, 2021 81:31


Deux A et un E discutent des nouvelles de l'été et de la rentrée. #JDK17 #scala #Kotlin #spring6 #dockerdesktop #fitdesk et encore d'autres sujets. Enregistré le 10 septembre 2021 Téléchargement de l'épisode [LesCastCodeurs-Episode-263.mp3](https://traffic.libsyn.com/lescastcodeurs/LesCastCodeurs-Episode-263.mp3) ## News ### Langages [Au revoir AdopOpenJDK, bonjour Adoptium](https://blog.adoptopenjdk.net/2021/08/goodbye-adoptopenjdk-hello-adoptium/) * Eclipse Temurin runtimes pour la partie JDK * Grosse test suite * License oracle (que Adopt OpenJDK avait perdu) * Plus de OpenJ9 ni GraalVM (Oracle recule) mais IBM a [Rapatrié OpenJ9 sous le nom IBM Semurin](https://developer.ibm.com/languages/java/semeru-runtimes/) * Nouvelles API (backward compatibles ?) * Les anciens builds ne seront pas migrés [Une interview des architectes Java](https://blogs.oracle.com/javamagazine/java-architects-loom-panama-valhalla?source=:em:nw:mt::::RC_WWMK200429P00043C0036:NSL400176960) * Java longevity: stability (not removing things), readability, ecosystem' well defined stable interfaces (JVM etc) * Nouvelles fonctionnalités : qu'est que qui ne peut être fait en dehors de la plateforme * Rendre Java plus extensible (Valhalla) * Bloque en Java 8 * Perds argent (meilleure mémoire, performance, temps de démarrage, pauses 2ms G1 etc * Sécurité * Loom * Réactive programming pour mieux utiliser le,hardware * Mais opposé à certains designs de la JVM (error report, débug, flight recorder) * Loom résout le même problème mais en harmonie avec la JVM * Api familières * Next * Vallalah , panama * Tail call recursion * Etc [Article en passant sur l'utilisation du foreign API avec libsodium](https://blog.arkey.fr/2021/09/04/a-practical-look-at-jep-412-in-jdk17-with-libsodium/) * juste une mention [Quoi de neuf dans Scala 3](https://medium.com/scala-3/scala-3-whats-changed-since-scala-3-0-0-be0830c059f5) * Scala 3.0.1 * Syntaxe given simplifiée (pas de with) * `@experimental` * Scala 3.1 * Experimental safer exception (checked exceptions mais sans les ennuis) * Warnings de compilation plus configurable * Multiversal equality (des classes différentes qui peuvent être égales) [Kotlin a 10 ans](https://www.infoq.com/articles/kotlin-ten-years-qa/?utm_campaign=infoq_content&utm_source=twitter&utm_medium=feed&utm_term=mobile) * annoncé en 2011, 1.0 en 2016, default Android en 2017 * pas theorique, problemes pragmatiques * multi plateforme encore experimental, on prend notre temps * ajoutent features dans le core lib plus lentement que Java * prochains 10 ans: multiplatforme, langage reste relevant, reactive programming et immuabilité du front vers le back ### Librairies [Spring 6 / SpringBoot 3 annoncé à SpringOne](https://twitter.com/mraible/status/1433072410182357000?s=21) * Java 17 et plus * Intègre Spring Native * Tomcat 10 min * Jakarta 9 avec cassage de packages * Q4 2022 * Spring 5.3 et SpringBoot 2.7 seront en maintenance open source entendue * [Autre lien](https://spring.io/blog/2021/09/02/a-java-17-and-jakarta-ee-9-baseline-for-spring-framework-6) [Quarkus 2.2 et 2.1](http://quarkus.io/blog/quarkus-2-2-1-final-released/) * 2.2 Solidification (utilisabilite, doc, corriger problèmes) * Mongodb service binding * RESTEasy Réactive automatiquement choisi le thread bloquant ou non bloquant * Plus facile quand on vient de RESTEasy Classic * [Détails ici](https://quarkus.io/blog/resteasy-reactive-smart-dispatch/) * 2.1 * Dev services pour keycloak * SQLServer réactive a son extension * Kotlin 1.5 * [Blog post expliquant les nouvelles modularités de quarkus platform](http://quarkus.io/blog/quarkus-2x-platform-quarkiverse-registry/) [Micronaut 3 est sorti](https://micronaut.io/2021/08/18/micronaut-framework-3-released/) * RxJava n'est plus un dépendance transitive (choix du moteur réactive streams) * Utilisent Reactor en dessous * Les annotations ne sont plus héritées par défaut * Support Jakarta lifecycle annotations, Jakarta inject * Injection qualifiée par le generic des arguments * Filtres servers plus consistant (appelés une seule fois) * `@Introspected` ne rajoute plus les metadonnes pour GraalVM, utiliser `@ReflectiveAccess` * Ajout des resources passe du compile time au build time donc utilisez les plugins maven de Micronaut ou faite le vous même * Quelques autres breaking changes * OpenRewrite règles changent le code pour migrer pour vous ### Infrastructure [Comment debugger son script Ansible](https://zwischenzugs.com/2021/08/27/five-ansible-techniques-i-wish-id-known-earlier/) * `--step` * In-line logging * Ansible-lint * Ansible-console * Ansible debugger ### Cloud [Apple nous protégeras des photos pedophiles mais en ouvrant une brèche sur la sécurité de ses téléphones ](https://www.apple.com/child-safety/) * [Une analyse techniques](https://twitter.com/MathisHammel/status/1425523073806110720) * Il y a deux choses distinctes * Détecter les images d'une base de donnée pedophile avec du hash sur le téléphone et en alertant quand trop'sonr flaggues positive (avec check humain) * Ça s'appuie sur iCloud photo car sur leur cloud mais pas un filtre serveur * Base de donnée Baked dans chaque iOS * NeuralHash * Hash résiste au ré cadrage et autres ajustement de photos * Threshold secret sharing * Au bout de n rapports remontés, on a capacité à reconstituer la clef de chiffrement * Et un troisième mécanisme pour éviter de montrer qu'elles photos intéressent Apple * Quid d'une puissance étrangère qui veut rajouter des photos de discidents? * Apple dit on n'acceptera pas * Où attaque sur le neural hash * Détection de nudité et demande si l'nfznt veut voir avec alerte aux parents * Ils se donnent quelques mois de retravail au final [AWS a 15 ans](https://aws.amazon.com/fr/blogs/aws/happy-15th-birthday-amazon-ec2/) * demarre avec une region, un seul type d'instance et tout ephemère (pas de block storage) * peu de feature et peu de details initialement * prix a l'heure initialement qui etait innovant ### Data [La guerre de la recherche - Les clients Elastic Search ne seront pas compatible avec OpenSearch](https://thenewstack.io/this-week-in-programming-the-elasticsearch-saga-continues/) * Elastic vs AWS - Clash numéro ? Dans ce dernier épisode, Elastic rajoute des controles dans ses APIs clientes pour ne se connecter qu'a ses propres clusters et empêcher de les utiliser avec opensearch. * Risques d'incompatibilité * Manque de chance ce changement bloque aussi l'utilisation de la version OSS d'elastic-search. * De son coté AWS promet de faire son possible pour fournir des drivers qui resteront compatibles Elasticsearch 7.10.2 (la version à partir de laquelle ils ont forké) et OpenSearch * Bref la guerre continue ... ### Outillage [AtomicJar release TestContainers 1.16](https://www.atomicjar.com/2021/07/testcontainers-1-16-0-release/) * https://www.atomicjar.com/2021/07/testcontainers-1-16-0-release/ Test Containers 1.16.0 est la première release faite par AtomicJar, la société créée par les fondateurs du projet. * Meilleure compatibilité Apple M1 * Couche de transport utilise Apache HTTP Client 5 au lieu de OKHTTP pour éviter la malediction Kotlin * Meilleure stabilité et compatibilité sur Windows pour process natifs Windows et WSL 2 * docker.host peut etre configuré dans $HOME/.testcontainers.properties * Aussi Support Podman amélioré récemment [Docker introduit un nouveau système d'abonnement avec Docker Business et différents niveaux: perso, pro, entreprise etc](https://www.docker.com/blog/updating-product-subscriptions/) * donc pour les boites de plus de 250 personnes ou qui font 10 millions, tu dois payer pour Docker Desktop * [Des articles paraissent listant les alternatives à Docker Desktop](https://matt-rickard.com/docker-desktop-alternatives/) * [Sur l'impact macOS](https://twitter.com/idriss_neumann/status/1432943504485986305) * [How Docker broke in half](https://www.infoworld.com/article/3632142/how-docker-broke-in-half.html) [Les différentes manières de déclarer les dépendances dans son projet Gradle](https://medium.com/agorapulse-stories/gradle-configurations-explained-4b9608dd5e35) * En particulier, les différences entre api, implementation, runtimeOnly, compileOnly, compileOnlyApi Avec des exemples concrets pour bien illustre ces différents scopes. * Gradle regroupe les dépendances dans des ensembles appelés des “configurations”. Ces configurations définissent le classpath lors de la compilation, ou le classpath pour le runtime lorsque votre code s'exécute. * Gradle définit 3 types de configuration : api, implementation et runtimeOnly * La configuration “api” est utilisée pour le classpath compilation et runtime et est exposé aux consommateurs de l'API aussi pour le classpath de compilation et runtime * La configuration “implementation” est utilisée pour le classpath de compilation et runtime, mais est exposée pour le consommateur de l'API que pour le classpath au runtime * La configuration “runtimeOnly” n'est utilisée que pour le classpath au runtime * La configuration “compileOnly” est utilisée pour le classpath de compilation, mais n'est pas exposée pour les consommateurs * Enfin la configuration “compileOnlyApi” est utilisée pour le classpath de compliation et est exposée au consommateurs à la compilation de leur code quand les metadata Gradle sont utilisées ### Méthodologies [Opinion sur Googlespeak et les pratiques anti concurrentielles](https://zyppy.com/googlespeak/) * Certains dont l'auteur voient Google utiliser Google search pour placer hautement leur propres services alternatifs. Google flight etc * Et les Googlers avec qui il interagissait trouvait ça « absurde » de penser ça. * Chercher un hôtel * Étude montre que Google offre 41% de sa première page à ses propres propriétés (inclus direct answers ) * Direct answer est mis rapide pour l'utilisateur mais prend le contenu 3rd party ( Wikipedia, IMDb etc) et nous fait rester sur une page Google. * Googlespeak d'après Orwell. Si le langage ne permet pas d'exprimer , on ne pense pas aux choses. * Pas dominant mais succès. Pas barrière à l'entrée , marché, effet réseau qui sont taboo dans un contexte de tension antitrust * Encourage à réfréner sa communication écrite. * Comme beaucoup de sociétés américaines à cause du processus de discovery * Market share -> user preference * Apple et epic ont levés des doc similaires mais Apple n'était pas gardé dans sa comm interne. Autour de l'app store. * Google dans ses formation mention non monopoly car beaucoup de compétiteurs. Et se defini en termes très large et donc avec de la compétition. (Dans la pub et dans la recuperation d'information. * Ils ne font pas d'analyse de marchés (sur les marchés dominants) quand demandés par le congrès. * 65% des recherches n'entraînent pas un clic sur un site externe - valeur réfutée par Google * C'est une réaction à la judiciarusarion de la vie des entreprises. ### Loi, société et organisation [Matt Asay quitte AWS et reflecte sur l'open source chez AWS](https://www.infoworld.com/article/3631376/what-you-dont-know-about-working-with-aws.html) * pleins de petites equipes et pas de décisions top down * en tous cas pas pour open source * Un langage specifique a Amazon pour convaincre * Les Leadership Principles tendent à ne pas investir dans les elements side de type open source * et quand on a deux pizza team, peut on contribuer sans se sentir trop contraint en temps * si c'est une équipe de 12 sur 200 equipes ca ne m'étonnes pas trop ???? [L'Open Source au secours du développeur (et de l'architecte) ?](https://philippart-s.github.io/blog/articles/dev/oss-for-developer/), un retour d'expérience très personnel mais instructif pour ceux qui souhaiteraient se lancer ... * Pourquoi l'Open Source ? * Par où commencer ? * Le choix du premier projet pour sa première contribution? (Le syndrome de l'imposteur) * La première contribution * Rythme de travail ## Outils de l'épisode [Fit Desk](https://thefitdesk.com) * Antonio passe au [Fit Desk](https://thefitdesk.com) pour travailler en pédalant * Promis, il écrira un blog dans 4/6 mois avec du feedback ## Rubrique débutant [RISC vs CISC](https://medium.com/swlh/what-does-risc-and-cisc-mean-in-2020-7b4d42c9a9de) * CISC roi quand la mémoire est chère, on crée des instructions haut niveau plus complexes * RISC paye en mémoire mais simplifie la chaîne de travail (instructions de taille fixe) * RISC plus d'opérations et donc de CPU clock mais pipelining possible * RISC compensé par plus de registers et par la compression d'instructions set * register mémoire interne CPU de taille fixe * CISC fait du hardware hyper threading * RISC philosophiquement fait travailler les compilateurs beaucoup plus mais on ne code plus en assembleur ## Conférences Crowdcast sur devfest Lille et CloudNord par Emmanuel Demey [Pas de Devoxx Belgique en 2021](https://twitter.com/stephan007/status/1432254876436815874?s=21) ## Nous contacter Soutenez Les Cast Codeurs sur Patreon [Faire un crowdcast ou une crowdquestion](https://lescastcodeurs.com/crowdcasting/) Contactez-nous via twitter sur le groupe Google ou sur le site web

BadGeek
Les Cast Codeurs n°262 du 02/09/21 - LCC 262 - Interview Cloud de Confiance avec Quentin Adam

BadGeek

Play Episode Listen Later Sep 2, 2021 102:48


Quentin Adam de Clever Cloud et Emmanuel discutent du Cloud de Confiance et de ses impacts économiques et politiques. Enregistré le 1 juillet 2021 Téléchargement de l'épisode [LesCastCodeurs-Episode-262.mp3](https://traffic.libsyn.com/lescastcodeurs/LesCastCodeurs-Episode-262.mp3) ## Interview ### Ta vie, ton œuvre [Twitter de Quentin](https://twitter.com/waxzce) ### Clever cloud pour le contexte Automatisation de l'infrastructure ### Cloud souverain “modèle de déploiement dans lequel l'hébergement et l'ensemble des traitements effectués sur des données par un service de cloud sont physiquement réalisés dans les limites du territoire national, par une entité de droit français et en application des lois et normes françaises” Cloud de l'état : les technologies retenues à la fois en matière de cloud privé et public devront garantir la réversibilité, l'interopérabilité et la portabilité des applications. #### Pourquoi * Patriot act 2001 * Edward Snowden 2013 * Se protéger du cloud act 2018: * L'état américain a accès aux donnés hébergées par les clouds providers americains même hors du sol américain Pour l'état, collectivités et pour les sociétés françaises (espionnage) L'armée à probablement déjà ses trucs Plan calcul Loi informatique et liberté 90s perte fondeurs et constructeurs ### Un peu d'historique Projet andromede: Thales, dassault, Orange, Bull: 135M € Mais sort * Numergy : dassault bull et Sfr * Cloudwatt: Orange Thales 75 M chaque premier shot Gaia-X: échelle européenne standards de sécurité, d'interopérabilité et de portabilité des données #### Pendant ce temps là * OVH * Clever Cloud * Etc #### Approche économique ### Cloud de confiance Protection contre réglementations extra communautaire #### Le hard français, le soft américain Ils ont le soft que l'on veut et que les gens utilisent vs Cloudwatt et Numergy #### La certification et les petits éditeurs ### Un cloud service est un cloud service est un cloud service Quels sont les logiciels à enjeux: * Mail, éditeur de Documents, tableur * Progiciels * Plateforme de développement de code spécifique Bleu (licence Azure Orange + …) ### Le point de vue de Quentin C'est bien ou c'est pas bien cette stratégie? Ça paraît pragmatique [Don't kill French Tech](https://www.dontkillfrenchtech.fr/) #### Approche économique https://cryptpad.fr/ ## Nous contacter Soutenez Les Cast Codeurs sur Patreon [Faire un crowdcast ou une crowdquestion](https://lescastcodeurs.com/crowdcasting/) Contactez-nous via twitter sur le groupe Google ou sur le site web

Podcast met Pivo
Afl. 25: Serena Oosterloo over cultuurshocks en het uitdragen van karakter

Podcast met Pivo

Play Episode Listen Later Aug 14, 2021 109:14


Een trotse dame met een mooi verhaal, als je het mij vraagt. Een kijk in haar carrière en haar weg naar die van Programmeur bij Hedon en onderdeel worden van Fakkelteit Recordings. Misschien nog wel meer een gesprek over cultuur en haar overgang van Italië naar Assen. Ik leg het karakter van Serena onder de loep en ze weet hier heel erg mooi woorden aan te geven. Een prachtige afsluiting van seizoen 1!

Le SanTro Show
Le programmeur aveugle - E420

Le SanTro Show

Play Episode Listen Later Nov 6, 2020 4:24


Aujourd'hui, je te parle d'une expérience vécue, lorsqu'on avait embauché un programmeur aveugle à l'essai! -- Lance ton balado rapidement et gratuitement: https://www.varmedia.com/courses/formation-podcast-gratuite-en-ligne/ -- Francis Parent-Valiquette ( https://santro.show/me_joindre/ ) Crédit narration en introduction: Xich-Vê Hô https://www.linkedin.com/in/xichveho/

aujourd aveugle programmeur
Collège de France (Général)
Xavier Leroy : Leçon inaugurale - Le logiciel, entre l'esprit et la matière

Collège de France (Général)

Play Episode Listen Later Nov 15, 2018 63:54


Xavier LeroyCollège de FranceScience du logicielAnnée 2018-2019Leçon inaugurale : Le logiciel, entre l'esprit et la matière.Les travaux de recherche de Xavier LEROY portent d'une part sur les nouveaux langages et outils de programmation, et d'autre part sur la vérification formelle de logiciels critiques afin de garantir leur sûreté et leur sécurité. Il est l'architecte et l'un des principaux développeurs du langage de programmation fonctionnelle OCaml ainsi que du compilateur C formellement vérifié CompCert, deux grands logiciels issus de la recherche.Langages fonctionnels, systèmes de types et mise en pratique : les langages Caml Light et OCamlXavier LEROY a été formé aux mathématiques et à l'informatique à l'École normale supérieure, puis à l'INRIA où il a effectué sa thèse. Programmeur prodige, il s'est illustré par une série de travaux de premier plan sur les systèmes de types et les systèmes de modules pour les langages fonctionnels, qui ont abouti au développement de Caml Light, devenu aujourd'hui OCaml, l'un des deux langages fonctionnels typés les plus utilisés au monde, dans des domaines aussi divers que l'aéronautique, la finance ou encore le Web. Ce langage est le support de développement d'outils logiciels très variés comme l'assistant de preuve Coq, les analyseurs statiques Astrée et Frama-C, le compilateur SCADE 6 d'Estérel Technologies et la blockchain Tezos. OCaml a été utilisé dans de nombreux projets emblématiques comme la version web de Facebook Messenger, le logiciel MediaWiki ou encore l'infrastructure de virtualisation Docker.Preuve de programme, preuve de compilateurs et mise en pratique : le compilateur CompCert Xavier LEROY est également à l'origine de CompCert, qui est un compilateur C certifié, écrit et vérifié grâce à l'assistant de preuve Coq. Il s'agit d'une première mondiale à plusieurs titres : il autorise une vérification formelle d'une taille et d'une complexité sans précédent, et surtout, il offre la possibilité de disposer d'un compilateur certifié, étape clé dans la certification et la vérification automatique des chaînes logicielles, et donc vers la programmation « zéro défaut ». Ce fait d'arme a eu un impact considérable sur la nature même des grands programmes de recherche sur les logiciels. Nommé professeur au Collège de France, Xavier LEROY occupera la chaire Sciences du logiciel où il dispensera dès l'année académique 2018-2019 une série de cours intitulée Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui.Leçon inaugurale jeudi 15 novembre 2018 à 18h00

Collège de France (Général)
Xavier Leroy : Leçon inaugurale - Le logiciel, entre l'esprit et la matière - VIDEO

Collège de France (Général)

Play Episode Listen Later Nov 15, 2018 63:54


Xavier LeroyCollège de FranceScience du logicielAnnée 2018-2019Leçon inaugurale : Le logiciel, entre l'esprit et la matière.Les travaux de recherche de Xavier LEROY portent d'une part sur les nouveaux langages et outils de programmation, et d'autre part sur la vérification formelle de logiciels critiques afin de garantir leur sûreté et leur sécurité. Il est l'architecte et l'un des principaux développeurs du langage de programmation fonctionnelle OCaml ainsi que du compilateur C formellement vérifié CompCert, deux grands logiciels issus de la recherche.Langages fonctionnels, systèmes de types et mise en pratique : les langages Caml Light et OCamlXavier LEROY a été formé aux mathématiques et à l'informatique à l'École normale supérieure, puis à l'INRIA où il a effectué sa thèse. Programmeur prodige, il s'est illustré par une série de travaux de premier plan sur les systèmes de types et les systèmes de modules pour les langages fonctionnels, qui ont abouti au développement de Caml Light, devenu aujourd'hui OCaml, l'un des deux langages fonctionnels typés les plus utilisés au monde, dans des domaines aussi divers que l'aéronautique, la finance ou encore le Web. Ce langage est le support de développement d'outils logiciels très variés comme l'assistant de preuve Coq, les analyseurs statiques Astrée et Frama-C, le compilateur SCADE 6 d'Estérel Technologies et la blockchain Tezos. OCaml a été utilisé dans de nombreux projets emblématiques comme la version web de Facebook Messenger, le logiciel MediaWiki ou encore l'infrastructure de virtualisation Docker.Preuve de programme, preuve de compilateurs et mise en pratique : le compilateur CompCert Xavier LEROY est également à l'origine de CompCert, qui est un compilateur C certifié, écrit et vérifié grâce à l'assistant de preuve Coq. Il s'agit d'une première mondiale à plusieurs titres : il autorise une vérification formelle d'une taille et d'une complexité sans précédent, et surtout, il offre la possibilité de disposer d'un compilateur certifié, étape clé dans la certification et la vérification automatique des chaînes logicielles, et donc vers la programmation « zéro défaut ». Ce fait d'arme a eu un impact considérable sur la nature même des grands programmes de recherche sur les logiciels. Nommé professeur au Collège de France, Xavier LEROY occupera la chaire Sciences du logiciel où il dispensera dès l'année académique 2018-2019 une série de cours intitulée Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui.Leçon inaugurale jeudi 15 novembre 2018 à 18h00

Collège de France (Sciences et technologies)
Xavier Leroy : Leçon inaugurale - Le logiciel, entre l'esprit et la matière - VIDEO

Collège de France (Sciences et technologies)

Play Episode Listen Later Nov 15, 2018 63:54


Xavier Leroy Collège de France Science du logiciel Année 2018-2019 Leçon inaugurale : Le logiciel, entre l'esprit et la matière. Les travaux de recherche de Xavier LEROY portent d'une part sur les nouveaux langages et outils de programmation, et d'autre part sur la vérification formelle de logiciels critiques afin de garantir leur sûreté et leur sécurité. Il est l'architecte et l'un des principaux développeurs du langage de programmation fonctionnelle OCaml ainsi que du compilateur C formellement vérifié CompCert, deux grands logiciels issus de la recherche. Langages fonctionnels, systèmes de types et mise en pratique : les langages Caml Light et OCaml Xavier LEROY a été formé aux mathématiques et à l'informatique à l'École normale supérieure, puis à l'INRIA où il a effectué sa thèse. Programmeur prodige, il s'est illustré par une série de travaux de premier plan sur les systèmes de types et les systèmes de modules pour les langages fonctionnels, qui ont abouti au développement de Caml Light, devenu aujourd'hui OCaml, l'un des deux langages fonctionnels typés les plus utilisés au monde, dans des domaines aussi divers que l'aéronautique, la finance ou encore le Web. Ce langage est le support de développement d'outils logiciels très variés comme l'assistant de preuve Coq, les analyseurs statiques Astrée et Frama-C, le compilateur SCADE 6 d'Estérel Technologies et la blockchain Tezos. OCaml a été utilisé dans de nombreux projets emblématiques comme la version web de Facebook Messenger, le logiciel MediaWiki ou encore l'infrastructure de virtualisation Docker. Preuve de programme, preuve de compilateurs et mise en pratique : le compilateur CompCert Xavier LEROY est également à l'origine de CompCert, qui est un compilateur C certifié, écrit et vérifié grâce à l'assistant de preuve Coq. Il s'agit d'une première mondiale à plusieurs titres : il autorise une vérification formelle d'une taille et d'une complexité sans précédent, et surtout, il offre la possibilité de disposer d'un compilateur certifié, étape clé dans la certification et la vérification automatique des chaînes logicielles, et donc vers la programmation « zéro défaut ». Ce fait d'arme a eu un impact considérable sur la nature même des grands programmes de recherche sur les logiciels. Nommé professeur au Collège de France, Xavier LEROY occupera la chaire Sciences du logiciel où il dispensera dès l'année académique 2018-2019 une série de cours intitulée Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui. Leçon inaugurale jeudi 15 novembre 2018 à 18h00

Collège de France (Sciences et technologies)
Xavier Leroy : Leçon inaugurale - Le logiciel, entre l'esprit et la matière - PDF

Collège de France (Sciences et technologies)

Play Episode Listen Later Nov 15, 2018 63:54


Xavier Leroy Collège de France Science du logiciel Année 2018-2019 Leçon inaugurale : Le logiciel, entre l'esprit et la matière. Les travaux de recherche de Xavier LEROY portent d'une part sur les nouveaux langages et outils de programmation, et d'autre part sur la vérification formelle de logiciels critiques afin de garantir leur sûreté et leur sécurité. Il est l'architecte et l'un des principaux développeurs du langage de programmation fonctionnelle OCaml ainsi que du compilateur C formellement vérifié CompCert, deux grands logiciels issus de la recherche. Langages fonctionnels, systèmes de types et mise en pratique : les langages Caml Light et OCaml Xavier LEROY a été formé aux mathématiques et à l'informatique à l'École normale supérieure, puis à l'INRIA où il a effectué sa thèse. Programmeur prodige, il s'est illustré par une série de travaux de premier plan sur les systèmes de types et les systèmes de modules pour les langages fonctionnels, qui ont abouti au développement de Caml Light, devenu aujourd'hui OCaml, l'un des deux langages fonctionnels typés les plus utilisés au monde, dans des domaines aussi divers que l'aéronautique, la finance ou encore le Web. Ce langage est le support de développement d'outils logiciels très variés comme l'assistant de preuve Coq, les analyseurs statiques Astrée et Frama-C, le compilateur SCADE 6 d'Estérel Technologies et la blockchain Tezos. OCaml a été utilisé dans de nombreux projets emblématiques comme la version web de Facebook Messenger, le logiciel MediaWiki ou encore l'infrastructure de virtualisation Docker. Preuve de programme, preuve de compilateurs et mise en pratique : le compilateur CompCert Xavier LEROY est également à l'origine de CompCert, qui est un compilateur C certifié, écrit et vérifié grâce à l'assistant de preuve Coq. Il s'agit d'une première mondiale à plusieurs titres : il autorise une vérification formelle d'une taille et d'une complexité sans précédent, et surtout, il offre la possibilité de disposer d'un compilateur certifié, étape clé dans la certification et la vérification automatique des chaînes logicielles, et donc vers la programmation « zéro défaut ». Ce fait d'arme a eu un impact considérable sur la nature même des grands programmes de recherche sur les logiciels. Nommé professeur au Collège de France, Xavier LEROY occupera la chaire Sciences du logiciel où il dispensera dès l'année académique 2018-2019 une série de cours intitulée Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui. Leçon inaugurale jeudi 15 novembre 2018 à 18h00

Collège de France (Sciences et technologies)
Xavier Leroy : Leçon inaugurale - Le logiciel, entre l'esprit et la matière

Collège de France (Sciences et technologies)

Play Episode Listen Later Nov 15, 2018 63:54


Xavier Leroy Collège de France Science du logiciel Année 2018-2019 Leçon inaugurale : Le logiciel, entre l'esprit et la matière. Les travaux de recherche de Xavier LEROY portent d'une part sur les nouveaux langages et outils de programmation, et d'autre part sur la vérification formelle de logiciels critiques afin de garantir leur sûreté et leur sécurité. Il est l'architecte et l'un des principaux développeurs du langage de programmation fonctionnelle OCaml ainsi que du compilateur C formellement vérifié CompCert, deux grands logiciels issus de la recherche. Langages fonctionnels, systèmes de types et mise en pratique : les langages Caml Light et OCaml Xavier LEROY a été formé aux mathématiques et à l'informatique à l'École normale supérieure, puis à l'INRIA où il a effectué sa thèse. Programmeur prodige, il s'est illustré par une série de travaux de premier plan sur les systèmes de types et les systèmes de modules pour les langages fonctionnels, qui ont abouti au développement de Caml Light, devenu aujourd'hui OCaml, l'un des deux langages fonctionnels typés les plus utilisés au monde, dans des domaines aussi divers que l'aéronautique, la finance ou encore le Web. Ce langage est le support de développement d'outils logiciels très variés comme l'assistant de preuve Coq, les analyseurs statiques Astrée et Frama-C, le compilateur SCADE 6 d'Estérel Technologies et la blockchain Tezos. OCaml a été utilisé dans de nombreux projets emblématiques comme la version web de Facebook Messenger, le logiciel MediaWiki ou encore l'infrastructure de virtualisation Docker. Preuve de programme, preuve de compilateurs et mise en pratique : le compilateur CompCert Xavier LEROY est également à l'origine de CompCert, qui est un compilateur C certifié, écrit et vérifié grâce à l'assistant de preuve Coq. Il s'agit d'une première mondiale à plusieurs titres : il autorise une vérification formelle d'une taille et d'une complexité sans précédent, et surtout, il offre la possibilité de disposer d'un compilateur certifié, étape clé dans la certification et la vérification automatique des chaînes logicielles, et donc vers la programmation « zéro défaut ». Ce fait d'arme a eu un impact considérable sur la nature même des grands programmes de recherche sur les logiciels. Nommé professeur au Collège de France, Xavier LEROY occupera la chaire Sciences du logiciel où il dispensera dès l'année académique 2018-2019 une série de cours intitulée Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui. Leçon inaugurale jeudi 15 novembre 2018 à 18h00