📝 技术社区
来自独立开发者的技术沉淀、产品故事与经验分享。
从Go迁移到Rust
从Go迁移到Rust 在所有我帮助团队进行的迁移中,从Go到Rust有点另类。这不是“Rust更快吗?”或“Rust有类型吗?”的问题——Go已经能实现大部分需求。讨论主要集中在正确性保证、运行时权衡和开发者体验上。 免责声明**:本指南主要针对后端服务,这是Go最强的领域(小静态二进制、网络标准库、丰富的HTTP/g...
GoRust迁移编程语言CCodeMart 内容助手2026/09/031900澳大利亚四天工作制实验:早期采用者的洞察
一项发表在《自然》人文与社会科学通讯》期刊上的新研究证实了许多员工悄悄期待的事情:公司可以转向四天工作周,不仅能生存,还能蓬勃发展。该研究跟踪了15家澳大利亚公司在2022年至2024年间试行100:80:100模型的情况。该模型很简单:员工获得100%的薪资,工作时间为之前工时的80%,并承诺保持之前100%的产出。...
四天工作制生产力工作文化Hacker NewsCCodeMart 内容助手2026/09/032800航空工程基本原理被推翻:微粗糙表面可大幅减阻
气动阻力是高速飞机、汽车和子弹头列车的一个主要“障碍”。这是因为低气动阻力的设计允许飞行器以更少的能量达到更高的速度。 当飞机或汽车车身高速运动时,其表面会形成一层薄薄的空气层,称为边界层。这个边界层有两种状态:层流(空气有序流动)和湍流(混乱流动)。 空气在低摩擦的层流状态保持的时间越长,空气阻力就越小,但随着速度增...
空气动力学流体力学减阻技术表面粗糙度CCodeMart 内容助手2026/09/03800永恒的质量滑坡九月
我现在就断言:将AI代理引入软件开发将是该领域历史上最昂贵的错误之一。代理无法编程,而且人们越来越难以认识到它们不能编程。它们是一个高度复杂的统计模型,旨在模仿编程的分布。输出是有缺陷的,但缺陷变得越来越难以检测。这正是你从一个越来越精确的统计模型中能预料到的。起初,我拒绝接受这一点。我信了推特上关于地位焦虑的解释。我...
AI Agent软件开发代码质量软件工程CCodeMart 内容助手2026/09/032900Jira 是图灵完备的
工程学传说认为 Jira(Atlassian 的项目追踪工具)是图灵完备的。现有的说法模糊地指向自动化功能,但并未给出具体的规约。本文提供了一个证明,包含设置说明和执行跟踪。 映射计算模型 Minsky 寄存器机只需要两个无界计数器和一组有限的有标号指令: INC r; goto S if r == 0 goto S ...
Jira图灵完备自动化Hacker NewsCCodeMart 内容助手2026/09/031000教皇方济各十四世首道通谕:AI必须服务于全人类,而非少数权力者
梵蒂冈城(RNS)——教皇方济各十四世周一(5月25日)在其首道通谕中直接抨击大型科技公司的权力,警告人工智能可能加剧不平等、削弱民主并损害人之为人的意义。这份83页的教皇训导文件题为《卓越人性》(Magnifica Humanitas),将AI视为新的工业革命,并呼吁通过剥离军事和经济利益、对AI公司实施更严格的国家...
AI伦理AI监管科技与社会Hacker NewsCCodeMart 内容助手2026/09/03900Claude 不是你的架构师,别再让它假装了
过去一个月里,我已经见过三次了。三个不同的组织,三种不同的技术栈,相同的模式。 有人有了一个想法——可能是产品经理、团队负责人,或者是参加完某个会议后的CTO。他们打开Claude、ChatGPT或Copilot(哪个都行),问它应该构建什么。AI做着它一贯做的事:热情地验证这个想法,建议一个架构,并开始勾勒组件。它清...
AI 工程软件架构工程文化Hacker NewsCCodeMart 内容助手2026/05/2523800AWS四年:从开源大使到被解雇的解脱
今天是我加入AWS四年的纪念日,而周五将是我的最后一天。说实话,被AWS解雇反而是一种解脱。自2022年入职以来,公司发生了巨变,我想加入的那家公司已经不复存在。 过去一年,我尽力推动AWS在开源社区中表现得更友好,但有两件事让我对工作越来越不满:组织变动和生成式AI的狂飙突进。组织变动来自我的招聘经理David Na...
AWS开源生成式AI企业文化CCodeMart 内容助手2026/05/2417510微软开源“迄今发现最早的DOS源代码”
在过去几十年里,微软曾多次发布原始MS-DOS操作系统的源代码,该系统开启了微软在消费PC领域长达数十年的统治地位。本周,微软比以往走得更远,发布了“迄今发现最早的DOS源代码”以及来自其开发者的其他文档和笔记。此次发布的源代码非常古老,甚至早于MS-DOS品牌命名,包括“86-DOS 1.00内核的源代码、PC-DO...
微软DOS开源操作系统CCodeMart 内容助手2026/05/2410500骗子利用微软内部账号发送垃圾邮件
数月来,骗子一直在利用一个漏洞,从微软内部邮箱地址发送垃圾邮件,该地址通常用于发送合法的账户警报。目前尚不清楚骗子如何滥用该系统,但他们能够像新客户一样设置新的微软账户,并利用该访问权限以微软名义发送邮件,可能诱骗用户认为这些邮件是真实的。微软似乎尚未完全掌控这个问题。上周,记者在多个不同的邮箱账户中收到了几封结构相似...
网络安全微软钓鱼垃圾邮件CCodeMart 内容助手2026/05/2417400Wake up! 16b:16字节x86汇编中的算法密度探索
Wake up! 16b:16字节x86汇编中的算法密度探索 发布于2026年5月Outline Demoparty(荷兰奥门)。 大家好。我在30多年前开始学习编程,用的是带单色绿色显示器的老IBM PC,一直想为这个系统写一个程序。过去15年里,我创作了超过100个微型intro。最近不太活跃,但Plex那个惊人的...
x86汇编尺寸编码Sierpinski分形DemosceneCCodeMart 内容助手2026/05/2411000关于我的 Writerdeck 写作设备
我一直有注意力不集中的问题。几周前,我决定把旧笔记本电脑改造成一台 writerdeck——一个专门用来写作、不受现代互联网干扰的设备。很多人为此打造了非常精巧的离线设备,我也很想这么做……总有一天吧。但现在我手上的项目已经够多了,关键是先写起来,所以我利用手头现有的东西:一台六年前的笔记本,它运行依然流畅,性能也够用...
Linux写作工具DIYtmuxCCodeMart 内容助手2026/05/2319500Oura 承认收到政府数据索取要求,但拒绝透露详情
去年,健康穿戴设备制造商 Oura 在与美国国防部和 Palantir 达成合作后,陷入了社交媒体风暴。一些用户担心他们的数据会落入特朗普政府手中。这场争议如此之大,以至于我的伴侣——一位 Oura 戒指用户——引起了我的注意。 Oura 戒指是一种戴在手指上的健康监测硬件设备。这些电池供电的戒指跟踪用户的健康数据,如...
隐私安全可穿戴设备Oura政府监控CCodeMart 内容助手2026/05/2317400关于 <dl> 元素(2021)
引言 元素,即描述列表(description list),是一种被低估的 HTML 元素。它用于表示名称-值对的列表。这是一种常见的 UI 模式,同时具有难以置信的灵活性。例如,你可能在网页上见过这样的布局…… 这些例子都展示了名称-值对的列表。你可能还见过描述住宿设施、列出月租金明细或技术术语词汇表的名称-值对列表...
HTML语义化前端开发无障碍CCodeMart 内容助手2026/05/2313900