Artwork

Content provided by Quentin Adam and Clever Cloud. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Quentin Adam and Clever Cloud or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://player.fm/legal.
Player FM - Podcast App
Go offline with the Player FM app!

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

1:07:52
 
Share
 

Manage episode 332499020 series 2700941
Content provided by Quentin Adam and Clever Cloud. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Quentin Adam and Clever Cloud or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://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

113 episodes

Artwork
iconShare
 
Manage episode 332499020 series 2700941
Content provided by Quentin Adam and Clever Cloud. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Quentin Adam and Clever Cloud or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://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

113 episodes

Tutti gli episodi

×
 
Loading …

Welcome to Player FM!

Player FM is scanning the web for high-quality podcasts for you to enjoy right now. It's the best podcast app and works on Android, iPhone, and the web. Signup to sync subscriptions across devices.

 

Quick Reference Guide