Followees
Takehiro Matsushima@takehironetLinux-HA/DRBD/Corosync/Pacemaker/Rust/Java/C/C++/Bash/CentOS/ArchLinux/PostgreSQL/Asterisk/OpenSIPS/Kamailio/VoIP/Network
- @t-sin
SKKとCommon LispとLem(Common Lisp製エディタ)がすきです。
- saharan@shr_em
メモとか
- MIZUNO Hiroki@mzp
Coqなどによるプログラムの正しさの検証・証明に興味があります。
- Mesuda Kei@keim_at_si
Japanese stray game creator. Developer of SiON, CannonML, Nomltest and so on.
- Hideyuki Tanaka@tanakh
Haskellプログラマです。
笹川 賢一@sym_numLALの笹川です。よろしくお願いします。
