Dai MIKURUBE @dmikurube.bsky.social Software groundworker. Hardly-working fully-stuck go-fer person.
Competed in ACM-ICPC. Lived in UK. Maintained Embulk. Worked for OS/VM/middleware/web browser. Ex-researcher at industry.
Moved from: https://twitter.com/dmikurube
@m196883.bsky.social @m196883.bsky.social 
Sigma @superhacker.bsky.social #Haskell
I’m studying English.
[My tech Articles(Translated into English by AI)](https://zenn.dev/sigma_tom)
[GitHub](https://github.com/RyosukeDTomita)
abekoh @abekoh.dev Software Engineer / https://abekoh.dev
Mune-san @muneoiz.moizumi99.com Image Processing IP Architect at NVIDIA／いわずもがなですが発言は個人のものであり所属先とは関わりありません／同人誌「ゼロから作るRAW現像」PDF版 http://moiz.booth.pm/items/1292480 / US/California/SouthBay
tomerun @tomerun.bsky.social 日常
ＳＴ０１０－１４ @st01014.bsky.social Code synthesizing Carbon-Silicon based lifeform 🖥️🧬
#Coding #Math #Physics
#HPC & #AI
#RetroTech
#Aerospace
#ＡＥＳＴＨＥＴＩＣＳ
Random #Nerdiness & #Shitposting
@randyisrandom.bsky.social @randyisrandom.bsky.social Formal Methods/Digital Philology #OCaml #Rocq #Agda#Unix
Investigating the illusion of discreetness
しらおか @whitetamaaa.bsky.social フロントエンド寄りのプログラマー
TS/React/Hono/PHP/Laravel/Rust/Haskell あたりを深めていきたい
Mutsuha Asada @momee.mt Nix / Automated software engineering / Reproducible builds / Compilers
Science Tokyo 27M ← ITF.coins22
https://momee.mt / x.com/mutsuha_asada
理乃智 @rinochi.bsky.social https://x.com/RinochiNOeSIS
津茶利休 @ttylys.bsky.social 
José A. Alonso @jalonso.eurosky.social Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Homepage: https://jaalonso.github.io
Sevilla, Spain 
かつて ゆうだい だった何か.jl @tenfac.bsky.social Tensor factorizer
@terrorjack.bsky.social @terrorjack.bsky.social 
Sam Derbyshire @samderbyshire.bsky.social Cohomology enthusiast. I've seen rings you people wouldn't believe.
折登 樹 @bsky.orito-itsuki.net https://strata.orito-itsuki.graphics
wanimaru @wanimaru.jp 広告プラットフォームエンジニア, クライマー
Signal:wanimaru.02
かおるこたゃ @x56.jp プログラミング言語の研究。生活。しばらくスイスへ。
Muskeltrainingsübermenschbot @wtsnjp.com Nichts ist wahr, alles ist erlaubt
📍 die bunte Kuh
🪦 https://wtsnjp.com
Wataru JK1KTT @jk1ktt.bsky.social Haskell, electric circuits, Ham Radio, minerals, violin, leather crafts
1アマ、一陸持ちの10W局
霧咲空人/アッキーだよ✨ @akihitokirisaki.bsky.social エンジニア/絵描き
https://klara.works
clove @clove823.bsky.social Programmer, SWE
音楽・エレキギター演奏がライフワーク（現在お休み中→再開を目論見中）
https://github.com/clove335
t3tra @t3tra.dev 5000兆円欲しい
https://t3tra.dev/
https://x.com/t3tra_x
https://github.com/t3tra-dev
Az @azaika.bsky.social 何かをしている場合もある Web/Chromium/C++/Rust/形式検証
櫻井洋志 @h-sakurai.bsky.social Prolog,MSX,MSX3,AMIGA,OCaml,操作的意味論,型理論,Verilog,FPGA
ぽんず @ponzoie.bsky.social 競技プログラミング
https://atcoder.jp/users/ponzoie
アイコン https://x.com/takepoison9
https://github.com/ponzoie
@xu23uz5w3o1.bsky.social @xu23uz5w3o1.bsky.social 
I @wx257osn2.template.typena.me twitter.com/wx257osn2
github.com/wx257osn2
📎🐸🕊️ΩZhSigma@332ppm≅Σx,x∈S{🌱💚🇪🇺λP(θ|y)⁂}learn-languages-world-life @stphrolland.bsky.social S.L. Rolland@332ppm
RepostReadLearn:
Rom 🇫🇷🇪🇸🇪🇨🇲🇽🇮🇹🇵🇹🇧🇷GalCat🇷🇴
Germ 🇬🇧🇨🇦🇳🇱🇧🇪🇿🇦🇩🇪🇸🇪🇩🇰🇳🇴Nno;🇫🇴🇮🇸
Slv 🇵🇱🇺🇦🇷🇺🇨🇿🇸🇰;🇧🇬🇭🇷🇷🇸/🇧🇦🇲🇪🇧🇾🇸🇮
IE 🇬🇷🇮🇷 HanZ 🇨🇳🇹🇼🇭🇰🇯🇵 Aggl Eo🇹🇷🇫🇮;🇪🇪🇭🇺🇰🇷🇲🇳
Poly 🇬🇱 Aus 🇮🇩🇲🇾🇵🇭🇲🇬 Sem 🇮🇱🇱🇧🇲🇦 Cel 🏴🇮🇪Gd
Linguistics
ClimateAgnotologyDisinformation
SentientismFlexitarian
Astro🌟🌒🌕🌘Calligraphy🪶
Linux
𝖅𝖊𝖗𝖔⚡𝖙𝖗𝖆𝖈𝖊 @zerodayphantom.bsky.social Ghost in the algorithm. Whisperer of APIs. Building the unseen, bending the rules. Follow the signal—if you can.
Koji Miyazato @viercc.bsky.social Twitter(X), GitHubなどにいるのと同一人物です
openpgp4fpr:B2E1DC9AF16599BD2D873A227BABC58075EC4EE6
興味: Haskell, 数学
Patrick BERNARD @29pat.bsky.social @Renaissance
@Renaissance29 @RenaissanceQBO
adore #MacronardsFM !...
Comptes #X (ex-Twitter) : @29Pat2 et @29Pat
Compte #threads : patrickbernardmahe
Compte #instagram: patrickbernardmahe
Compte #Facebook : Patrick Bernard-mahe,
Compte #Pinterest : 29pat🇨🇵- K @kinodjnz.bsky.social @kinodjnz.bsky.social
@jajajajajaha.bsky.social @jajajajajaha.bsky.social Major weirdo
Exposure farming for @psychotiddybear
Niccori 250k @niccori250km.bsky.social ja / en / la / (grc)
好きなものを書き連ねようとしたけどどれもまとめ方に困ったので諦めました。
猫海あやめ @handle.invalid she/her. Bachelor Students, Virtual YouTuber, Programmer
まっちゃん @macchan09.bsky.social コンピュータがすきで独学で勉強しています。2Dゲームを作りたいと思ってゲーム開発で学ぶC言語入門を買いましたが積ん読になっています。本のシューティングを雑誌の記事を参考にしてコントローラー対応したのですがソースが消えてしまいました。(^^)
XiSA @kfznhmst.bsky.social Long distance cyclist
+ '16-'19, '22-'25 Super Randonneur
+ PBP2019 完走
+ 1001 miglia 2024完走
https://a143753snote.blogspot.com/- T t @tomcat1414.bsky.social
@ronekko.bsky.social @ronekko.bsky.social 
@ilyaletre.bsky.social @ilyaletre.bsky.social Ops 寄りの仕事をする擬プログラマ。
関数型プログラミング , 一部のLisp方言, ネットワーク技術, 丹沢山系 #ときのそら 🐻 と #ぜったい天使くるみちゃん が好き。ロボットになりたい。
h8t0（ハヤテマル） @h8t0.bsky.social SWE/NLP見習い ← Ph.D. in Physics @UT
Twitterと同じID
https://ho-oto.github.io/
Mizunashi Mana @social.mizunashi.work 弱い Haskeller。C言語が書けないのでプログラミングできないです
主にマストドン生息。マストドンの投稿をここにも流してますが、Bluesky 側の投稿はどこにも流してないのでご安心を
Home: https://mizunashi-mana.github.io/profile/- M mmy(BlueSkyのすがた) @mmybs.bsky.social FreeBSD casual user
ーかゃく @nwpzphn9wui8mbj.bsky.social https://x.com/cjjj1s
https://pyrrhula.vercel.app
@qoiceize.bsky.social @qoiceize.bsky.social 
Nazeem @n4ze3m.com (?:I|i) writes? code\s*?🤖 / fun side project github.com/n4ze3m/dialoqbase , github.com/n4ze3m/page-assist
🔗 https://n4ze3m.com
ミカヅキモ @midorimushi.bsky.social ミカヅキモ
kakkun61 @kakkun61.bsky.social https://kakkun61.com
windymelt @capslock.dev プログラミング言語Scalaのコミュニティ「Scalaわいわいランド」を運営しているよ。←ググって！！！
https://www.3qe.us
PGP: F2FC 63C2 42C0 4D9D
ew @uzhmzh.bsky.social twitter.com/uzhmzh
kubo39 @kubo39.bsky.social D言語とブルアカとトリッカル
GitHub: https://github.com/kubo39
kagami-hr @kagami-hr.bsky.social 神奈川県藤沢市在住 東北大学卒業理学修士 (数学専攻) 現在プログラマー 社民党党員 (X https://x.com/kagamin_hr)
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
たーかすぃー @sakamocchi.jp https://social.kernel.org/takaswie
https://github.com/takaswie/
https://crates.io/users/takaswie
https://people.kernel.org/takaswie/
@khibino.bsky.social @khibino.bsky.social 
適正体重 @silasol.la プログラミング言語と数理論理学がすきです🐹
・個人サイト: https://silasol.la
・Keybase: https://keybase.io/silasolla
・ソーシャルメディアは、基本的に silasolla というユーザ名でやっていますが、例外もあります: https://silasol.la/links
くだもんくだもん @kudamonkudamon.bsky.social 数学とゲームが好きです。
Market Wire News @marketwirenews.com Market Wire News is a news platform to help research, connect and engage
https://marketwirenews.com
https://marketwirenews.com/disclaimer/
dif_engine @dif-engine.bsky.social 超準解析／翻訳『計算論理と人間の思考』／豚肉食へのヘイトから自由／
stooone @stoooooone.bsky.social ゲーマー
Hideaki Takahashi @hide23.com A programmer.
https://github.com/hideaki-t/
@natsutan001.bsky.social @natsutan001.bsky.social 
atree @atree4728.bsky.social B3, IS26, atree4728.github.io, Haskell, OCaml
@zenamp.bsky.social @zenamp.bsky.social 
Nobuo Yamashita @nobsun.bsky.social I love programming in Haskell, and playing low flute (e.g. bass flute, contrabass flute and subcontrabass flute in F).
サクラ @1997-takahashi.bsky.social サクラは、一斉に咲いて、一斉に散るからこそ美しいのであります。
さんたむ @keysnow.bsky.social 俺たちはきっと分かり合える
wasabi @wasabi315.bsky.social :: (PhD Student at ScienceTokyo, traP, Haskell, Agda, OCaml)
https://wasabi315.github.io/en/
星にゃーん @takoeight0821.bsky.social 
popyson @popyson.bsky.social Computer Science Student
taf @taf360.bsky.social 3月まではIT系専門学校教員。スクラム開発、デザイン思考などを教えておりました。その先はまだ未定。
https://lit.link/taf- E @eigenvalue0224.bsky.social @eigenvalue0224.bsky.social
Lobbyboy @lemonadern.dev https://lemonadern.dev
yoh @yohhoy.bsky.social https://x.com/yohhoy
しお @sios.io how 誰 you
mfuji🦦 @fuji.bsky.social #os #cpu #robot
Yoshiaki Kawazu🐸ずん @kawazzz.bsky.social kawazのID取れなかったのでここではkawazzzで行く。何にでも興味を持つ雑食性。主な生息域はインフラ寄りのプログラマー。漫画やアニメやゲームの話題も多い。
あねてあ™ @ https://metaba.su @yr32.net Tw: yanorei32
keybase.io/yanorei32 MitouJr.'17
PGP: 7E84 1086 AA66 F001
http://metaba.su でウネウネしてる 0x15 y.o.
櫛谷くしゃ/kusya kushiya @n74148970.bsky.social 数学(グラフ理論)が好きでBarnetteの予想を解決しようとしています。/修士号は工学(タンポポの綿毛と流体解析にすこし詳しい)/紙器設計もやってた/ADHD/ASD/障害年金を受給しながらゆるゆるとプライム上場企業の下っ端をやってます。
sasakiy84 @sasakiy84.bsky.social https://blog.sasakiy84.net/
https://niji-relive.sasakiy84.net/
https://financial-statements-visualization.sasakiy84.net/
ソフトウェアエンジニア, 大学院生, にじさんじの多視点配信ビューワーとか財務諸表可視化とか
きつね村 @ivorypawn.bsky.social 将棋とか https://ivorypawn.github.io/
Yudai Tanabe @yudaitnb.bsky.social 
Daiji @daiji256.bsky.social 腹が減ってはいいくそは出ない
聖永宗玄 @puremadoka.bsky.social 桃の夭夭たる 灼灼たり其の華
https://github.com/mumei-xxxx
おく(@OKU_K) @okuk.bsky.social 熊本/京都/神奈川/Coq/SSReflect/
夜糸@bsky @yai.to - O @orca17.bsky.social @orca17.bsky.social
- H @hilssh.bsky.social @hilssh.bsky.social
@fetburner.bsky.social @fetburner.bsky.social https://fetburner.hatenablog.com/
鵺（マッチ） @nue-of-k.bsky.social 情報と数学をなんとなく愛する 0x24 歳のかわいい生き物。 雑学; 鉄道（乗り潰し派）; 卓ゲ; 散歩; 献血; 文字; 計算機科学; プログラミング; 超準解析; 圏論; 変人; 運痴; 記録魔; 少食系; 光のほげほげ士
📍関東平野 👤 tā/tā 🎈誕生日: 1989年7月6日
📆 2023年7月からBlueskyを利用しています
Masaki Waga @maswag.net 
某ZR（ざんねん🙃） @zr-tex8r.bsky.social zr_tex8r is ZR and can make mistakes.（ざんねん🙃）