23:59:22
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
蝋燭の溶けた蝋で蝋燭を固定するやつ,考えた人頭が良い
23:57:23
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
23:57:13
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2017-12-24 23:54:58 ryna4c2eの投稿
ryna@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
23:57:10
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2017-12-24 23:54:54 はんぺんの投稿
hnpn914@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
23:57:08
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2017-12-24 23:54:37 あやふみの投稿
afm@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
23:54:00
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
23:53:55
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2017-12-24 23:53:44 ねこてーの投稿
Cat_Kayser@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
23:53:53
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2017-12-24 23:53:19 あやふみの投稿
afm@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
23:52:33
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
23:52:19
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2017-12-24 23:52:08 USA皇帝ノートン2世うさうさ陛下の投稿
usa@mstdn.jp
このアカウントは、notestockで公開設定になっていません。
23:50:30
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
大正浪漫とか好きなんだけど,こうした美化された,浪漫化されたものって実際存在した過去の時代とはまたかなり違うんだろうなあと思っている。過去は想像しか出来ないから実際どう違うのかは中々想像しづらい。
23:49:17
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2017-12-24 23:49:01 USA皇帝ノートン2世うさうさ陛下の投稿
usa@mstdn.jp
このアカウントは、notestockで公開設定になっていません。
23:49:13
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
23:48:39
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
あと蝋燭は高い。中世みたいな気持ちになっちゃいそう。
23:48:17
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
蝋燭,好きなんだよね。実家から燭台持ってきてもいいかもしれないけど確実に邪魔だと思うからなんか考えたい。
23:47:13
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2017-12-24 23:44:38 USA皇帝ノートン2世うさうさ陛下の投稿
usa@mstdn.jp
このアカウントは、notestockで公開設定になっていません。
23:47:05
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2017-12-24 23:46:19 mikutterの投稿
mikutter@social.mikutter.hachune.net
このアカウントは、notestockで公開設定になっていません。
23:46:48
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
23:39:38
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2017-12-24 23:38:45 USA皇帝ノートン2世うさうさ陛下の投稿
usa@mstdn.jp
このアカウントは、notestockで公開設定になっていません。
23:39:14
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
23:39:08
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2017-12-24 23:38:54 mikutterの投稿
mikutter@social.mikutter.hachune.net
このアカウントは、notestockで公開設定になっていません。
23:39:05
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
23:39:02
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
あーーー!クリスマスは御茶ノ水の教会のミサを見てみようとか思ってたのに完全に忘れてた!
23:38:24
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
23:36:47
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
冬至は一年で最も日が短い日だし,死の世界と最も近づくとされている地域も多いけど,転じれば冬至を越えると徐々に太陽が力を取り戻す,と解釈できる再生を象徴する日だし,キリストの再生と復活を象徴する日に当て嵌めるのに丁度良さそう
23:33:01
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
23:32:59
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2017-12-24 23:31:01 しきうたの投稿
siki_uta@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
23:32:35
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
北欧では冬至祭の jul がキリスト教化によってクリスマスに習合されたそうです。
23:32:08
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2017-12-24 23:30:25 USA皇帝ノートン2世うさうさ陛下の投稿
usa@mstdn.jp
このアカウントは、notestockで公開設定になっていません。
23:32:06
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2017-12-24 23:26:02 USA皇帝ノートン2世うさうさ陛下の投稿
usa@mstdn.jp
このアカウントは、notestockで公開設定になっていません。
23:31:53
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2017-12-24 23:31:44 USA皇帝ノートン2世うさうさ陛下の投稿
usa@mstdn.jp
このアカウントは、notestockで公開設定になっていません。
23:31:33
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
23:31:14
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2017-12-24 23:30:37 ねこてーの投稿
Cat_Kayser@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
23:31:11
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2017-12-24 23:31:00 VALTAXの投稿
baltan78@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
23:30:05
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
23:29:45
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2017-12-24 23:28:04 ねそ@末代の投稿
neso@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
23:29:25
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
23:27:39
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
23:27:34
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2017-12-24 23:26:54 ryna4c2eの投稿
ryna@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
23:26:29
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
ちなみに,このケーキが今夜の晩御飯です。(ほかになにも食べてない
23:24:23
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
糸目は付けてるけどあんまり寂しくすると自分のやる気が落ちるからわりと我慢しないことにしている
23:23:46
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2017-12-24 23:23:37 ryna4c2eの投稿
ryna@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
23:23:22
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
23:21:47
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
23:16:44
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2017-12-24 23:16:19 USA皇帝ノートン2世うさうさ陛下の投稿
usa@mstdn.jp
このアカウントは、notestockで公開設定になっていません。
18:18:19
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
18:15:43
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
18:15:24
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
あと、SHA-1やSHA-2は公募ではなかったので、公募で政府公認の暗号論的ハッシュ関数を決めるとなって傑作が複数提出されたのも(NSAがお出ししてきたDual EC DRPGがEpic アだった件を経て政府がお出ししてきた暗号に不信感が高まっている近年には特に)それはそれで意義があったという話もある
18:15:11
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
SHA-3、これいる?みたいな扱いを受けてるけど、SHA-2を置き換えるものではなく補完するものを募集していたから、SHA-3が出たからってSHA-2が直ちに非推奨化しないのはそれはそうなんだよな
18:15:03
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
BLAKEはARX(加算、ローテーション、XORで構成される)アルゴリズムで、またSSE*やAVX、NEONのようなSIMD命令を活用できる構造になっているでソフトウェア実装に向いているという話
18:14:56
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
そういえばPortageがgentooツリーでdistfilesをダウンロードしたあとにチェックするチェックサムのアルゴリズムがBLAKE2b(SHA-3ファイナリストのひとつBLAKEの改良版。SHA-3に選ばれたKeccakがハードウェアの実装に向いているのと比べて、BLAKEはソフトウェア実装に向いているとコンペで評価された)とSHA-512に変わってましたね
17:40:37
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
虚無は虚無とラベリングされてしまった以上虚無とラベルされている虚無ではない存在している何かであって虚無が本来指そうとしていた概念と異なるのではないか。
17:39:40
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2017-12-24 17:38:58 ヒポポタマスジの投稿
Otakyuline@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
17:38:19
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
17:38:09
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2017-12-24 17:38:02 大破の投稿
musashino205@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
17:37:52
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
TSS の時代の古の Unix からやりそうな文化
17:37:06
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
Gentoo の Portage も初回の sync で何か出してた気がするし,airsonic かなんかのサーバーアプリのログの頭にもいっつも AA 化されたロゴ出るし,古からみんなやってました感がある。
17:36:18
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
ログインのバナーとか,コマンドの初回起動時の出力とか,メニューを選んでいく形式の CLI アプリとか,だいたい AA で文字出力するのでどれがどれに触発されたとかそういうことではない気がする。
17:36:16
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
17:34:03
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
17:33:11
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
17:33:00
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2017-12-24 17:30:25 大破の投稿
musashino205@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
17:32:57
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2017-12-24 17:29:45 大破の投稿
musashino205@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
17:29:11
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
17:29:07
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
17:26:30
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
15:53:45
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
@opptape SO-HO や業務用のルーターは一般にシリアルコンソールの口が付いてる(でないと仕事にならんので)
15:51:07
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2017-12-24 15:27:31 はいりふおじさん(LIFT650)の投稿
Common_Lisper@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
15:50:55
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2017-12-24 15:42:42 あやふみの投稿
afm@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
15:27:00
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
有馬記念で一発クリスマスプレゼントを作り出しましょう!!!
15:22:17
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2017-12-24 09:22:08 箱山の投稿
pacochi@pawoo.net
このアカウントは、notestockで公開設定になっていません。
15:21:02
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
14:59:01
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
14:58:43
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
14:04:50
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
GTK3 どころな GNOME はいま GTK4 に取り組んでるぐらいなのである。mikutter の未来は……。
13:28:59
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
ずっとおふとんにいたけどそろそろ出掛けようと思う。
13:27:44
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
pchなしにGCCをビルドしようとするとOOM killerがコードジェネレーターを刈り取っていくGentooインスタンス、OpenBSDが入った
13:27:39
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
最近のOpenBSD、IPv6の自動設定周りをカーネルからユーザランドに移したり、起動の度にカーネルや動的リンカのオブジェクトをシャッフルして作り直したりしてて面白い
12:31:53
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
12:27:33
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
12:20:30
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
12:03:35
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
12:02:48
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
12:01:40
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
08:15:45
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
07:12:18
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
07:11:08
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
03:28:30
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
03:28:13
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2017-12-24 03:24:23 8の投稿
r8_gre@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
03:27:43
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
例えばコンパイラは文法規則の解釈のとき文法から豫め曖昧性を除去するし再起下降パーザなら左再起除去なんかも行ない無限ループしないよう設計するわけですが,そのコンパイラがどっか(設計|実装)バグによって永遠にコンパイルが終わらないかもしれない。でも,それを証明付けたりして絶対にコンパイラがコンパイルをし終える保証は(根本的には)不可能,ということ。
03:23:46
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2017-12-24 03:22:36 かるばぶの投稿
babukaru@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
03:20:55
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
まちカドおるみん御嬢様 (@orumin@mstdn.maud.io)
03:19:37
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
03:19:29
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
停止性問題,端的に言うとプログラムが停止するかは証明不可能ということ