作为 Jane Street 的一名设计师,作者起初对大语言模型(LLM)持怀疑态度,但如今已通过利用人工智能构建功能性原型而非静态模型,彻底改变了自己的工作流程。通过使用 Claude 等工具编写陌生语言(OCaml 和 Bonsai)的代码,作者现在能够直接在代码库中对实时功能进行迭代,从而绕过了 Figma 文件和规格说明文档等传统的“辅助性”设计产物。
这种方法实现了快速、高保真的实验,能够在不占用工程资源的情况下验证可行性并改善用户体验。虽然作者也指出了潜在的挑战——例如确保合作者有权对“成品化”的原型提出批评,以及避免人工智能辅助迭代带来的创造性限制——但这种转变赋予了设计师巨大的赋能。
通过在实际媒介中进行构建,作者重新获得了创建工作概念证明的能力,而这曾是工程师的专属特权。这种演变绕过了复杂的正式设计流程,使作者能够专注于打磨最终产物,并促进了更流畅、更直接的“设计到实现”过程。
“阈限主义”(Liminalism)是一场新兴的互联网艺术运动,其核心在于“阈限空间”的审美——即空旷的商场或走廊等平凡、过渡性或废弃的场所,这些空间常令人产生一种诡异的怀旧感、错位感和存在主义焦虑。这些数字化的“现成艺术”图像通常不见人影,通过“后室”(Backrooms)模因等现象广为流传,引起了经历后工业异化和数字时代碎片化的一代人的共鸣。
尽管这一运动具有鲜明的当代色彩,但它与20世纪艺术有着深厚的渊源。其超现实且令人迷失的构图呼应了乔治·德·基里科(Giorgio de Chirico)和勒内·马格利特(René Magritte)的作品;而其对孤立、阴郁建筑的关注,则直接承袭自爱德华·霍普(Edward Hopper)、格兰特·伍德(Grant Wood)和安德鲁·怀斯(Andrew Wyeth)的美国现实主义。
作为一场草根运动,“阈限主义”标志着艺术话语权正从传统机构转向由大众策划的数字社区。这些空间是现代“鬼魂学”(hauntology)——即被困在空洞当下之感——的一种视觉呈现。通过捕捉那些看似处于“中间地带”的场所,“阈限主义”为我们时代的焦虑提供了一面深刻的镜子,映射出一个日益显得虚拟、空虚且断裂的世界。
Symbolica 2.0 现已发布,该版本显著增强了其用于 Python 和 Rust 的高性能符号计算框架。此次更新重点推出了“可编程符号”,允许用户直接在框架内定义自定义的数学行为,例如简化、微分和求值。
**主要改进包括:**
* **可编程钩子 (Programmable Hooks):** 用户现在可以安装自定义逻辑,用于归一化、打印、级数展开(包括奇点)和数值评估。
* **增强的 Rust API:** 简化且更符合工程习惯的 API,具备更好的运算符重载、用于复杂配置的新构建器模式,以及更直观的“预导入”(prelude)。
* **高级求值器:** 框架现已支持 JIT 编译、高精度“双浮点”算术,以及扩充后的特殊函数库(如贝塞尔函数、黎曼 zeta 函数和多重对数函数)。
* **输出与易用性:** 新增对 LaTeX、Typst 以及彩色 HTML/Notebook 输出的支持,提升了大型嵌套表达式的可读性。
* **性能:** 通过对模式匹配、项排序和多项式算法的深度优化,用户在实际应用场景中可获得 2 倍至 10,000 倍的性能提升。
Symbolica 2.0 对业余爱好者和非商业单核使用保持免费,并提供商业许可模式以支持持续开发。
**Tako VM** 是一个强大的自托管解决方案,用于安全地执行不受信任的 Python 代码。与需要外部基础设施的基础沙箱工具不同,Tako VM 提供了一个用于安全隔离执行的一体化平台。
主要功能包括:
* **内置基础设施:** 包含集成的任务队列、工作池以及用于执行历史记录的 PostgreSQL 数据库,无需 Redis 或 Celery。
* **增强安全性:** 使用 Docker 容器,并支持可选的 gVisor 沙箱、seccomp 过滤以及默认的网络隔离。
* **操作控制:** 支持自动重试、幂等性以及重放过去的任务,方便无缝调试。
* **开发者友好:** 专为企业使用而设计,支持自托管和离线运行,提供可预测的零单次执行成本模式。
入门简单:通过 `pip` 安装,运行设置命令,然后启动服务器,即可立即通过 API 执行代码。对于需要完整且即用型环境来执行 AI 生成或不受信任代码的组织,Tako VM 提供了一个全面的替代方案。
**oproxy** 是一款功能通用的本地代理工具,专为开发者设计,用于检查、修改和重放 HTTP、HTTPS 和 SOCKS5 流量。无论是测试浏览器、移动应用还是命令行工具,oproxy 都能提供对请求、响应及元数据的深度可见性,并支持 JWT、GraphQL 和 WebSocket。
主要功能包括:
* **流量操作:** 通过规则集、远程/本地映射、限流、断点、模拟响应和 Lua 脚本来修改流量。
* **工作流集成:** 重放捕获的请求、手动构建请求,并将数据导出为 HAR、cURL、Fetch 或 Python 代码片段。
* **AI 辅助:** 使用集成的兼容 OpenAI 的聊天模型来检查状态并自动化配置代理。
* **简易部署:** 可通过 Docker 或从源码(Rust/Node.js)运行。在信任本地 CA 证书后,即可支持 MITM 中间人拦截。
oproxy 是无需更改应用代码即可调试服务的理想选择。它允许用户模拟网络状况、拦截请求或将流量重定向到测试环境,从而简化测试流程。通过持久化会话并提供完善的管理界面,它成为了快速 API 开发和稳健测试工作流中不可或缺的工具。