Message à caractère informatique

#72 – La bienveillance des nombres typés est impossible


Listen Later

Dans cet épisode il on chasse les trolls avec 1xEngineer avant de rendre possible l'impossible, puis de typer avec Rust. Nous parlons également de CockroachDB, de battements de coeur, de casseurs de circuits, de transformation de paquets et de Pixelation pour finir comme des voyous en musique.


00:00:00 Introduction

00:03:15 1xEngineer (Yannick)
https://1x.engineer/
De la bonne bienveillance

00:09:00 "Making Impossible States Impossible" by Richard Feldman (Hubert)
https://www.youtube.com/watch?v=IcgmSRJHu_8 


00:22:35 Le typage en Rust (Yannick)

https://fasterthanli.me/articles/the-curse-of-strong-typing 


00:34:50 Enabling the Next Generation of Multi-Region Applications with CockroachDB (PZ)

https://www.cockroachlabs.com/blog/sigmod-2022-cockroachdb-multi-region-paper/ 


00:42:50 Phi φ Accrual Failure Detection (François)

https://medium.com/@arpitbhayani/phi-%CF%86-accrual-failure-detection-79c21ce53a7ahttps://www.researchgate.net/profile/Xavier-Defago/publication/29682135_The_ph_accrual_failure_detector/links/0a85e53ce412e3b069000000/The-ph-accrual-failure-detector.pdf 


00:47:20 Will circuit breakers solve my problems? (François)

https://brooker.co.za/blog/2022/02/16/circuit-breakers.htmlhttps://radlab.cs.berkeley.edu/people/fox/static/pubs/pdf/c18.pdf 


00:50:47 Comment transformer un paquet de bytes en un double (Yannick)

https://blog.m-ou.se/floats/


01:00:00  Never, Ever, Ever Use Pixelation for Redacting Text (Hubert)

https://bishopfox.com/blog/unredacter-tool-never-pixelation 


01:05:44 Musiques de fin

Rogue Legacy 2 OST - Axis Mundi 1
https://www.youtube.com/watch?v=f_QIN57e48A


Hébergé par Ausha. Visitez ausha.co/politique-de-confidentialite pour plus d'informations.

...more
View all episodesView all episodes
Download on the App Store

Message à caractère informatiqueBy Clever Cloud


More shows like Message à caractère informatique

View all
Le rendez-vous Tech - RDV Tech by NotPatrick

Le rendez-vous Tech - RDV Tech

41 Listeners

Les Cast Codeurs Podcast by Emmanuel Bernard, Guillaume Laforge, Vincent Massol, Antonio Goncalves, Aud

Les Cast Codeurs Podcast

3 Listeners

Tech Café by Guillaume Vendé

Tech Café

12 Listeners

Affaires sensibles by France Inter

Affaires sensibles

293 Listeners

De quoi jme mail by BFM Business

De quoi jme mail

9 Listeners

Thinkerview by Thinkerview

Thinkerview

81 Listeners

Programme B by Binge Audio

Programme B

28 Listeners

Apple, différemment by Audrey Couleau et Mat alias @profduweb

Apple, différemment

2 Listeners

Le podcast 🎙️ AWS ☁️ en 🇫🇷 by Amazon Web Services

Le podcast 🎙️ AWS ☁️ en 🇫🇷

0 Listeners

Tech.Rocks - "Paroles de Tech Leaders" by Tech.Rocks

Tech.Rocks - "Paroles de Tech Leaders"

0 Listeners

Double Slash by Alex Duval/Patrick Faramaz

Double Slash

1 Listeners

Les Doigts Dans La Prise by Cédric Ingrand

Les Doigts Dans La Prise

2 Listeners

Underscore_ by Micode

Underscore_

21 Listeners

Monde Numérique (Actu Tech) by Jerome Colombain

Monde Numérique (Actu Tech)

6 Listeners

LEGEND by Guillaume Pley

LEGEND

177 Listeners