译文出自：伯乐在线
【观点】人们最初厌恶编程的10个原因
2019-06-01
821
版权
版权声明：
本文内容由阿里云实名注册用户自发贡献，版权归原作者所有，阿里云开发者社区不拥有其著作权，亦不承担相应法律责任。具体规则请查看《
阿里云开发者社区用户服务协议》和
《阿里云开发者社区知识产权保护指引》。如果您发现本社区中有涉嫌抄袭的内容，填写
侵权投诉表单进行举报，一经查实，本社区将立刻删除涉嫌侵权内容。
简介：
译文出自：伯乐在线
目录
相关文章
|
8月前
|
算法
开发者
编码之道：从技术细节到系统哲学
【4月更文挑战第21天】
在编程世界里，我们常常沉迷于代码的细节、算法的精妙以及框架的强大。然而，真正优秀的技术作品不仅仅是冷冰冰的代码堆砌，更是蕴含着设计者对问题深刻的理解和系统的全局思考。本文将脱离传统摘要的格式，通过一系列的观点和案例，探讨如何从技术的细节走向对系统设计的深刻理解，从而提升我们的编程艺术。
66
1
1
|
4月前
|
存储
领域建模
数据库
|
7月前
|
设计模式
小程序
程序员
|
程序员
|
安全
测试技术
编译器
嵌入式软件测试与一般软件测试之异同研究
5841
1
1
|
测试技术
C++
现代软件工程 第四章 【结对编程】练习与讨论
1302
0
0
|
开发框架
JavaScript
前端开发
|
算法
关系型数据库
MySQL
形式化验证工具TLA+：程序员视角的入门之道
女娲是飞天分布式系统中提供分布式协同的基础服务，支撑着阿里云的计算、网络、存储等几乎所有云产品。在女娲分布式协同服务中，一致性引擎是核心基础模块，支持了Paxos，Raft，EPaxos等多种一致性协议，根据业务需求支撑不同业务状态机。如何保证一致性库的正确性是一个很大挑战，我们引入了TLA+、Jepsen等工具保证一致性库的正确性。本文即从程序员视角介绍形式化验证工具TLA+。
1465
0
0
|
机器学习/深度学习
算法
程序员
|
测试技术