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 by NotPatrick

Le rendez-vous Tech

40 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é

13 Listeners

Thinkerview by Thinkerview

Thinkerview

79 Listeners

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

Apple, différemment

1 Listeners

IFTTD - If This Then Dev by Bruno Soulez | Orso Media

IFTTD - If This Then Dev

3 Listeners

Silicon Carne, un peu de picante dans un monde de Tech ! by Carlos Diaz

Silicon Carne, un peu de picante dans un monde de Tech !

70 Listeners

Le code a changé by France Inter

Le code a changé

9 Listeners

HugoDécrypte - Actus et interviews by Hugo Décrypte

HugoDécrypte - Actus et interviews

89 Listeners

Underscore_ by Micode

Underscore_

20 Listeners

Finary by Mounir Laggoune

Finary

4 Listeners

Sortie de veille by MacGeneration

Sortie de veille

3 Listeners

Hardisk Stories by Hardisk

Hardisk Stories

0 Listeners

Dans La Tech by DansLaTech

Dans La Tech

0 Listeners

Tranches de Tech by OVHcloud

Tranches de Tech

0 Listeners