ustc-lambda.github.io/index.html at master · ustc-lambda/ustc-lambda.github.io · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
<!DOCTYPE html>
<html lang="cmn-Hans-CN">
    <head>
        <meta name="viewport" content="width=device-width, initial-scale=1">
        <title>USTC Lambda</title>
        <meta charset="utf-8">
        <link rel="stylesheet" type="text/css" href="index.css">
    </head>
    <body>
        <h2>USTC Lambda Group</h2>
        <section>
            <h3>Notice</h3>
            <p>
            Since the leave of the initial organizer (me), this informal reading
            group is basically in a state of being defunct.
            Former presenters are now PhD students in UPenn, CMU, UW, UT Austin, USTC
            and also a research engineer in Alibaba.
            If you are a current USTC student who stumbled into this page,
            and are interested in reviving this glory non-tradition, please
            contact me at izgzhen @ the mail service domain by google.<br>
            - Zhen
            </p>
            <h3>简介</h3>
            <p>欢迎你，元黑客！</p>
            <p>我们由对计算机系统、编程语言、函数式编程和程序验证领域的话题感兴趣的人组成，<mark>我们不是一个研究组</mark>；相反，我们鼓励具有任何背景的、对相关话题感兴趣的人参与我们的活动。我们的主要活动地点在中国合肥的中国科学技术大学，当然并不限于本校人员参加。</p>
        </section>
        <section>
            <h3>如何参与</h3>
            <p>
                你可以来参与我们讲座/讨论会，加入我们的 QQ 群（451518167，请注明足够的验证信息）。活动时间会在这个网页和 QQ 群中及时公布。
            </p>
            <p>
                你也可以作为主讲人来主动分享您的知识和经历，告诉我们您的想法就好了。如果您不确定什么时候比较好，我们可以帮您选择时间。讲座的时间从 40 分钟到 10 分钟都可以。
            </p>
        </section>
        <section>
            <h3>下次活动</h3>
            待定
        </section>
        <section>
            <h3>历史</h3>
            <section>
                <h4 id="rust-talk">2016.11.22</h4>
                <ul>
                    <li>地点：合肥，中国科大西校区，科技实验楼西侧六楼 608 会议室</li>
                    <li>时间：2016 年 11 月 22 日（周二）晚 6 : 00 </li>
                    <li>主题：Coq Workshop</li>
                    <li>讲座1: Coq 源代码简介与 CertiKOS 项目简介 (<a href="files/AboutCoq.pdf">Slides</a>) by <a href="https://github.com/ruoz">@ruoz</a></li>
                    <li>讲座2: <a href="https://github.com/izgzhen/sl-tut-iris">Interactive Separation Logic Tutorial with Coq and Iris</a> by <a href="https://github.com/izgzhen">@izgzhen</a></li>
                </ul>
                <h4 id="rust-talk">2016.5.18</h4>
                <ul>
                    <li>地点：合肥，中国科大西校区，科技实验楼西侧六楼 608 会议室</li>
                    <li>时间：2016 年 5 月 18 日（周三）晚 9 : 00 </li>
                    <li>主题：Rust 和 Servo</li>
                    <li>讲座1: Rust 语言简介 by <a href="https://github.com/izgzhen">@izgzhen</a></li>
                    <li>讲座2: Servo 浏览器引擎项目简介 by <a href="https://github.com/izgzhen">@izgzhen</a></li>
                    <li>Slides (<a href="files/rust-pre.pdf">PDF</a>, <a href="rust-html/index.html">HTML</a>)</li>
                    <li>
                        照片：
                        <div class="gallery">
                            <div class="container">
                                <img src="images/rust.jpg" height="200"/>
                                <p>On References and Mutability</p>
                            </div>
                        </div>
                    </li>
                </ul>
                <h4>2016.4.6</h4>
                <ul>
                    <li>地点：合肥，中国科大西校区，科技实验楼西侧六楼 608 会议室</li>
                    <li>时间：2016 年 4 月 6 日（周三）晚 9 : 40 </li>
                    <li>主题：Scala 语言</li>
                    <li>讲座1：1小时精通 Scala 语言及工程实践分享 by <a href="https://github.com/yxonic">@yxonic</a>, <a href="files/scala-slides-0416.pdf">Slides 下载</a></li>
                    <li>照片:
                        <div class="gallery">
                            <div class="container">
                                <img src="images/scala-1.jpg" height="200"/>
                                <p>到场的社会各界人士（雾）</p>
                            </div>
                            <div class="container">
                                <img src="images/scala-2.jpg" height="200"/>
                                <p>Scala Class 层级结构</p>
                            </div>
                            <div class="container">
                                <img src="images/scala-3.jpg" height="200"/>
                                <p><:</p>
                            </div>
                        </div>
                    </li>
                </ul>
            </section>
            <section>
                <h4>2016.3</h4>
                <ul>
                    <li>地点：合肥，中国科大西校区，科技实验楼西侧六楼 608 会议室</li>
                    <li>时间：2016 年 3 月 2 日（周三）晚 9 点</li>
                    <li>主题：形式化验证（Formal Verification）</li>
                    <li>讲座1：Coq 与形式化验证介绍 by <a href="https://github.com/ruoz">@ruoz</a>，相关资源：<a href="./files/20160302.zip">files.zip</a></li>
                    <li>讲座2：一些 Coq 实践经验 by lys （感谢lys的场外援助，感谢微软的电话费）</li>
                    <li>照片:
                        <div class="gallery">
                            <div class="container">
                                <img src="images/FTL-lys.jpg" height="200"/>
                                <p>FTL 建模假设</p>
                            </div>
                            <div class="container">
                                <img src="images/coq-rouz.jpg" height="200"/>
                                <p>@rouz 介绍 Coq 的类型系统</p>
                            </div>
                            <div class="container">
                                <img src="images/coq-ide.jpg" height="200"/>
                                <p>CoqIDE</p>
                            </div>
                        </div>
                    </li>
                </ul>
            </section>
            <section>
                <h4>2015.12</h4>
                <ul>
                    <li>地点：合肥，中国科大西校区，三教3A209教室</li>
                    <li>时间：2015 年 12 月 16（周三）晚 9 点</li>
                    <li>主题：垃圾收集（Garbage Collection）技术</li>
                    <li>讲座1：垃圾收集的数据结构 by <a href="https://github.com/izgzhen">@izgzhen</a>，相关资源：<a href="http://blog.zhenzhang.me/2015/12/17/intro_gc_general.html">文字版</a>, 参考书：The Garbage Collection Handbook</li>
                    <li>讲座2：JVM 垃圾收集 by <a href="https://github.com/yangsiran">@yangsiran</a>, 相关资源：<a href="https://databricks.com/blog/2015/05/28/tuning-java-garbage-collection-for-spark-applications.html">Tuning Java Garbage Collection for Spark Applications</a></li>
                </ul>
            </section>
        </section>
        <section>
            <h3>其他</h3>
            <p>感谢<a href="http://kyhcs.ustcsz.edu.cn/">中国科大-耶鲁高可信软件中心</a>的场地支持。</p>
        </section>
    </body>
</html>