- Go
- RFCから実装する練習としてwebsocketサーバーの実装とかやってました
- Rust
- tokioとかhyperのコード読んだり,fahrenheitのmio対応版の実装とかやっていました
- 非同期ランタイムの仕組みはわりと話せると思います
- 型なしラムダ計算とか簡単なインタプリタの処理系を書いていました
- 単純な型推論器を書いていました
- Writing an OS in Rustとか読んでます
- Typescript
- Reactやcdkを書く用途で使っています。基本的なhooksの使い方はわかっているとは思います。cssはあまり書けません。
- 物事に見通しが良く,わかりやすく正確な説明を与えること
- データベース
- トランザクション理論や,RDBMSの実装にそれなりに興味があります。分散DBにも興味があります。アプリケーション開発者の中ではDBに興味がある方だとは思います。
- 分散合意アルゴリズム
- Raftの原論文読んだり,論文を元に実装したりしています
- 数学
- 数学専攻でもなんでもないですが数学に興味があり,最近はトゥー多様体を読んでいます
- 方法論
- 規範に関する命題と事実に関する命題の関係に興味があります。ただし関連する文献はあまり読めていません