全部 AI技术 安全技术 IT技术
AI技术

羞辱IIS服务器:有趣但可能面临牢狱之灾

羞辱IIS服务器:有趣但可能面临牢狱之灾 一位朋友曾告诉我: 如果你看到IIS的蓝色屏幕,不要停在那里;背后一定有什么东西。 没错,他说得对。那个IIS启动页面并不是死胡同。在那扇蓝色窗口背后,是互联网上配置最混乱的Web服务器之一,它正等着你去深入探索。 那么,让我带你看看我在漏洞赏金中如何...

2026/6/17 67
AI技术

本地模型现在表现不错

本地模型现在表现不错 2026年6月15日 自从本地模型问世以来,我一直在使用它们,而现在,它们终于变得出奇地好用了。 我有一台2022年的M2 Mac,配备64GB内存和1TB存储空间,我曾在各种不同的系统配置下使用过它们,比如: 本地模型现在发展到什么程度了? 早期,模型运行缓慢、难以使用...

2026/6/17 68
AI技术

裸机启动 Linux:不到一秒启动一个单进程内核

探索用最小化的 Linux 内核启动单个进程:从手写 C 语言 init 程序、构建极简 initrd 到 KVM 虚拟化和真实 UEFI 硬件启动,全文含内核裁剪配置指南。

2026/6/16 77
[M]
AI技术

Rust 和 C/C++ 的内存安全 CVE 到底有何不同

深度分析 Rust 和 C/C++ 在内存安全 CVE 报告上的本质差异:Rust 的 safe/unsafe 边界使得任何 safe API 的内存安全问题都算库的 bug,而 C/C++ 中类似情况只被视为用户代码的问题。

2026/6/16 99
AI技术

我的家庭实验室 AI 开发平台

用 OpenCode 搭建个人 AI 开发平台,通过 GitOps 管理家庭实验室,实现 AI 编码、PR 审核、自动部署的全流程自动化。

2026/6/16 98
安全技术

Curl 将于 2026 年 7 月暂停接受漏洞报告

Curl安全团队将在2026年7月休假一个月,暂停接受漏洞报告。Daniel Stenberg坦言需要休息,这是26年来第一次。

2026/6/15 130
AI技术

形式化方法与编程的未来

形式化方法过去因成本太高而不被看好,但智能体编程的出现改变了成本效益天平。Jane Street正式组建团队,致力于让形式化方法像类型系统一样普及易用。

2026/6/15 120
AI技术

里约热内卢的"自研"大模型被指复用他人模型权重

里约热内卢市政府下属AI团队发布的Rio-3.5-Open-397B大模型被曝并非自主训练,而是将Nex-N2-Pro与Qwen3.5按比例融合的产物。权重分析的数学证据和模型自曝身份测试均揭示了这一事实。

2026/6/15 83
AI技术

Catlantean 3D:像 1993 年一样做图形

一位独立开发者用 90 年代初的图形技术构建 FPS 游戏的深度实践——从 VGA Mode 13h 调色板、光线投射引擎、颜色映射表预处理到 Blender 资源流水线。

2026/6/14 94
AI技术

macOS Container Machines——Apple 为 Mac 打造的轻量级 Linux 容器

Apple 开源容器工具新功能 Container Machine:在 Mac 上创建轻量级 Linux 环境,自动映射用户和家目录,支持 systemd 服务,基于标准 OCI 镜像构建。

2026/6/14 90