‹ BackHN Continuity

Thread

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

616 points · 327 comments · nicolas-siplis

  1. tyushk · · focus · HN ↗
    Victor Taelin's work (HVM) got me interested in interaction combinators as a compilation target. I'm now working on an implementation as part of my Uni research. Cool to see Bend 2.0 release!
    1. etiamz · · focus · HN ↗
      Then you might be interested in Marc Thatcher's recent PhD thesis dedicated to interaction nets [1]. A great exposition of interaction nets through multiplicative linear logic's proof nets, and several novel contributions like productivity analysis for interaction nets.

      [1] <a href="https:&#x2F;&#x2F;hdl.handle.net&#x2F;10779&#x2F;uos.32024301" rel="nofollow">https:&#x2F;&#x2F;hdl.handle.net&#x2F;10779&#x2F;uos.32024301

Open on Hacker News to reply ↗

Unofficial Hacker News client; not affiliated with Y Combinator.