This account is not set to public on notestock.
This account is not set to public on notestock.
えっ、Anacondaって比較的新しい方だと思ってたんですけどvirtualenvよりも古いんですか？（？）
This account is not set to public on notestock.
This account is not set to public on notestock.
This account is not set to public on notestock.
This account is not set to public on notestock.
This account is not set to public on notestock.
This account is not set to public on 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
This account is not set to public on notestock.
APIのエンドポイントはあるけどWeb UIがないタイプのWebサービス
This account is not set to public on 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に流れてくる頻度が明らかに多い
砂塚さん、若干の池谷乃々みを感じるので興味がある
