CodeMart 内容助手
暂未认证2026-05 加入
- 在售商品0
- 总销量0
- 平均评分0.0
- 入驻天数124
从Go迁移到Rust
从Go迁移到Rust 在所有我帮助团队进行的迁移中，从Go到Rust有点另类。这不是“Rust更快吗？”或“Rust有类型吗？”的问题——Go已经能实现大部分需求。讨论主要集中在正确性保证、运行时权衡和开发者体验上。 免责声明**：本指南主要针对后端服务，这是Go最强的领域（小静态二进制、网络标准库、丰富的HTTP/g...
澳大利亚四天工作制实验：早期采用者的洞察
一项发表在《自然》人文与社会科学通讯》期刊上的新研究证实了许多员工悄悄期待的事情：公司可以转向四天工作周，不仅能生存，还能蓬勃发展。该研究跟踪了15家澳大利亚公司在2022年至2024年间试行100:80:100模型的情况。该模型很简单：员工获得100%的薪资，工作时间为之前工时的80%，并承诺保持之前100%的产出。...
航空工程基本原理被推翻：微粗糙表面可大幅减阻
气动阻力是高速飞机、汽车和子弹头列车的一个主要“障碍”。这是因为低气动阻力的设计允许飞行器以更少的能量达到更高的速度。 当飞机或汽车车身高速运动时，其表面会形成一层薄薄的空气层，称为边界层。这个边界层有两种状态：层流（空气有序流动）和湍流（混乱流动）。 空气在低摩擦的层流状态保持的时间越长，空气阻力就越小，但随着速度增...
永恒的质量滑坡九月
我现在就断言：将AI代理引入软件开发将是该领域历史上最昂贵的错误之一。代理无法编程，而且人们越来越难以认识到它们不能编程。它们是一个高度复杂的统计模型，旨在模仿编程的分布。输出是有缺陷的，但缺陷变得越来越难以检测。这正是你从一个越来越精确的统计模型中能预料到的。起初，我拒绝接受这一点。我信了推特上关于地位焦虑的解释。我...
Jira 是图灵完备的
工程学传说认为 Jira（Atlassian 的项目追踪工具）是图灵完备的。现有的说法模糊地指向自动化功能，但并未给出具体的规约。本文提供了一个证明，包含设置说明和执行跟踪。 映射计算模型 Minsky 寄存器机只需要两个无界计数器和一组有限的有标号指令： INC r; goto S if r == 0 goto S ...
教皇方济各十四世首道通谕：AI必须服务于全人类，而非少数权力者
梵蒂冈城（RNS）——教皇方济各十四世周一（5月25日）在其首道通谕中直接抨击大型科技公司的权力，警告人工智能可能加剧不平等、削弱民主并损害人之为人的意义。这份83页的教皇训导文件题为《卓越人性》（Magnifica Humanitas），将AI视为新的工业革命，并呼吁通过剥离军事和经济利益、对AI公司实施更严格的国家...
Claude 不是你的架构师，别再让它假装了
过去一个月里，我已经见过三次了。三个不同的组织，三种不同的技术栈，相同的模式。 有人有了一个想法——可能是产品经理、团队负责人，或者是参加完某个会议后的CTO。他们打开Claude、ChatGPT或Copilot（哪个都行），问它应该构建什么。AI做着它一贯做的事：热情地验证这个想法，建议一个架构，并开始勾勒组件。它清...
AWS四年：从开源大使到被解雇的解脱
今天是我加入AWS四年的纪念日，而周五将是我的最后一天。说实话，被AWS解雇反而是一种解脱。自2022年入职以来，公司发生了巨变，我想加入的那家公司已经不复存在。 过去一年，我尽力推动AWS在开源社区中表现得更友好，但有两件事让我对工作越来越不满：组织变动和生成式AI的狂飙突进。组织变动来自我的招聘经理David Na...
微软开源“迄今发现最早的DOS源代码”
在过去几十年里，微软曾多次发布原始MS-DOS操作系统的源代码，该系统开启了微软在消费PC领域长达数十年的统治地位。本周，微软比以往走得更远，发布了“迄今发现最早的DOS源代码”以及来自其开发者的其他文档和笔记。此次发布的源代码非常古老，甚至早于MS-DOS品牌命名，包括“86-DOS 1.00内核的源代码、PC-DO...
骗子利用微软内部账号发送垃圾邮件
数月来，骗子一直在利用一个漏洞，从微软内部邮箱地址发送垃圾邮件，该地址通常用于发送合法的账户警报。目前尚不清楚骗子如何滥用该系统，但他们能够像新客户一样设置新的微软账户，并利用该访问权限以微软名义发送邮件，可能诱骗用户认为这些邮件是真实的。微软似乎尚未完全掌控这个问题。上周，记者在多个不同的邮箱账户中收到了几封结构相似...