• Rechercher
  • Accueil
  • Nouveautés
  • Classements

Technologies

  • TikTok
    TikTok

    1

    TikTok

    Catarina Vieira

  • Search Off the Record
    Search Off the Record

    2

    Search Off the Record

    Google

  • AI Today Podcast
    AI Today Podcast

    3

    AI Today Podcast

    AI & Data Today

  • GoogleTHAT
    GoogleTHAT

    4

    GoogleTHAT

    Pouge

  • Silicon Carne, un peu de picante dans un monde de Tech !
    Silicon Carne, un peu de picante dans un monde de Tech !

    5

    Silicon Carne, un peu de picante dans un monde de Tech !

    Carlos Diaz

  • Intelligence Artificielle - Data Driven 101 - Le podcast IA & Data 100% en français
    Intelligence Artificielle - Data Driven 101 - Le podcast IA & Data 100% en français

    6

    Intelligence Artificielle - Data Driven 101 - Le podcast IA & Data 100% en français

    Marc Sanselme - Draft'n run - Studio IA no-code

  • Lex Fridman Podcast
    Lex Fridman Podcast

    7

    Lex Fridman Podcast

    Lex Fridman

Les indispensables

  • Hard Fork
    Technologies
    Technologies

    Toutes les 2 semaines

  • The Vergecast
    Technologies
    Technologies

    Deux fois par semaine

  • There Are No Girls on the Internet
    Technologies
    Technologies

    Chaque semaine

  • Endless Thread
    Technologies
    Technologies

    Chaque semaine

  • Land of the Giants
    Affaires
    Affaires

    Série hebdomadaire

  • Channels with Peter Kafka
    Actualité économique
    Actualité économique

    Chaque semaine

  • Uncanny Valley | WIRED
    Technologies
    Technologies

    Chaque semaine

  • TikTok

    08/04/2021

    TikTok

    Tiktok: qué es y nuestra opinión

  • Formal methods with Hillel Wayne

    29 juil.

    Formal methods with Hillel Wayne

    Brought to You By: • Antithesis – verify your system’s correctness without human review or traditional integration tests – and avoid bugs or outages. • turbopuffer – a vector and full-text search engine built on object storage. It’s fast, cheap, and extremely scalable. • WorkOS – everything you need to make your app enterprise ready. — There’s a popular theory that AI will finally make formal verification mainstream because mathematical proof of correctness will be needed when machines write most or all of the code. But will this happen? Today, I’m talking with one of the best people to tackle the prediction. Hillel Wayne is a formal methods consultant, educator, and author, who’s deeply interested in software history.  In this episode of Pragmatic Engineer podcast, I sit down with Hillel to compare software engineering with traditional engineering, discuss where formal methods fit into modern software development, and we explore why they are essential for some of the world's most complex systems. We cover the formal specification language, TLA+, walk through several formal verification tools, examine why distributed systems are so difficult to reason about, and look into whether AI will make formal methods accessible to more engineering teams. — Timestamps 00:00 Intro 03:21 The Crossover Project 10:26 What software engineering does better 14:19 What traditional engineering does better 17:06 Formal methods 28:21 TLA+: what it is and demo 35:47 TLA+ at Amazon 36:59 Ways distributed systems break 39:52 Formal methods and systems thinking 45:09 The value of learning math 49:12 What TLA+ is good for and isn’t 51:39 Alloy: a declarative language for software modeling 57:42 Other formal methods tools 1:00:13 Property-based testing 1:04:20 AI and the need for formal verification 1:11:18 Logic for programmers 1:13:24 Hillel’s 2025 prediction on AI’s impact 1:20:19 Book recommendation — The Pragmatic Engineer deepdives relevant for this episode: • How to debug large, distributed systems: Antithesis • How AWS S3 is built • Paying down tech debt • How Big Tech does quality assurance (QA) • Bug management that works • Resiliency in distributed systems — Production and marketing by ⁠⁠⁠⁠⁠⁠⁠⁠https://penname.co/⁠⁠⁠⁠⁠⁠⁠⁠. For inquiries about sponsoring the podcast, email podcast@pragmaticengineer.com. Get full access to The Pragmatic Engineer at newsletter.pragmaticengineer.com/subscribe

  • Des tableaux aux insights : l’IA qui comprend vos données - Alexandre Pasquiou @NeuralkAI #92

    21/07/2025

    Des tableaux aux insights : l’IA qui comprend vos données - Alexandre Pasquiou @NeuralkAI #92

    Cette semaine, je reçois Alexandre Pasquiou, PhD et cofondateur de Neuralk AI, qui révolutionne l’IA sur données tabulaires. On parle de leur modèle fondation capable de : Prédire sans réentraînement grâce à l’in-context learning,Battre XGBoost & co sur vos jeux de données,S’intégrer facilement dans vos pipelines métier. Alexandre partage aussi sa vision sur l’autonomie technologique et les défis d’industrialiser l’IA dans des contextes réels. Hébergé par Ausha. Visitez ausha.co/politique-de-confidentialite pour plus d'informations.

  • Les MANGOS remplacent les GAFAM, Walmart rachète une pépite française et Wero visé par une nouvelle arnaque

    8 juil.

    Les MANGOS remplacent les GAFAM, Walmart rachète une pépite française et Wero visé par une nouvelle arnaque

    Culture Numérique, c'est le podcast qui décrypte pour vous le meilleur de l'actu tech, chaque mois ! Au programme de cet épisode : Oubliez les GAFAM, les géants de la tech s'appellent désormais les MANGOSDeux Français viennent de vendre leur start-up à Walmart pour près de 1,4 milliard de dollarsVos papiers d'identité disponibles sur le dark web : plus de 250 000 cartes d'identité et passeports français concernésLe cofondateur de Wikipédia est désormais banni à vie de l'encyclopédie qu'il a crééeCette nouvelle arnaque Wero fait des ravages sur les ventes entre particuliersYouTube change de cap et laisse les utilisateurs reprendre le contrôle de l'algorithme Suivez toute l'actualité du numérique sur Siècle Digital et abonnez-vous au podcast Culture Numérique pour ne manquer aucun épisode ! Hébergé par Acast. Visitez acast.com/privacy pour plus d'informations.

  • Apple Event — September 12

    12/09/2023 ·  Vidéo

    Apple Event — September 12

    Tune in to the special Apple Event to learn about iPhone 15, iPhone 15 Pro, Apple Watch Series 9, Apple Watch Ultra 2, and more.

  • Ils veulent détrôner l'infrastructure IA américaine. Et personne n'en parle.

    -4 j

    Ils veulent détrôner l'infrastructure IA américaine. Et personne n'en parle.

    Serial entrepreneur, conseiller de Bill Gates, fondateur de Symphony — la messagerie de toutes les grandes banques mondiales. David Gurlé lance aujourd'hui Antimatter, avec ses associés, une infrastructure distribuée pour rendre l'IA accessible à tous. Son objectif, casser le monopole des géants américains. Rien que çà ! Et la France ne le suit pas... La presse a refusé de couvrir la signature des premiers contrats à plusieurs centaines de millions d'euros. Des investisseurs les ont lâché en cours de route mais David et son équipe continue de construire, convaincus que les grands modèles d'IA propriétaires, comme les opérateurs télécom avant eux, sont déjà en train de s'effondrer sans le savoir. Qui a raison, et combien de temps faut-il pour que le marché le reconnaisse ? ================== 🌶️ INVITÉS ================== Stéphanie Hospital - https://www.linkedin.com/in/stephaniehospital/ David Gurlé - https://www.linkedin.com/in/davidgurle/ Carlos Diaz - https://www.linkedin.com/in/carlosdiazprofile/ ====================== ❤️ LIKE, FOLLOW & PARTAGE ====================== 👍🏽 N'oublie pas de liker et partager si tu as aimé cette vidéo 😵 Suis-nous sur X https://twitter.com/siliconcarnesf 📸 Suis-nous sur Insta https://www.instagram.com/siliconcarne_ 🇨🇳 Suis-nous sur TikTok https://www.tiktok.com/@siliconcarne_ 📪 La newsletter https://siliconcarne.substack.com 🎧 L'émission est également disponible sur YT : https://www.youtube.com/@siliconcarnepod Hébergé par Ausha. Visitez ausha.co/politique-de-confidentialite pour plus d'informations.

  • Classic Episode: How Do I Kick My Scrolling Habit? | Monday Advice

    -6 j

    Classic Episode: How Do I Kick My Scrolling Habit? | Monday Advice

    The best way to kick your scrolling habit is to introduce more “high quality leisure” into your life. But how do you accomplish this goal? In this replay of a classic episode from February, 2024, Cal walks through six new habits – what he calls a “high quality leisure toolkit” – for rebuilding your life around more meaningful activities.    Below are the questions covered in today's episode (with their timestamps). Get your questions answered by Cal! Here’s the link: https://bit.ly/3U3sTvo Video from today’s episode:  youtube.com/calnewportmedia (0:00) Confronting Your Phone  (13:06) What does Cal think about Neil Postman’s “Amusing Ourselves To Death”?  (17:45) Can you pursue high quality leisure after a day filled with deep work?  (21:56) Can commercial breaks be used for high quality leisure?  (25:04) Will digital minimalism work in an age of augmented reality?  (31:26) How can a full time YouTuber practice digital minimalism?  (38:34) How to share content online?  (46:27) Cost-benefit analysis of technology usage  (49:09) JRR Tolkien’s Search for Depth  Links: https://twitter.com/explore/tabs/trending https://www.instagram.com/explore/tags/popular/hl=en https://www.tiktok.com/foryou?lang=en https://newcriterion.com/blogs/dispatch/the-consolations-of-fantasy Thanks to our Sponsors:  https://www.cozyearth.com (Use code “DEEP”) https://www.shopify.com/deep https://www.monarch.com (Use code “DEEP”) Thanks to Jesse Miller for production, Jay Kerstens for the intro music, Kieron Rees for slow productivity music, and Mark Miles for mastering. Learn more about your ad choices. Visit podcastchoices.com/adchoices

  • Forfatter bag grønspættebog om grøn omstilling: Derfor er der stadig håb

    25/11/2020

    Forfatter bag grønspættebog om grøn omstilling: Derfor er der stadig håb

    Thomas Hebsgaard er én af tre journalister fra Zetland, som tidligere på efteråret udgav bogen “Hvis vi vil – Den absolut realistiske guide til at bremse klimakrisen, før det er for sent” på Gads Forlag. Venstres klimaordfører Tommy Ahlers kvitterede med seks stjerner i Altinget. Bogen efterlader læseren med håb om, at vi trods teknologiske og ikke mindst politiske udfordringer kan komme i mål med den store omstilling af samfundet. Forsyningsanalysen drøfter i denne uge de vigtigste nedslag i Zetlands grønspættebog: Hvilke forandringer skal der ske i forsyningssektoren, hvis vi skal indfri ambitionerne? Hvad betyder corona og det amerikanske valg for chancerne for at komme i mål? Og så runder vi som sædvanligt ugens vigtigste begivenheder. Find “Hvis vi vil – Den absolut realistiske guide til at bremse klimakrisen, før det er for sent” på Gads hjemmeside Forsyningsanalysen giver dig hver uge skarpe analyser af aktuelle tendenser i forsyningssektoren. Analysen springer de indledende øvelser over og henvender sig direkte til folk, der arbejder professionelt med branchen. Podcasten er udgivet af Aksiom i samarbejde med Viegand Maagøe.

  • CAS Events: Anne Schumann - Creating a creative economy in Côte d’Ivoire (9 Feb 2015)

    15/07/2015

    CAS Events: Anne Schumann - Creating a creative economy in Côte d’Ivoire (9 Feb 2015)

    Within twelve years of its emergence as a musical style at the University of Abidjan residence in Yopougon in 1991, the fame of zouglou music soared across borders and continents. The conditions that made the emergence and spread of zouglou music possible are part of a larger context that has influenced other recent genres of African popular music. Due to copyright piracy, Ivoirian artists have also experienced difficulty in surviving financially from their music. However, recently there has been a new development: many new maquis (open air restaurants) have opened as new affordable performance spaces in which artists perform live, rather than via play-back. Anne Schumann presents and discusses these new performance spaces in the Ivoirian music economy as well as the role of cultural entrepreneurs in reviving Abidjan as an African creative city.

  • Trader Joe’s

    27/10/2025

    Trader Joe’s

    Trader Joe's breaks every rule of modern retail. They don't do e-commerce. They don't do delivery. No sales, coupons, or loyalty programs. They only stock 4,000 SKUs versus 50,000+ at normal supermarkets. Their parking lots are famously terrible and they're constantly out of your favorite items. Shoppers brave long lines and cramped aisles while overly-friendly employees in Hawaiian shirts try to chat them up. Everything about the Trader Joe's experience seems designed to drive modern consumers away. And yet they generate $2,000+ per square foot in sales — double their nearest competitor in Whole Foods and nearly 4x the industry average — and Americans are obsessed with them. How on earth did a company that so steadfastly refuses to participate in the 21st century build the most beloved grocery chain in America? Today we tell the full story: how “Trader” Joe Coulombe started out cloning 7-Elevens in 1960s Los Angeles, pivoted to slinging hard liquor, discovered the enormous market opportunities for California wine and health food before anyone else, and ultimately built perhaps the most counter-positioned business we’ve ever studied on Acquired by doing almost everything differently than the supermarket-CPG industrial complex. Tune in for a wild voyage on the high seas of grocery retail! Sponsors: Legora: https://bit.ly/acquiredlegoraVanta: https://bit.ly/acquiredvantaServiceNow: https://bit.ly/acquiredservicenow26Statsig: https://bit.ly/acquiredstatsig26Links: Sign up for email updates and vote on future episodes!Worldly Partners’ Multi-Decade Trader Joe’s StudyBecoming Trader JoeThe Secret Life of GroceriesBuild a Brand Like Trader Joe'sAll episode sourcesCarve Outs: AirPods Pro 3Mario Kart 8 More Acquired! Get email updates with hints on next episode and follow-ups from recent episodesJoin the SlackSubscribe to ACQ2Merch Store!© Copyright 2015-2026 ACQ, LLC ‍Note: Acquired hosts and guests may hold assets discussed in this episode. This podcast is not investment advice, and is intended for informational and entertainment purposes only. You should do your own research and make your own independent decisions when considering any financial transactions.

