3 posts tagged by Digg
Gaming
The unannounced project reportedly isn't a live-service game or a Days Gone sequel.
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.
