Yoshihiro Imai

サクラは、一斉に咲いて、一斉に散るからこそ美しいのであります。

今すぐフォローすべき競技プログラミング界のスーパーエンジニア。国境無き猫もふ団。SuperCon2000優勝/ICPC2004,2005アジア大会優勝/ICFPC2010優勝,2019審査員賞/第一回京都大学総長賞/すごいHaskell/カレーマイスター http://tanakh.jp http://d.hatena.ne.jp/tanakh

I love programming in Haskell, and playing low flute (e.g. bass flute, contrabass flute and subcontrabass flute in F).

World No.1 IOCCC player https://www.ioccc.org/winners.html#Yusuke_Endoh https://github.com/mame https://twitter.com/mametter

コード書くのが好き / ATrium / #Rust #Python #TypeScript #OCaml #Go / プリキュア / 京都在住 仙台出身 将棋ウォーズ1級 二児の父 https://sugyan.com/

https://ocaml.org

OCaml, MirageOS, ECMAScript https://www.morimoto.io

Engineer at Noeon Research ← Engineer at Preferred Networks ← Research Scientist at 東芝.『抽象によるソフトウェア設計』『型システム入門』共訳者, Haskeller, github.com/msakai, twitter.com/masahiro_sakai facebook.com/masahiro.sakai

熊本/京都/神奈川/Coq/SSReflect/

QunaSys 早稲田/名古屋大  理論物理学/Arch Linux/Rust/SATySFi/FreeBSD/言語処理系/精度保証/OS自作/SAT Solver/定理証明/新井朝雄/アカペラ/人狼 https://twitter.com/yasuo_ozu

戀塚昭彦 https://twitter.com/koizuka https://nicovideo.jp/user/2 Threads: koizuka.jp

ここではギャグは書かないという強い意志

夏は東京でクライミング。 冬は白馬村でスノーボード。 GitHub: http://github.com/EzoeRyou YouTube: http://youtube.com/@stdcin/videos

I ❤️ Clojure

Long-time #Golang user&contributor, #GoogleDevExpert Go, #Vim, #Windows hacker, #GitHubStars, #runner. https://github.com/mattn

I'll go with heaven's advantage and fool's wisdom. / 私の発言は全て人類としてのものです。問題発言があった際は容赦なく人類を滅ぼしてください。 https://wraith13.github.io/writing/?wraith13.md

時雨堂

Lambda Note Ltd. https://twitter.com/golden_lucky 「本とかを読む」フィードを作りました https://bsky.app/profile/did:plc:lzkfak6yj3oejircw76wcj3z/feed/aaajb3wpagd26

数学青春物語『数学ガール』の作者です。2026年3月に青春小説『AIと生きる』刊行予定。2025年8月に『数学ガール／リーマン予想』刊行。執筆生活30年目。気軽にリプライくださいね。Amazonアソシエイトに参加中。 https://www.hyuki.com/ Author of "Math Girls". 30 years into writing introductory math and programming books. LaTeX / Vim / Ruby / Math / Writing /

ドラクエと暮らしたい

Leaner Technologies所属のWebエンジニア https://twitter.com/kokuyouwind

趣味は耳かきです。 Tw: @dominion525

Professor Emeritus, Mie University, Japan https://okumuralab.org/~okumura/

Agile Coach and Software Engineering Researcher, ML/AI Systems Engineering (MLSE) / For a job request: https://bonotake.notion.site/

名古屋で数学するプログラマ。著書『実践Julia入門』。機械学習（本職）/数学（趣味？）/Julia/Python/Ruby/JavaScript。手話学習中（サークル部長N期目（N≥10））。(有)来栖川電算に所属

パーフェクトRuby、パーフェクトRuby on Railsの著者の一人。 最近はRuby, Java, Kafkaあたりを良く触っている。 Twitter: https://twitter.com/joker1007 mastodon: https://mstdn.jp/@joker1007 mastodon bridge account: @joker1007.bsky.social@bsky.brid.gy

a Software Engineer https://phantomtype.com/yusuke

Webサービス開発、登山、育児、ゲーム。たまに映画と本。

Fishing, Kyoto, OCaml, No Phishing 釣り、京都

存在です http://github.com/yuroyoro/

@qnighy.qnmd.info.ap.brid.gy

Twitter: @suer

https://github.com/gfngfn https://twitter.com/bd_gfngfn https://gfngfn.github.io/ja/

小人閒居為不貞寝 @mr_konn from Twitter

PFNソフトウェアエンジニア/ex-Google/AtCoder創業。修論はいもす法、卒論はないんたんの天気予報。アイコンは岸田メル先生が描いてくれました。子供は5歳と1歳。 https://imoz.jp

名古屋でアレするプログラマ。デンキヤギっていう小規模イット会社のシャチョーもやってる。

@kumagi が獲得できなかったのでこのようになっています。

たたかう猫もふ

Dr. NISHIO Hirokazu | Doctor of Science & Master of Tech Management | Cybozu Researcher | Mitou Foundation Board Member | Whovian | Buddhist | Plurality ⿻ https://mem.nhiro.org/

SWE in US. SKK/Dvorakが好き。旅行行きたい。 PST/UTC-0800