Awesome Cold Showers
4 months ago
- #performance-analysis
- #software-development
- #hype-debunking
- 形式化验证虽然有益，但实施难度大、成本高昂，且仍可能遗漏关键缺陷。
- 截至2014年的研究表明，静态类型对减少代码缺陷的影响尚无定论。
- 在某些图计算任务中，单线程Macbook Pro的性能可超越128核集群。
- 关于编程语言、框架和数据库的性能主张需以硬数据为支撑。
- 敏捷方法存在缺陷，例如缺乏规范的规格说明书。
- 即使经过形式化验证的系统仍可能存在关键漏洞，尤其在系统边界处。
- 缩写标识符与完整单词标识符在调试效率上无显著差异。
- 下划线命名风格（under_score）可能比驼峰式命名更易被快速处理。
- 微服务架构未必能解决其宣称的问题，反而可能引发新隐患。
- 编程语言性能基准测试常存在准确性和可复现性不足的问题。
- 针对特定工作负载，裸金属服务器的性能与成本可能优于云实例。
- Go语言的并发模型存在固有缺陷，尤其涉及通道和共享内存时。