@huddle

最近はMLをやっています。

最近の趣味はGraphQLとFigmaです。

シュレーディンガーの社会人.js

不労所得で生きたい。

Rubyのパパ

🥺

一般的なHaskeller

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

さくらちゃんはアーティストやぎぃ フリーランスUXハッカー プログラマー（Elm, Haskell） プログラミングElm訳者 http://amzn.to/3IOR4bF ヤギ語翻訳 ARoW代表 http://arow.info http://sakurachan.info/

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

Haskellプログラマです。

セコンです。

Qiitaを作っているIncrements株式会社の創業者

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

PHPとか

Haskeller, Vimmer, Engineer.

ネギトロがすきです

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

凝った記事は Zenn <https://zenn.dev/lotz> に書いていきます

僕に警備する自宅をください。Emacs初心者。Rubyist。 全ての投稿された記事は別段の表記がない限りはCC 3.0 BY-SA https://creativecommons.org/licenses/by-sa/3.0/deed.ja で二次利用できます。 記事中に含まれる全てのコードスニペットの著作権は抛棄するので、煮るなり焼くなりお好きにどうぞ。

#Android #Java #Kotlin #Ruby #RubyOnRails #Elasticsearch

React/TypeScript/VSCodeやメタプロが好きです。元々バックエンドエンジニア経験および、UNIX/Win32ネイティブアプリ開発経験の方がフロントエンド経験より遙かに長いので、フロントエンド初心者です。

フロントエンド / 九州大学卒 / ウェブ制作 / JavaScriptコードレシピ集の著者 / CSS Nite 2017〜2019ベストセッション / TechFeed公認エキスパート /お仕事依頼はDMまで

JobQ Town （job-q.me）というサービスの事業部長をしています。Laravel や GTM や WordPress がすきです。お仕事でほとんど開発はしていないです。

株式会社ソニックガーデンのRubyプログラマ。「プロを目指す人のためのRuby入門」の著者、および「Everyday Rails - RSpecによるRailsテスト入門」の翻訳者。 プログラミングスクール「フィヨルドブートキャンプ」のメンターでもある。