Ga offline met de app Player FM !
Podcasts die het beluisteren waard zijn
GESPONSORDE
#72 – La bienveillance des nombres typés est impossible
Manage episode 332499020 series 2700941
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.
128 afleveringen
Manage episode 332499020 series 2700941
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.
128 afleveringen
Alle afleveringen
×
1 À la recherche d’une troisième voie pour un futur tech désirable 1:02:57


1 FoundationDB, brique élémentaire, de Warp à MateriaKV feat @bigdatahebdo 1:12:12

1 Spécial Devoxx Maroc 2024 – 2/2 1:07:42

1 Spécial Devoxx Maroc 2024 – 1/2 1:00:08


Welkom op Player FM!
Player FM scant het web op podcasts van hoge kwaliteit waarvan u nu kunt genieten. Het is de beste podcast-app en werkt op Android, iPhone en internet. Aanmelden om abonnementen op verschillende apparaten te synchroniseren.