このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
えっ、Anacondaって比較的新しい方だと思ってたんですけどvirtualenvよりも古いんですか？（？）
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
特に、テンキーストアが店じまいしたからTOKYOが入手困難になったので何卒
川上稔作品が電子化して全文検索可能になるとそれはそれで生活リズムぶっ壊れる恐れがある
電子書籍で思い出した、きみあさ電子書籍版のダウンロードコードの期限が切れる前にやっておかないとな
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/
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."
Vellvm: Verified LLVM https://www.cis.upenn.edu/~stevez/vellvm/
"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."
LinuxでNVIDIAのGPUをオーバークロックするために書かれたツールの名前がGreenWithEnvyなのクールだ（green with envyは強く羨んで/妬んでいることを意味する慣用句）
安全な文字列であると型で検証する Trusted Types について | blog.jxck.io https://blog.jxck.io/entries/2019-01-27/trusted-types.html
このアカウントは、notestockで公開設定になっていません。
APIのエンドポイントはあるけどWeb UIがないタイプのWebサービス
このアカウントは、notestockで公開設定になっていません。
1. 全置き換えであってる
2. そんなまどろっこしいことをしてる時点でThe Arch wayに反する
Arch terminology - ArchWiki https://wiki.archlinux.org/index.php/Arch_terminology#The_Arch_Way
"The Arch Way
The unofficial term traditionally used to refer to the main Arch Linux principles."
なるほどなー
Arch Linux - ArchWiki https://wiki.archlinux.org/index.php/Arch_Linux#Principles
simplicity, modernity, pragmatism, user centrality, versatility
Archはもうdbus-daemonじゃなくてdbus-brokerなのかな
辻野さんと砂塚さんに比べて夢見さんの画像がTLに流れてくる頻度が明らかに多い
