从零开始理解可微编程
2025-04-17
本文深入浅出地讲解了可微编程，从微积分中的导数定义出发，逐步解释了梯度、方向导数和雅可比矩阵的概念。文章详细阐述了数值微分、符号微分和自动微分（正向模式和反向模式）三种微分方法，并比较了它们的优缺点。最后，文章通过一个图像去模糊的案例，演示了如何利用反向模式自动微分结合梯度下降法解决实际优化问题。
阅读更多
开发
我厌倦了它：AI的隐忧
2025-04-04
作者表达了对某种科技的厌倦，这种科技无处不在，具有去人性化的倾向，其存在的合理性受到质疑。从垃圾输入到垃圾输出，没有人真正需要或想要它，但最好的头脑却致力于让人们使用它。股东、政策制定者都屈服于它的压力，运行它需要消耗巨大的能源和水资源。媒体上充斥着对其的赞扬和批判，人们喋喋不休地谈论它，分享他们如何使用它。作者隐晦地指出了这种科技，并表达了使用它后的负罪感。
阅读更多c/ua：赋能AI代理控制完整操作系统的轻量级框架
2025-04-23
c/ua (koo-ah) 是一款轻量级框架，允许AI代理在高性能虚拟容器内控制完整的操作系统。它在Apple Silicon上可达97%的原生速度，并兼容任何视觉语言模型。c/ua集成了高性能虚拟化（在Apple Silicon上使用Lume CLI和Apple的Virtualization.Framework创建和运行macOS/Linux虚拟机）和AI代理接口，允许AI系统观察和控制虚拟环境，进行网页浏览、代码编写等复杂工作流程。它保证了安全性、隔离性、高性能、灵活性和可重复性，并支持多种LLM提供商。
阅读更多
AI
抛弃WhatsApp，拥抱Signal：隐私与道德的抉择
2025-06-21
本文作者强烈建议用户从WhatsApp迁移到Signal，并详细阐述了其原因。WhatsApp的母公司Meta及其创始人扎克伯格的种种行为，包括数据共享、与执法机构合作以及干预选举等，引发了严重的道德和隐私担忧。相比之下，Signal 致力于保护用户隐私，并获得了多个机构的认可。文章最后提供了从WhatsApp迁移到Signal的简单步骤，呼吁用户为了个人隐私和更道德的互联网环境做出改变。
阅读更多
杂项
arXivLabs：与社区协作者合作的实验项目
2025-06-16
arXivLabs是一个允许协作者直接在我们网站上开发和分享arXiv新功能的框架。与arXivLabs合作的个人和组织都秉承并接受了我们开放、社区、卓越和用户数据隐私的价值观。arXiv致力于这些价值观，并且只与遵守这些价值观的合作伙伴合作。 有一个想法可以为arXiv社区增加价值吗？了解更多关于arXivLabs的信息。
阅读更多
科技
微软将于2025年5月终止对旧版远程桌面应用的支持
2025-03-11
微软宣布将于2025年5月27日停止对Windows版旧版远程桌面应用的支持，用户需要迁移到新的Windows应用。新应用支持多显示器、动态分辨率，并方便连接云电脑和虚拟桌面。虽然Windows内置的远程桌面连接应用不受影响，但新应用目前仅支持工作或学校账户，微软未来计划支持个人账户，以实现其将Windows完全迁移到云端的长期目标。
阅读更多
科技
在GitHub容器注册表发布Microsoft Edit的Docker容器
2025-06-22
作者在Apple Silicon Mac上运行Microsoft新发布的终端文本编辑器Edit，由于官方没有提供该平台的编译版本，作者创建了一个Docker镜像并在GitHub容器注册表发布。文章详细介绍了构建过程，包括使用多阶段Docker构建以减小镜像大小，以及使用GitHub Personal Access Token将镜像推送到GitHub容器注册表。最终，任何拥有Apple Silicon Mac和Docker的用户都可以通过简单的命令运行Edit。
阅读更多潜意识学习：大型语言模型的隐秘风险
2025-07-23
一项最新研究揭示了大型语言模型（LLM）中令人不安的“潜意识学习”现象。研究发现，即使训练数据与特定特征（例如，对猫头鹰的偏好或错误对齐）表面上无关，学生模型仍然会从教师模型生成的“潜藏信号”中学习这些特征。这种现象即使在对数据进行严格过滤后仍然存在，并且仅在教师模型和学生模型共享相同基础模型时才会发生。这项发现对人工智能安全具有重大意义，因为它表明仅仅过滤不良行为可能不足以防止模型学习不良倾向，需要更深入的安全评估方法。
阅读更多
AI
潜意识学习
Meta发布全新Llama 4赋能的AI应用
2025-04-29
Meta 推出了全新的独立AI应用，其核心是基于Llama 4模型打造的更个性化的AI助手。该应用支持语音交互，并整合了图像生成和编辑等功能。用户可以通过语音或文本与AI进行自然流畅的对话，并利用其强大的信息检索能力解决问题、获取信息。该应用还包含一个“发现”Feed，供用户分享和探索AI的各种应用。目前，语音对话功能已在美国、加拿大、澳大利亚和新西兰等地区上线。
阅读更多
AI
人工智能应用
乌克兰黑客瘫痪俄罗斯无人机巨头Gaskar Integration
2025-07-16
乌克兰网络活动家与军事情报部门合作，成功瘫痪了俄罗斯最大的无人机制造商之一Gaskar Integration的运营。攻击摧毁了超过47TB的关键数据，封锁了内部系统，并有效地停止了工厂的运营。黑客组织BO Team参与了此次攻击，获取了大量关于俄罗斯无人机生产的技术信息，包括其与中国的合作证据。攻击导致Gaskar Integration的网络、生产和会计系统瘫痪，甚至工厂大门被锁，员工只能使用紧急出口。此次行动被认为是乌克兰在网络战中取得的重大胜利，为其国防力量提供了宝贵的情报。
阅读更多
(prm.ua)
科技
科技揭秘：雅典卫城帕特农神庙的千年照明系统
2025-05-22
牛津大学考古学家Juan de Lara教授领导的一项为期四年的跨学科研究，揭开了雅典卫城帕特农神庙千年照明之谜。通过结合考古证据、尖端3D技术和光学物理学，研究团队重建了神庙的照明系统，展现了其如何营造敬畏感。研究发现，建筑师和雕塑家菲狄亚斯巧妙地利用屋顶开口、内部水池、窗户和抛光大理石的反射特性来操控自然光和人工光，尤其在泛雅典娜节期间，清晨的阳光会精准照射到雅典娜雕像的金袍上，创造出令人惊叹的景象。这项研究不仅运用科技手段解开了历史谜团，还将通过虚拟现实技术让世人亲身体验帕特农神庙的辉煌。
阅读更多
科技
光学物理
PostgreSQL赋能高性能、可观测的持久化工作流
2025-08-09
本文探讨了DBOS团队选择PostgreSQL作为持久化工作流库元数据存储的底层技术原因。PostgreSQL的并发控制机制，特别是锁语句，解决了数据库队列的竞争问题，实现了每秒处理数万个工作流的扩展性。其关系型数据模型和二级索引，简化了工作流元数据的可观测性工具的开发，方便实时监控和可视化。此外，PostgreSQL事务特性保证了数据库操作步骤的“恰好执行一次”语义，避免重复执行。总而言之，PostgreSQL的诸多特性使其成为构建强大且高性能持久化工作流库的理想选择。
阅读更多
开发
持久化工作流
Pretix 为 Linux 系统打造自定义票务打印驱动
2025-05-25
Pretix 1.8 版本新增了邮寄送票功能，但其推荐打印机 uITL+2003CF 仅提供 Windows 驱动。为了支持 Linux 系统，Pretix 团队自行开发了一个 CUPS 过滤器 `rastertofgl`，该过滤器使用 Python 编写，将 CUPS raster 数据转换为 FGL 代码，并配合 PPD 文件，实现了在 Linux 系统下打印票据的功能。虽然该驱动程序目前仍存在一些问题，但它为使用 Linux 系统的 Pretix 用户提供了便捷的票务打印解决方案。
阅读更多Depot API：构建可扩展的客户容器基础设施
2025-06-30
许多SaaS平台需要为客户运行代码，这带来了容器构建的挑战。本文介绍如何使用Depot API构建工具，为多租户SaaS平台创建隔离的构建环境。通过Go语言客户端，可以创建项目、管理项目缓存、获取构建指标和日志。Depot API支持Buf.build，提供多种语言的客户端库，方便集成到现有基础设施。文章详细讲解了创建项目、删除项目、重置项目缓存、获取构建指标和详细步骤的方法，最终实现可扩展、安全的客户容器基础设施。
阅读更多
开发
Depot API
丁丁历险记进入公共领域：永恒的艺术魅力
2025-01-13
2025年，《丁丁历险记》正式进入公共领域，这意味着我们都可以自由欣赏这位永恒经典漫画的魅力。Hergé笔下的丁丁，拥有跨越时代的艺术风格，其独特的色彩搭配和细节描绘营造出一种普遍的吸引力。丁丁的冒险故事激发了无数人的旅行和学习热情，其作品也常被用于历史教学。尽管存在一些可能与现代观念相冲突的内容，但丁丁的全球影响力及其对艺术和文化的贡献不容忽视。如今，丁丁的形象被广泛应用于各种媒介，也面临着AI滥用的风险，这更凸显了保护原创作品的重要性。
阅读更多
杂项
丁丁历险记
开源AI平台Onyx：连接企业文档、应用和人员的智能搜索引擎
2025-03-04
Onyx（前身为Danswer）是一个开源的AI平台，能够连接你的公司文档、应用程序和员工。它提供了一个功能丰富的聊天界面，并支持多种大型语言模型（LLM）。Onyx可以通过40多个连接器（如Google Drive、Slack、Confluence等）同步知识和访问控制。你可以创建自定义AI代理，赋予其独特的提示、知识和操作能力。Onyx支持多种部署方式，包括本地部署、私有云部署和公有云部署，并提供社区版和企业版。企业版包含更多功能，例如高级安全特性、知识管理功能和可扩展的部署选项，适合大型组织使用。
阅读更多
开发
企业搜索
重大安全警告：Gravity Forms 插件遭供应链攻击
2025-07-12
近日，安全研究人员发现Gravity Forms WordPress插件遭到供应链攻击，恶意代码潜伏在2.9.12版本中。攻击者利用后门函数`update_entry_detail`和`list_sections`窃取网站信息，创建管理员账户，甚至执行任意代码。恶意代码已从官方下载中移除，并发布了2.9.13安全版本。建议所有Gravity Forms用户立即更新至最新版本，并检查服务器是否存在恶意文件和网络请求。
阅读更多
开发
异步实时战争游戏《Cataphracts》设计日志：聚焦战争运作而非战术
2025-06-23
《Cataphracts》是一款独特的异步实时战争游戏，其核心机制在于模拟战争的运作层面，而非单纯的战略或战术。游戏设定在1300年左右的伪黑海地区，玩家扮演指挥官，通过文字指令指挥军队，真实模拟行军、补给、通讯等环节。游戏强调信息的不对称性与延时，指挥官们只能依靠有限的情报做出决策，战略失误往往源于沟通不畅和信息滞后，而非军队实力的差距。这种机制催生了高度的玩家互动和角色扮演，即使是简单的计划也可能因后勤问题而失败，真正考验的是指挥官的协调能力和对战场态势的判断。
阅读更多CRDTs 的基石：半格结构到底有多重要？
2025-05-23
本文探讨了无冲突复制数据类型 (CRDT) 的设计原则，指出所有良好的 CRDT 都应基于半格结构。作者批判了那些在 CRDT 内部隐藏假设的做法，强调所有必要的假设都必须内化到半格结构中。文章以添加/删除集合为例，说明了如何通过引入因果关系晶格来解决基于本地时间的过期机制可能导致的非收敛行为。最终，作者总结了 CRDT 设计的几个关键要点，并强调了构建可靠分布式系统的重要性。
阅读更多
开发
半格
哥大AI作弊工具开发者被停学：因泄露纪律听证会记录
2025-03-27
哥伦比亚大学一名学生因创建一款帮助求职者在技术面试中作弊的AI工具而被停学。但停学的原因并非AI工具本身，而是该学生泄露了纪律听证会的录音和哥大员工照片到社交媒体。该学生，Chungin "Roy" Lee，创建的AI工具名为Interview Coder，每月收费60美元，预计年收入200万美元。尽管Lee认为技术面试不在大学管辖范围内，但哥大认定其行为构成学术不端，最终给予其一年停学处分。Lee本人表示将前往旧金山发展。
阅读更多
开发
停学
MongoDB的极端建模实践：TLA+规范与实现的一致性检查
2025-06-02
MongoDB工程师尝试使用TLA+规范和两种一致性检查技术（追踪检查和测试用例生成）来验证其产品的实现是否符合规范。追踪检查实验在MongoDB服务器上进行，目标是验证Raft共识协议的实现；测试用例生成实验在MongoDB移动SDK上进行，目标是验证操作转换算法的实现。结果表明，追踪检查因多线程程序状态快照的难度和规范与实现的差异而失败，而测试用例生成成功发现了算法中的一个错误，并实现了100%的代码分支覆盖率。该文章总结了经验教训，并介绍了近年来该领域的研究进展，强调了持续一致性检查对TLA+主流化的重要性。
阅读更多
开发
一致性检查
十二年磨一剑：Haskell魔方求解器Twentyseven 1.0.0发布
2025-08-02
作者历时十二年，用Haskell语言编写了一个魔方求解器Twentyseven，并发布了1.0.0版本。程序基于Herbert Kociemba的Cube Explorer算法思想，采用迭代加深A*搜索算法（IDA*），通过将魔方状态投影到更简单的子问题来估计剩余步数，从而找到最优解。虽然最优解的求解可能耗时数小时，但作者也提到了Kociemba的更快双阶段算法，可在极短时间内求解魔方。此版本主要为了兼容最新的GHC编译器，并对代码进行了一定的维护。
阅读更多
开发
C语言结构体内存优化技巧
2025-07-31
本文介绍了如何优化C语言结构体以减少内存占用。作者通过一个`Monster`结构体示例，逐步讲解了多种优化方法，包括：重新排序成员变量以减少填充字节；移除冗余字段，例如根据`health`值推断`is_alive`；使用更小的整数类型（例如`uint8_t`、`uint16_t`）替代`int`；使用位域来存储布尔值；以及使用枚举代替字符串来表示怪物名称。通过这些优化，作者将`Monster`结构体的大小从96字节减少到20字节，显著提升了内存效率。文章还讨论了这些优化方法的权衡，提醒读者注意整数溢出等潜在问题。
阅读更多
开发
鲨鱼袭击：是意外还是“问题鲨鱼”？
2025-02-02
长期以来，人们认为鲨鱼袭击人类是误伤，但鲨鱼专家Eric Clua的研究颠覆了这一观点。通过对多起鲨鱼袭击事件的调查，Clua发现某些鲨鱼个体——“问题鲨鱼”——会主动攻击人类，这并非简单的误认，而是大胆探索新猎物的结果。近期研究更是首次提供了证据，证实了“问题鲨鱼”的存在，它们并非嗜血，而是天性大胆，敢于尝试新型猎物。这一发现或将改变我们对鲨鱼的认知，并为预防鲨鱼袭击提供新的策略。
阅读更多优化Cloudflare D1数据库查询的历程
2025-04-07
一位前端开发者在使用Cloudflare Workers和D1数据库的过程中，遭遇了数据库查询效率低下的问题。通过监控D1 dashboard、检查查询语句和行读写计数等方法，他发现了几个关键问题：单次查询耗时过长、批量写入效率低下、更新操作包含ID字段导致额外行读取、计数查询导致全表扫描、多表连接导致笛卡尔积爆炸以及批量插入效率问题。通过使用D1批量操作、排除ID字段、使用游标分页、拆分多表连接查询以及优化批量插入语句等方法，他显著提升了数据库查询效率，将某些查询的执行时间从78ms缩短到14ms。这个经验总结强调了持续监控和迭代优化的重要性，以及服务器端问题与客户端问题的不同之处。
阅读更多瑞士制造的USB-C升级保护壳火爆热销！
2025-07-30
一款瑞士制造的iPhone保护壳，能让你的旧款iPhone秒变USB-C接口，无需更换新设备！前三批产品已售罄，现在预订可获得优先购买权。该保护壳支持无线充电、MagSafe充电和快充，并兼容CarPlay。但需要注意的是，一些需要从手机供电的配件（如耳机）仍需使用Lightning接口。
阅读更多突破性进展：单原子实现量子逻辑门
2025-08-22
悉尼大学的研究人员利用“罗塞塔石碑”编码（GKP码），在单个镱离子中实现了纠错的量子逻辑门。这项突破性进展利用离子的自然振动来编码和操纵逻辑量子比特，显著减少了构建量子计算机所需的物理量子比特数量，为大规模量子信息处理铺平了道路。该研究成果发表在《自然物理》杂志上，标志着量子计算硬件效率的重大提升。
阅读更多
(phys.org)
Debian开源软件镜像服务器公开声明
2025-04-29
Debian项目公开了一个开源软件镜像服务器，声明其内容为公共资源，不包含敏感信息，无需根据责任披露政策进行安全报告。服务器提供Debian 10、11、12以及测试版本（Trixie）和不稳定版本（Sid）的下载，并包含旧版本软件包和相关文档的链接。
阅读更多
开发
镜像服务器
苹果重返X平台广告投放
2025-02-13
在经历了与X平台所有者埃隆·马斯克的争议后，苹果公司本月恢复了在X平台上的广告投放。此前，苹果公司因马斯克的争议言论于2023年11月暂停了在该平台上的广告投放。目前，苹果公司已在X平台上投放了推广Safari浏览器隐私功能以及Apple TV+剧集《Severance》的广告。此举标志着苹果公司重返X平台，但其他大型品牌如迪士尼和可口可乐也曾暂停，随后谨慎地恢复了在该平台上的广告投放。
阅读更多
科技