@eldesh

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

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

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

I'm a network designer.I work on TOPPERS SmallestSetProfile Kernel,MISRA-C/C++, STARC RTL Design StyleGuide (Verilog-HDL), and HAZOP.I was an editor of ISO/IEC 15504.

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

LOVE 🍣 🍵 🌶️ 🍎 🍟 🥖 🧀 LANG 🇯🇵 🇺🇸 TECH C++ C# Software | IoT Hardware | Civil Engineering

組込み系オープンソースの人、でした。 最近は 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が好きです。

プログラマ