高依石 (Yishi Gao)

致力于成为全栈开发工程师

爱好并擅长 Python 和 Rust 开发；具有 Web 前后端和 APP 开发经验；爱好编译原理和底层开发；具有良好的代码风格，注重代码质量；爱好开源，开发并维护多个开源项目，OSPP 2023-2024 导师。

en

个人技能

1、精通 Python 语言，熟悉 Python 语言底层运行逻辑，熟练使用 FastAPI、Django 等 Web 应用框架，有使用 Python 语言编写大型应用程序的经验

2、爱好并掌握 Rust 语言，熟悉 Rust 设计模式，有 Rust 底层程序开发经验

3、理解编程语言编译和运行过程，有动态语言字节码编译器和虚拟机开发经验，了解 IAST Agent 工作原理

4、有一定的前端基础，了解 HTML、CSS、JS/TS 语言，Vue、React 等框架，熟悉 HTTP 和 WebSocket 协议

5、熟练使用 Dart 语言和 Flutter 框架进行 APP 开发

6、了解 Java 语言和 Spring Boot、JPA 等常用框架 / Go 语言和 Gin 等常用框架，参与实际项目开发

7、了解 Linux/Unix 和 Docker/Kubernetes 基本操作，有基础的项目部署经验

8、熟练使用 Git 等工具，熟练使用 GitHub Actions workflow 和 GitLab pipeline 等工具进行 CI/CD

工作经历

Python 后端开发工程师, 九维数据 (Bees360)

2024.6 - 2025.12

  • 负责公司内部 AI 相关基础设施的开发和维护
  • 独立负责公司内部图像标注平台 AnnotaAI 后端的开发，完成数个大版本需求的技术设计和实现
  • 独立负责公司内部 AI 模型推理与管理平台的维护与开发，设计了公司内部大模型 prompt 问卷规范和 DSL
  • 设计了公司内部基于 Windmill 的任务调度系统的代码规范和开发流程
  • 设计并实现了基于大模型和第三方数据源的自动化保险报告生成流程
  • 参与 Bees360.ai 核心保险报告系统后端的开发和维护，设计并实现了统一的新版任务调度系统

后端研发工程师（实习）, 基调听云 - 应用安全部

2023.10 - 2024.6

  • 独立负责 DongTai IAST 后端项目 (Python) 的开发与维护、SCA 爬虫及后端 (Go) 的维护，参与听云 ASPM 项目后端 (Java) 的开发
  • 实现了系统的登录合规性需求和双因素组合身份认证
  • 设计实现了系统的容器健康检查及其可视化和提醒方案
  • 对接开发了多个客户定制化需求，多次处理客户遇到的问题，解决客户的售后/售前问题
  • 重构系统的部分架构，重写调用链上下游关联模块，大幅提高系统性能和可靠性

Python 开发工程师（实习）, 火线安全

2023.6 - 2023.10

  • 参与 DongTai IAST 后端项目的开发与维护，使用 Django / Celery 技术栈
  • 对后端代码进行了代码规范化重构，并进行了 CI 集成
  • 为解决商业版/开源版的差异问题，提供和实现了可读性更好的动态 Patch 解决方案
  • 基于 Pandoc 和 Typst 重写了 PDF / HTML / Word 报告导出模块，以实现更加统一的导出样式和更好的可维护性
  • 实现了新版用户权限系统，基于 Tantivy 实现了新版轻量级漏洞信息搜索

开源项目

Lucia-lang – 受到 Lua 和 Python 启发的编程语言

https://github.com/st1020/lucia-lang

  • 一种受到了 Lua 和 Python 语言启发的轻量级、可嵌入的动态强类型编程语言，支持过程式、面向对象、函数式、数据驱动编程
  • 具有头等函数、匿名函数、闭包、迭代器、运算符重载、安全导航运算符、尾调用优化等现代语言特性
  • 支持代数效应，可实现统一的异常处理、携程、生成器等语言特性
  • 主要面向嵌入 Rust 程序用于脚本语言用途，可以很方便地与 Rust 语言互相调用
  • 使用 Rust 语言实现了完整的词法/语法分析、语义分析、IR 生成、CFG 分析和优化、字节码生成，并具有基础的静态类型检查支持
  • 实现了基于不可变数据类型的引用计数的安全的垃圾回收，基于栈的虚拟机

AliceBot – Python 异步多后端机器人框架

https://github.com/AliceBotProject/alicebot

  • 使用 Python 协程编写的聊天机器人框架，拥有较高的执行效率
  • 支持多种聊天协议适配，并提供了一套易于学习的插件语法用于用户编写插件实现聊天机器人具体功能
  • 具有完全的类型注解支持、相对完善的文档和配套工具，支持插件和配置文件热重载
  • 多个协议适配器使用了 WebSocket 网络协议，使用 aiohttp 库进行网络请求， pydantic 库进行数据验证
  • 入选 2023 届、2024 届中国科学院软件研究所开源软件供应链点亮计划 (OSPP)

Sophia-doc – Python 模块 API 文档生成器

https://github.com/st1020/sophia-doc

  • 分析 Python 模块的 Docstring 并自动生成 Markdown 格式的 API 文档
  • 基于 PEP 257 – Docstring Conventions 和 PEP 484 – Type Hints 标准
  • 支持基于 Python 的魔法属性分析 Python 函数或类的的 Docstring 和类型注解
  • 用于 AliceBot 项目的 API 文档生成: https://docs.alicebot.dev/api/

Kita – 一个简洁美观的 Zola 博客主题

https://github.com/st1020/kita

  • 基于 hugo-paper 主题移植到 Zola 并新增许多新功能
  • 使用 TailwindCSS，响应式设计，支持暗色模式、分类法、目录、项目和归档页面、评论、LaTex 公式和 Mermaid 图表
  • 模块化设计，适用于所有 Zola 站点，支持通过替换或注入部分修改
  • GitHub 上 Star 数量排名前 20 的 Zola 主题

杭州 / 上海 / 深圳

2002年10月20日

[email protected]

(+86)15167799855

https://resume.gaoyishi.com
stone_2357
https://github.com/st1020 https://www.linkedin.com/in/yishigao/

技术栈

Python Rust FastAPI Django Flutter TS/JS Vue React Java Go Dart PostgreSQL Linux

技能

Python

Rust

Dart/Flutter

Web Development

Java

Go

JS/TS

Linux

教育经历

温州大学

2020 - 2024

计算机科学与技术 / 工学学士

绩点: 4.06/5.0, 专业前 5%

通过 CET-6

温州大学计算机协会部长

获奖情况

2022年03月 ACM 校赛一等奖

2022年11月 浙江省政府奖学金

2021年/2022年 校级三好学生