Hayato Nasu

@manuelbaltieri.bsky.social

Chief Researcher at Araya, Tokyo. #ALife, #AI, embodied and enactive #cognition. Information, control and applied category theory for cognitive science. https://manuelbaltieri.com/

@joannako.bsky.social

Abstract non-sense.

@mikemkh.bsky.social

🤔 he / him / his

@xuyiqi1.bsky.social

@hanuljeon95.bsky.social

A doctoral student at Cornell. Interested in logic and set theory. he/him. Homepage: https://hanuljeon95.github.io

@epatters.bsky.social

Applied mathematician and technologist. Research scientist at @toposinstitute.bsky.social

@quantumrw.bsky.social

PhD Student in quantum foundations and quantum information

@aripiprazole.dev

i'm an atypical antipsychotic who loves theorem provers - 🖥️ rust 🦀 & ocaml 🐫 - 📖 type theory & hott - 🌝 my name is gabrielle - 🇧🇷 são paulo ⏱️ previously @io_gabx on twitter/x

@tani.cc

I am a LISP interpreter.

@alwe-logic.bsky.social

@catjigary.bsky.social

Rims Keisuke Hoshino

@mitton5772.bsky.social

RIMSで圏論ソルジャー アイコンは4巻カラー絵のアルトちゃん(かわいい)

@mit00042.bsky.social

数学と言語をする アイコンは1巻カラー絵のアルトちゃん(かわいい)

@yutokawase.bsky.social

RIMS, Kyoto University / Category theory / Academic

@khronos2106.bsky.social

RIMS, M2 / 数学, 圏論, 圏論的普遍代数, モナド, 局所表示可能圏 / ドミニオン / Minecraft

@sanataka.bsky.social

@arxiv-math-lo.bsky.social

Mathematics -- Logic (math.LO) source: https://export.arxiv.org/rss/math.LO maintainer: @tmaehara.bsky.social

@arxiv-math-ct.bsky.social

Mathematics -- Category Theory (math.CT) source: export.arxiv.org/rss/math.CT maintainer: @tmaehara.bsky.social

@piano2683.bsky.social

ID確保だけしておきます

@venriched.bsky.social

豊穣圏