③ CONSTRAIN · 预算与候选集
④ CHOOSE · LLM 选择 IntentDirectorService 决策网关
⑤ VALIDATE · 四道护栏FLocalProvider 本地降级
⑥ RESOLVE · 数值在此产生
⑦ APPLY · 规则生效
山海镜 ShanHaiMirror
2026-07 – 至今受约束的 LLM 决策系统：LLM 负责选择与表达，代码负责计算与安全；LLM 可以整体失败，而系统不失败
寻找 2027 暑期 AI 应用开发实习
我是徐傲轩，做 AI 应用开发。把不可靠的 LLM，放进可靠的系统。
江汉大学 · 计算机科学与技术 · 2028 届
关于我
我做 AI 应用开发，但重心放在软件工程上。LLM 会超时、会返回非法输出、会做出越权的决定，所以我把它当成一个不可靠的依赖来设计系统：用类型划定它能碰什么，用护栏校验它说了什么，用降级保证它整体失败时系统照常运行。山海镜是这套思路的完整实现；MetaPool 是同一种工程习惯在 Java 资源治理上的练习。
江汉大学 · 计算机科学与技术 · 本科 · 2028 届专业排名前 30% · 校级奖学金
工程理念
- 每个设计先回答两个问题：为什么需要它？不用它会出什么问题？答不上来就不做。
- 不信任 LLM 的输出是设计前提，不是补丁：先校验再使用，能交给类型系统守住的边界就不交给纪律。
- 数字只写实测值，不利的也照写。MetaPool 1.0 的自研路线，就是被我自己的 JMH 数据推翻的。
技能
- 编程语言
- Java（主力，JDK 17）
- SQL
- TypeScript
- Python
- C++
- LLM 应用
- Prompt 工程与模板化
- 输出 Schema 校验与安全护栏
- 多 Provider 抽象与逐级降级
- 语义指纹缓存
- 跨语言 JSON 契约设计
- 框架
- Spring Boot 3
- WebClient
- Resilience4j
- Bucket4j
- Vue 3
- 中间件
- MySQL
- Redis
- HikariCP
- Redisson
- Netty
- 工具与工程
- Maven 多模块与 Central 发布
- Micrometer
- Prometheus
- Grafana
- JUnit 5
- JMH
- Docker
- Testcontainers
- GitHub Actions
- Vite
- Vitest
- 计算机基础
- 数据结构与算法
- JUC 并发
- JVM 内存与 GC
- 计算机网络（HTTP/TCP）