#Rustには世界中から工数が大量に投下されているから違うことをやりたい

またTLA+でモデル検証されたRTOSのレポートを読んだので発表する予定です。
"OpenComRTOSというRTOSはTLA+とUPPAALという2つのツールによって設計されています。TLA+はモデル検査に、UPPAALは性能モデル検証に用いられています。Formal Development of a Network-Centric RTOSというレポートを読みながらモデル検査のRTOSへの適用事例と発表者の感想を共有します。"
https://metasepi.connpass.com/event/104949/

@brsywe @charsiuCat お疲れ様です。地図の件ですが、あと415101時間で終了する見込みとなっております。

@brsywe @charsiuCat お疲れ様です。地図の件ですが、あと620642時間で終了する見込みとなっております。

なぜかプロジェクトの都合上、 #Rust にちょっとだけさわることになり、発表することになりました。
"C言語からRustへの変換手法としてcorrodeとc2rustが広く知られています。前者は純粋なHaskell実装で、後者はRust+Clang+Emscriptenで実現されています。両者の比較のためにBSD catコマンドを両ツールでRustに変換してみました。変換してcorrodeの結果とc2rustの結果が得られました。変換結果を眺めながらCFGの特性などを比較します。また発表者は変換結果をrustcでコンパイルできなかったので助言がいただけると助かります。"
https://metasepi.connpass.com/event/104949/

20分後くらいにスタート。

自作キーボード天国「遊舎工房」レポートと17型だけどモバイルPCな「LG gram」を試す【ITmedia NEWS TV】
https://youtu.be/-h9lVXIfwIw

「第6回 OSCアワード」受賞者のお知らせ
https://www.ospn.jp/press/20190201osc-award-6.html

◆受賞者：mikutter
受賞理由：プロダクトを通じ、学生・若手を積極的にOSCに呼び込み、派生コミュ
ニティによる活動を含め、コミュニティ活動によるOSC出展の模範となったため。

https://twitter.com/OSC_official/status/1091239278670077953
あ。w

Mastodon master 、WebUI での未収載アイコンがフォロワー限定と見分けやすくなりました ( https://github.com/tootsuite/mastodon/pull/9952 )

.