Posts categoried: note

2020-03-27 - SREチームのtech leadになった
2020-03-13 - 『Amazon Web Service 負荷試験入門』読んだ
2020-02-22 - 「How to beat the CAP theorem」読んだ
2020-02-01 - 『ビッグデータを支える技術』を読んだデータインジェスチョンについて
2020-01-26 - SRE NEXT 2020 参加した
2019-07-14 - 『リーダブルコード』を読んだ
2019-03-16 - 『インフラデザインパターン』読んだ
2019-02-24 - 『入門監視』を読んだ
2018-09-08 - Haskellの型クラスを活用してサブシステムとのやりとりをDSL化したかった
2018-06-03 - fight against happy conflict
2018-05-28 - プログラミング言語学習の助走
2018-05-02 - コードを書く時の生産性の低さに気付く
2018-04-15 - duct-frameworkに定時起動ジョブを仕込む
2018-03-23 - Clojure思ったより書けない問題
2018-03-20 - Haskellで再帰的な構文木にFix(不動点)を導入してみる
2018-01-08 - ClojureとHaskell 異なるスタイルのプログラミング言語に触れること
2018-01-03 - Haskellで抽象構文木 (AST) にメタデータを付与する
2018-01-01 - プログラミングClojureにおける「データ」とは何か
2017-12-17 - Left Recursionの悪夢再び
2017-12-11 - ラムダ計算 Tagless Final
2017-12-10 - GHCの中間言語Coreへの脱糖を覗き見る
2017-11-04 - 2017-11-04_11-13-55
2017-09-30 - SMLの関数適用を構文解析する時の問題
2017-09-24 - 好きなプログラミング言語の好きなところについて思った
2017-09-19 - 技術書を読む時の問題意識について（答えはまだない）
2017-07-17 - 小さく作ることとモチベーション
2017-07-15 - 仕事で使った言語
2017-07-03 - 左再帰を含む構文解析むずい
2017-06-19 - Standard MLの定義を読み始める
2017-06-02 - Strongly static types, not for every task なのは何故なんだ
2017-05-27 - ClojureのS式になんでも書けるという話
2017-05-21 - Haskellerの好きなところ
2017-05-20 - Haskellの代数データ型をJava的なインタフェースと捉える
2017-05-07 - ElmでWidgetを純粋に保つ
2017-05-01 - UIコンポーネントは本当にcomposableか
2017-04-20 - Clojureでの副作用の表現について
2017-01-29 - Goでツールを作る
2017-01-22 - Elmの設計で悩むところメモ
2017-01-01 - 2017のあれこれ
2016-12-29 - Clojureを使った関数型プログラミングデザインのメモ
2016-10-17 - WIP ElmのHttp処理部をスタブする
2016-08-16 - 効率良く読書する
2016-07-26 - Stackと外部ライブラリの問題
2016-07-21 - 小さくプロトタイピングする
2016-07-19 - ClojureのAPI設計について考える
2016-07-13 - プロセッサを支える技術
2016-07-02 - 基礎的なことを勉強する
2016-06-11 - Excelログを掃討する
2016-05-20 - 証明を学ぶ
2016-05-15 - OpenFlowのメッセージをAttoparsecで解析する
2016-03-20 - Freeモナドを活用して問題を記述する[WIP]
2016-03-13 - BGP reading note
2016-03-12 - stackとNixを使って安定したビルド環境を作る
2016-02-21 - Starting clojure
2016-01-30 - OSPF reading note
2016-01-04 - RFC6241 (NETCONF) を読む
2016-01-01 - New Year Protocol 2016
2015-12-12 - Trema Day
2015-12-09 - ネットワークプログラマビリティ勉強会
2015-10-13 - 数学は言葉#1
2015-09-25 - OpenContrail Meetup
2015-09-25 - Manage page state and sub-components with React.js
2015-08-16 - Starting React.js
2015-01-24 - OpenDaylight Tokyo User Group Kickoff Meetup
2014-11-18 - Visiting Voyage Group
2014-11-04 - Lycopeneで作っていく機能について
2014-10-15 - Reading "Everyday Cryptography" 02
2014-10-14 - Reading "Everyday Cryptography" 01
2014-10-06 - サーバ構築時の初期設定について
2014-10-04 - Ansible でCIサーバを構築する
2014-09-16 - Learning Functional Programming (04)
2014-09-15 - Learning Functional Programming (03)
2014-09-10 - AnsibleでSDNコントローラ開発環境をセットアップする
2014-09-09 - Learning Functional Programming (01)