schildep (GitHub)

schildep GitHub 主页，分享开源项目的开发者。

schildep closed an issue in verified-3d-mesh-intersection

schildep closed an issue in schildep/verified-3d-mesh-intersection · July 30, 2026 22:37 The ScriptPorn panel judged the CSG specification: 86/100 Obscene #3 Hi @schildep — I run ScriptPorn, a daily e...

收藏16 天前

schildep commented on an issue in verified-3d-mesh-intersection

schildep commented on schildep/verified-3d-mesh-intersection#1 · July 30, 2026 22:32 schildep commented Jul 31, 2026 Hi Thank you for taking a look! I counted lines of actual lean code in the files [C...

收藏16 天前

schildep pushed verified-3d-mesh-intersection

schildep pushed to main in schildep/verified-3d-mesh-intersection · July 28, 2026 11:16 1 commit to main e45fdab initial release

收藏18 天前

schildep 公开 3D 网格相交验证项目：93 行规格说明取代千行 AI 代码

斯希尔德普已将 Schildep/Verified-3D-Mesh-Intersection 公开 · 2026年7月26日 16:01 Schildep/Verified-3D-Mesh-Intersection 正式验证了 3D 网格的交集——信任 93 条规范，而非 1000 多行由 AI 编写的代码精简版更新于 7月27日

收藏20 天前

形式化验证的多边形交集算法——Opus 4.8 单次生成，此前模型均失败

据我所知，这是首次正式验证的多边形交叉算法实现。在该项目中与人工智能代理合作的经验，随着最新模型的发布而发生了巨大变化，我在 README 中对此进行了详细描述。Opus 4.8 能够一次性提供带有正式证明的算法实现，而此前的模型则要求我分多个步骤来提供证明策略。对正确性的信任完全源自 Lean 检查器以及对一小段规范的人工审核，而非来自大语言模型。此外，还请查看围绕 README 中所链接的...

收藏72 天前

schildep 推送了代码到 verified-polygon-intersection

GitHub 自动通知：用户 schildep 向仓库 schildep/verified-polygon-intersection 的 main 分支推送了 1 个提交，提交信息为"Remove finite boundary intersection restriction with Opus 4.8"。纯代码仓库操作记录，对普通读者无阅读价值。

收藏78 天前