Internal Blog Theory

卢星宇 / Anqur Lu

手机 15808948978 | 邮箱 se14luxingyu@foxmail.com | GitHub github.com/anqur

毕业于暨南大学(全日制本科 2014 至 2018 年)软件工程专业。

专攻基础架构(云原生)、分布式系统(对象存储)、编程语言与编译技术。

工作经历

Shopee 东南亚电商(深圳) 高级工程师(Senior)2020-12 ~ 2024-03

分布式对象存储 | Go 语言

存储增值服务(CDN,图片处理) | TrafficServer, ImageMagick

基于存储提供增值服务,包括自建 CDN 网络,覆盖泰国、印尼、马来、新加坡等当地 IDC,以及基于软件和 FPGA 的图片处理服务。

大促销活动服务保障、电商业务全平台压测

负责设计开发大促门户全链路压测内部管理平台,提供大促期间(如 11.11、12.12)核心数据的收集和展示, 以及控制大促前的数据准备、影子流量创建、真实大促环境的压力测试等重要演练操作。

主动开发的内部基础工具

华为手机应用市场(深圳) 工程师(14 级)2020-03 ~ 2020-11

Web 开发 | Java 语言(ServiceComb/Spring,MySQL,Kafka,ElasticJob,Redis,OpenResty)

部门的核心任务是第一时间将华为手机 app 通过华为应用市场(AppGallery)发布至全球。此外,本人参与负责 app 的 接入、审核、风控、分类、榜单、上架等内部处理流程的运营平台开发与维护。

华为网络产品(东莞) 助理工程师(13 级)2018-08 ~ 2020-03

嵌入式软件开发 | C/C++、Go 语言(交换机、接入网、光纤网络)

OLT(光纤交换机)控制面、数据面嵌入式软件开发,使用 C 语言开发维护多种**链路层(L2)、网络层(L3)**协议的服务。 同时在多个创新项目担任重要角色:

西山居游戏工作室(珠海) 实习生 2017-07 ~ 2017-12

剑侠情缘网络版(“剑网1”)游戏运营开发,使用 C++/Lua 编写游戏客户端/服务端;同时负责西山居页游(H5 游戏)游戏中心 web 端全栈开发。

开源软件

RowScript 编程语言(121 ⭐️) 2022-11 ~ 现在

完全由本人编写的一门基于 Rust 的 JavaScript 方言,支持 dependent types、row polymorphism、typeclass、static reflection 等高级语言特性,直接转译至 JS 代码,目的在优化 TypeScript 语言的类型表达能力,改善 JS 开发体验;目前在和内部用户对接并满足相应语言特性的需求。

TinyLean 定理证明器(22 ⭐) 2025-02 ~ 现在

完全由本人编写、仅使用不超过 1000 行 Python 实现的 Lean 4 风格定理证明器,包含了 Lean 4 中基础的 hole、implicit argument、inductive data type、dependent pattern matching、typeclass 等功能。此项目目的在于科普 ATP(自动定理证明)相关领域知识,展示定理证明器的极简实现,读者可自行二次开发为具有相关 AI 功能的数学定理证明软件。

其他