让 Claude 用纯 Lean 画 Mandelbrot 集，还自带 Hershey 字体
geoffreyirving · x · 2026-10-15
Geoffrey Irving 展示让 Claude 在纯 Lean（无 Python）环境里玩转 Mandelbrot 集：模型借用公有领域的 Hershey 描边字体来渲染文字，并给出 q=2 horn 映射认证半径的放大图，用 Krawczyk 认证磁盘对 Lavaurs 模型的深 zoom 区域做数值认证，94.07% 的采样点获得认证包围。
所属事件:Claude 在纯 Lean 环境中绘制出 Mandelbrot 集(2 条相关)→
「编程与Agent」频道最新
- awesome-llm-apps 破 14 万 star:100+ 开源 AI Agent 与 RAG 应用 — Saboo_Shubham_ · 2026-10-15
- 开发者用 Eazo 搭建「视频提示词导演」应用,一句话生成可调视频 Prompt — alifcoder · 2026-10-15
- 用 Gemini 生成动画版 Excalidraw, fully working 将开源 — Saboo_Shubham_ · 2026-10-15
- 用 Claude Skills 叠加 Makefile 确定性层,编排复杂自动化工作流 — bradneuberg · 2026-10-15
- 戴着 AirPods 散步时语音指挥 Codex:改网站、建应用、回邮件一条龙 — nickbaumann_ · 2026-10-15
- Sentry 创始人否认为「企业客户的钱」移除选项：遥测均为可选 — zeeg · 2026-10-15