lazyparser / weloveinterns Goto Github PK

View Code? Open in Web Editor NEW

545.0 32.0 120.0 19.54 MB

PLCT Lab ❤️ Interns!

Home Page: https://plctlab.org

License: Creative Commons Attribution Share Alike 4.0 International

Python 15.30% HTML 82.21% C++ 2.38% Makefile 0.10%

interns internship risc-v

weloveinterns's Introduction

weloveinterns

部门简介

PLCT实验室 全称是程序语言与编译技术实验室。PLCT致力于成为编译技术领域的开源领导者，推进工具链及运行时系统等软件基础设施的技术革新，具备主导开发和维护重要基础设施的技术及管理能力。与此同时，致力于培养一万名编译领域尖端人才，推动先进编译技术在国内的普及和发展。

PLCT实验室隶属于**科学院软件研究所（ISCAS）智能软件研究中心（ISRC），weloveinterns 是PLCT实验室有关实习生招募、培养、成果展示的仓库。

文文新闻报社 是 PLCT 实验室里的一个相对独立的社团，致力于为 PLCT 中的 PL 世界添砖 Java。相关介绍在专门的文档里。

we ❤️ interns

我们长期开放实习生岗位，欢迎加入我们，做一些微小的工作。

我们相信并看重你的潜力。只要你对我们的工作有兴趣，有强烈的上进心，希望能够有更强的技术能力，并且能够积极而谦卑地与他人一起共事，你就是我们正在寻找的人。我们不看重985或211，不看专业和年级排名，完全按照工作能力和潜力进行选拔。我们相信女性在STEM领域的潜力，并预留至少一半的实习生岗位给女性应聘者。

极简项目管理是目前PLCT实验室的管理方式，实习生也在管理范围内。请先阅读。
我们如何进行实习生招聘
我们如何对实习生进行能力评定和培养
实习生岗位
实习生生存手册目前还在断断续续的撰写中，欢迎围观和贡献PR (Pull Requests)

参考链接

PLCT Lab 维护了着自己的月刊：PLCT开源进展。如果想来PLCT实验室，请务必提前阅读。

weloveinterns's People

Contributors

Stargazers

Watchers

Forkers

cnguoyx keyinme geeyang lisongting sunnyorcloudy gyworthit kazava buaaerhan mengfansheng16 tonyjava gaohongfein frohtiger hibetterheyj hustmrzhang calsia beijinggongye lxm321 daniao2017 mikejy lyhloveyou over-fork pz9115 xiehz6536 timefighter818 lyfu sttecd ldx596999414 s201761102 regulusz tsoloder xm15374 zhangzhibin1998 dunanyang k974083606 lonejade zhoutao1995 xiawuluo mbyase shanliwa1 buda6517 chunpengzheng zengshuangyao sun-love chingis-jin dandylovebabycheche venido zhuminghao1995 zhaojinzhong shanhedian2017 cannylin prchbzy sqf4411 oscar1780 kuskyfei thomasyonug radygo liyang-whu lzufalcon carlo-yuan allesgute620 plctlab anchuanxu jiuyewxy matrixkoo maksyuki mlbo erikqqy liaoshihua ice1k archive-tsao-chi-forks amyuetao daquexian z572 flandycheng sharzyl dingiso camberloid pavaneyu imkiwa oceans2000 lancelof2019 xyenchi bluce-gao linshire guozhanxin fifcc saivian1 yunwei37 revysr kxxt xtao chunyuliao icodein dtcxzyw peterxingke sihuan zerosister icenowy kubuds zhengchen2029

weloveinterns's Issues

为什么git把report拆成了一个大写和一个小写

我push的时候本地明明是同一个目录。而且我本地和远程都只有1个分支。

修复ros-checklist.md中的图片URL

看上去是小海龟图片对应的名称大小写的问题，让图片无法正常显示。

现在使用的图片地址：
https://github.com/lazyparser/weloveinterns/blob/master/images/ROS/turtle.png

根据仓库里面存储的图片情况，图片名称应为：Turtle.png

xbot_head运行流程.md图片引用有错

将slack的react小功能的介绍和使用场景加入到wiki中

是否可以将 PLCT 理解为一个公益性质的公司？

PLCT 的业务似乎没有直接的商业利益 🤔

[senior]将kanban方法的介绍加入到实习生内训的技能列表中

[goodfirstbug]将slack的／dnd功能加入到wiki中

将slack的／todo和／mytodo功能加入到wiki中，以及常用的方法

审计仓库中的url引用情况，将绝对地址引用尽可能替换掉

将例如[1]中的链接都替换成相对地址的形式。

[1] https://github.com/lazyparser/weloveinterns/blame/master/xbot_head%E8%BF%90%E8%A1%8C%E6%B5%81%E7%A8%8B.md#L11

