GPT-5.2-Codex vs Claude-Sonnet-4.5: Code Generation Showdown
In the Linux.do community, a user conducted an in-depth comparison of GPT-5.2-Codex and Claude-Sonnet-4.5's performance in the code generation field. The user asked whi...
阅读全文实时动态 / 第 1222 页
前沿哨所
追踪 AI、开源与工程领域的重要动态。
- 日期
- 09-02
- 本页
- 20 条
- 累计
- 26,681 条
AI Text Adventure Game 'Floating Life Ten Dreams' Releases Docker Deployment Version
'Floating Life Ten Dreams' is a web-based immersive text adventure game where players take on the role of characters battling fate. With ten daily opportunities to ente...
阅读全文DIY AI Role-Playing Prompt Marketplace Launches with Gemini Model Support
JiuPawMiao is a self-built AI role-playing prompt marketplace, currently featuring 120 pieces of content, with the website still under development. The featured section...
阅读全文从零到量子电动力学：Lean 4形式化验证入门指南
这是一份关于Lean 4编程语言的系列教程，旨在从零开始教授形式化验证技术。教程分为两部分：首先将Lean作为编程语言教授，包括语法、类型系统、控制流等内容；然后将其作为定理证明器教授，涵盖证明编写、类型理论、依赖类型等高级主题。文章强调，形式化方法在未来十年可能比过去五十年更为重要，特别是与人工智能的交叉领域。所有代码示例和证明都经...
阅读全文Eino框架双路径支持：AI Agent设计面临定位危机？
Go语言开发的LLM框架Eino，同时支持基于LangChain和LangGraph的流程编排方式，以及类似Google ADK的Agent操作方式。这两种Agent实现原理不同，引发了对框架定位的担忧：由于两套API过于割裂，Eino可能无法在特定领域脱颖而出，最终被市场淘汰。这一讨论反映了AI框架设计中平衡灵活性与专注度的挑战，对...
阅读全文Claude Code API错误400解决方案：自定义命令绕过thinking block限制
Claude Code在使用过程中突然出现API Error: 400错误，导致会话无法正常使用，即使使用内置的/resume命令也无法恢复。本文深入分析了这一问题的根本原因：Claude的extended thinking模式生成的thinking block不可修改，当后续请求试图修改这些块时就会触发400错误。文章提供了两种解决...
阅读全文Codex Review命令报错：ID格式无效问题
在Linux.do技术论坛上，用户报告了在使用Codex AI模型时遇到的一个具体bug。问题描述为：在同一个会话中，当用户先使用/review命令获取review结果，然后尝试让模型更改内容时，系统会返回错误。错误详情为：‘Invalid ‘input[2].id’: ‘review:rollout:user’. Expected ...
阅读全文GPT-5.2-Codex与Claude-Sonnet-4.5代码能力对决
在Linux.do社区，一位用户深入比较了GPT-5.2-Codex和Claude-Sonnet-4.5在代码生成领域的表现。用户询问哪个模型在编写代码时更胜一筹，并分享了实际使用体验：Codex频繁出现重试五次后失败的问题，尽管网络延迟控制在100ms以内且环境纯净。讨论聚焦于AI模型在软件工程中的实用性和稳定性，为开发者提供了宝贵...
阅读全文AI文字冒险游戏《浮生十梦》推出Docker部署版
《浮生十梦》是一款基于Web的沉浸式文字冒险游戏，玩家扮演与命运博弈的角色，每天有十次机会进入不同梦境，体验由AI动态生成的独特人生故事。游戏核心聚焦于“知足”与“贪欲”的抉择机制。为解决环境配置难题，作者开发了Docker容器化部署方案，推荐使用docker-compose简化安装流程。该开源项目支持l站登录和兑换码生成开关，默认纯...
阅读全文自建AI角色扮演Prompt市场上线，支持Gemini模型
玖帕喵是一个自建的AI角色扮演prompt市场，目前已有120篇内容，网站仍在完善中。精选区提供通用模板和通用破限模板，经过实测支持Gemini-3-Pro模型。为保障网站稳定性，r18内容需登录查看，用户可通过GitHub快速注册。该项目由个人开发者维护，鼓励用户反馈以改进体验。作为AI交互资源平台，它为角色扮演爱好者提供了便捷的p...
阅读全文AI-Powered Refactoring: Migrating an Android App to Jetpack Compose with Google Antigravity
A developer shares their hands-on experience migrating the V2EX Android client from a traditional View architecture to Jetpack Compose using the Google Antigravity tool...
阅读全文New WeChat Bot Solution: AstrBot + WeChatPadPro Setup Guide
This article provides a detailed guide on building a stable WeChat bot by combining AstrBot and WeChatPadPro, addressing the issue of Gewechat no longer being maintaine...
阅读全文Tavern-Register: A Non-Intrusive Multi-User Registration Tool for SillyTavern
Tavern-Register is a standalone registration portal designed specifically for SillyTavern, featuring a "plug-in" architecture that enables multi-user registration by ca...
阅读全文Fixing Gemini API Configuration Not Taking Effect
Recently, users on the Linux.do forum reported issues with Gemini API configurations not taking effect. After discussion, it was confirmed that the cause is a .env file...
阅读全文Claude Code VS Code Shortcut Conflict Resolution Guide
When using Claude Code for VS Code on Windows, users encounter shortcut key conflicts. Specifically, the Ctrl+Esc key combination defaults to opening the Start menu in ...
阅读全文AI Creates Tang Dynasty Interactive History Experience App
This application, powered by Google AI technology, creates an immersive Tang Dynasty historical experience platform. Users can interact with various characters through ...
阅读全文Antigravity Model Selection Limited, Users Urgently Seek Solutions
On the Linux.do tech forum, users have reported that the Antigravity tool can only use the default Gemini 3 Pro model, with no option to freely select other models. Thi...
阅读全文AI一键重构：Google Antigravity实战迁移Android应用架构
开发者分享使用Google Antigravity工具将传统View架构的V2EX Android客户端迁移至Jetpack Compose的实战经验。整个迁移过程仅用约1小时，基于Gemini 3 Pro模型完成，应用成功运行且首页界面还原度高。文章详细记录了使用AI工具进行架构迁移的具体步骤、遇到的问题及解决方案，展示了AI在软件...
阅读全文微信机器人新方案：AstrBot + WeChatPadPro搭建教程
本文详细介绍了如何结合 AstrBot 和 WeChatPadPro 搭建稳定的微信机器人，解决了 Gewechat 不再维护的问题。支持多种大语言模型，包括 OpenAI、DeepSeek、Gemini 等，提供自动化功能如消息自动回复和群管理。教程基于 Docker 方式部署，项目已稳定运行两周，适合开发者实践。文章提供了 Git...
阅读全文解决Gemini API配置不生效问题
近日，有用户在Linux.do论坛上反映在使用Gemini API时遇到配置不生效的问题。经过讨论，确认原因是启动gemini-cli的路径下存在一个.env文件，导致用户配置被覆盖。这一问题在开发者社区中较为常见，影响了API的正常使用和开发效率。社区成员正在积极寻找解决方案，建议用户检查相关路径，避免文件冲突。对于使用Google...
阅读全文