結城浩さんのツイート: "「報道で『実際の数』が出てきたときには割合を計算せよ」 「報道で『割合』が出てきたときには実際の数を計算せよ」 というのはいい習慣ですね。 " 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で公開設定になっていません。

これだいすき

KaTeX、サーバーサイドレンダリングできるのはいいけれど別にNodeアプリケーションを書きたいわけじゃないしなぁと思ったらnpmでkatexをインストールしたらコマンドラインツールが付属するのか

つまりSSGのビルドプロセスにKaTeXを組み込めばJavaScriptなしで数式を組み込める

cgitが動いた！

cgitを動かすのすらかなり苦労した

https://github.com/h2o/h2o/wiki/FastCGI-(cgit) と https://wiki.archlinux.org/index.php/Cgit と https://jlk.fjfi.cvut.cz/arch/manpages/man/cgitrc.5 を最初から読んでれば2分でできたんだよなぁ

https://git.brackets-salad.com/ ともあれ動いた（Webサイトの方がまだ復旧できてない）

とりあえず、GitHubでコードを見たところ気付いたのはNULLが大文字なところですね

JavaScriptのnullは小文字ですね

いくらJavaScriptがWebで生まれ育ったといっても、識別子の大文字小文字を無視するタイプの言語ではないです

Common Lispは識別子を大文字に揃えてアクセスするけれどあれはWeb生まれではない

#:g1: Common Lispは大文字と小文字を区別しないという誤解 https://g000001.cddddr.org/3645849826

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

ギリシャ語 λ

Cこそnullと空文字列を混同するとハチャメチャなことが起きるんだよなぁ

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

なるほどなー

パリでは新年に路上駐車された車が景気良く燃やされるという噂を聞いたことがあるんですが、今日のパリは大丈夫なんでしょうか

ていうか　もう寝よう（今月2度目）

【Fate/GrandOrder】「応援ジャンヌさん」イラスト/Ripi＠1日目東C-43b [pixiv] https://www.pixiv.net/member_illust.php?mode=medium&illust_id=69562857

型月ジャンヌがサッカーフランス代表を応援しているイラストを見て、セイバーがランサーに「同じイギリス代表」と言ってランサーがキレるネタを唐突に思い出した

intからfloatより整数型間での暗黙のキャストが地味に謎の挙動を生んで厳しい

signedとunsignedの間で変換されるやつもそうだし、暗黙に幅が拡張されるやつもそう

コミケ行ってみたいですね

あれは犬だよ

ハッハッって言ってるし間違いない

かるばぶさんセキュリティのスペシャリストになったのかー

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

世界の文字と記号の大図鑑 ー Unicode 6.0の全グリフ | ヨハネス・ベルガーハウゼン, シリ・ポアランガン, 小泉 均 |本 | 通販 | Amazon https://www.amazon.co.jp/dp/4327377368

Amazon | Decodeunicode: Die Schriftzeichen der Welt | Johannes Bergerhausen, Siri Poarangan | 洋書 https://www.amazon.co.jp/dp/3874398137/

State Of Rust https://forge.rust-lang.org/state-of-rust.html

Rust - ジェネリクスの型推論と再借用について(136000)｜teratail https://teratail.com/questions/136000

Why GOV.UK content should be published in HTML and not PDF - Government Digital Service https://gds.blog.gov.uk/2018/07/16/why-gov-uk-content-should-be-published-in-html-and-not-pdf/

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

janestreet/patdiff: File Diff using the Patience Diff algorithm https://github.com/janestreet/patdiff

RKX1209/nsemu: Experimental Nintendo Switch emulator https://github.com/RKX1209/nsemu

あー、なんか文字列をうまいことあれこれやりたいなー→どう考えても岡野原本に書いてあるでしょ→岡野原本忘れてきた（ア）（今ここ）

高速文字列解析の世界――データ圧縮・全文検索・テキストマイニング (確率と情報の科学) https://www.amazon.co.jp/dp/4000069748/

Googleで岡野原本を検索しても岡野原本はトップに出てこないらしいという知見を得た

あのですねっ

なんもわからん（なんもわからん）

Python考案者のGuido van Rossum氏がPythonに関する意思決定から引退することを表明 https://mag.osdn.jp/18/07/18/143000-2

