Logo
Picture

K @mathink

Joined September 2009
  • Tweets
    15
  • Followers
    137
  • Following
    93
  • Likes
    12
No recent Tweets. New Tweets will appear here.

Trends for United States

Thompson
Wemby
Spurs
Sengun
Warriors
#TheLastDriveIn
Rockets
Grizzlies
#WorldSeries
#CulturalCreditMatters
CULTURAL HERITAGE RECOGNITION
Kessler
Lakers
#MCRLA2
Cam Boozer
Clippers
Mitch Johnson
#MutantFam
Luka
Podz

You might like

TreeTransducers/FunctionalProgramming/Coq/OCaml/Juggling/CodeGolf
Κeіsuke Νakanο
@ksknac
783 Followers
Takafumi Saikawa
@t6s
462 Followers
研究者∧jubeater なλです。 UTIS2011/UTCS2013/形式検証/Haskell/Egison/OCaml/Scala/ jubeat字幕プレイ動画上げてます: https://t.co/sAHa0mMo3e
XENO
@xenophobia__
771 Followers
ソフトウェアエンジニア。Haskell, Vim, Classical musicを好む。Violin少々。Mac使用。Bruckner, Shostakovich, Chopin. 設計と圏論と型理論に興味があります。
ruichi
@ruicc
1K Followers
株式会社 @proof_ninja の代表取締役です。 Rocq(Coq)やOCaml, Scalaなどのお仕事喜んでやります Rocq/OCaml/Haskell/SML#/Scala/F#/Haxe/Tezos/産総研/DMM/Datachain/トップSE/名古屋大
Yoshihiro Imai
@yoshihiro503
2K Followers
関数プログラミングを愛する大学教員．Haskell派。チョコミン党
Kazutaka Matsuda
@KazutakaMatsuda
243 Followers
SAKESpring スタッフ programmer 圏論やります。 ブログ: https://t.co/qIT1MBYGzd
Takuya Hitomi
@takuchan
523 Followers
Loves functional programming and concurrency. Opinions are my own.
Keigo Imai
@keigoi
2K Followers
Aka @camlspotter, OCaml programmer who has once used Haskell in his work. CEO of DaiLambda, Inc. Migrated to BlueSky. @jun.dailambda.jp
Jun Furuse 🐫🌴
@camloeba
2K Followers
東京科学大学助教。本アカウントの発言は個人の意見であり、所属する機関の意見を反映したものではありません。
Sosuke MORIGUCHI
@chiguri
502 Followers
アレゲを目指すMLプログラマ https://t.co/qB4g5GNPbn
ELD-R-ESH-2
@eldesh
1K Followers
🎸 https://t.co/fApuZq36Ph
kencoba
@kencoba
389 Followers
関数型言語/定理証明、機械学習、自然言語処理に興味があります。発言は所属する組織とは関係のない個人の見解です --- って書いておけばいいんだよね？ tweet やいいねができなくなりました。 避難先 : tmiya at mathtod dot online です。
Takashi Miyamoto
@tmiya_
2K Followers
毎朝執事がアールグレイを淹れて起こしにきてくれる日を夢見ています。 Mastodon: yuzuco@fedibird.com
ゆずこ🌻
@yuzumikan15
625 Followers
MathComp/Coq を中心に形式的定理証明を書いています。 ProofCafe-名古屋Coq勉強会-への問合せは、#ProofCafe タグまたは私へのDMでお願いします。
SUHARA Hiromichi
@suharahiromichi
268 Followers