Notices by Masaki Hara (qnighy@qnmd.info), page 56

→問題になる。気持ち的には参照カウントを減らしてからArcInnerを触ることはない。しかしLLVMの規約上、参照は関数の最後まで生き延びないとUBになってしまう。fetch_subがその内部実装を呼び終えてからのわずかな時間が事故に繋がりうるという話である。

https://github.com/rust-lang/rust/issues/55005
ArcにまたUBが発見された。これは実効的なやつではなさそう。
あるスレッドでArcが不要になり参照カウントを減らしたとする。減らした命令のすぐ直後で割り込みが入り、次に目覚めたときには他スレッドがArcInnerを解放した後かもしれない。その「直後」のわずかな期間が問題

いろり庵きらくの蕎麦機械が故障してるらしくて、かわいそう

そういう、意味論が見える言語は他にもあって、Haskellっていうんですけど、参照をもつ手続き型言語でも排他性をちゃんと管理してやることでそれができると実証してるのがRustなんだよな

Rust, 事前条件や事後条件が視える超人類が設計したとしか思えない、形式手法にお誂え向きの構造なのに、「やあやあ、依存型でござい」みたいなのがないので、人類でも頑張ればちゃんと書けるようになってるのがすごいんだよな

タイムテーブル←→スペースチェア

家電

家系（いえけい）と家系（かけい）に匹敵するややこしいやつ、男の娘。

おとこのむすめ、って文は少なくともフィクションでは普通に出てくるからなー

ジャバだから、とスクリプト言語界隈を追放されたGroovyは腹いせにレベルMAXドメイン固有言語に転職して伝説のIDEメーカーと最強パーティを組みました

str::repeatの脆弱性はCVE-2018-1000810になったらしい。
http://cve.mitre.org/cgi-bin/cvename.cgi?name=CVE-2018-1000810

https://boats.gitlab.io/blog/post/pin-cell/
RefCellのpin版であるPinCellというのが外部ライブラリとして作られたらしい。pinとはRustでムーブできない型を擬似的に実現する仕組みで、async/awaitで重要な役割を担う。

Java系のOOPの枠組でよくわかってないの、具象クラスがなぜか継承可能なところとメンバ変数をもつクラスがなぜか継承可能なところ、それから「こいつを継承/オーバーライドしたらほぼ確実にis-a関係が壊れるでしょ」みたいなクラス/メソッドにも全然finalとかついてないところの3つかな

signed mainの競プロしぐさ感は好き

なろう小説積読が溜まっているんだけど如何ともしがたい。最近は本好きの書籍版最新まで追いついたけどもうすぐ外伝も出てしまう

https://github.com/rust-lang/book/pull/1559#issuecomment-427940398
Why yes it does! なんて言い回しがあるのか

ところで、carols10centsさんの本名はGitHubを見ると二種類併記されていて、shepmaster氏の本名はInteger32, LLCに書いてあるけど、よく見ると…… (知らなかった)

https://users.rust-lang.org/t/how-to-start-learning-rust/4244/8
carols10centsさんとshepmaster氏がRustのビデオチュートリアル?を作っているらしい。
2人はRustのメンテナでもあり、Rust専門の技術コンサルであるInteger32, LLCの共同創業者でもある。

これはRc::newには影響ないはず(Rc::newの場合はサイズとアラインメントはコンパイラ側で完全に計算されるはずなので)
参照先がunsizedである、などの都合でポインタから直接変換するときにはライブラリ側でサイズとアラインメントを計算する必要があり、そこにバグがあったという話。

これはRc::newには影響ないはず(Rc::newの場合はサイズとアラインメントはコンパイラ側で完全に計算されるはずなので)
参照先がunsizedである、などの都合でポインタから直接変換するときにはライブラリ側でサイズとアラインメントを計算する必要があり、そこにバグがあったという話。

肝心のバグは何かというとアラインメント絡み。Rc<T>は参照カウントがあるのでBox<T>などとは参照先の構造が異なる。そのためBoxをRcに変換するときはサイズとアラインメントを再計算して再アロケートが必要になるが、このアラインメントで参照カウントの分の考慮漏れがあったらしい