Haskell の親分により開発中の次世代関数型論理メタバース言語に向井が入門しました。感想などはおたより投書箱にお寄せください。iTunes のレビューや星も歓迎です。
#108: The Verse Calculus
Haskell の親分により開発中の次世代関数型論理メタバース言語に向井が入門しました。
Haskell の親分により開発中の次世代関数型論理メタバース言語に向井が入門しました。
AI がチャットしながらボードゲームで勝つ話を向井が読みました。
AI がチャットしながらボードゲームで勝つ話を向井が読みました。感想などはおたより投書箱にお寄せください。iTunes のレビューや星も歓迎です。
TCP をやっつけたいメッセージ志向プロトコルの提案を向井が拝聴しました。感想などはおたより投書箱にお寄せください。iTunes のレビューや星も歓迎です。
向井が Git の難しさに見識を深めました。
Rust で使える静的検証ツールの論文を向井が読みました。
Rust で使える静的検証ツールの論文を向井が読みました。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。iTunes のレビューや星も歓迎です。
AWS の中の人が Rust の力で TLA+ に対抗する話を向井が読みました。
AWS の中の人が Rust の力で TLA+ に対抗する話を向井が読みました。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。iTunes のレビューや星も歓迎です。
ちょっとやそっとで死なない分散 RDB の論文を向井が読みました。
ちょっとやそっとで死なない分散 RDB の論文を向井が読みました。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。iTunes のレビューや星も歓迎です。
Kubernetes 以前に元気だったクラスタスケジューラの論文を向井が読みました。
Kubernetes 以前に元気だったクラスタスケジューラの論文を向井が読みました。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。iTunes のレビューや星も歓迎です。
Haskell で使われている乱数生成器たちを向井が紹介します。
Haskell で使われている乱数生成器たちを向井が紹介します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。iTunes のレビューや星も歓迎です。
Haskell の長い歴史を向井がたどります。