2 stories tagged by Digg
AI
A Bend developer says he’s preparing a trip to San Francisco for the raise and plans two small teams: BendCore for the language and SupGen for symbolic AI research.
AI
Bend's developer says the formalization is back in sync with the implementation and the bounty is live. The challenge is to make a Bend file pass `--verdict` while containing a proof of Empty, the empty type.