yf

@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/

@pirapira.bsky.social

interested in computation and logic.

@diliberti.bsky.social

Academic at Gothenburg University. Mathematician. Late millennial.

@plainphilosopher.bsky.social

哲学について書くただの人 議論はしません。いただいたコメントは今後の参考にさせていただきます。そのさい個別にクレジットはいたしませんので、先取権を主張されたい内容はコメントには書かないでください https://plainly-philosophical.github.io/index.html https://note.com/just_philosophy/

@1997-takahashi.bsky.social

サクラは、一斉に咲いて、一斉に散るからこそ美しいのであります。

@nayuta-yanagisawa.bsky.social

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

@kobae964.yabaitech.tokyo

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

@wsbz.yabaitech.tokyo

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

@maswag.net

@gfngfn.bsky.social

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

@isid.ai

ゲヒルンという会社で働いています。

@t33f.bsky.social

@okuk.bsky.social

熊本/京都/神奈川/Coq/SSReflect/

@zpt.yabaitech.tokyo

🦐 | 研究の話とか: bindingscope@mastodon.acm.org | Signal: zeptometer.95

@patho-logic.bsky.social

住んでたところが下水道になりつつあるので避難してきました。もっと無限組合せ論を！

@elpinal.bsky.social

forest.cbult.space

@kripkejoyal.bsky.social

本日のKYは、ヘルメット安全帯を装着し、 高次元圏作業時には安全圏の使用を徹底します。 作業後には手摺り足場等の現場復旧並びに、 高次切り捨て１圏復旧を徹底します。 今日も一日ご安全に！

@nullkal.jp

Formerly mstdn.jp admin(～2018/10). An Engineer in some Game Developer. A fox. 2017年ぐらいにmstdn.jpを運営していたかもしれない、ただのきつねです。 Mastodon: https://social.nil.nu/@nullkal Misskey: https://misskey.io/@nullkal Twitter: https://twitter.com/nullkal

@iwaokimura.bsky.social

I’m a mathematician.

@okumura.bsky.social

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

@silasol.la

プログラミング言語と数理論理学がすきです🐹 ・PGP 鍵など: https://keybase.io/silasolla ・ソーシャルメディアは、基本的に silasolla というユーザ名でやっていますが、例外もあります: https://blog.silasol.la/p/links.html

@golden-lucky.net

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

@matz.bsky.social

Ruby's Father

@noellabo.jp

Mastodonの開発に参加したり、フォークのFedibirdつくってfedibird.comやってるよ

@jun.dailambda.jp

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

@social.mizunashi.work

弱い Haskeller。C言語が書けないのでプログラミングできないです 主にマストドン生息。マストドンの投稿をここにも流してますが、Bluesky 側の投稿はどこにも流してないのでご安心を Home: https://mizunashi-mana.github.io/profile/

@inamiy.bsky.social

Interests: Programming, Logic, Math, Physics, Biology, AI, Natural History, Anthropology, Books, Travel, Culture. Language: 🇯🇵🇬🇧

@practical-scheme.net

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

@zunda.ninja

オルタナあんこ・本体は棒、 Full stack engineer wannabe、openpgp4fpr: F60960D80B224382CA8D831CB56C20316D6E8279 普段は https://mastodon.zunda.ninja/@zundan に居ます。 https://zunda.ninja

@qnighy.bsky.social

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

@msakai.bsky.social

Engineer at Preferred Networks ← Research Scientist at 東芝.『抽象によるソフトウェア設計』『型システム入門』共訳者, Haskeller, github.com/msakai, twitter.com/masahiro_sakai facebook.com/masahiro.sakai

@hyuki.net

数学青春物語『数学ガール』の作者です。執筆生活30年目。気軽にリプライくださいね。Amazonアソシエイトに参加中。 https://www.hyuki.com/ Author of "Math Girls". 30 years into writing introductory math and programming books. LaTeX / Vim / Ruby / Math / Writing /

@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