Get the latest tech news

Cure – Verification-First Programming for the Beam

Cure v0.2.0: A strongly-typed, dependently-typed programming language for the BEAM with built-in FSMs, SMT verification, and 12 standard library modules

None

Get the Android app

Or read this on Hacker News

Related news:

Google is bringing Beam, its 3D video conferencing tech, to deployed service members

The Haunting Story of Two People—and Their Bots—on Therapy’s New Frontier

Programming in Assembly Is Brutal, Beautiful, and Maybe Even a Path to Better AI

« Unesco Adopts Global Standards On 'Wild West' Field of Neurotechnology

A rats to riches story: Larry the Downing Street cat finds place in TV spotlight »