- K @korou7789.bsky.social @korou7789.bsky.social
櫻井洋志 @h-sakurai.bsky.social Prolog,MSX,MSX3,AMIGA,OCaml,操作的意味論,型理論,Verilog,FPGA
相馬美穗 @xiangmameisui85.bsky.social 誠心一筋に生き、人の幸せの支えとなれ
愛と規律、自学創造、努力と進歩
誠心・仁愛・誇り
Krystine Smith @euterpeaflute.bsky.social Flutist. MT-BC. Renfaire Goer. Pug Lover. USMC Vet.
🏳️🌈🏳️⚧️✊🏾
Check out my albums Euterpea Fantasy Flute and Euterpea Pirate in Paradise streaming on all platforms🎶
Miguel del Aguila @migueldelaguila.bsky.social https://migueldelaguila.com
Three-time Grammy nominated American composer.
snaka @snaka.bsky.social あなたがフォロワーを覗いている時、フォロワーもまたあなたを覗いているのだ。
https://github.com/snaka
Juliana Dias 👩🏻💻☕ @juuh42dias.bsky.social #Ruby Software Craftswoman | Admin at https://t.me/rubybrasil | https://juliana.dev | she/ela | Made in Goiás | I use MacOS, btw.
| @juuh42dias:matrix.org | xmpp:juuh42dias@isacloud.im | Signal juuh42dias.42
Brenntron @brenntron.bsky.social - S @sushipot.bsky.social @sushipot.bsky.social
本多よむ＠Vtuber準備中 @hondayomu.bsky.social 東洋竜の末裔の小説好き🐉
どんな本でも読んだと言いたいけど、年齢三桁ではまだまだビブリオマニア竜族のひよっこ
高みを目指して、ネットの海に同好の士を探しにきたよ📖
小説やTRPGなどのシナリオ作成の資料探しも好き この辺も語ったりします
Youtube: https://www.youtube.com/@hondayomu
X: https://x.com/honwoyomuyomu
@katrinaemtage.bsky.social @katrinaemtage.bsky.social 
Hans Tonino @htonino.bsky.social Improvising flute player, maker of electronic music, and (a bit) composer. Trained logician and educator. More info: htonino.nl
Jen Townsend - Flute @jentownsendflute.bsky.social Jen is an award winning flute soloist, orchestral musician and teacher, performing across the UK
Yoichi Hirai @pirapira.bsky.social interested in computation and logic.
Umu @umu-mu.bsky.social 都内で働くITエンジニア。
コピーフリーPDFで販売される電子書籍販売サイトをまとめています。
https://twitter.com/Umu999_0YOtJHCt/status/1286591433776828416
http://zenn.dev/umu
http://umu-mu.hatenablog.com
アイコンとヘッダーは世界で一番美しい山。
@ilyaletre.bsky.social @ilyaletre.bsky.social Ops 寄りの仕事をする擬プログラマ。
関数型プログラミング , 一部のLisp方言, ネットワーク技術, 丹沢山系 #ときのそら 🐻 と #ぜったい天使くるみちゃん が好き。ロボットになりたい。
極端流形式仕様 初代𝕍𝕚𝕖𝕟𝕟𝕒𝕋𝕒𝕝𝕜𝕖𝕣 @tomooda.bsky.social Programming isn't logic. It's magic! プログラミングが好きです。難しいことを考えると頭から湯気が出てくるので、大規模とか高速処理とかはスゴいプログラマな皆さんに任せて、 オレは自分が楽しいプログラミングをします。仕様はIDEで書け。後悔あとをたたず。ダイナブック信者。熊本城主。
Janos0207 @janos0207.bsky.social Data Engineer, Master of Science (Mathematics)
https://linktr.ee/janos0207
@o1lo01ol1o.bsky.social @o1lo01ol1o.bsky.social 
Goku @gebigoku.bsky.social https://github.com/jojoid
福澤🦀福助 @hukupo.bsky.social ：福澤福助（ふくざわふくすけ）
：日ノ本東側在住
：成人済ややオタク
：腐も夢も食べれる
：文字など書く
：ぬいと暮らす
：好き👉pkmn/DMC/bsr/ｱﾄﾗｽ/とうらぶ/ゼル伝/fgo/ﾂｲｽﾃ/sidem/94/創作など無節操
pokarim.txt @pokarim2.bsky.social プログラマ
@pokarim.bsky.social が写真投稿アカウントになってしまったので雑記アカウントとして作りました
作成中の個人ブログ https://pokarim.net/blog/
エディタつくったりしてる https://note.com/pokarim/n/na0c01d42c574
Tsubasa @tsukkun.bsky.social Software Engineer
https://x.com/javascripter (same thing)
Nazeem @n4ze3m.com (?:I|i) writes? code\s*?🤖 / fun side project github.com/n4ze3m/dialoqbase , github.com/n4ze3m/page-assist
🔗 https://n4ze3m.com
クラウドノート @kuraudonoto.bsky.social 素敵な音楽
Kvar Kaiser @kvarkaiser.bsky.social 
cybai @cybai.dev Taiwanese, never Chinese!
λ. @ServoDev contributor, Mozillian.
Opinions are my own. he/him
株式会社タイムインターメディア｜TIMEINTERMEDIA @timedia.co.jp AI・Webシステム開発｜株式会社タイムインターメディアの公式アカウントです。
会社HP： https://www.timedia.co.jp/
技術者ブログ： https://www.timedia.co.jp/tech/
X公式アカウント： https://x.com/TIMEINTERMEDIA
#企業アカウント #SI #SIer #OSS #AI #進化計算 #Blockchain #Ruby #Csharp #Python #Haskel #Azure #AWS
@khibino.bsky.social @khibino.bsky.social 
kim_CattyYu918 @julysou.bsky.social Love myself #Mummy_Single🦋🦋
鬼翠たくみ@Vtuber @sikuisumire.bsky.social 👹齢5022歳の鬼姫Vtuber👹
ゲーム🎮廃人
栄養源はコーヒー☕
✨９月４日生まれ✨
好物は焼鳥🐓と和菓子🍡🍘
目指せ受肉‼️
応援よろしくなのじゃ👹✨
⚠️DMは変なのがいっぱい来るので
基本見てません。皆も変なURL踏まないように気をつけてな❓
X https://x.com/takumi_kisui
Youtube https://www.youtube.com/@kisuitakumi
stooone @stoooooone.bsky.social ゲーマー
YAMAMOTO Yuji （HN: すがすがC言語） @igreque.info プリキュアと音ゲーとポムポムプリンとプログラミングが大好き
Loves PreCure, rhythm games, computer programming, and Pompom Purin!
Personal Website: https://the.igreque.info/
Misskey: https://rhythmisskey.games/@igrep
GitHub: https://github.com/igrep
旧Twitter: https://twitter.com/igrep
mod_poppo @mod-poppo.bsky.social Haskell / Standard ML
さんたむ @keysnow.bsky.social 俺たちはきっと分かり合える
wasabi @wasabi315.bsky.social :: (PhD Student at ScienceTokyo, traP, Haskell, Agda, OCaml)
https://wasabi315.github.io/en/
kaede2020 @kaede2020.bsky.social 競技プログラミングが趣味で仕事です。競プロ要素少なめ。食べ物多め。
Jun Mukai @jmuk.org A software engineer
fediverse: jmuk@ap.jmuk.org
pokarim @pokarim.bsky.social programmer, hobbyist photographer
All my #unedited photos were taken with EOS R6 and faithful picture style.
雑記など: @pokarim2.bsky.social
adultpostingman @adultpostingman.bsky.social 🫶大人な本や画像・動画を紹介していくよ 🫶
🔞いい動画揃ってます🔞
Logicoffee @logicoffee.tech 数学科卒データエンジニア/統計学/ランナー
https://blog.logicoffee.tech/
TojoQK @tojoqk.bsky.social Lisp と自由ソフトウェアと行動分析学が好きです。
Typed Racket や Coalton のような型のついている Lisp や、自動定理証明器の ACL2、GNU Guix System に興味があります。
個人サイト: https://www.tojo.tokyo/
Mastodon: https://mastodon.tojo.tokyo/@tojoqk
阪本さん（猫混合ワクチン💉×５） @shinonomelab.bsky.social 🌏 東雲研究所
Nabe @ryusei7777777.bsky.social どうもりゅうで～す🥰🥰🥰
よろしくお願いいたします🥰🥰🥰🥰🥰🥰🥰🥰🥰🥰🥰🥰🥰
ユーチューブの概要欄はこちらへ↓
https://youtube.com/@ryusei_707?feature=shared
Xはこちら↓
https://twitter.com/ryusei_707
tiktokはこちら↓
https://www.tiktok.com/@nabe2147?_t=ZS-8v53eIwuT5z&_r=1
@yutoper.bsky.social @yutoper.bsky.social 現在クラスタ: 7144, Haskell他, Mastodon
プロフに書きたいこと忘れました。
Rustはいいぞ
I accept english replies. Dev etc.
雀魂: 105120192
欲しいもの: https://www.amazon.jp/hz/wishlist/ls/CJR0MSRI35CF?ref_=wl_share
しお @sios.io how 誰 you
アズなんとかさん @as-capabl.bsky.social かつて小説書きをやっていたプログラマ。東方二次ではリコーダーという名前でみすちーを主に書いていました。育児中。原神、プリコネ、ブルアカ辺りをプレイ中。ヘブバンとグラブルとシャニマスもたまに。業務はWin向けパッケージ開発、好きな言語はHaskell, C++。
りさく @fubabz.bsky.social like: guitar🎸, haskell, scala, ukka
mastodon accounts:
@fubabz@mastodon-japan.net
@fubabz@vivaldi.net
Koji Miyazato @viercc.bsky.social Twitter(X), GitHubなどにいるのと同一人物です
openpgp4fpr:B2E1DC9AF16599BD2D873A227BABC58075EC4EE6
興味: Haskell, 数学
m15a @m15a.dev Freeλance data scientist
もっちぃ @tanimocchi.bsky.social 発言は個人的なものであり、所属組織とは無関係です。ただのおっさんです。
whatta @watarun-n.bsky.social Software Engineer, Skier, Snowboarder, Scuba Diver, Freediver.
主に札幌からお届けします。よろしくどうぞ。
Yoshihiro Imai @yoshihiro503.github.io 
ぴくすふぁんく @pxfnc.bsky.social 
nakaeyuriko.bsky.social @nakaeyuriko.bsky.social 株式会社Nextatの中榮健二に避妊のしない性行為をされて認知だけと言われ中絶させられた。
自分に気があるのを分かって私が何も言い返さないのを知っての発言。最低の極み。
Wataru JK1KTT @jk1ktt.bsky.social Haskell, electric circuits, Ham Radio, minerals, violin, leather crafts
1アマ、一陸持ちの10W局
おがわけんたろう @kentaroogawa.bsky.social 都会の片隅で技術開発系のお仕事をしています。Postの内容は、物理・数学・科学一般・まれに自然言語、あと写真などなどごたまぜです。 写真の二次利用は写っているモデルさん以外は一切禁止です。
NISHIO Hirokazu @nishio.bsky.social Dr. NISHIO Hirokazu | Doctor of Science & Master of Tech Management | Cybozu Researcher | Mitou Foundation Board Member | Whovian | Buddhist | Plurality ⿻
https://mem.nhiro.org/
Hideyuki Tanaka @tanakh.bsky.social 今すぐフォローすべき競技プログラミング界のスーパーエンジニア。国境無き猫もふ団。SuperCon2000優勝/ICPC2004,2005アジア大会優勝/ICFPC2010優勝,2019審査員賞/第一回京都大学総長賞/すごいHaskell/カレーマイスター http://tanakh.jp http://d.hatena.ne.jp/tanakh
oto @oto-oto-oto.bsky.social 
Masahiro Sakai @msakai.bsky.social Engineer at Noeon Research ← Engineer at Preferred Networks ← Research Scientist at 東芝.『抽象によるソフトウェア設計』『型システム入門』共訳者, Haskeller, github.com/msakai, twitter.com/masahiro_sakai facebook.com/masahiro.sakai
athos @athos.dev I ❤️ Clojure
@qkun9.bsky.social @qkun9.bsky.social - Y @yoshikunijujo.bsky.social @yoshikunijujo.bsky.social Haskell好き
- P @pxf01515.bsky.social @pxf01515.bsky.social
g000001 @g000001.bsky.social g-000-001
Nemomo @nemomo.bsky.social 🚀
n @n1215.bsky.social 主にWebアプリケーション・ゲーム開発・焼肉周りの話題。PHP / Laravel / TypeScript / Kotlin / Google Cloud / Unity / ラーメン / 日本酒 / 京都
X: https://twitter.com/n_1215
Mizunashi Mana @social.mizunashi.work 弱い Haskeller。C言語が書けないのでプログラミングできないです
主にマストドン生息。マストドンの投稿をここにも流してますが、Bluesky 側の投稿はどこにも流してないのでご安心を
Home: https://mizunashi-mana.github.io/profile/
眼力 玉壱號 @objectx.bsky.social You must finish what you started.
Signal: objectx.89
Iwao KIMURA @iwaokimura.bsky.social I’m a mathematician.
Jun Furuse @jun.dailambda.jp Fishing, Kyoto, OCaml, No Phishing
釣り、京都
Toru Hisai @torus.bsky.social ゲームデベロッパーです！
スタジオアカウント→ @seaknot.studio
制作中のゲーム→ https://store.steampowered.com/app/3002060/Brass/
Amazon のアソシエイトリンクをたまに貼ります。
Yukihiro Matz @matz.bsky.social Ruby's Father 
Takuto WADA @twada.bsky.social Twitter では t_wada でした
プログラマ。テスト駆動開発実践者。power-assert-js 作者。『テスト駆動開発』を翻訳、『プログラマが知るべき97のこと』『SQLアンチパターン第2版』を監訳/監修、『事業をエンジニアリングする技術者たち』を編纂しました。
naoya_t @naoya-t.bsky.social 📍Я⦿Ж⦿R
Shiro Kawai @practical-scheme.net Schemer, Lisper, Actor
https://github.com/shirok
https://imdb.me/shirokawai
Keigo Imai @keigoi.bsky.social 
@yhara.bsky.social @yhara.bsky.social https://yhara.jp
にわけん☯️ @niwaken.jp 酒場情シス
ケ・セラ・セラ 今ここを楽しんで生きよう
kakkun61 @kakkun61.bsky.social https://kakkun61.com
Keiichiro Shikano @golden-lucky.net Lambda Note Ltd. https://twitter.com/golden_lucky
「本とかを読む」フィードを作りました https://bsky.app/profile/did:plc:lzkfak6yj3oejircw76wcj3z/feed/aaajb3wpagd26
結城浩 / Hiroshi Yuki @hyuki.net 数学青春物語『数学ガール』の作者です。青春小説『AIと生きる』刊行！2025年8月に『数学ガール／リーマン予想』刊行。執筆生活30年越え。気軽にリプライくださいね。Amazonアソシエイトに参加中。
https://www.hyuki.com/
Author of "Math Girls". more than 30 years into writing introductory math and programming books.
LaTeX / Vim / Ruby / Math / Writing
ゆきくらげ ❄ଳ @yukikurage.net 基本的にうるさいです
🎮ゲーム制作 stellagate.yukikurage.net
♥️ 純粋関数型 (PureScript) zenn.dev/yukikurage/articles/482a8647421fd5
🎵 作曲(Dynamix / Takumi³ / ChainBeeT) soundcloud.com/yukikurage
🎨 イラスト www.pixiv.net/users/44737353
traP元代表 twitter.com/traPtitech
画力・博士号・油田 @gfngfn.bsky.social Website: https://gfngfn.github.io/ja/
GitHub: https://github.com/gfngfn
Twitter (”X”): https://twitter.com/bd_gfngfn
arton @artonx.org Programmer Architect