Nouveautés

  • Data Center Infrastructure Podcast
    Technologies
    Technologies

    Chaque semaine

  • Download Updated Version of FM WhatsApp
    Culture et société
    Culture et société

    12/06/2024

  • L’art de vivre dans l’écosystème Apple
    Technologies
    Technologies

    16 avr.

  • Follow Back
    Marketing
    Marketing

    11 août

  • The AI Girls Club
    Technologies
    Technologies

    11 juin

  • Léo Duff
    Technologies
    Technologies

    Toutes les 2 semaines

  • Podcast LWS : Création de site, IA, WordPress, SEO et business en ligne
    Technologies
    Technologies

    Deux fois par semaine

Actualités technologiques

  • L'Actu Tech (en 3 minutes)
    Actualités technologiques
    Actualités technologiques

    Tous les jours

  • Monde Numérique (Actu tech & IA)
    Actualités technologiques
    Actualités technologiques

    Tous les jours

  • SHIFTR - Octane
    Actualités technologiques
    Actualités technologiques

    -2 j

  • Le code a changé
    Actualités technologiques
    Actualités technologiques

    Chaque semaine

  • Le Mug Nowtech
    Actualités technologiques
    Actualités technologiques

    Série quotidienne

  • NoLimitSecu
    Actualités technologiques
    Actualités technologiques

    Tous les mois

  • Building One with Tomer Cohen
    Actualités technologiques
    Actualités technologiques

    Chaque semaine

  • English (UK)
