‹ BackHN Continuity

Thread

Show HN: Whiteboard (YC W26) – An open-source IDE for thoughtful software design

424 points · 143 comments · sidharthkmenon

  1. whattheheckheck · · focus · HN ↗
    Throw in some tla+, eventb, p and modp for formal guarantees
    1. sidharthkmenon · · focus · HN ↗
      haha, we&#x27;re thinking the same way: <a href="https:&#x2F;&#x2F;dev.fast&#x2F;about&#x2F;">https:&#x2F;&#x2F;dev.fast&#x2F;about&#x2F;
Open on Hacker News to reply ↗

Unofficial Hacker News client; not affiliated with Y Combinator.