Yoichi Hirai @pirapira.bsky.social interested in computation and logic.
@jajajajajaha.bsky.social @jajajajajaha.bsky.social Major weirdo
Exposure farming for @psychotiddybear
Ivan Di Liberti @diliberti.bsky.social Academic at Gothenburg University. Mathematician. Late millennial.
Plainly Philosophical @plainphilosopher.bsky.social Plainly Philosophical : https://substack.com/@plainlyphilosophical
哲学について書くただの人。最近はAIとコラボして哲学論説を書いています
議論はしません。いただいたコメントは今後の参考にさせていただきます。そのさい個別にクレジットはいたしませんので、先取権を主張されたい内容はコメントには書かないでください
https://note.com/just_philosophy/
サクラ @1997-takahashi.bsky.social サクラは、一斉に咲いて、一斉に散るからこそ美しいのであります。
koba @kobae964.yabaitech.tokyo 競プロer
ラテン語好き
Ubi caritas et amor sunt, ibi sum ego.
Nayuta Yanagisawa @nayuta-yanagisawa.bsky.social 企業研究者←DB開発者←WEBエンジニア←大学院博士課程、博士（理学）、エルデシュ数3
Masaki Waga @maswag.net 
画力・博士号・油田 @gfngfn.bsky.social Website: https://gfngfn.github.io/ja/
GitHub: https://github.com/gfngfn
Twitter (”X”): https://twitter.com/bd_gfngfn
@t33f.bsky.social @t33f.bsky.social 
おく(@OKU_K) @okuk.bsky.social 熊本/京都/神奈川/Coq/SSReflect/
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/
zeptometer @zpt.yabaitech.tokyo 🦐 | 研究の話とか: bindingscope@mastodon.acm.org | Signal: zeptometer.95
patho_logic @patho-logic.bsky.social ランニングぐらいしか書くネタがない日々。もっと数学ついて色々書きたいんだが。
elpinal @elpinal.cbult.space forest.cbult.space
git repos: https://tangled.org/@elpinal.cbult.space
安全第一 @kripkejoyal.bsky.social 本日のKYは、ヘルメット安全帯を装着し、
高次元圏作業時には安全圏の使用を徹底します。
作業後には手摺り足場等の現場復旧並びに、
高次切り捨て１圏復旧を徹底します。
今日も一日ご安全に！
Mizunashi Mana @social.mizunashi.work 弱い Haskeller。C言語が書けないのでプログラミングできないです
主にマストドン生息。マストドンの投稿をここにも流してますが、Bluesky 側の投稿はどこにも流してないのでご安心を
Home: https://mizunashi-mana.github.io/profile/
Iwao KIMURA @iwaokimura.bsky.social I’m a mathematician.
Masaki Hara @qnighy.bsky.social @qnighy.qnmd.info.ap.brid.gy
適正体重 @silasol.la プログラミング言語と数理論理学がすきです🐹
・個人サイト: https://silasol.la
・Keybase: https://keybase.io/silasolla
・ソーシャルメディアは、基本的に silasolla というユーザ名でやっていますが、例外もあります: https://silasol.la/links
Jun Furuse @jun.dailambda.jp Fishing, Kyoto, OCaml, No Phishing
釣り、京都
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
inamiy @inamiy.bsky.social Interests: Programming, Logic, Math, Physics, Biology, AI, Natural History, Anthropology, Books, Travel, Culture.
Language: 🇯🇵🇬🇧