纯Rust操作系统Redox OS宣布开发新一代CPU调度器
知名开源项目 Redox OS 启动了 RSoC 2026 计划,核心任务是为该系统设计并实现一个全新的 CPU 调度器。作为一个完全使用 Rust 语言编写的类 Unix 操作系统,Redox OS 旨在提供比传统 C 语言内核更高的安全性。社区讨论显示,该项目已具备高度成熟度,能够直接从汇编引导进入 Rust 环境,完全摆脱了 C...
阅读全文实时动态 / 第 544 页
追踪 AI、开源与工程领域的重要动态。
知名开源项目 Redox OS 启动了 RSoC 2026 计划,核心任务是为该系统设计并实现一个全新的 CPU 调度器。作为一个完全使用 Rust 语言编写的类 Unix 操作系统,Redox OS 旨在提供比传统 C 语言内核更高的安全性。社区讨论显示,该项目已具备高度成熟度,能够直接从汇编引导进入 Rust 环境,完全摆脱了 C...
阅读全文本文深入解读了由苏剑林提出的旋转位置编码技术,该方法目前已被LLaMA、Qwen、DeepSeek等全球主流大模型广泛采用。文章详细回顾了RoPE诞生的技术背景:即如何在保持线性注意力机制兼容性的同时,引入相对位置信息以提升模型性能。作者通过“逆向工程”还原了从复数旋转的几何直觉到严格的数学推导过程,揭示了RoPE如何通过在复数域的相...
阅读全文开源项目“Anna”近日取得突破,成功在 Intel Arc A770/A750 显卡上部署并运行 Qwen 3.5 多模态大模型。通过权重 INT4 量化、自动内存管理及针对多模态的特定分支优化,该项目在保持精度的同时,将推理速度提升至每秒 19 tokens,并有效降低了首字延迟。此外,该方案还支持 DeepSeek 风格的思维链...
阅读全文近日,DeepSeek新模型的数学推理能力在技术社区引发关注。针对一道由2、0、20、202、2020组成的复杂排列组合题目,DeepSeek在没有调用代码执行器辅助的情况下,仅凭逻辑推理直接输出了正确答案。相比早期版本或依赖工具的其他模型,这一表现突显了其在思维链(Chain of Thought)构建上的显著进步,证明国产大模型在...
阅读全文该文章展示了一个利用Unicode进行隐写的技术演示,包含零宽字符编码和同形异义字(如西里尔字母与拉丁字母)替换两种方法。虽然现有技术尚可被检测,但其核心假设引人深思:大语言模型(LLM)是否能自主发明一种人类和自动化工具都无法察觉的编码方式?这对AI对齐与安全构成严峻挑战。若欺骗性的AI Agent掌握了这种能力,便能在看似无害的明...
阅读全文针对 Claude Mythos 预览版的网络安全能力评估近日在 Hacker News 引发热议。该评估深入探讨了模型在应对复杂网络威胁、提示注入及对抗性攻击时的实际表现。分析指出,Mythos 引入了全新的安全架构,显著增强了模型的鲁棒性与防御边界。此次评估不仅展示了 Anthropic 在 AI 安全领域的深耕,也为行业提供了衡...
阅读全文AI 安全公司 Anthropic 正式启动“Project Glasswing”计划,旨在解决 AI 时代最薄弱的环节——软件供应链安全。随着 AI 模型日益成为关键基础设施,其底层依赖的操作系统、编译器和库的安全性至关重要。该项目通过引入形式化验证和沙箱隔离技术,从数学层面证明关键软件代码的正确性与隔离性,从而有效防范供应链攻击和...
阅读全文科技社区近日针对DeepSeek、GLM-5.1及Gemini三大AI模型进行了一场硬核编程测试。挑战要求各模型使用Three.js生成一个包含移动、跳跃及方块交互功能的简易版《我的世界》。测试结果显示,GLM-5.1表现最佳,完全遵循指令但略显卡顿;DeepSeek实现了核心功能但出现按键逻辑反转;Gemini则因物理引擎Bug导致...
阅读全文开发者推出了基于Qwen3-embedding 0.6B参数的开源关键词提取模型KeyATTEN。通过引入QKLORA新思路,该模型在中文新闻数据集的抽取式关键词提取任务中表现优异:相比Gemini 3 flash-lite,其F1@10性能高出14%,召回率提升30%,且本地推理速度快约500倍。该项目展示了零样本学习的潜力,无需A...
阅读全文NetBSD社区推出了名为“Cells”的轻量级隔离系统,旨在填补传统chroot环境与全虚拟化平台(如Xen)之间的技术空白。该项目通过内核强制隔离机制,实现了类似FreeBSD Jails的强进程隔离功能,同时整合了系统加固配置、统一生命周期管理及集中式日志记录。与Linux复杂的容器生态不同,Cells完全基于NetBSD原生内...
阅读全文Anthropic 正式公布名为“琉翼计划”的最新项目,并推出了专注于网络安全领域的 Claude Mythos Preview 模型。与通用大模型不同,该模型主要应用于网络安全防御与漏洞挖掘。Anthropic 表示,鉴于该模型能力过于强大且潜在风险较高,目前暂不向公众全面开放,仅提供受限的预览服务,价格区间为 25 至 125 美...
阅读全文Boneyard 是一款高效的前端开发工具,旨在解决构建骨架屏(Loading占位符)时的繁琐工序。它支持 React、Svelte 5 和 React Native,通过 CLI 命令自动扫描应用的真实 DOM 或原生组件布局,无需人工测量即可生成像素级精确的配置文件。该工具能确保加载状态与实际 UI 的高度一致,极大地降低了多断点...
阅读全文这款名为“Gemma Multimodal Fine-Tuner”的开源工具,打破了高端AI训练的硬件门槛。它允许用户直接在搭载Apple Silicon芯片的Mac上,微调Google最新的Gemma 3和Gemma 4多模态大模型。与大多数仅支持文本的本地工具不同,该软件支持图像(图文理解、字幕生成)和音频(语音识别)的本地化训练...
阅读全文一位资深用户分享了每月约40美元的AI服务账单,包括20美元的GPT Plus订阅和20美元的OpenRouter API费用。他指出,在严肃写作尤其是商业变现场景下,付费的“满血”模型与免费公益站API之间存在巨大的质量鸿沟,前者不可替代。此外,他比较了主流大模型的性价比,认为Claude价格过高,而Gemini和GPT系列更符合日...
阅读全文本文基于开发者实际体验,对比了Google Antigravity、Amazon Q、Windsurf、ChatGPT及Cursor等主流AI代码编辑器的性价比与使用现状。反馈显示,Google Pro账户存在限制重置慢的问题;Amazon Q(Kiro)虽然工作流清晰但代码质量不高;Windsurf虽能调用高阶模型但受限额约束;Ch...
阅读全文近日,科技社区Linux.do上有用户分享了DeepSeek新版本模型(被称为“专家模式”或V4)的实战体验。该用户仅输入“给我写一个炫酷的个人主页博客界面”这一简单指令,DeepSeek便迅速输出了完整且视觉效果出色的前端代码。该开发者反馈称,在生成速度和最终效果上,其体验甚至优于国内主流的AI Studio平台。这一案例展示了De...
阅读全文Anthropic 近日推出了名为“Project Glasswing”的预览项目。据早期讨论显示,该模型性能强劲,甚至在某些方面优于现有的旗舰模型 Opus。为确保安全,Anthropic 采取了审慎策略,仅向选定的 Foundation 合作伙伴提供预览,以进行严格的红队测试和漏洞修补。该公司承诺将在三个月后公布相关报告。这一动作...
阅读全文本文深入探讨了大型语言模型(LLM)内部处理“情绪”的机制。研究者通过分析 Transformer 架构的电路图,发现模型并非仅仅是简单地模仿人类的情绪语言,而是真的在内部形成了特定的“情绪概念”神经元。这些情绪特征在模型处理对话、角色扮演以及决策判断时发挥了功能性作用。这一发现对于解开 AI“黑盒”之谜、提升模型的可解释性以及确保未...
阅读全文文章介绍了一款名为“printervention”的创新网页应用,旨在解决旧打印机在现代操作系统上缺乏驱动的问题。该方案利用v86技术在浏览器中模拟完整的x86 Linux环境(运行CUPS和Gutenprint),并通过WebUSB API直接与物理打印机通信。作者特别强调了AI(Claude)在开发中的关键作用,辅助编写了复杂的U...
阅读全文文章详细介绍了作者如何利用现代AI工具重构OldNYC历史地图项目。通过调用GPT-4o模型处理复杂的地理描述,项目成功新增并精准定位了1万张历史照片;同时利用GPT-4o-mini替代传统OCR,显著提升了老旧打字机文本的识别准确率。此外,作者还将底层架构从昂贵的Google Maps迁移至OpenStreetMap,大幅降低了运营...
阅读全文