Choisissez un pays ou une région

Afrique, Moyen‑Orient et Inde

  • Algeria
  • Angola
  • Armenia
  • Azerbaijan
  • Bahrain
  • Benin
  • Botswana
  • Burkina Faso
  • Cameroun
  • Cape Verde
  • Chad
  • Côte d’Ivoire
  • Congo, The Democratic Republic Of The
  • Egypt
  • Eswatini
  • Gabon
  • Gambia
  • Ghana
  • Guinea-Bissau
  • India
  • Iraq
  • Israel
  • Jordan
  • Kenya
  • Kuwait
  • Lebanon
  • Liberia
  • Libya
  • Madagascar
  • Malawi
  • Mali
  • Mauritania
  • Mauritius
  • Morocco
  • Mozambique
  • Namibia
  • Niger (English)
  • Nigeria
  • Oman
  • Qatar
  • Congo, Republic of
  • Rwanda
  • São Tomé and Príncipe
  • Saudi Arabia
  • Senegal
  • Seychelles
  • Sierra Leone
  • South Africa
  • Sri Lanka
  • Tajikistan
  • Tanzania, United Republic Of
  • Tunisia
  • Turkmenistan
  • United Arab Emirates
  • Uganda
  • Yemen
  • Zambia
  • Zimbabwe

