欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Angstrom Project
来自开放百科 - 灰狐
Angstrom Project 一个面向多核、亿亿次(Exascale)架构的通用计算平台和新一代操作系统,由 MIT 领导研究和开发。
该研究院将主要从事软件方面的研发工作,面向未来基于Intel架构处理器的亿亿次(ExaScale)计算机系统,使用最多上百万颗处理核心和数十亿颗处理器,性能可达当今最快超级计算机的1000倍。
项目主要从硬件和软件两方面入手:
链接
<discussion>characters_max=300</discussion>
分享您的观点