GitHub @github.com The AI-powered developer platform to build, scale, and deliver secure software.- T tomo. (守岡 知彦) @tomo.chise.org CHISE project https://www.chise.org の中の人。
https://gitlab.chise.org/tomo
https://github.com/chise
https://twitter.com/CHISE_ja
Bluesky日本語（公式） @jp.bsky.app Bluesky日本語公式アカウントです（ユーザー名をチェック👆）。
バグのご報告、機能リクエスト、フィードバックはこちらへ → support@bsky.app
Formal Methods for Autonomous Systems @fmasworkshop.bsky.social International Workshop on Formal Methods for Autonomous Systems, organised by Matt Luckcuck, Marie Farrell, & Maike Schwammberger
Skeets by Matt Luckcuck & Akhila Bairy
Website: https://fmasworkshop.github.io
Yutaka @yutaka-en.bsky.social Computer Scientist at the Czech Academy of Sciences
https://yutakang.github.io
https://www.youtube.com/@unitedreasoning
https://github.com/data61/PSL
Quint @quint-lang.org Capture what your software should do, control every change, and know your tests have you covered.
https://quint.sh/
koki @koki.me https://koki.me
https://thredot.org を開発してます
https://samari.news も開発してます
https://bballoon.social ( @bballoon.social )も開発してます
@tech-trending.bsky.social も開発してます
Yutaka @yutaka-jp.bsky.social チェコ科学院所属の科学者。
専門は人工知能やプログラミング言語理論を使った定理証明です。
https://yutakang.github.io
https://www.youtube.com/@unitedreasoning
https://aipv2026.github.io/
スドー @stdaux.bsky.social 精神と体力の衰えを感じる今日この頃
nnabeyang @nnabeyang.bsky.social 😀😀😀😀😀
AI Proof and Verification @aipv-series.bsky.social https://aipv2026.github.io
あゆみK @ayuzooo.bsky.social コピーや文を書く仕事。ヤンキーぽいもの好みがち。活動内容はこちらにまとめてあります↓
https://vir.jp/ayuzooo
Keiichiro Ono @keiono.bsky.social 早期セミリタイアした科学系の可視化アプリケーション開発を専門とするプログラマ。2025年7月より自営業というか、ボランティアというか、そういう生き方を模索中。かつてはカリフォルニア州政府職員でした。
(ここから引っ越しました https://twitter.com/c_z )
#visualization #bioinformatics #dataviz
Lean Focused Research Organization @lean-lang.org Supporting the Formal Mathematics revolution
Jujutsu VCS @jj-vcs.dev Jujutsu—a version control system #jj-vcs
Documentation: https://docs.jj-vcs.dev/
関数型まつり @fp-matsuri.bsky.social https://2026.fp-matsuri.org
Theo Sanderson @theo.io researching viral pathogen genomics at @lshtm.bsky.social, building @pathoplexus.org | theo.io / sandersonlab.org
thara @thara.jp Dad of Twins/Programmer
https://thara.dev
Junya Ogura ଳ @junyaogura.bsky.social 東京のWebアプリ制作者。プログラミング(ruby+rails, python+fastapi, typescript+react)/読書/洋楽ロックなど。2日に1回はジュンク堂に行きます。
https://junya.bio.link/
pokarim.txt @pokarim2.bsky.social プログラマ
@pokarim.bsky.social が写真投稿アカウントになってしまったので雑記アカウントとして作りました
作成中の個人ブログ https://pokarim.net/blog/
エディタつくったりしてる https://note.com/pokarim/n/na0c01d42c574
Hideaki Takahashi @hide23.com A programmer.
https://github.com/hideaki-t/
dagezi aka だげじ @dagezi.dev Pseudo Software Development Engineer in SoCal. / Firefox user.
角 征典／Masanori Kado @kdmsnr.com 新刊『我ら、プログラマー』
翻訳『リーダブルコード』『Running Lean』『エクストリームプログラミング』
共著『エンジニアのためのデザイン思考入門』
https://kdmsnr.com
atree @atree4728.bsky.social B3, IS26, atree4728.github.io, Haskell, OCaml
kakkun61.com @kakkun61.pawoo.net.ap.brid.gy 電子計算機軟件算符技師
🌉 bridged from ⁂ https://pawoo.net/@kakkun61, follow @ap.brid.gy to interact
Daniel Rogozin @hyperdoctrine.bsky.social Mathematical logic and complaining
マディカ@液タブの上にキーボード置き場の作者 @madycatoybox.bsky.social ブルアカとヘブバンを反復横跳びものづくり
アークナイツとFGOはほどほどにイベント回ってガチャ回す
お店はココ⇒ https://madycatoybox.booth.pm/
他SNS⇒ https://twitter.com/MadycaToybox
蝉丸P @semimarup.bsky.social リア住（リアル住職） たまに文筆など・文章仕事等のご依頼はこちらから http://twpf.jp/semimaruP ※RTをメモ代わりに使います賛同に非ず・引用リプは大体ミュートかブロックなのであしからず
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
hogelog @hogelog.bsky.social こんにちは。
κねこせん @necocen.info A nice derangement of daily life
sumim @sumim.bsky.social Smalltalkのファン。パーソナルコンピューティングの歴史や未来に興味を持つ。Smalltalkはアラン・ケイらが理想のPC向け暫定的OSとして1970年代に試作し以降、WIMPなGUIやIDE、OOPやデザパタ、開発手法等を創出。模倣されることでそれらを世に広めた。古典である一方で、Traitsなど比較的新しい言語機能を通じた影響力も有する不思議な存在。
加藤公一（はむかず） @hamukazu.bsky.social にゃーん
@natsutan001.bsky.social @natsutan001.bsky.social 
lowbrow @lowbrow22.bsky.social - P ふぉとん / PhotonJP @photonlqjp.bsky.social 日本で働くソフトウェアエンジニア / 読書好き
Software Engineer at Japan / I like reading books.
いずみのかな @runcoa.bsky.social 広く浅く雑多なオタク、主にとっちらかっています。やや凸凹持ち(ASD/ADHD)。積読派の活字好き。美術、博物、科学館、音楽、旅、乗り物、宇宙の話と江戸の科学史。お米とお茶とコーヒーと炭酸水に醸造酒。パトレイバー・ゆうきまさみとTMNetwork。ごとしの中心に二次小説書いてる。
arXiv math.OC Optimization and Control @mathoc-bot.bsky.social Unofficial bot by @vele.bsky.social w/ http://github.com/so-okada/bXiv https://arxiv.org/list/math.OC/new
List https://bsky.app/profile/vele.bsky.social/lists/3lim7ccweqo2j
ModList https://bsky.app/profile/vele.bsky.social/lists/3lim3qnexsw2g
@optuna.bsky.social @optuna.bsky.social 
ICFP Programming Contest 2026 @icfpcontest.bsky.social A Programming Contest associated with ICFP and organized yearly since 1998!
https://icfpcontest2025.github.io/
Chun (chunjp) @chun.bsky.social 
雨宮純 @junamamiya.bsky.social 陰謀論や悪徳商法、ネットで出回る奇妙な噂について書いたり、潜入しているライターです。
真音 @maonnote.bsky.social まおんです。 ゲームのルール自体が腐ってたら勝ち組だろうが負け組だろうが結局みんな腐ってしまうのと思うよ。- S sasaya @sasakamaya.bsky.social
エミコヤマ @handle.invalid うにはともだち（エレン・デジェネレスの声で）
読書報告: http://books.macska.org
seattle/portland
みわよしこ, Yoshiko Miwa, Ph.D. @miwachan-info.bsky.social 
Nobuyuki Kubota | 2e子育て @2e.nobu-k.net @nobu-k.net の子育て/おうち教育/gifted/2e/発達障害関連の記録/話題用アカウント。主にASD/ADHD併発9歳児が大学数学やcomputer scienceを学ぶのを手伝った記録。他にはアメリカの数学コンテスト情報など。
引っ越し元のTwitter: https://twitter.com/nobu_k
くるる＠在米中年集合論者 @kururumath.bsky.social みなさーん、くるくるー！アメリカの州立大学で集合論やってる中年おじさん、くるるでーす。
アイコンはbing image creatorによるkururu_goedel。
twitter: kururu_goedel, mathtod: kururu
SIGPLAN @sigplan.bsky.social The ACM Special Interest Group on Programming Languages.
PLDI @sigplan-pldi.bsky.social The ACM SIGPLAN Conference on Programming Language Design and Implementation. Website: https://pldi26.sigplan.org/. Official hashtag this year: #PLDI2026. Posts by @jcenzo.bsky.social and @konstantinoskallas.bsky.social.
ぬまがさワタリ@『いきものニュース図解』ほか3/19同時発売 @numagasa.bsky.social すてきないきもの＆カルチャー。新刊『いきものニュース図解』＆『図解 ふしぎで奇妙ないきものたち』など。
科博の特別展「鳥」（2026年3月14日〜大阪巡回）にてイラスト図解を担当します。
Twitter https://twitter.com/numagasa
ブログ https://numagasablog.com/
インスタ https://www.instagram.com/numagasa/
Yoichi Hirai @pirapira.bsky.social interested in computation and logic.
n @nzw0301.bsky.social 
しずない @spiroooooool.bsky.social いつも心に中指を立てている「冷笑系」。
毎朝、朝日の朝刊をゆるくピックアップしています。
まとめorリストに私のアカウントor呟きを入れる場合は、リプで一報ください（やらない人は基本ブロックします）。
ネタバラシが絡むものはマストドンに投げ、そこから繋げます。@spirootz@mstdn.jp
日経電子版 @nikkei.com 日本経済新聞（日経電子版）の公式アカウントです。トップページで報じたニュースを中心に注目コンテンツを発信していきます。画像・映像・テキストの改変およびAIを用いた加工処理等は日経の著作権ポリシーで禁じています。
▶ 日経HP: https://www.nikkei.com/
▶ 「著作権に対する姿勢」: https://www.nikkei.co.jp/nikkeiinfo/copyright/
小野マトペ @matope.bsky.social A Software Engineer
Sarah Ross @sarahhross.bsky.social Associate editor Science Magazine
Immunology | Haematology | Host-pathogen interactions 
Masaki Hara @qnighy.qnmd.info.ap.brid.gy 言語処理系いじりとロジックが好き 相方→@qnighy
※バニラのマストドンのため、カスタム絵文字スタンプを使えません。
🌉 bridged from ⁂ https://qnmd.info/@qnighy, follow @ap.brid.gy to interact
sou7 @sou7.misskey.io.ap.brid.gy :role_nyanpuppu:
Factorio、Simutransプレイヤー /\ :arch:使い /\ Coqを書いてる
🌉 bridged from ⁂ https://misskey.io/@sou7, follow @ap.brid.gy to interact
Muskeltrainingsübermenschbot @wtsnjp.com Nichts ist wahr, alles ist erlaubt
📍 die bunte Kuh
🪦 https://wtsnjp.com
Satoshi Hara @negibo.bsky.social 大阪で機械学習の研究してます。
MITsuo Yoshida @ceekz.bsky.social Ph.D. in Ceek.jp. I like Sushi🍣
ktrmnm @ktrmnm.bsky.social 着衣中年男性
Takami Sato @tkm2261.bsky.social ML Security Researcher / Kaggle Grandmaster / CS Ph.D. candidate at UC Irvine / I will be in the job market this Spring. Please feel free to contact me via DM
Tat🍣 Matsuba🌴 @tatsushi-do-ob.bsky.social - C crcrpar @crcrpar.bsky.social 色んなソーシャルメディアでcrcrpar。読書と服が好き
Pascal Van Hentenryck @vanhentenryck.bsky.social AI for Engineering, faculty at Georgia Tech, Director of Tech AI (the AI Hub at GT, @georgiatechai.bsky.social), Director of AI4OPT (The NSF AI Institute For Advances in Optimization, @ai4opt.bsky.social)
Tobias Achterberg @achterberg.bsky.social Gurobi developer, former CPLEX and SCIP developer, mixed integer programming
Gurobi @gurobioptimization.bsky.social With the Gurobi Optimizer, you can identify provably optimal solutions to the world’s most complex problems—including linear, nonlinear, and quadratic problems—using any combination of continuous and integer variables.
ワクワクさんBOT @moskomule.bsky.social 
dragoner @dragoner.bsky.social 軍事ライター・ブロガーだったはずが、いつのまにか色んなモノを書くようになってたヴァーチャルネット売文業者。御用はリプライかメールで dragoner.jp★gmail.com (★を@に）
平野耕太 @hiranokohta.bsky.social 気儘にやる
Heiga Zen (全 炳河) @heigazen.bsky.social Principal Scientist (Director) at Google DeepMind in Japan. 波瀬小⇒一志中⇒鈴鹿高専⇒名工大 (IBM T.J. Watson Research intern)⇒東芝欧州研究所⇒Google (Speech🇬🇧⇒Brain🇯🇵) ⇒Google DeepMind. 3rd generation Korean in Japan.
Takashi Imamichi @ima8.bsky.social Research scientist @ IBM Quantum
ガッキーのプライベートアカウント @azaazarashi.bsky.social 
Bridgy Fed for the fediverse @ap.brid.gy To bridge your account to the fediverse, follow this account. To un-bridge, block this account.
To ask a fediverse user to bridge their account, send their address (eg @user@instance) to this account in a chat message.
More info: https://fed.brid.gy/docs
Solid Evidence @solidevidence.bsky.social Molecular virologist, sewage sage and wastewater wizard.
https://lung.fish
Marc Johnson
Professor
Our World in Data @ourworldindata.org Our World in Data is a free, nonprofit website with a mission to increase understanding of the world’s largest problems and drive informed action to solve them. Based out of Oxford University (@ox.ac.uk), founded by @maxroser.bsky.social.
Ryan Hisner @ryanhisner.bsky.social Teacher. Learner. Investigating mysteries of SARS-CoV-2 evolution. LongDesertTrain on another platform.
New New York Times @nyt-first-said.bsky.social Tweets words when they appear in the New York Times for the first time.
@nyt-said-where.bsky.social for context
maintained by @maxbittker.bsky.social
Tom Wenseleers @twenseleers.bsky.social Professor @KULeuven - evolutionary biology, theoretical biology & biostatistics (#Rstats). Social insects & microorganisms. Social evolution, self organisation, chemical ecology, statistical machine learning. https://bio.kuleuven.be/eeb/tw/research
Science Magazine @science.org Cutting-edge research, news, commentary, and visuals from the Science family of journals. https://www.science.org
Ian Goodfellow @ian-goodfellow.bsky.social Research Scientist at DeepMind. Opinions my own. Inventor of GANs. Lead author of http://www.deeplearningbook.org . Founding chairman of www.publichealthactionnetwork.org
NEJM.org @nejm.org Welcome to the official Bluesky account for the New England Journal of Medicine. Follow for high-quality, peer-reviewed research and clinical content from the world’s leading medical journal, online at NEJM.org.
Follow @ai.nejm.org for medical AI content.
Jun Kuroda @kurodaju.bsky.social 🐕
Terence Tao @teorth.bsky.social Mathematician at UCLA. My primary social media account is https://mathstodon.xyz/@tao . I also have a blog at https://terrytao.wordpress.com/ and a home page at https://www.math.ucla.edu/~tao/
AOE, Takashi @aoetk.bsky.social 大規模分散データ処理の世界にいるJavaエンジニアの端くれです。
𝕏: https://twitter.com/aoetk
Mastodon: https://fedibird.com/@aoetk (@aoetk.fedibird.com.ap.brid.gy)
Threads: https://www.threads.net/@aoetakashi (@aoetakashi.threads.net.ap.brid.gy)
Blog: https://aoe-tk.hatenablog.com/
Masahiro Sakai @msakai.threads.net.ap.brid.gy [bridged from https://threads.net/@msakai/ on the fediverse by https://fed.brid.gy/ ]
AOE, Takashi @aoetakashi.threads.net.ap.brid.gy 大規模分散データ処理の世界にいるJavaエンジニアの端くれのつもりですが、最近はPython使うことが多かったりします。
Twitter: @aoetk
Mastodon: @aoetk@fedibird.com
🌉 bridged from ⁂ https://threads.net/@aoetakashi/, follow @ap.brid.gy to interact
ShibbySays @shibbysays.bsky.social Hypnodomme and erotic audio artist. Owner of many pets.
Find my stuff at https://shibbydex.com. Support me on patreon.com/ShibbySays
Adolfo Neto @adolfoneto.elixiremfoco.com Software Engineering researcher; Associate Professor at UTFPR, Curitiba, Brazil.
https://adolfoneto.elixiremfoco.com/
Posts mostly in English.
#ElixirLang enthusiast (I also love #LeanLang, #LuaLang, #Erlang).
Podcaster.
Stefan Szeider @szeider.bsky.social Professor & Chair at TU Wien, leading the Algorithms and Complexity Group. Specializing in symbolic and neurosymbolic methods to address complex computational problems in AI, automated reasoning, and combinatorial optimization. (ac.tuwien.ac.at)
Hensley Lab @scottehensley.bsky.social dad, viral immunologist, professor
Geoffrey De Smet @geoffreydesmet.bsky.social PlanningAI expert, Timefold co-founder, OptaPlanner creator, complex scheduling and routing, Operations Research, Java, Kotlin, open source, international speaker
Ziyad Al-Aly MD @zalaly.bsky.social Physician | Scientist | working on Long Covid
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 - R Hideo Fukumori @rogueengineer.bsky.social
mod_poppo @mod-poppo.bsky.social Haskell / Standard ML