結城浩さんのツイート: "「報道で『実際の数』が出てきたときには割合を計算せよ」 「報道で『割合』が出てきたときには実際の数を計算せよ」 というのはいい習慣ですね。 " https://twitter.com/hyuki/status/1017979798080008192

OCaml: ocamlgraphよーわからん - type t (* void *) http://no-maddojp.hatenablog.com/entry/2013/11/29/163610

Authenticated Data Structures, as a Library, for Free! https://bentnib.org/posts/2016-04-12-authenticated-data-structures-as-a-library.html

Build systems a la carte - Microsoft Research https://www.microsoft.com/en-us/research/publication/build-systems-la-carte/

このアカウントは、notestockで公開設定になっていません。

The Tale of a Bug in Arc: Synchronization and Data Races https://www.ralfj.de/blog/2018/07/13/arc-synchronization.html

正しく動かすのが難しいけれど正しく動かないと滅茶苦茶になるコードを定理証明支援系でやっていくのすごくいいのでいいです

英和辞書、日本語なんだから英日辞書と言いたいところだなぁと少し前から思っていたけれど、そういえば大和言葉ということばがありましたね……（いや、大和言葉と日本語は同じものを指さないけれど）

このアカウントは、notestockで公開設定になっていません。

定理証明支援系で遊んでいると対話感があるのは確か

ZpDICマジいいよという話をしていきたい

ここで時計を見てみましょう

yrnkrn/zapcc: zapcc is a caching C++ compiler based on clang, designed to perform faster compilations https://github.com/yrnkrn/zapcc

cc: @hota

多分この「いまだに信頼性の観点でLISPしか教えない教授とかもいるらしい」というのは https://qiita.com/guicho271828/items/1b78d8a7335e81e11791 の件を指していると思うのですが、

「学生は5年で卒業して入れ替わるが、するとまた別の学生が自分の好きな言語で書こうとする。
高額なロボットを運用するのに毎年仕様の変わる言語など使っていられない。
だから、ANSI仕様があってかつ十分なメタプログラミングができるCommon Lispを使うと決めている」

とあるように、信頼性というよりは枯れている言語だから「Common Lispを」使う（Lisp一般の話ではない、なおCommon Lispのみが真のLispだという信条を持っているなら、まあ、はい）という話ですね

そもそも本物のプログラマネタはジョークなので（ちなみに私はキッシュを食べるので自明に本物のプログラマではない）

お金を燃やす成金よりヤバそうな成金だ

OpenBSDをまた再インストールしている

今回はラップトップではなくbrackets-salad.comの方

パーティションをどう切るのがいいのかまったくわからん。今回はこうした。（最初はスワップ以外全部/にしてたけど、OpenBSDのブートローダーは/bsdがディスクの先頭から決まったサイズまでにないと起動しないと聞いて、アップグレードを繰り返す内に後ろのセクターに移動する可能性を考慮して今回の再インストールに至った）

X完全にインストールしたくないけどportsが動いてくれなくなるんだよなぁ

完全にportsを使わない運用で行くか

Pleromaをインストールしてみるかと思ったけどLinux前提だったのでまた今度時間があるときにすることにしました

教、書を某所で見かけたことはありますね

おるみんさんが贈った本の写真と称される画像がTwitterで流れてきた

まあそんなものでは

おるみんさんに贈る機運が高まってきたな

情報がなるべく漏れないAmazonの撃ち方よく知らないんだよなぁ

GPUがn台載ってることを「GPUがnスレッド」と表現している文章を見かけて、あーとなった

これはインテル＝サンのケジメ案件では？

2スレッドとか4スレッドしか並列処理されないGPUの性能つらそう

「研究費に余裕が少しできたけど何したい？」「石作りたい！」「石は無理」という会話をした

Clojure/conj Talk on 3D Printing Keyboards - adereth http://adereth.github.io/blog/2015/11/19/clojure-slash-conj-talk-on-3d-printing-keyboards/

私は常に、。スタイルに設定して、論文は原稿をLaTeXなりなんなりで変換する直前にsedで置換してますね

でも、私は海外出身の方の人名をカタカナ表記をするのがあまり好みではないのでラテン文字が文章に頻出しがちで、常に，．スタイルにした方が全体の調和が良さそうだとも思っています

このアカウントは、notestockで公開設定になっていません。

これだいすき