Bend

AIが犯す誤りを証明によってブロックすることを目指す新しいプログラミング言語「Bend」が登場しました。C言語並みの処理速度や、コア・GPUを活用した高速な並列処理の特徴を解説します。