@craigaatkinson@StanfordLaw@CodeXStanford@wabisabiyo Open standards, granularity of specification, and a conceptual separation from any particular implementation (in natural language or machine code), are part of the vision for computable contracts.
The contract analytics industry takes the first step on the codification journey.
@craigaatkinson@StanfordLaw@CodeXStanford@wabisabiyo Document assembly creates contracts at scale – your contract with your mobile carrier or your ISP is a computer-generated contract.
Computerized contracts are found in financial trading (e.g. ISDA) and in e-commerce … or food delivery … or Uber …
but they aren't computable.
@WhataNutso@agazdecki In the meantime, you can check out our scholarly research on the past and present of contract and legal formalization: https://t.co/djOJHY2tia
@shazteca@SamRosmarin @imran_amjad @grepmoney@Suhail@rememberlenny@DoNotPayLaw@NeotaLogic Some say lawyers should adopt these tools.
Others say the tools are at odds with the billable hour.
William Gibson says "the street finds its own uses for things."
What if the people using the tools aren't the lawyers, but the end-user clients who no longer have to hire them?
@forrestblount@jslez@shantohagopian@Suhail Working on it!
On the one hand, labor vs capital says: what can be automated will be automated, so software will eat law.
On the other hand, law is a credence good hand-holding clients through high-stakes, once-in-a-lifetime situations, so why not go bespoke? Money no object.
@CowboyVC@twang Working on it! 🔧🔧🔧🔧🔧🔧🔧🔧
We'll be launching an early release of our DSL soon, with a demo encoding of the YC SAFE. But we can do Series Seed as well to provide a point of comparison.
Elements of the toolchain will follow: IDE support, NLG to English, formal verification.
@lex_node@CommonForm@kemitchell@mbutterick We're bushwhacking just upstream of CommonForm and CommonAccord, to hook the text against semantics. That's where @roundtablelaw's work on declarative logic formalisms comes in: if we have a semantics of contracts, a logic, and a (formal) language, we can compile down to English.
Want to learn Alloy? Know Alloy but occasionally forget stuff? I wrote a full online reference! https://t.co/zzee9HU9E2
You can read the announcement here: https://t.co/YQOHrCpn7O
@dr_c0d3 Because of👇, the OSS components on the language and functionalities will be published under our research programme with SMU.
We’re recruiting for use cases (and researchers) at the moment. We’ll PM you about linking up to discuss how we could help.
https://t.co/lLWQ9HWSv1
🎤Full-time positions for CS / Complaw research engineers in Singapore
✅ healthcare & benefits
✅ opensource
✅ use-inspired research / no academic silo
✅ well-resourced research programme
✅ @legalese’s @mengwong@wabisabiyo and @SgSMUSOL
Details: https://t.co/EWIa95tl28
@aimee_maree Thank you so much! We will take everything you said into account and hopefully be able to rev the site in the near future. Bit strapped on webdev at the moment, but who isn��t nowadays?