今頭がうまく働いてないので明日また読むか

Arch Linux - ArchWiki https://wiki.archlinux.org/index.php/Arch_Linux#Principles

simplicity, modernity, pragmatism, user centrality, versatility

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."

なるほどなー

APIのエンドポイントはあるけどWeb UIがないタイプのWebサービス

ログイン画面もいらないのでは

Erwin Siesling MyWeb30 https://youtu.be/_uG-Q1pWqBc

安全な文字列であると型で検証する Trusted Types について | blog.jxck.io https://blog.jxck.io/entries/2019-01-27/trusted-types.html

緑が嫉妬の象徴なのはシェークスピア等でおなじみ

LinuxでNVIDIAのGPUをオーバークロックするために書かれたツールの名前がGreenWithEnvyなのクールだ（green with envyは強く羨んで/妬んでいることを意味する慣用句）

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."

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."

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

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

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

TOKYO、Amazonで3万円

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