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

Message à caractère informatique

Nội dung được cung cấp bởi Quentin Adam and Clever Cloud. Tất cả nội dung podcast bao gồm các tập, đồ họa và mô tả podcast đều được Quentin Adam and Clever Cloud hoặc đối tác nền tảng podcast của họ tải lên và cung cấp trực tiếp. Nếu bạn cho rằng ai đó đang sử dụng tác phẩm có bản quyền của bạn mà không có sự cho phép của bạn, bạn có thể làm theo quy trình được nêu ở đây https://vi.player.fm/legal.

2y ago 1:07:52

MP3•Trang chủ episode

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.

104 tập

#Technologie #Laurent Doguin