{"generator":"GNU social 2.0.2-beta0","title":"Conversation","totalItems":1,"items":[{"actor":{"id":"https:\/\/mstdn.maud.io\/users\/omasanori","displayName":"Masanori Ogino ????","status_net":{"avatarLinks":[{"url":"https:\/\/social.senooken.jp\/avatar\/330-original-20200519134436.jpeg","rel":"avatar","type":"image\/jpeg","width":120,"height":120},{"url":"https:\/\/social.senooken.jp\/avatar\/330-96-20200519143347.jpeg","rel":"avatar","type":"image\/jpeg","width":96,"height":96},{"url":"https:\/\/social.senooken.jp\/avatar\/330-48-20200519145453.jpeg","rel":"avatar","type":"image\/jpeg","width":48,"height":48},{"url":"https:\/\/social.senooken.jp\/avatar\/330-24-20200519145453.jpeg","rel":"avatar","type":"image\/jpeg","width":24,"height":24}],"profile_info":{"local_id":"330"}},"image":{"url":"https:\/\/social.senooken.jp\/avatar\/330-96-20200519143347.jpeg","rel":"avatar","type":"image\/jpeg","width":96,"height":96},"objectType":"person","summary":"<p>Please pay attention to random failures.<\/p>","url":"https:\/\/mstdn.maud.io\/users\/omasanori","portablecontacts_net":{"preferredUsername":"omasanori@mstdn.maud.io","displayName":"Masanori Ogino ????","note":"<p>Please pay attention to random failures.<\/p>"}},"content":"<p>Vellvm: Verified LLVM <a href=\"https:\/\/www.cis.upenn.edu\/~stevez\/vellvm\/\" rel=\"nofollow\"><span class=\"invisible\">https:\/\/www.<\/span><span>cis.upenn.edu\/~stevez\/vellvm\/<\/span><span class=\"invisible\"><\/span><\/a><\/p><p>\"The Vellvm project is building a (verified LLVM), a framework for reasoning about programs expressed in LLVM's intermediate representation and transformations that operate on it.\"<\/p>","generator":{"id":"tag:status.net,2009:notice-source:ostatus","objectType":"application","status_net":{"source_code":"ostatus"}},"id":"https:\/\/mstdn.maud.io\/users\/omasanori\/statuses\/101594940975744648","object":{"id":"https:\/\/mstdn.maud.io\/users\/omasanori\/statuses\/101594940975744648","objectType":"note","content":"<p>Vellvm: Verified LLVM <a href=\"https:\/\/www.cis.upenn.edu\/~stevez\/vellvm\/\" rel=\"nofollow\"><span class=\"invisible\">https:\/\/www.<\/span><span>cis.upenn.edu\/~stevez\/vellvm\/<\/span><span class=\"invisible\"><\/span><\/a><\/p><p>\"The Vellvm project is building a (verified LLVM), a framework for reasoning about programs expressed in LLVM's intermediate representation and transformations that operate on it.\"<\/p>","url":"https:\/\/mstdn.maud.io\/@omasanori\/101594940975744648","status_net":{"notice_id":null}},"to":[{"objectType":"http:\/\/activitystrea.ms\/schema\/1.0\/collection","id":"http:\/\/activityschema.org\/collection\/public"}],"status_net":{"conversation":"tag:mstdn.maud.io,2019-02-15:objectId=30262157:objectType=Conversation","notice_info":{"local_id":"2199683","source":"ostatus"}},"published":"2019-02-15T07:29:34+00:00","provider":{"objectType":"service","displayName":"senooken JP Social","url":"https:\/\/social.senooken.jp\/"},"verb":"post","url":"https:\/\/mstdn.maud.io\/@omasanori\/101594940975744648"}],"links":[{"url":"https:\/\/social.senooken.jp\/conversation\/1560251","rel":"alternate","type":"text\/html"}]}