Oliver Goodenough

213 posts

Oliver Goodenough

Oliver Goodenough

@orgoodenough

Katılım Temmuz 2013
51 Takip Edilen628 Takipçiler
Oliver Goodenough retweetledi
Will O'Hanley
Will O'Hanley@wohanley·
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
Will O'Hanley tweet mediaWill O'Hanley tweet media
English
1
1
3
0
Oliver Goodenough retweetledi
Chuck Schumer
Chuck Schumer@SenSchumer·
BREAKING: This Senate has confirmed 80 of President Biden’s judicial nominees to sit on the federal bench.
English
1.3K
2.8K
24.9K
0
Oliver Goodenough retweetledi
Jane Lindholm
Jane Lindholm@JaneLindholm·
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
Jane Lindholm tweet media
English
6
2
19
0
Oliver Goodenough retweetledi
Max Roser
Max Roser@MaxCRoser·
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. electrek.co/2020/04/23/wor…
English
7
34
233
0
Oliver Goodenough retweetledi
Carla L. Reyes
Carla L. Reyes@Prof_CarlaReyes·
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!
opentony@lai

We're convening an online gathering on #blockchain law and policy @StanfordLaw @CodeXStanford on 26 and 27 January. Looking forwards to some great discussions! conferences.law.stanford.edu/blockchainlawa… #DeFi #DisputeResolution #CBDCs #Privacy #Extitutions #Regulation #Innovation

English
0
3
11
0
Oliver Goodenough retweetledi
Byron W. Brown
Byron W. Brown@MayorByronBrown·
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.
Byron W. Brown tweet media
English
2
7
23
0
Oliver Goodenough retweetledi
Meng Weng Wong
Meng Weng Wong@mengwong·
@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.
English
2
2
3
0
Oliver Goodenough retweetledi
Alex Hamilton
Alex Hamilton@AlexHamiltonRad·
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
Meng Weng Wong@mengwong

@mattwadd @AnneOgborn @jmagnusj In this context it means, our language L4 should make it impossible to write (to the extent that the computer will complain loudly and refuse to proceed) any expression that would incur @AdamsDrafting’s ire.

English
1
2
13
0
Oliver Goodenough retweetledi
Carlos Gámez
Carlos Gámez@chgamez·
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
Bob Ambrogi@bobambrogi

Will that Bill Pass? New AI Tool in Westlaw Edge Predicts Outcomes lawsitesblog.com/2020/02/will-t… @Westlaw @thomsonreuters

Sao Paulo, Brazil 🇧🇷 English
1
2
9
0