实时动态 / 第 1327 页
追踪 AI、开源与工程领域的重要动态。
This article details how the author successfully ported the JustHTML project from Python to JavaScript in just a few hours using OpenAI's Codex CLI and GPT-5.2 model. A...
阅读全文A new study reveals that Americans significantly overestimate the percentage of social media users who post harmful content. Surveys show people普遍 believe that 43% of R...
阅读全文Dafny is a verification-aware programming language with native support for specification writing and equipped with a static program verifier. It combines automated reas...
阅读全文Waterfox founder Alex Kontos recently responded to Mozilla's shift toward an AI-first strategy, emphasizing that browsers should serve as user agents rather than thinki...
阅读全文Recently, a user on the Linux.do forum shared their experience using the Claude AI model, noting that after submitting a request, the system generated three documents i...
阅读全文本文讲述了作者如何利用OpenAI的Codex CLI和GPT-5.2模型，在短短数小时内成功将JustHTML项目从Python语言移植到JavaScript。JustHTML作为一个展示'氛围工程'理念的有趣项目，其快速跨语言移植展示了AI辅助编程的强大能力。文章详细介绍了使用AI工具进行代码转换的过程、遇到的挑战以及解决方案，为...
阅读全文一项最新研究表明，美国人严重高估了社交媒体用户发布有害内容的比例。调查显示，人们普遍认为43%的Reddit用户和47%的Facebook用户发布严重有毒评论或虚假新闻，但实际数据表明，这些有害内容仅由3-7%的高度活跃用户产生。这种误解导致人们产生负面情绪、认为社会道德衰退，并扭曲对他人偏好的认知。研究还指出，平台算法为了吸引注意力...
阅读全文Dafny是一种验证感知的编程语言，原生支持记录规范并配备静态程序验证器。它结合自动推理与熟悉的编程习惯，使开发者能够编写规范上可证明正确的代码。Dafny可编译至C#、Java、JavaScript、Go和Python等多种主流语言，无缝集成现有工作流。通过将严格验证融入开发流程，Dafny有效减少后期发现的昂贵错误。其生态系统包含...
阅读全文Waterfox创始人Alex Kontos近日发文回应Mozilla转向AI优先的战略，强调浏览器应作为用户的代理而非思考代理。文章深入分析了Mozilla面临的生存危机与市场压力，同时批判了大语言模型（LLM）作为'黑盒'技术的不透明性。Kontos明确表示Waterfox不会集成LLM，认为当前形态的AI违背了浏览器应尊重用户控...
阅读全文近日，Linux.do论坛上一用户分享使用Claude AI模型的体验，指出在向模型发送需求后，系统生成了三份文档而非直接回答。这一现象引发讨论，用户询问这是否为Claude模型的特有行为，以及是否需要在每次需求中特别注明不要输出文档。该帖反映出AI助手在实际应用中可能存在的输出偏好问题，与之前使用的Codex模型形成对比。随着AI助...
阅读全文This article delves into the most misunderstood feature of the Odin programming language—the context system. The author clarifies that the true purpose of the context s...
阅读全文Inspired by a V2EX post, a developer spent an entire night building getcheapai.com, an AI gateway price comparison website, for only 73 yuan. During development, the au...
阅读全文This article details how researchers broke through the hardware limitations of the RK3588 neural network processor through reverse engineering to successfully run visio...
阅读全文47-year-old MIT Nuclear Science and Engineering professor Nuno F Gomes Loureiro of Portuguese nationality was shot at his Massachusetts home and tragically passed away ...
阅读全文This research, published in Nature Communications, explores a hybrid robot design inspired by the aerodynamics of tumbleweeds. By analyzing the rolling characteristics ...
阅读全文Chat-tails is a retro terminal chat tool built on Tailscale technology, created by developer Brian Scott to provide a secure gaming chat space for his children. The pro...
阅读全文Astral today announced ty, a blazing-fast Python type checker and language server built with Rust. In terms of performance, ty is 10 to 60 times faster than existing to...
阅读全文本文深入探讨了Odin编程语言中最常被误解的功能——上下文系统。作者澄清了上下文系统的真正目的并非减少参数传递或实现动态作用域，而是为了拦截和修改第三方代码的行为。文章详细介绍了上下文系统的核心组件，包括分配器、断言处理程序、日志记录器和随机数生成器等，并解释了为什么选择隐式指针传递而非线程局部变量的设计决策。通过实际案例，作者展示了...
阅读全文一位开发者受V2EX帖子启发，花费一个通宵时间，仅用73元成本打造出AI中转站比价网站getcheapai.com。开发过程中，作者充分利用了AI工具提高效率：主要使用Claude Code + Sonnet 4.5编写代码，通过v0.dev设计界面，并用Opus 4.5完美实现界面效果。该工具解决了AI用户寻找高性价比中转站的痛点，...
阅读全文本文详细介绍了研究人员如何通过逆向工程技术突破RK3588神经网络处理器的硬件限制，成功运行视觉Transformer模型。RK3588作为一款广泛应用于边缘计算设备的AI芯片，其内置NPU原本对复杂AI模型的支持有限。通过深入分析芯片架构和优化算法，研究人员成功克服了这些限制，使视觉Transformer能够在资源受限的嵌入式设备上...
阅读全文