組み込みソフトウェアの開発者です。 自分の試した知見を【再現できる、思い出せる】ようにしたいです。 難しいことを簡単に、つまらないことを楽しくワクワクすることを書きたいです。

Rustのお仕事ください！

Just a Rustacean. I recommend to use dev.to or Stack Overflow instead of Qiita.

Rust好きのVeriloger

定理証明系や論理プログラミングに興味をもっています。

組み込み業界で15年ほど、カーネル、デバイスドライバ、ミドルウェアなどを作ってきました。 が、Web業界への転職を考えたりしてます。

博士課程つらい

Erlang/OTPやRustで分散DBを開発してます。プログラミングは中学生の頃から、30年ほど独学でやってきてます。大学はアメリカ東海岸にある美大でした。現在は上海在住

WebRubyがきっかけで、mrubyで実装されたhttp2サーバーのtrusterdに絡んだ事をやってみたり、ElectronのIssue眺めたり、手元で動かしたり、node.js関連。WASMも少々。投稿する記事の内容は個人の意見であり、所属する企業の見解を代表するものではありません。

組込みLinux屋さん。広く浅くやってます。RustとhypervisorとFPGAを勉強中。