Dojo
话题
新佳
订阅
极道
元认知
元逻辑
元设计
元编程
元语言
软件工程资料汇编
数学家陶哲轩在形式证明帮助下发现论文中错误
数学家陶哲轩在Lean4形式化证明时发现已发表论文中的错误: 陶哲轩在用Lean4发现了一个小错误:论文论证中出现的表达式 12logn-1n-k-1 在 n=3,k=2 的情况下实际上是发散的。幸运的是,这个问题只影响到较小的 n 值,对于 n≥
麦肯锡:程序员的生产力可以量化
长期以来,测量、跟踪和基准测试开发人员生产力一直被认为是黑匣子。事情并不一定是这样的。 现在,大多数公司(在某种程度上)正在成为软件公司,无论哪个行业,领导者都需要知道他们正在尽可能成功地部署最有价值的人才。
牛X软件工程师应该知道的概念
如果你知道以下概念的含义,你就是一个伟大的工程师,: #幂等 #幺半群 #解耦 #依赖注入 - 单元 #函数式编程 #异步编程 #并行编程 #线程 #同步锁 #最终一致性 #精确一致性 exactl
谷歌:编写干净的代码以减少认知负荷
您是否曾经阅读过代码却发现很难理解?您可能正在经历认知负荷! 认知负荷是指完成一项任务所需的脑力劳动量。阅读代码时,您必须记住变量值、条件逻辑、循环索引、数据结构状态和接口契约等信息。随着代码变得更加复杂,认知负荷也会增加。人们通常可以在短期记忆中
有关麦肯锡量化开发人员生产力的错误之处
今年八月,咨询巨头麦肯锡在一篇题为“是的,你可以衡量软件开发人员的生产力”的文章中宣布了自己的解决方案,但引起了不同的反应。
软件工程师10个难以接受的事实
上周末我有机会与一些刚刚获得学位的学生交谈。他们正在追求第一份软件工程师工作。在与他们的交谈中,我了解到他们对这份工作的看法是相当错误的。 这是因为这些新孩子的现实是如此扭曲。他们只看到高薪、远程工作、团队建设和披萨派对。
Slowify:组织制胜秘诀
我与 Steve Spear 博士合着的新书《
使用“Zen to Done”方法创建新的生产力习惯
生产力是在你的生活和职业生涯中完成这项工作的一项基本技能,但它也很 重要,因为它可以给你带来成就感并增强你的幸福感。 “达到禅宗的境界(Zen to Done)”方法帮助你获得更多的生产力和幸福感。
2023 年价值流管理现状
价值流管理联盟最近发布了我们的第三份年度报告《2023 年价值流管理状况
通过 TOGAF 实现数字化转型
TOGAF(开放组架构框架)是一个强大的工具,可以帮助您实现这一目标。 在本文中,我们将探讨 TOGAF 如何支持数字化转型计划并帮助组织适应快速发展的技术环境。 架构开发方法(ADM)是 TOGAF 提供的一种
戴尔·卡内基《如何赢得朋友并影响他人》总结和要点
戴尔·卡内基的Dale Carnegie's 《如何赢得朋友和影响他人》How to Win Friends and Influence People是有史以来最受欢迎和最有影响力的自助书籍之一。该书于 1936 年首次出版,已售出超过 5000 万册,并被翻译成 30 多种语言。这本书是一本提高社
Spotify的产品模型
Spotify 是一家杰出的公司,是我工作过的最好的公司。六年多后,当我离开公司时,我想帮助其他公司变得更像 Spotify。然而,我不认为公司可以仅仅复制后来被称为“Spotify 模式”的部落、分会和小队的组织结构,但我想解释一下 Spotify 的真正与众不同之处。
架构决策的制定过程
自 20 世纪 90 年代软件架构诞生以来,架构决策 (AD) 一直在回答有关设计选项的“为什么”问题。捕捉它们的方法应该成为每个架构师工具箱的一部分。 少即是多——只有关键的广告才能证明这一努力的合理性,只有清晰而合理的理由才能说服读者。让我们看
认知偏差中六个关键特征
认知偏差与视觉错觉一样,是人类认知的关键特征。 本论文仅将其分为几类: "我的经验是合理的参考"--这种信念导致人们把自己的经验作为判断他人的锚,从而产生错误共识、聚光灯效应等偏差。 "我对世界的评估是正确的"--这种信念会
《人月神话》小结
弗雷德·布鲁克斯 (Fred Brooks) 在《人月神话》的伟大之处在于,它围绕着在任何专业软件开发过程中除了代码之外的所有事物的重要性。应该成为每一位管理工程师的管理者的圣经。 《人月神话》认为,由于沟通的复杂性增加,向已晚的软件项目添
NASA 向 120 亿英里外的航天器发送了软件更新
旅行者 2 号距离地球超过 120 亿英里,正在穿越星际空间。在近 50 年的旅程中,探测器看到的宇宙范围比我们以往任何时候都多。现在,NASA 已经完成了Voyager 2的关键软件更新,这将有助于使其运行更长时间。 此次更新花了近 18 个小时
演示驱动开发
演示驱动开发(Demo-driven development):将工作分解为用户故事,计划每周演示,并将会议重点放在目标而不是任务上,以推动有效的产品开发。 项目计划应重点关注里程碑和用户故事而不是任务: 用户故事代表了可论证的功能
什么是盖尔定律?
适用于软件开发人员的盖尔定律(Gall's Law,也称为加尔定律) 盖尔定律是对复杂系统的性质和演变的观察。这一原则在软件开发和系统架构领域引起了深刻共鸣。约翰-盖尔(John Gall)在其著作《系统论》(Systemantics:系统如何真正工作以及
上页
下页