Asie‑Pacifique

  • Afghanistan
  • Australia
  • Bhutan
  • Brunei Darussalam
  • Cambodia
  • 中国大陆
  • Fiji
  • 香港
  • Indonesia (English)
  • 日本
  • Kazakhstan
  • 대한민국
  • Kyrgyzstan
  • Lao People's Democratic Republic
  • 澳門
  • Malaysia (English)
  • Maldives
  • Micronesia, Federated States of
  • Mongolia
  • Myanmar
  • Nauru
  • Nepal
  • New Zealand
  • Pakistan
  • Palau
  • Papua New Guinea
  • Philippines
  • Singapore
  • Solomon Islands
  • 台灣
  • Thailand
  • Tonga
  • Turkmenistan
  • Uzbekistan
  • Vanuatu
  • Vietnam

Europe

  • Albania
  • Armenia
  • Österreich
  • Belarus
  • Belgium
  • Bosnia and Herzegovina
  • Bulgaria
  • Croatia
  • Cyprus
  • Czechia
  • Denmark
  • Estonia
  • Finland
  • France (Français)
  • Georgia
  • Deutschland
  • Greece
  • Hungary
  • Iceland
  • Ireland
  • Italia
  • Kosovo
  • Latvia
  • Lithuania
  • Luxembourg (English)
  • Malta
  • Moldova, Republic Of
  • Montenegro
  • Nederland
  • North Macedonia
  • Norway
  • Poland
  • Portugal (Português)
  • Romania
  • Россия
  • Serbia
  • Slovakia
  • Slovenia
  • España
  • Sverige
  • Schweiz
  • Türkiye (English)
  • Ukraine
  • United Kingdom

