Rust で使える静的検証ツールの論文を向井が読みました。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。iTunes のレビューや星も歓迎です。
#99: The Prusti Project: Formal Verification for Rust#99:
Rust で使える静的検証ツールの論文を向井が読みました。
Rust で使える静的検証ツールの論文を向井が読みました。
Rust で使える静的検証ツールの論文を向井が読みました。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。iTunes のレビューや星も歓迎です。
昔 Amazon が作った DynamoDB の祖先について森田が読みました。
昔 Amazon が作った DynamoDB の祖先について森田が読みました。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。iTunes のレビューや星も歓迎です。
AWS の中の人が Rust の力で TLA+ に対抗する話を向井が読みました。
AWS の中の人が Rust の力で TLA+ に対抗する話を向井が読みました。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。iTunes のレビューや星も歓迎です。
AWS の人気サービス DynamoDB の論文を森田が眺めました。
AWS の人気サービス DynamoDB の論文を森田が眺めました。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。iTunes のレビューや星も歓迎です。
ちょっとやそっとで死なない分散 RDB の論文を向井が読みました。
ちょっとやそっとで死なない分散 RDB の論文を向井が読みました。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。iTunes のレビューや星も歓迎です。
Kubernetes 以前に元気だったクラスタスケジューラの論文を向井が読みました。
Kubernetes 以前に元気だったクラスタスケジューラの論文を向井が読みました。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。iTunes のレビューや星も歓迎です。
データベースワナビーになった森田が SQL に入門しました。
データベースワナビーになった森田が SQL に入門しました。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。iTunes のレビューや星も歓迎です。
森田の PC ノイズが聞き苦しくなってしまいましたがご容赦ください。夏のせいです。
ソフトウェア開発のムダについて現場に潜り込み分析した論文を森田が読みました。
ソフトウェア開発のムダについて現場に潜り込み分析した論文を森田が読みました。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。iTunes のレビューや星も歓迎です。
FaaS の運用効率を上げたいクラウド業者の工夫を森田が読みました。
FaaS の運用効率を上げたいクラウド業者の工夫を森田が読みました。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。iTunes のレビューや星も歓迎です。
Haskell で使われている乱数生成器たちを向井が紹介します。
Haskell で使われている乱数生成器たちを向井が紹介します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。iTunes のレビューや星も歓迎です。