从最初仅以加速 Web 应用为设计目标，WebAssembly 经过数年的发展，现在已经变为一个通用的跨平台字节码格式。然而，目前缺乏专门为 WASM 优化的编程语言：C++、Rust 等底层语言语言有陡峭的学习曲线，生成 WASM 需要很长的编译时间，而 Golang 等高层语言难以输出高效、紧凑的 WASM 代码。WASM 的高性能、安全性、通用性等优势无法被充分发挥出来。 Moonbit 是一个针对 WASM 作为编译目标而设计的通用编程语言，主要设计目标是编译...

2023 年秋季百团大战胜利[?]收官，本次招新有很多新的小伙伴加入，院系分布也更加多元，欢迎你们加入 TUNA！本周六将举办迎新会，按照惯例首先会有 TUNA 的简介、互相认识的环节和建设 TUNA 的 n+1 种方式，在此之外还会由橙橙分享 TUNA 镜像站的历史和架构演进过程。 从 2003 年 ftp.tsinghua.edu.cn 的建立以来，清华大学的开源镜像站已经走过了二十个年头。这二十年中，镜像站经历了几代维护者的传承和软硬件架构的不断演进，到现在...

春季学期百团大战就要到了，又是一年两度决定 TUNA 生死存亡的时候了！请注意，由于国庆假期，本次招新日期是第二周周三 (9/27) 及周四 (9/28)，时间依旧是中午及傍晚。活动地点在紫操西侧 H4 摊位，欢迎一起来吃和玩！也请各位留意天气情况，避免被放鸽子。

在数学和物理领域，思考往往需要在至少二维的视角进行，这是因为大量的数学公式都以二维表达，例如分数，而物理学更多以画画而非写字来传达思想。遗憾的是，通常意义的书写方式，例如用 LaTeX 进行编辑，是一维的。对于数理工作者，尤其在准备演讲稿的时候，所见即所得的编辑模式十分关键。本次 Tunight 将介绍一些比 MS Office 更轻量级的工具，包括使用 IPE 和 Inkscape 制作报告、结合 LibreOffice 和 LaTeX，以及在 LyX 中边思考边推导...

庄思源目前正于加州大学伯克利分校攻读博士学位，近期参与了 FastChat/Vicuna 的研究与开发。Vicuna 是截至目前性能最接近 ChatGPT 的开源聊天机器人之一。作为 ray-project/ray 的核心贡献者之一，庄思源对分布式框架 Ray 有深入的认识，而这一框架也是 OpenAI 在开发 ChatGPT 时所采用的分布式系统。 鉴于大型语言模型领域的新颖性和复杂性，本次分享将以杂谈的形式，深入浅出地探讨基于 LLM 的聊天机器人的多个层面，包括...