zeptometer

@sigplan-pldi.bsky.social

The ACM SIGPLAN Conference on Programming Language Design and Implementation. Website: https://pldi25.sigplan.org/. Official hashtag this year: #PLDI2025. Posts by @konstantinoskallas.bsky.social and @lastland.bsky.social.

@azaika.bsky.social

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

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

言語処理系いじりとロジックが好き 相方→@qnighy [bridged from https://qnmd.info/@qnighy on the fediverse by https://fed.brid.gy/ ]

@pirapira.bsky.social

interested in computation and logic.

@censored.yabaitech.tokyo

2年以内にDを取る必要がある

@moratorium.bsky.social

ret2bed https://x.com/moratorium08

@ray4.bsky.social

twitterからの移住先として適切かどうか探るアカウント twitter→@10665

@kentbeck.com

Independent I guess these days you'd say content producer, artist, programmer, musician, pokerist. More about me at https://KentBeck.com.

@twada.bsky.social

Twitter では t_wada でした プログラマ。テスト駆動開発実践者。power-assert-js 作者。『テスト駆動開発』を翻訳、『プログラマが知るべき97のこと』『SQLアンチパターン』を監訳/監修、『事業をエンジニアリングする技術者たち』を編纂しました。

@ka92.bsky.social

絵や漫画を描きます

@frieren.websunday.net

週刊少年サンデー連載中『葬送のフリーレン』（原作：山田鐘人／作画：アベツカサ）の原作公式アカウントです。更新情報などを編集部員がつぶやきます。第14巻&特装版発売中！TVアニメ第2期2026年1月放送。

@rs.sakura.ad.jp

サービスに関わる情報をゆるく発信している公式アカウントです。 ブルスカにも開設しました！

@yudaitnb.bsky.social

@kcz.bsky.social

ln -s https://social.mikutter.hachune.net/@kcz146 /dev/stdout

@maswag.net

@inunokagayaki.bsky.social

かにとなかよく

@ozu.bsky.social

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

@yanoshi.bsky.social

わたし こんてんつ たべる https://twitter.com/yanoshi

@kuwuwa.bsky.social

Life

@monaqa.bsky.social

Vim と Rust 言語が好き。5弦ベースを弾いてます https://github.com/monaqa

@kikurage.bsky.social

@1041uuu.bsky.social

https://1041uuu.jp/

@shutozennin.bsky.social

北京・上海・広州（10年）→横浜。本場で知った中華料理生活と野毛ハシゴ酒の記録。初レシピ本「あたらしい家中華」が13刷！料理レシピ本大賞Ｗ受賞！note「おうちで中華」で新レシピ発信してます。

@plus7.bsky.social

Supercomputing. Tofu Interconnect/InfiniBand. MPI. メインはこっち→ https://mstdn.jp/@plus7 📍 蒲田 📅 2023年7月からBlueskyを利用しています

@vekatze.bsky.social

私の時計で始めます。

@nayuta-yanagisawa.bsky.social

企業研究者←DB開発者←WEBエンジニア←大学院博士課程、博士（理学）、エルデシュ数3

@enosumi.bsky.social

eno sumi /漫画家/after god/ 著作一覧→ https://onl.sc/r78SBKw LINEスタンプ→　https://onl.tw/4Ms1Yby ブログ→　https://enosuminoblog.blog.fc2.com インスタ→ https://instagram.com/eno_sumi

@gfngfn.bsky.social

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

@kobae964.yabaitech.tokyo

競プロer ラテン語好き Ubi caritas et amor sunt, ibi sum ego.

@wsbz.yabaitech.tokyo

数理論理学と形式手法の話をしない

@udon0531.bsky.social

漫画家です。マネマネにちにち連載中。からかい上手の高木さん。それでも歩は寄せてくる。くノ一ツバキの胸の内

@voluntas.net

時雨堂

@ngntrtr.bsky.social

。

@golden-lucky.net

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

@ukikagi.jp

人や銀河や修羅や海胆

@qnighy.bsky.social

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

@practical-scheme.net

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

@jun.dailambda.jp

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

@yf0fyf.bsky.social

だいたい https://zy.gy/yf に居ます

@atproto.com

Social networking technology created by Bluesky. Developer-focused account. Follow @bsky.app for general announcements! Bluesky API docs: docs.bsky.app AT Protocol specs: atproto.com

@bsky.app

official Bluesky account (check username👆) Bugs, feature requests, feedback: support@bsky.app