科学探索|麻省理工为高性能计算机开发新的编程语言( 二 )
展望未来,他们的主要目标之一是提升 ATL 的可扩展性,以便它能够用于我们在现实世界中看到的更大型的程序 。
此前这些程序的优化工作,通常需要人工来完成 。除了总有临时需要解决的问题、还总涉及反复实验,因而难免发生大量的错误 。
【科学探索|麻省理工为高性能计算机开发新的编程语言】好消息是,借助 ATL,我们有望遵循一种更具原则的方法来重写这些程序 —— 且这么做更加容易,也更能保证程序的正确性 。
- 科学探索|科学家研发毫米级机器人 可实现人体内靶向给药
- 科学探索|野生蝙蝠被发现可在4年后识别跟食物奖励相关的铃声
- 科学探索|盘点大自然6种能使身体部位再生的动物
- 科学探索|中国空间站的光学舱:巡天空间望远镜预计2024年投入科学运行
- 科学探索|科学家发现了本质上不会衰老的物种
- 科学探索|问天实验舱器箭组合体今天进行垂直转运
- 科学探索|新研究揭示了大象是如何避免癌症的
- 科学探索|一种新开发的抗生素被发现可以杀死耐药性细菌
- 科学探索|增材纺织法造出人工心室模型
- 科学探索|MIT团队找到改善工业沸水工艺的方法