Pythonの開発に携わった経験がないにもかかわらず寂しい気持ちにもなるけれど、創始者がうまく手を放さないと創始者が辞めるとともに終わってしまうこともあるから、辞めるかどうか選べるうちに辞めるのが適切なんだろうなぁ

KUMO - A Compact Mechanical Keyboard by TheVan Keyboards — Kickstarter https://www.kickstarter.com/projects/thevankeyboards/kumo-a-compact-mechanical-keyboard

人向けでない証券事業、アルゴリズム取引かな？

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

あの仕草がquotation mark由来なのは知ってたし周囲でも頻繁に見るけれど、air quotesと呼ばれているのは知らなかった

あの仕草、言いながらやる人々と言う直前にやる人々がいる

言う直前にやる人々は日本語の「いわゆる～」みたいな前置きとしてやってる感がある

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

アラビア語圏では逆にしないといけなくなるのかな（？）

chopstick、chopが箸の主目的という世界観なのだろうか

箸自体が細切れにされた棒だという世界観ならchoppedstickになると思うのだけれども

looks likeよりはso calledでしょうか

Fate/Grand Order、ネタがどんどんマイナーになってその内今回の英霊誰も日本語資料皆無じゃねーかになりそう

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

おしりを双方向I/Oデバイスだと思っている側の人々の例だ

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

出力デバイスとは思ってなかったのに出力があったというのは電磁波や熱の雑音を用いたサイドチャネル攻撃がそうだと思っているけれど、逆は思いつかないな

めうめうと芽兎めうは別だと思っているよ

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

@baltan78 それでいいんですか……？

BEMANI Sound Team rejected by BEMANI Sound Team

BEMANI Sound Teamどうなったんだと思って検索欄に入力してたら「BEMANI Sound Team 問題」だの「BEMANI Sound Team 事件」だの出てきて表情になっている

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

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

所属表記が前に行ったり後ろに行ったりしてるの人間を感じる

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

低レイヤーの学び方 ── システムソフトウェアの世界は「今すぐ役に立つものが全て」ではない - GeekOut https://geek-out.jp/column/entry/2018/07/19/110000

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

draft-ietf-httpbis-semantics-02 - HTTP Semantics https://tools.ietf.org/html/draft-ietf-httpbis-semantics-02

RFC 7230の一部、RFC 7231、RFC 7232、RFC 7233、RFC 7235をマージしたHTTP RFCの改訂版ドラフト。HTTP RFCの次期改訂版はプロトコルの基礎意味論を定義するRFCやキャッシュの挙動を定義するRFCとHTTP/1.1やHTTP/2などの具体的なメッセージプロトコルを定義するRFCの組み合わせとなる見込み

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

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

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

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

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

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

非会員制交流サイト、匿名掲示板の隠語っぽい

ebdf192babb3aa96113917e119310e9643fd80ae - chromium/src.git - Git at Google https://chromium.googlesource.com/chromium/src.git/+/ebdf192babb3aa96113917e119310e9643fd80ae

Chromeのbleeding edgeでURLバーからTLS通信時のSecure表記が消えて鍵アイコンのみになった話

緑色にするのも既にやめているので、EV証明書でない限りhttps://の前に鍵アイコンが付くだけ、EV証明書であっても組織名・地域名が追加されるだけで緑色にならないとのこと

まあ、httpsの設定「は」セキュアだとしてもWebサイトがセキュアとは限らないしなあという話には以前言及した

古いバージョンのTLSは平文HTTPと同様にNot Secure表示とするのワンチャンある（？）

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

yes

開発者ツールを開けばChromeでもTLS通信の詳細が見られるというのは今後も変わらないと思う

流石に開発者ツールからTLSの情報を取り払ったりはしないでしょ（？）

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

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

早くAppleに非TLS・非HTTP/2なWebサイトを開くと毎回「このWebサイトはお使いのMac用に最適化されていません」って出すやつやってほしい

第14回 カーネル／VM探検隊＆懇親会@東京 | Peatix https://kernelvm14.peatix.com/

明日！

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

EUC-JPでぶっ壊れるじゃないですかー

ハイフンだめなのかー

