Navigation

    Techo

    • Register
    • Login
    • Search
    • Recent
    • Categories
    • Tags
    • Groups
    • 博思Alpha
    1. Home
    2. void-main
    V
    • Profile
    • Following
    • Followers
    • Topics
    • Posts
    • Best
    • Groups

    void-main

    @void-main

    FoOTOo

    2
    Reputation
    19
    Posts
    1700
    Profile views
    0
    Followers
    0
    Following
    Joined Last Online
    Website blog.voidmain.guru

    void-main Follow
    Blogspace Alpha DevOps 括号神教 FoOTOo

    Posts made by void-main

    • RE: WWDC 2016 讨论贴

      赶紧说说swift playground咋样?~

      posted in 谈笑风生
      V
      void-main
    • RE: 函数式编程语言及Y Combinator讲座预告

      @ddd 赞~@austinchou0126 求~

      posted in 近期活动
      V
      void-main
    • RE: 函数式编程语言及Y Combinator讲座预告

      果然没有视频么。。。

      posted in 近期活动
      V
      void-main
    • RE: 函数式编程语言及Y Combinator讲座预告

      继续求一波录像~

      posted in 近期活动
      V
      void-main
    • RE: 搞个大新闻,ChezScheme开源了

      在github看到大牛的头像了~233

      然而yinwang吹了这么多在网上也没有课程。。。

      PS: Kent的学校主页:http://www.cs.indiana.edu/~dyb/

      posted in 谈笑风生
      V
      void-main
    • RE: 博思上线测试啦

      @dontpanic 23333

      posted in 社区公告
      V
      void-main
    • RE: 博思上线测试啦

      @dontpanic 怎么搞啊?~我进博思之后选用户资料就not found了~

      posted in 社区公告
      V
      void-main
    • RE: 博思上线测试啦

      然而并不能写作~

      posted in 社区公告
      V
      void-main
    • RE: Classic Programmer Paintings

      233333

      posted in 谈笑风生
      V
      void-main
    • RE: 技术分享主题调研

      一个单子(Monad)说白了不过就是自函子范畴上的一个幺半群而已

      终于明白什么叫 “自函子范畴上的妖半群” 了~

      posted in 谈笑风生
      V
      void-main