@tetha

プログラミングが好きです。難しいことを考えると頭から湯気が出てくるので、大規模とか高速処理とかはスゴいプログラマな皆さんに任せて、 オレはλな猫を抱えて自分が楽しいプログラミングをします。主にSmalltalk、ちょくちょくVDM-SL、たまにPython、Haskell、VDM、Z。あー、最近またMirandaもツb

amateur Smalltalker

Smalltalkのファン。パーソナルコンピューティングの歴史や未来に興味を持つ。Smalltalkはアラン・ケイらが理想のPC向け暫定的OSとして70年代に試作し以降、GUIやIDE、OOPやデザパタ、開発手法等を創出、模倣されることで世に広めた。Smalltalkは、教養や古典である一方でアグレッシブな pharo.org などとしても今なお進化を続け、同時に他者へ影響を与え続けている。

Smalltalker.

Rubyのパパ

302 @makerbox

組込み系オープンソースの人、でした。 最近は Eclipse/Che コミッタとか、Kubernetes 関連を中心とした雑食エンジニア。

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

数学青春物語『数学ガール』の作者。プログラミング入門書や暗号入門書なども書いてます。

Haskellプログラマです。

grpc-gatewayというのを作ったり、『初めてのRuby』という本を書いたりした。界面と架橋が好き

Coqなどによるプログラムの正しさの検証・証明に興味があります。

大学教員。 「型システム入門 (TAPL)」訳者の一人。 OCaml と Haskell が好きです。 かつては IT プランニングという企業において関数型プログラミング言語でソフトウェア開発をしていました。 ソフトウェア形式検証とプログラミング言語に興味があります。 博士（情報科学）。