Artwork

Contenu fourni par Quentin Adam and Clever Cloud. Tout le contenu du podcast, y compris les épisodes, les graphiques et les descriptions de podcast, est téléchargé et fourni directement par Quentin Adam and Clever Cloud ou son partenaire de plateforme de podcast. Si vous pensez que quelqu'un utilise votre œuvre protégée sans votre autorisation, vous pouvez suivre le processus décrit ici https://fr.player.fm/legal.
Player FM - Application Podcast
Mettez-vous hors ligne avec l'application Player FM !

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

1:07:52
 
Partager
 

Manage episode 332499020 series 2700941
Contenu fourni par Quentin Adam and Clever Cloud. Tout le contenu du podcast, y compris les épisodes, les graphiques et les descriptions de podcast, est téléchargé et fourni directement par Quentin Adam and Clever Cloud ou son partenaire de plateforme de podcast. Si vous pensez que quelqu'un utilise votre œuvre protégée sans votre autorisation, vous pouvez suivre le processus décrit ici https://fr.player.fm/legal.

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.

  continue reading

106 episodes

Artwork
iconPartager
 
Manage episode 332499020 series 2700941
Contenu fourni par Quentin Adam and Clever Cloud. Tout le contenu du podcast, y compris les épisodes, les graphiques et les descriptions de podcast, est téléchargé et fourni directement par Quentin Adam and Clever Cloud ou son partenaire de plateforme de podcast. Si vous pensez que quelqu'un utilise votre œuvre protégée sans votre autorisation, vous pouvez suivre le processus décrit ici https://fr.player.fm/legal.

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.

  continue reading

106 episodes

Tous les épisodes

×
 
Loading …

Bienvenue sur Lecteur FM!

Lecteur FM recherche sur Internet des podcasts de haute qualité que vous pourrez apprécier dès maintenant. C'est la meilleure application de podcast et fonctionne sur Android, iPhone et le Web. Inscrivez-vous pour synchroniser les abonnements sur tous les appareils.

 

Guide de référence rapide