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

これか。やばい。 / https://github.com/cosmos72/fstransform GitHub - cosmos72/fstransform: tool for in-place filesystem conversion (for example from jfs/xfs/reiser to ext2/ext3/ext4) without backup

停電の話を色々聞いていて大電もかじったら面白いんだろうなと思い始めた

MPI-SWS(マックスプランク・ソフトウェアシステム研究所)はソフトウェアの検証系のこと結構やってるイメージ

DNAのフランクリン女史の話かと思った

https://sympa.inria.fr/sympa/arc/coq-club/2018-09/msg00014.html
RustをCoqで検証するプロジェクト「RustBelt」のポスドク・博士課程のポジションが募集されている

https://github.com/rust-lang/rust/pull/54017
wasm-unknown-unknown用のアトミック操作を実装しようとしているらしい

将来、async/awaitの安定化にあたってawait fut構文が採択されたら、await_macro機能を廃止すればいいし、await!(fut)構文が採択されたら、awaitを再び識別子に降格すればよい(たぶん降格は後方互換にできるはず)。

結論としては、まずRust2018では一旦awaitをキーワードに昇格する。しかし、Rust2018モードでも、現在await!マクロを使うのに必要な #![feature(await_macro)] が指定された場合はawaitを識別子として扱う。

まだawait構文のbikeshedをする段階にないのでどちらの構文の可能性も残しておきたい。しかし、前者はawaitが識別子であることを、後者はawaitがキーワードであることを前提にしている。Rust2018でキーワードを増やせる今のうちに決断する必要があるというジレンマがあった。

https://github.com/rust-lang/rust/issues/53834#issuecomment-419217793
Rust 2018でawaitをどうするかの方針が示された。awaitは実験的なasync/await構文で await!(fut)のように使われるが、これはawaitをキーワードに昇格して await futとするほうがよいのではという意見があった。

てかsyscalls(2)に割と書いてある。 https://linuxjm.osdn.jp/html/LDP_man-pages/man2/syscalls.2.html
truncate(2)のように、互換性をlibc側で吸収しているシステムコールがあったり、_llseek(2)のようにmanにはC風のインターフェースが記述されているが実際にはバインディングが提供されていなくてsyscall(2)とerrno(3)から自作する必要があったり、gettimeofday(2)のように、vdso(7)というマジックによって実際にはシステムコールを呼ばない高速なラッパーが使われていたりする

確かにclone(2)みたいにglibcが単なるバインディング以上のことをしている場合はあるけど、その場合もmanに記述がある

@anqou それは open(2) を読めばよさそうな

大仏の形状をしたダイソン球

メンテナンス・障害情報・機能追加｜さくらインターネット公式サポートサイト http://support.sakura.ad.jp/mainte/mainteentry.php?id=24776
＞引き続き、自家発電設備によりサービスを継続しております。なお石狩データセンターは、非常用発電機の48時間連続稼働が可能となる量の重油を備蓄しております。
結構あるな その他の発電設備もうまく使えればもう少し長く動かせるのかな

(LightsailはIPv6対応していないので一時的にIPv4のみになりました)