标签索引 / 第 3 页

操作系统

这个标签下有 48 篇文章。按时间回看相关判断与实践记录。

标签精选

首款“数学原生”OS发布：Axiom融合大模型与形式化验证，从内核根治AI幻觉

Axiom 被称为全球首个从内核层面融合人工智能与形式化数学的操作系统。作为一个“数学原生”系统，它允许直接使用 $x^2$ 等数学语法作为有效代码。其核心创新在于“神经符号”架构：利用高速大语言模型（如 Qwen）提供创造性推理，同时通过...

2026-02-191 分钟阅读231 阅读

Pocketblue 项目宣布提供适用于移动设备的 Fedora Atomic 镜像，旨在让手机和平板电脑运行完整的桌面级 Linux 系统。目前该项目支持小米平板 5/6 和一加 6/6T，采用不可变基础系统设计，提升了系统的稳定性与安全...

2026-02-161 分钟阅读304 阅读

近日，一批微软 Windows NT 操作系统的早期核心设计文档在网络上引发技术圈热议。这份“设计工作手册”涵盖了 NT 内核、虚拟内存、文件系统、对象管理器等关键组件的详细设计规范，甚至还包括了对 OS/2 子系统的支持细节。这些文档忠实...

2026-02-151 分钟阅读165 阅读

colorForth 是 Forth 语言发明者 Chuck Moore 对经典编程语言的革命性重构，旨在对抗现代软件的臃肿与低效。该系统将语法精简为视觉化的颜色编码（红色定义、绿色编译、黄色执行），核心软件仅占用 2KB 内存，甚至包含了...

2026-02-131 分钟阅读212 阅读

目前的 AI 智能体（如 Clawdbot）大多仍依赖屏幕截图和 UI 识别来操控现有应用，这种“模拟人类”的方式本质上是基于图形界面（GUI）的妥协。然而，随着技术演进，业界开始探讨专为 AI 设计的“原生”操作系统与 APP。这不仅是功...

2026-02-091 分钟阅读168 阅读

Windows Central资深编辑近日撰文指出，由于微软账户服务端故障，他无法打开系统自带的记事本等基础应用。这一事件引发了对Windows 11“瘦客户端”化趋势的深度担忧。文章批评微软为了推广AI和云服务，将Copilot深度植入系...

2026-02-081 分钟阅读166 阅读

微软近日开源了代号为LiteBox的安全导向库操作系统。该项目旨在通过大幅缩减对主机系统的接口调用，从而显著降低攻击面。LiteBox采用了独特的“南北”接口架构，实现了上层应用与底层平台的灵活解耦，支持在Windows上运行未经修改的Li...

2026-02-071 分钟阅读263 阅读

MenuetOS 是一款完全由汇编语言构建的操作系统，以其极致的体积和性能著称。该系统不仅支持 64 位架构，且体积极小，足以装进一张软盘。它摒弃了 UNIX/POSIX 的复杂层级，通过 x86-64 汇编实现了高达 100kHz 的进程...

2026-02-061 分钟阅读191 阅读

本文作者详述了因Windows 11 24H2更新引发的严重Bug、强制更新及广告轰炸等糟糕体验，最终促使这位资深开发者放弃Windows转投Linux。作者对比了两者在开发、创作和游戏领域的表现，认为Linux已完全可用。文章痛批微软过度...

2026-01-291 分钟阅读206 阅读

轻量级桌面环境 Xfce 宣布，利用社区捐赠资金资助核心开发者 Brian Tarricone 开发全新的 Wayland 合成器 xfwl4。该项目将完全使用 Rust 语言和 Smithay 库从零编写，而非基于旧版 C 语言的 xfw...

2026-01-271 分钟阅读518 阅读