Webアプリを作ったり競プロをしたり筋トレをしたり。

Rust

私は C++er だから Rust の事はよく知らないんだ。 だから Rust の事をよく知るために Tauri でファイラを開発する事にしたんだ。 そしてその開発の途中で React を知ったんだ。 https://github.com/kuone314/NekoFiler

SEです。

Scala好き。Haskell, Coq, Agda, Spark, 機械学習はまだミテルだけ

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

数学/Rust/競技プログラミング/型理論/圏論

I'm Rustacean🦀.