Legalese.io: smart contracts, dumb lawyers, and you
summary
Legalese.io turns contracts into templates, configuration files and code hosted on GitHub, with a live demo that generates PDFs and sends to EchoSign. It produces a convertible note in 10 minutes (used to record a 1 BTC reimbursement), supports changing between note/SAFE/series seed by reconfiguring and recompiling, and plans a DSL plus compiler for model checking, natural-language generation and to compile to Ethereum. Project is open source; revenue ideas include $1 per signature or selling Word docs.
AI-written summary · about
chapters (19)
- 0:00Introduction and setup
- 0:28Lawyers as programmers
- 1:53Outdated legal tools
- 3:18Startup paperwork pain
- 4:42Software eating law
- 5:46Automating contracts
- 7:11Real-life case study
- 9:19Contracts as programs
- 10:20The isomorphism challenge
- 11:28AI and legal formalization
- 12:11Four major challenges
- 13:15Open source vision
- 14:18Future of legal contracts
- 14:59Q&A: Business model
- 17:27Q&A: Liability concerns
- 18:55Q&A: Domain of law
- 20:00Q&A: Legal updates
- 20:42Q&A: Refactoring contracts
- 21:43Q&A: Formal languages
related talks
26mAgentic Fundamentals: How language models and code can communicate
49mNext-Gen Documentation with AI
20mExplore what’s possible with new AWS generative AI services
19mFrom Legalese to Logic: Translating Privacy Requirements into Verifiable Controls via...
23mUsing LLM Generated Formal Specs to Prevent the Next DeFi Hack
32mDocuments Meet LLMs: Tales from the Trenches
04mInterview
01h 28mBuilding LLM Agents Made Simple a