UTF-8にバイトオーダーによる変種はないので先頭に置かれたZERO WIDTH NO-BREAK SPACEはバイトオーダーマークではないJP

失った信頼は戻ってこない

ところで、バイトオーダーマークとして使われるU+FEFF ZERO WIDTH NO-BREAK SPACEは名前の通り空白文字の一種であってバイトオーダーを指定する専用の制御文字ではないというのは広く知られていますが、所属ブロックがアラビア文字表示形Bなのはそれに比べると若干知名度が低い

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

メソッド レシーバ 引数リストで行こう（？）

レシーバ 引数リスト メソッド、Forth系統っぽい

マジ？

Ansible on CentOSやばいのか（所でAnsible on CentOSが大規模デプロイに使われている）

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

Ansible on CentOSがやばいわけではないらしい

文明がないわかる

弊研究室、私が世界に乗り遅れてるせいで文明が発達していない

機械学習のエッセンス -実装しながら学ぶPython, 数学, アルゴリズム- | 加藤 公一 |本 | 通販 | Amazon https://www.amazon.co.jp/dp/4797393963

TLS1.0, TLS1.1 の廃止する提案仕様 - ASnoKaze blog https://asnokaze.hatenablog.com/entry/2018/06/30/202118

draft-moriarty-tls-oldversions-diediedie-00 - Deprecating TLSv1.0 and TLSv1.1 https://tools.ietf.org/html/draft-moriarty-tls-oldversions-diediedie-00

IETFの人々、Die! Die! Die!好きすぎでしょ

draft-ietf-curdle-des-des-des-die-die-die-05 - Deprecate 3DES and RC4 in Kerberos https://datatracker.ietf.org/doc/draft-ietf-curdle-des-des-des-die-die-die/

draft-ietf-curdle-rc4-die-die-die-06 - Deprecating RC4 in Secure Shell (SSH) https://datatracker.ietf.org/doc/draft-ietf-curdle-rc4-die-die-die/

draft-moriarty-tls-oldversions-diediedie-00 - Deprecating TLSv1.0 and TLSv1.1 https://datatracker.ietf.org/doc/draft-moriarty-tls-oldversions-diediedie/

Chromeが6週間毎にTLSバージョン番号を変更していくかもしれない - ASnoKaze blog https://asnokaze.hatenablog.com/entry/2018/06/14/023800

Chromeにおいて非セキュアなHTTPで送信されたCookieの有効期限を短くする議論 - ASnoKaze blog https://asnokaze.hatenablog.com/entry/2018/04/09/004353

ブラウザの廃止される機能を使っていることを検知する Deprecation Reports (+ Intervention reports ) - ASnoKaze blog https://asnokaze.hatenablog.com/entry/2018/07/06/231248

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

root-project/veccore: SIMD Vectorization Library https://github.com/root-project/veccore

ROOT（CERNの人々にとってのnumpy兼pandas兼matplotlib兼scikit-learnで、C++で書かれており、C++のインタプリタを含む）、SIMDライブラリを自給自足してるのか

しれっとGeantVって書いてあるけど、もうGeant4の次期計画始まってたんですか

GeantV | Vector Transport R&D http://geant.cern.ch/

GeantV、Geant FiveじゃなくてGeant Vectorizationなのか？

ダブルミーニングか

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

咀嚼音フェチのあの子 | Tojikomorin https://tojikomorin.sakura.ne.jp/blog/2018/07/19/%E5%92%80%E5%9A%BC%E9%9F%B3%E3%83%95%E3%82%A7%E3%83%81%E3%81%AE%E3%81%82%E3%81%AE%E5%AD%90/

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

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

所で使っている何か申請するごとにメールを送ってくるシステムもここまでストーカーじみた出力はしない

GitHubで見たけどこんな仕事どうよオファー、年に数度来るかどうかなのでもっとやっていかないといかんな

私のGitHub、Franz Lispのソースコードミラーが最も星を集めている始末なのでちゃんと自分の仕事をやっていかないといかん

昔のLispのソースコードをミラーしてる人にRubyの仕事オファーするの確実にアカウント見てないでしょ

おるみんさん、そのアカウント名はもしかして進捗が炎上してるんですか