Legalese: Software Eats Contract Drafting
summary
Argues that contract drafting becomes programmable and shows a working prototype language l4 that compiles to PDFs, English/Mandarin/Bahasa text, a formal theorem representation, and Ethereum/Solidity targets; demonstrates sanity checks, fuzzing-style scenario generation, and visual flowcharts; runs a web tool that generates Singapore seed-round documents (free) and targets a business model of micro‑fees per signed contract; raised a seed round (roughly $430k) and seeks PL/Haskell engineers to scale the compiler.
AI-written summary · about
chapters (6)
- 0:00Start
- 12:40Sanity Checking
- 17:32History of Formalization of Contracts
- 18:55Financial Agreements
- 26:17Revenue Experiments
- 26:47Business Model
related talks
17mPotential Of Legal Tech
07mPITCH Competition Finalist
01h 16mHow Will LLMs Change Haskell, Programming and Open Source?
22mWill the future of code be formal or informal?
31mFormalizing and Reasoning about Contracts between Agents
17mHow to Program like a Five Year Old in Haskell
27mProduction Language Specification - Requirements for Multiple Usages
01h 15m10x Development: LLMs For the working Programmer