日本語のTLA+に関する文献がほとんど見つからないので、日本語でまとめていきたいと思います。 誤った情報や追記したい情報などはこちらにIssueまたは、PRを送っていただけると助かります。 TLA+の勉強法・学習法 ドキュメントや講義など Leslie Lamport's TLA homepage: ホームページです。 Hyperbook: チュートリアルなどを扱ったHyperbookです。こちらのページからダウンロードが可能です。 TLA video course: TLA+の作者であるLamprtさんの動画教材です。 Specifying Systems: Leslie Lamportによるもので、出版社を通じての注文や個人使用のためのダウンロードにリンクしています。 Learn TLA もっとも詳細にTLA+及びPlusCalの文法や使い方について説明している場所です。現状唯一の情報
Rudra: Finding Memory Safety Bugs in Rust at the Ecosystem Scale Published October 31, 2021 Found something wrong? Submit a pull request! Discussion on Hacker News The papers over the next few weeks will be from SOSP. As always, feel free to reach out on Twitter with feedback or suggestions about papers to read! These paper reviews can be delivered weekly to your inbox, or you can subscribe to the
To link to this post, it is advisable to use the preview URL: https://poor.dev/terminal-anatomy The terminal is a ubiquitous platform that has been fairly stable for many years. There are plenty of resources out there for understanding its inner workings, but most of them are either fairly arcane or offer deep knowledge about a very specific area. This post aims to bridge this gap by offering a ge
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く