本文へスキップ
zarza zarza
ja
ログイン

#97: Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3

Misreading Chat
23/08/2022 35 min

再生 "#97: Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3"

Descargar episodio Ver en sitio original

エピソードの概要

AWS の中の人が Rust の力で TLA+ に対抗する話を向井が読みました。

この番組のほかのエピソード Misreading Chat

#143 – SWE-bench: Can Language Models Resolve Real-World GitHub Issues? 11/12/2024
#142: An Empirical Study of Rust-for-Linux: The Success, Dissatisfaction, and Compromise 04/12/2024
#141: SQL Has Problems. We Can Fix Them: Pipe Syntax In SQL 13/11/2024
#140: GSM-Symbolic: Understanding the Limitations of Mathematical Reasoning in Large Language Models 24/10/2024
#139: NeRF: Representing Scenes as Neural Radiance Fields for View Synthesis 02/10/2024
#138: Distilling the Knowledge in a Neural Network 11/09/2024
#137: Optimal Quantile Approximation in Streams 13/08/2024
#136: Distinct Elements in Streams: An Algorithm for the (Text) Book 07/08/2024
#135: In-Datacenter Performance Analysis of a Tensor Processing Unit 02/07/2024
#134: LoRA: Low-Rank Adaptation of Large Language Models 09/06/2024

Podcasts Activos

デイリーポータルＺラジオ　ロングバージョン

ZARZA Studio — あなたの局を今日からオンエアに：ライブラリー、ミュージッククロック、番組表、キャビンとレポート。すべてブラウザーから。

ZARZA Studio を知る
— いま放送中 — カタログの局数 39,151 ポッドキャスト — 国