Haskell で D-Bus から systemd unit を制御する
Haskell で systemd の D-Bus API を呼び出して systemd unit の制御, ステータス確認等を行うメモ

AWS EC2 の各種環境を自動構築して distcc による分散コンパイルを実行する
軽い気持ちでクラウド上の分散コンパイル環境の自動構築から実行の仕組みをつくった記録

AWS SNS + S3 でバケット内の状態を即座に EC2 に反映するまで
AWS SNS による HTTP リクエストをトリガーに, S3 バケットの状態を EC2 上のコンテンツへ即座に反映するための構造と簡単な実装

ベイズの定理
ベイズの定理の学習メモ

オイラーの定理とカーマイケルの定理
群論的観点をふまえたオイラーの定理, およびカーマイケルの定理について.

VRRP on AWS VPC-EC2
EC2 で VRRP するときのメモ及びユーティリティツールの実装

Connector/C++ で MySQL を操作
MySQL を Connector/C++ で操作する際の忘備録.

エルガマル暗号
エルガマル暗号についての学習メモと実装

数論的関数の用語と例
数論的関数の用語, 例のまとめ

EC2 のタグを SDK で操作
AWS SDK for go で AWS EC2 のタグを色々と操作する

amazonka で EC2 インスタンスの操作
amazonka についての忘備録

De Bruijn Sequence
De Bruijn Sequence の概要とその発生について