‹ BackHN Continuity

Thread

Bend – a language that blocks AI mistakes via proof and runs on GPUs

616 points · 327 comments · nicolas-siplis

  1. fzaninotto · · focus · HN ↗
    Trending idea! On the same subject, but aimed at compatibility with TypeScript, I just discovered Code Contracts.

    <a href="https:&#x2F;&#x2F;code-contracts.cc&#x2F;" rel="nofollow">https:&#x2F;&#x2F;code-contracts.cc&#x2F;

Open on Hacker News to reply ↗

Unofficial Hacker News client; not affiliated with Y Combinator.