Amérique latine et Caraïbes

  • Anguilla
  • Antigua and Barbuda
  • Argentina (Español)
  • Bahamas
  • Barbados
  • Belize
  • Bermuda
  • Bolivia (Español)
  • Brasil
  • Virgin Islands, British
  • Cayman Islands
  • Chile (Español)
  • Colombia (Español)
  • Costa Rica (Español)
  • Dominica
  • República Dominicana
  • Ecuador (Español)
  • El Salvador (Español)
  • Grenada
  • Guatemala (Español)
  • Guyana
  • Honduras (Español)
  • Jamaica
  • México
  • Montserrat
  • Nicaragua (Español)
  • Panamá
  • Paraguay (Español)
  • Perú
  • St. Kitts and Nevis
  • Saint Lucia
  • St. Vincent and The Grenadines
  • Suriname
  • Trinidad and Tobago
  • Turks and Caicos
  • Uruguay (English)
  • Venezuela (Español)

États‑Unis et Canada

  • Canada (English)
  • Canada (Français)
  • United States
  • Estados Unidos (Español México)
  • الولايات المتحدة
  • США
  • 美国 (简体中文)
  • États-Unis (Français France)
  • 미국
  • Estados Unidos (Português Brasil)
  • Hoa Kỳ
  • 美國 (繁體中文台灣)

Copyright © 2026 Apple Inc. Tous droits réservés.

  • Conditions générales des services Internet
  • Lecteur Web Apple Podcasts et confidentialité
  • Avertissement concernant les cookies
  • Assistance
  • Remarques

Pour écouter des épisodes au contenu explicite, connectez‑vous.

Apple Podcasts

Recevez les dernières actualités sur cette émission

Connectez‑vous ou inscrivez‑vous pour suivre des émissions, enregistrer des épisodes et recevoir les dernières actualités.

Choisissez un pays ou une région