[goodfirstbug]将github提交PR的流程和帮助文档的链接加入到实习生内训的说明文件中

将turtlebot的教程文档转换为Markdown文档

TurtleBot中文教程，约30篇
计划改写为Markdown格式，为以后写Xbot教程铺垫
Markdown格式好处在于：1.格式规范 2.可转换为pdf、html等格式 3.修改方便

可以用html2markdown工具转换，也可以手动转换
只写教程内容，尽量保持排版、字体、插图和原网页一致

能力者设定

how-do-we-rank-interns.md 有一些设定上的问题……

常盘台中学只收女生；原则上要求至少大能力者（技术交换生有例外）。好吧，这个先不提……

评价能力者强度的身体检查(System Scan)不是常盘台中学独有的项目。
强度是超能力开发计划(Power Curriculum Program) 定义的。
身体检查是超能力开发计划的一部分，原则上至少要有劳务合同。

顺便，能力者强度上限由机密的素养判定(Parameter List)测试，这个要重现嘛？

首先，小组的初始的名字『类型小队』我感觉不够契合公司的二次元浓度。我结合《中二病也要谈恋爱》中的社团名字、编程语言的名字来源（妖怪之山鸦天狗记者——射命丸·搞个大新·文）的一社，以及 PLCT = 常盘台中学的设定，想到了两个名字『极东天狗昼寝结社』和『文文新闻报社』（下文将以『文文新闻报社』称呼 Aya 编程语言的开发组），设定为 PLCT 中学的一个社团。不知道这样的命名在宣传上会不会有更好的效果，以及是否符合公司的规范。
Aya 这个项目源自于我的一条朋友圈和 @lazyparser 老板的一条评论，初始的动机其实是为了我自己和组员的学术生涯而开启的一个实验性项目。因为在我看来，近年编程语言的学术界的前沿研究已经达到了一个理论半饱和、需要和实践结合的状态（即，有很多存在于理论里的事物缺乏实际的实现）。其次，如果一个编程语言方面的工作仅存在于理论中，我们是很难发现它潜在的问题和全部的潜力的。如果我们能把一些功能实现出来，我们或许能发现更多的东西。我将在广告中讨论与此相关的思考。
- 第一，实现出一个特性并且自己去用它写代码，我们才能对这个东西『有冇用』建立直观感受。
- 第二，我们可能会在论文中犯错。实现是很好的测试手段。
- 第三，实现编程语言本身就是一件很浪漫的事情。我希望在我死之前能创造一些美好的事物，也希望把拥有特殊才能的人利用起来。
- 第四，我们有 @lazyparser 和 PLCT 的支持，所以我们也需要把 PL（编程语言理论）知识给 CT（编译器技术）化。
数量不菲的理论工作者并没有较好的编程基础和足够的软件工程功底（不是所有人都有魔理沙或者胡渊鸣那种理论实践双修的素质）来开发用户友好的学术研究型编程语言（看看 Agda 有多难安装，就可以知道）。我希望自己试一试，能不能在这方面做的更好。我挑战的目标是在用户体验上比肩甚至超过 Lean 和 Coq。我将讨论一些相关的思考。
文文新闻报社相对独立，因此和公司其他同学的交集不多，也缺少对外的 profile，只有一个空洞的 https://www.aya-prover.org 是不够的。我一直希望能把大家联系起来，但是我的组员好像都不怎么用微信。如果能在 GitHub 上引起大家的互动，那就太好了。
就像我在 PL talk 03 中提到的，编程语言和数学模型之间的关系可以产生很多有趣的研究，这是一个比较活跃的学术领域，有大量的工作可以做，而文文新闻报社就有进行这样的工作的后续计划。我不打算讨论这方面的计划，因为我要是全说了，遇到比我手快的人就会对我自己的学术生涯造成巨大的损失。Instead，我打算画一个不太清楚的饼（滑稽），因为我认为这样的工作对于想在未来跻身欧系编程语言理论研究的同学来说是很有魅力的，将这样的信息和资源广播出去总的来说是一件好事。
文文新闻报社的增员可能性。原则上我不想给老板添麻烦，而且更多的人不一定就会带来更高的效率，但是遇到真的优秀、也愿意来参与报社工作的同学（按照现在的分类标准，大概在 LV4 或者以上），我也想推荐到公司里，介绍大家认识啊。然而没有广告，哪来增员的可能性呢？所以我觉得我可能需要在一个和 PLCT 有关的地方放一些相关的文字来宣传我们的存在（这个仓库不得不说很厉害，连帝球都能吸引过来），并且简要描述报社需要具有哪些方面的才华的同学。为了避免喧宾夺主，我打算设立非常高的门槛。

slack在线的时候可以发送一句 `/away` 标记自己在线，
下线了再敲一句 `/away` 改成下线，
这样同事我就可以避免在你下线的时候找你了

多了一个我