展开讨论

经验与复盘经验摘录 · 机器翻译

尽管我来自化学工程背景,但我并没有完全意识到……

……尽管我来自化学工程背景,但我并没有完全意识到这个差距,直到我开始在高性能计算(HPC)领域工作。现在我在软件中到处都能看到这个差距。当我从事HPC工作时,我开始拼凑出一些粗糙的模型和求解器,以解决需要耗费大量时间迭代的困难优化问题,这类似于化学工程师可能会做的事情,而这是个突破性的改变。但这是巨大的努力,因为软件中没有工具可以做到这一点,即使你想到这可能是个好主意,原因和在其他每个工程学科中一样,这确实是个好主意。我认为我们长期以来能够侥幸是因为早期的软件系统确实相当简单。我们可以忍受。但现在软件要复杂得多。虽然我们的工具已经进化来解决抽象化的问题,但还没有进化来解决系统行为和建模的问题。在不实际实现的情况下看到系统设计变化的影响是很有力量的。

源讨论哪些因素解释了软件的本质?原帖 91 条评论 · 导入时统计
2

社区评论 0

还没有社区评论,来聊聊你的看法。

原讨论中的回复 2

仅展示本次导入中包含的直接回复。中文为机器翻译,可查看英文原文。

D0

有一些工具,例如TLA+,可以帮助在高于可执行代码的层次进行建模。例如最近的一次演讲:在AWS中十五年的形式化方法,Marc Brooker,Amazon AWS https://youtu.be/HxP4wi4DhA0

完整原文
JA

我必须先说明,我虽然技术方面还算可以,但绝对不是工程师。我觉得这个评论很有趣,似乎突出了我在自己公司(科技/设计专业服务公司)中面临的一些问题。我们为企业的客户构建应用程序和平台,经常难以预测我们软件的许多部分。 我可能对你的评论理解有误,但能否请你解释一下求解器的概念,它们是什么?公司开发软件时,它们会摄入什么数据,你开发的求解器是如何工作的(用通俗的话来说)? 谢谢!

完整原文
在 Hacker News 阅读

尊重不同观点,分享具体经验。

登录后即可发帖、评论、转发和引用。