Afrique, Moyen‑Orient et Inde

  • Algeria
  • Angola
  • Armenia
  • Azerbaijan
  • Bahrain
  • Benin
  • Botswana
  • Burkina Faso
  • Cameroun
  • Cape Verde
  • Chad
  • Côte d’Ivoire
  • Congo, The Democratic Republic Of The
  • Egypt
  • Eswatini
  • Gabon
  • Gambia
  • Ghana
  • Guinea-Bissau
  • India
  • Iraq
  • Israel
  • Jordan
  • Kenya
  • Kuwait
  • Lebanon
  • Liberia
  • Libya
  • Madagascar
  • Malawi
  • Mali
  • Mauritania
  • Mauritius
  • Morocco
  • Mozambique
  • Namibia
  • Niger (English)
  • Nigeria
  • Oman
  • Qatar
  • Congo, Republic of
  • Rwanda
  • São Tomé and Príncipe
  • Saudi Arabia
  • Senegal
  • Seychelles
  • Sierra Leone
  • South Africa
  • Sri Lanka
  • Tajikistan
  • Tanzania, United Republic Of
  • Tunisia
  • Turkmenistan
  • United Arab Emirates
  • Uganda
  • Yemen
  • Zambia
  • Zimbabwe

Asie‑Pacifique

  • Afghanistan
  • Australia
  • Bhutan
  • Brunei Darussalam
  • Cambodia
  • 中国大陆
  • Fiji
  • 香港
  • Indonesia (English)
  • 日本
  • Kazakhstan
  • 대한민국
  • Kyrgyzstan
  • Lao People's Democratic Republic
  • 澳門
  • Malaysia (English)
  • Maldives
  • Micronesia, Federated States of
  • Mongolia
  • Myanmar
  • Nauru
  • Nepal
  • New Zealand
  • Pakistan
  • Palau
  • Papua New Guinea
  • Philippines
  • Singapore
  • Solomon Islands
  • 台灣
  • Thailand
  • Tonga
  • Turkmenistan
  • Uzbekistan
  • Vanuatu
  • Vietnam

Europe

  • Albania
  • Armenia
  • Österreich
  • Belarus
  • Belgium
  • Bosnia and Herzegovina
  • Bulgaria
  • Croatia
  • Cyprus
  • Czechia
  • Denmark
  • Estonia
  • Finland
  • France (Français)
  • Georgia
  • Deutschland
  • Greece
  • Hungary
  • Iceland
  • Ireland
  • Italia
  • Kosovo
  • Latvia
  • Lithuania
  • Luxembourg (English)
  • Malta
  • Moldova, Republic Of
  • Montenegro
  • Nederland
  • North Macedonia
  • Norway
  • Poland
  • Portugal (Português)
  • Romania
  • Россия
  • Serbia
  • Slovakia
  • Slovenia
  • España
  • Sverige
  • Schweiz
  • Türkiye (English)
  • Ukraine
  • United Kingdom

Amérique latine et Caraïbes

  • Anguilla
  • Antigua and Barbuda
  • Argentina (Español)
  • Bahamas
  • Barbados
  • Belize
  • Bermuda
  • Bolivia (Español)
  • Brasil
  • Virgin Islands, British
  • Cayman Islands
  • Chile (Español)
  • Colombia (Español)
  • Costa Rica (Español)
  • Dominica
  • República Dominicana
  • Ecuador (Español)
  • El Salvador (Español)
  • Grenada
  • Guatemala (Español)
  • Guyana
  • Honduras (Español)
  • Jamaica
  • México
  • Montserrat
  • Nicaragua (Español)
  • Panamá
  • Paraguay (Español)
  • Perú
  • St. Kitts and Nevis
  • Saint Lucia
  • St. Vincent and The Grenadines
  • Suriname
  • Trinidad and Tobago
  • Turks and Caicos
  • Uruguay (English)
  • Venezuela (Español)

États‑Unis et Canada

  • Canada (English)
  • Canada (Français)
  • United States
  • Estados Unidos (Español México)
  • الولايات المتحدة
  • США
  • 美国 (简体中文)
  • États-Unis (Français France)
  • 미국
  • Estados Unidos (Português Brasil)
  • Hoa Kỳ
  • 美國 (繁體中文台灣)