Notices by Masanori Ogino ???? (omasanori@mstdn.maud.io@mstdn.maud.io), page 60

vellvm/vellvm: The Vellvm II coq development. https://github.com/vellvm/vellvm

"Vellvm is a Coq formalization of the semantics of (a subset of) the LLVM compiler IR that is intended for formal verification of LLVM-based software. It is being developed at the University of Pennsylvania as part of the DeepSpec project."

Retailers: All We Want for Valentine’s Day is Basic Security - The Mozilla Blog https://blog.mozilla.org/blog/2019/02/12/retailers-all-we-want-for-valentines-day-is-basic-security/

電子書籍で思い出した、きみあさ電子書籍版のダウンロードコードの期限が切れる前にやっておかないとな

俺ら電子書籍紛失勢としてもな

川上稔作品が電子化して全文検索可能になるとそれはそれで生活リズムぶっ壊れる恐れがある

TOKYO、Amazonで3万円

特に、テンキーストアが店じまいしたからTOKYOが入手困難になったので何卒

川上稔作品電子化頼むJP

とうとう本をいくらか手放すことを検討し始めた今日この頃

えっ、Anacondaって比較的新しい方だと思ってたんですけどvirtualenvよりも古いんですか？（？）

村井純教授に仏レジオン・ドヌール勲章 、「インターネット・サムライ」の功績称える - INTERNET Watch https://internet.watch.impress.co.jp/docs/news/1169583.html

はい