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

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_QIN57e48AHébergé par Ausha. Visitez ausha.co/politique-de-confidentialite pour plus d'informations.