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

https://github.com/rust-lang/rust/issues/54908
Ralf Jung氏、今度はCoqではなくmiriでRustの安全性バグを見つけたらしい。
miriはRustの中間言語インタプリタで、インタプリタなので手軽にvalgrind的なチェックをはさみつつ実行できるという利点がある。

1を足すライブラリ！！！便利！！！ https://github.com/o2sh/add-one

https://users.rust-lang.org/t/announcing-askama-0-7-0/18299/3
Askamaの0.7.2がリリースされた。AskamaはJinja2風のテンプレートエンジンでqnighyの個人的な推しテンプレートエンジン。

https://www.youtube.com/watch?v=-vnOqv3Aezo

https://github.com/rust-lang/rfcs/pull/2412
#[optimize(size)] と #[optimize(speed)] を書けるようにする提案がマージされた。組み込み用途などで速度とバイナリサイズの優先度を細かく調整するための二択のフラグ。「デバッグモードだけどここだけ速くしてほしい」のような用途は想定されていないようだ。

絵師(イラストレーター・漫画家)には5種類いる。色々なサイズを描き分ける絵師、常に大きく描く絵師、常に小さく描く絵師、両極端に描く絵師、そして雄っぱいしか描かない絵師だ。

C言語の初期の方では構造体のフィールド名が共有されていたという話があって、セキュキャンでちょっと話題になったりしたんだけど、OCamlはレコードでまさにそれをやっているらしくうーんになっている。

"大学院卒業後も研究する彼と結婚したい私

"
http://comicsaku.tokyo/2018/10/05/2018-10-5/

https://github.com/rust-lang/rust/issues/54481
Rustのis_alphanumericはバグというかドキュメントと実装の食い違いがあってNo(その他の数字)カテゴリの文字が数字として扱われてなかったらしい。それが4ヶ月前に修正されたためテストが失敗するようになったcrateがあるとのこと。

https://users.rust-lang.org/t/announcing-smallbox-crate-on-stable-faster-heap-allocation-than-box/20951
小さいときはスタック、大きいときはヒープに保存するためのsmallboxクレートが安定版コンパイラで使えるようになったらしい。

https://stackoverflow.com/questions/52639162/rust-how-to-delete-published-crate-from-crate-io
crates.ioに間違ってアップロードしたときの手順が書いてある。
npmのアレを防止するために、機械的な削除はできない。yankした上で、パスワードなどを入れ込んだならそれらを更新する。そうではなく、どうしても削除する必要がある状況なら、管理者に事情を説明する。

Revertが2個以上になったときに使えるセリフ

https://youtu.be/hbTYKXbZBvs

Kindleの、他人がたくさんマークした場所がわかる機能、ニコニコ漫画とかと同じ共有感があって僕は好きだよ

https://internals.rust-lang.org/t/pre-rfc-a-new-symbol-mangling-scheme/8501
Rustで普通に定義した関数の名前は、Cからは_ZNで始まる英数字列のように見える。これはmanglingといって、複雑な情報を安全な文字だけで表すために行われている。
今は型引数などの情報をハッシュで圧縮してしまっているが、これをせずC++のようにする方法が提案されている。

https://internals.rust-lang.org/t/cargos-crate-index-upcoming-squash-into-one-commit/8440
Rustの公式パッケージインデックスはgitリポジトリとして管理されているが、パッケージが1つ上がるごとにコミットするため履歴が大変な量になっているらしい。近々これらの履歴をsquashするかもしれないとのこと。

白金台交差点の信号機、なんか曲がってる気がする……

「Rustの作者へ」というタイトルの投稿があったら相当身構えると思うんだけどべた褒めだった。
https://users.rust-lang.org/t/to-the-creators-of-rust/20446

みんな焦ってるのかエスカレーターをガシガシ揺らしながら降っていく。こわい。

井の頭線をくぐり抜けてきた者の面になった