saw @mengwong refer to @orgoodenough and Flood's contract DFA paper in a presentation about the (very cool) work happening on L4, and I ended up re-encoding that DFA as a Harel chart
Here is a link to MIT’s Computational Law Report publication of my video talk on using “toys” to illustrate computational law principles.
https://t.co/LABRzPuAxO
VT Health Dept. just launched vaccine data by town. But for towns like mine it doesn’t work. See, we have no postal delivery through our local PO, so all our mailing addresses are attached to surrounding towns. Which means it looks like no one in Monkton got vaccinated! 1/7
One thing I learned from the Smith-Collison interview is that John Goodenough – who invented the lithium-ion battery many decades ago and won the Nobel for it 2 years ago – is still successfully working on new batteries. He is now 98 years old.
https://t.co/O5Dg19NRKi
Looking forward to participating in this today, and, in particular, to having a fireside [virtual] chat with SEC Commissioner Hester Peirce. Also looking forward to seeing friends @yaoeo@angela_walch @GreatRescission @orgoodenough. I hope we can gather in person soon!
I’m saddened by the passing of longtime Buffalo Arts Commission member Elizabeth “Nan” Clarkson. Nan joined the Arts Commission in 1980 and spearheaded the effort to conserve all City-owned artwork. Please join me in offering condolences & prayers to her family.
@mattwadd@AnneOgborn@jmagnusj Only well-formed contract statements will be accepted by the parser.
Only semantically valid contracts will be accepted by the interpreter.
How do we do this? By defining the syntax spec (a la RFC5234), and by defining the logical semantics (a la RFC2119), of our grammar.
@mattwadd@AnneOgborn@jmagnusj This is what our language spec currently looks like; you can think of it as like Mad Libs, but with less humour and more structure. https://t.co/MvAqsGTSxa
Super interesting thread on what @mengwong has been up to, reinforcing amongst other things that @AdamsDrafting's work is a foundational building block for the future
I've just released a new revision of my book LEADERSHIP NOT TWITTERSHIP. It's an accessible yet rigorous intellectual context for the revelations from the Trump White House. Available from Amazon Kindle at
https://t.co/RITvNkzh8v Take a look. #twittership#toxicleadership
Today @SkoposLabs (where I am a director) released a free utility which may be helpful in this emergency - a Coronavirus Policy website using AI analytics. It tracks proposed federal bills and regulations on the subject. #coronavirus#COVID19 https://t.co/uRZnoWGg6C
I’m often asked where I see #legaltech and the #legalindustry going. For starters, I think collaboration will only accelerate as platforms emerge and tech and business models become more open and interoperable. Congrats on the launch @johnjnay@orgoodenough@KKofahi and team! #ai