@eldesh

はてなブログ： http://yuchiki1000yen.hatenablog.com/ C#や型理論、形式検証に興味があります

A proof developer and functional programmer on Tezos, CEO of proof ninja, Inc.

最近はMLをやっています。

Androidアプリを開発したり，Erlangで動画配信システムを開発したりする仕事をしていました．今はUnityでゲームを作る仕事をしています．

《配信》 http://twitch.tv/usaginetwork/about 《音楽》 https://soundcloud.com/usagi-network 《好きな食べ物》 🍏🍎🍵🍣🌶️🥒🥕

組込み系オープンソースの人、でした。 最近は Eclipse/Che コミッタとか、Kubernetes 関連を中心とした雑食エンジニア。

ArchLinux CentOS Ubuntu C++ python3 Ruby Ruby on Rails Rust Tauri Neovim Vim TypeScript Vue.js React.js Zsh

趣味はC++メインです。 仕事はTypeScriptがメインです。

http://profile.hatena.ne.jp/khibino0/ http://www.haskellers.com/user/khibino Haskell で RBD query を記述するライブラリを作りました http://khibino.github.io/haskell-relational-record

S式とREPLが好きです。

プログラマ