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