@taketo1024.bsky.social

数学の研究者, プログラマ, 二児の父 (9歳女, 0歳男) https://taketo-sano.me/

@okumura.bsky.social

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

@mod-poppo.bsky.social

Haskell / Standard ML

@yohhoy.bsky.social

https://x.com/yohhoy

@nhiroki.bsky.social

Software Engineer. Chrome browser developer. Father of two boys. IIDX INFINITAS (SP 皆伝・DP 十段). Interested in computer systems and astrophysics. Twitter: @nhiroki_ Blog: https://nhiroki.jp

@tanakh.bsky.social

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

@shoyokoi.bsky.social

(理解|納得)のための(説明|正当化|推論|議論)を担う(言語|知識)の数理と上達の方法論とインセンティブデザインとアナログゲームに興味があります。

@evima.bsky.social

@tiramister.net

Japanese 🇯🇵 / Software Engineer (Java, AWS) / Competitive Programming (AtCoder: Orange)

@toru3.gitlab.io

好きなもの: Rust/C++(20以降)/i3wm/HPC/計算機代数/グレブナー基底/剰余環/FFT/多倍長計算/円周率/ボードゲーム/ドミニオン/鉄道/早見沙織 HP https://toru3.gitlab.io/ X(Twitter) @Toru31415926535

@gfngfn.bsky.social

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

@misawa.bsky.social

@iwiwi.bsky.social

@nobu-k.net

SWE@Meta, CTO@SAKE Street, Inc., Go/Rust/C++/TypeScript. DB(index,TX)/Distributed Systems(consensus). 9yr-old 2e girl. IIDX両皆伝. Opinions are my own. 子育てアカ: https://bsky.app/profile/2e.nobu-k.net

@poyo.me

計算スピード狂

@imos.bsky.social

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

@sksat.bsky.social

AT Protocol な実装/運営が複数マトモに出てくるまでは気持ちなし（最低でも招待制の closed な環境でなくなるまで←とりあえずなりましたね）。どちらかというと fediverse にいます。今は https://pasokey.net/@sksat がメイン。

@practical-scheme.net

Schemer, Lisper, Actor https://github.com/shirok https://imdb.me/shirokawai

@uint.bsky.social

compiler and microarch https://sigfpe.info/about

@yoh2.bsky.social

Rust スキーな Gentoo 使い

@kazatsuyu.com

猫です。人類は駄目 Zenn https://zenn.dev/kazatsuyu GitHub https://github.com/kazatsuyu Twitter https://twitter.com/kazatsuyu Fediverse https://monologue.kazatsuyu.com/@kazatsuyu

@azaika.bsky.social

何かをしている場合もある C++/Rust/形式検証

@tkihira.bsky.social

@kshinya.bsky.social

Software Engineer at Medley inc. こんなアイコンをしていますがお仕事では Web 開発をしています。 最近は TypeScript, React, Next.js などフロントエンドの関心が強め。 https://twitter.com/0x19f

@ezoe.bsky.social

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

@riywo.com

@lockfree.bsky.social

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

@tmaehara.bsky.social

https://tmaehara.gitlab.io/; TCS Researcher & ML Engineer. Brilliant British Foods: https://bsky.app/profile/did:plc:dqxsa5cjfrzulhalom4kuyd2/feed/aaaiqwjhlzavy Bluesky Bots https://gitlab.com/tmaehara/bluesky-newsbots