17:23:52
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2022-08-06 16:42:25 藤敷菰八🏇🔰の投稿
FS5@uma.milkey.homes
このアカウントは、notestockで公開設定になっていません。
16:41:49
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
16:41:41
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2022-08-06 16:41:25 Giraffe Beerの投稿
giraffe_beer@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
16:41:35
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2022-08-06 16:40:25 そらの投稿
HK_Shuttle@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
16:40:31
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2022-08-06 16:39:02 るいーね@末代の投稿
ruine@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
16:40:28
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2022-08-06 16:38:31 Giraffe Beerの投稿
giraffe_beer@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
16:35:39
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2022-08-06 16:34:51 アカハナの投稿
akahana@fla.red
このアカウントは、notestockで公開設定になっていません。
16:35:33
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2022-08-06 16:34:19 そらの投稿
HK_Shuttle@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
16:33:26
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
16:33:20
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2022-08-06 16:32:35 ちゃーしゅーねこの投稿
charsiuCat@social.mikutter.hachune.net
このアカウントは、notestockで公開設定になっていません。
16:31:02
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
16:30:23
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2022-08-06 16:30:12 アカハナの投稿
akahana@fla.red
このアカウントは、notestockで公開設定になっていません。
16:23:09
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
おるみんは政治結社や秘密組織とじっさい関係がなく安心重点
16:22:03
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
16:10:06
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
15:58:48
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
15:58:38
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2022-08-06 15:58:01 負けヒロイン@がんばらないの投稿
kelvin27315@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
15:58:22
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
まちカドおるみん御嬢様 (@orumin@mstdn.maud.io)
15:56:46
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
15:56:39
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
15:56:35
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2022-08-06 15:53:56 負けヒロイン@がんばらないの投稿
kelvin27315@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
15:53:42
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
15:53:17
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
15:50:46
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
15:49:08
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
『ニンジャスレイヤー』はインターネットで buzz る 2012 年ごろより前、2010 年から Twitter で連載してて、さらに言えば 2005 年には既に mixi で「アメリカ人による小説の翻訳」というていで反応少なくてもずっと淡々と連載してる本物の狂人だからな……
15:47:22
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
トリロジー完結して AoM もかなり進んできて、二部のコミカライズもかなり進みましたからね
15:46:50
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2022-08-06 15:46:43 アカハナの投稿
akahana@fla.red
このアカウントは、notestockで公開設定になっていません。
15:43:05
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
近所の松屋、端末がグリルの前から客席カウンターの前に動いてきた気がするんだけど、心がザワつく見た目なってる
14:38:44
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
14:35:47
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
14:33:57
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
@neso 今回の問題だと、その鍵を置く鍵サーバーは基本的にボランティアベースなので、死ぬときは死んだまま放置されることがある、というところですね
14:28:44
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
@neso で、著名な Linux ディストリビューションのパッケージなどはディストリビューション開発者やディストリビューション開発チームだと identify できる鍵で電子署名されているので、署名の有無をみると改竄されたパッケージかどうか確認できる、というところ
14:27:26
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
@neso GPG は PGP の GNU 実装ですね。公開鍵式暗号のひとつなんだけど、一番の特徴は PGP の公開鍵を鍵サーバー経由でインターネットで公開できるのと、そこに鍵の持ち主のメールアドレスや顔写真を登録できること、そしてその公開鍵自体の信頼性(鍵の持ち主が本人かどうか)を他の人の鍵で署名済みかどうかで判断できる (Chain of Trust) ことによって、インターネット上で本人確認する一般的な手段になっている
14:15:32
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
そりゃ出版社じゃないもん、現代ならそれでも Web 検索とかでそれなりの組版知識手に入るけど、当時だもんな……。
14:15:04
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
OS 屋さんが出版したの、だから組版めちゃくちゃなのかと思うとなんだか納得した
14:12:24
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
14:07:58
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
これ、むしろどうやって何をつかって組版したの……?
14:07:25
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
3B20S の表現揃えてほしい(あとこっちは本文だとベースライン揃ってて著者紹介だと全角でしかもベースラインガタガタなのなんなん)。それと欧文と英文の間は二分アキ入れろ
14:06:01
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
巻末の著者紹介だとベースライン揃ってるのなんなん???
14:01:38
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
使ったことあるプログラミング言語、使ったことがあるをどこまで含めていいかで数がだいぶ変わるな
14:00:51
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
そういえばこいつ、ハウジングとステムは NiZ がバラ売りしてるやつ使いました。
14:00:23
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
14:00:03
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
typewrite 体をつかってたり、参考文献のページで論文タイトルの欧文に Bold+Italic つかったり多彩な書体が使えてるので、まあ活版だとこれはつらい
13:59:08
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
うーん、やっぱり眺めたが写植っぽいな、むしろ当時だと活版のほうがちゃんと組めた可能性まである
13:57:51
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
『UNIX 原典』、パーソナルメディア出版でした。初版は昭和 61 年。
13:54:45
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
13:54:23
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
13:53:53
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
この本、古本屋でみかけたのでつい買ったんだけど、いくつかは原文既に読んでた上に最初のほうのページがこれだったのでそのまま封印して読んだことなかったやつも原文探して読んだ
13:52:52
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
13:52:23
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
なぜか大文字がベースラインより下にベースラインを置いていて、そのせいで本来するべきカーニングができてなくて字間が無駄に開いてるように見えたりするのが謎だし、日本語で製品名として受け入れられている単語は全角文字にするポリシーなのか、「UNIX」はともかく「GE645」とかは数字のほうは普通に半角だもんで違和感がすごい。
13:50:36
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
13:49:30
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
13:49:04
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
13:46:52
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
さっき Qiita の記事貼ったやつで UNIX の論文集の和訳本が引用されているけど、アレ翻訳の質の前に組版の質が最悪なので原文の PDF をインターネットで探したほうがいいです
13:44:25
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
たぶん O リングゴムがあるから Type-S の音に近いはず
13:43:27
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
13:41:24
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
静電容量無接点式 HHKB が発売される前の初代~二代目 Happy Hacking Keyboard(高級メンブレン。当時は HHKB ではなく HHK と言われてたはず?
13:38:36
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
13:36:24
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
ウワ、HHKB Pro2 のゴム足外れてどっかいった
13:32:24
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
まあスイッチというよりただのバネと、キーキャップを支えるラバーカップというだけなので、この二つの部品が壊れようがないのもある(バネがヘタれたりはする
13:31:53
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
13:31:44
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
13:30:30
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
静電容量無接点式分割キーボード、EC Helix。古代の日立のオフコンキーボードからラバーカップと円錐バネをパチって作ったやつ
13:27:07
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
HHKB Pro2 の時代が長かったのと、HHKB が一番知名度を獲得した期間が Pro2 の時期だったから、というので USB Hub のイメージはたしかにある
13:26:31
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
HHKB Professional 2 にだけあった、というかんじ(HHKB Professional がごく短い間販売されていてそっちは USB HUB がなかった、あと後継かつ現行の HHKB Hybrid/Classic はどっちも HUB がないはず?
13:25:17
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
HHKB 昔はあったけど今はないですね > USB HUB
13:25:08
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
マイクアームを噛ませてる机の上で打ってるからだいぶ響いている気がする
13:24:29
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
13:23:34
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
歴史記述がややあやしいのはそうだけど論旨はまちがってなかったと思いますよ。コメントのつっこみのほうも結構アレなの多いし
13:23:05
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
この記事コメントでもツッコミ一部入ってるけど、書いた人がかなり若くて知らないのかあるいは単なる無知なのか知らんけど、わりとめちゃくちゃだし、DECの事をなんにも知らない人が書いてる感じで注意かも><
13:13:22
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
Rosélio の音をのっかって出したいとこだけどあれオフィスに置きっぱなしにしてた
13:13:00
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2022-08-06 13:09:17 あんふぃとらいとの投稿
amphitrite632@pawoo.net
このアカウントは、notestockで公開設定になっていません。
13:12:59
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
13:12:58
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
13:11:32
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
13:11:20
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
13:05:34
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
13:05:11
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
13:00:47
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
granularity とか考えずに何もかもシングルスレッドな気持ちでモノ書いてもよいことになりたい
12:59:41
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
12:59:28
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
OpenBSDは細粒度ロックに移行したシステムコールとまだ移行してないシステムコールが混ざってるはず
12:59:02
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
12:58:33
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
12:56:20
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
kb10uy さんもともとつかってたスイッチなんだっけ
12:56:08
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
12:54:03
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
いや、まだ giant lock でやってるかも……
12:52:40
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
でもさすがに OpenBSD も giant lock 無くして M:N thread になってた気がするので昔よりは読むの大変かも?
12:52:04
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
12:51:08
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
12:51:00
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
教育用に書かれたOS以外だとOpenBSDがコードリーディングの教材によいと思っている
12:50:54
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
いまどきのプログラマなら部品化意識して抽象レイヤを持つ小さなモジュールをたくさん作って全体をつくる、みたいなのは当たり前にやることなので、殊更言わなくてももうみんなやってることな気はする。micro service もそうだし。
12:48:58
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
マイクロカーネルが VMM に転身、という事例は少なくない(やるべき仕事はだいぶ似てる)ので、マイクロカーネル型 VMM として学界に出てきて製品としても広く使われるようになった Xen も元々はマルチメディアのストリーム処理を企図して設計されたマイクロカーネルの派生でした(先にそういうマイクロカーネルの論文があって、そこから派生した研究が Xen だった
12:47:00
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
seL4 は形式的証明を kernel につける野心的試みがアカデミックに評価されているけれど、その部分は忘れるとしても API 体系がシンプルでスリムなので互換実装を作りやすいし、ハイパーザイザーとかを作る叩き台にしやすい
12:44:48
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
12:44:39
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2022-08-06 12:38:21 もぐのの投稿
moguno@social.mikutter.hachune.net
このアカウントは、notestockで公開設定になっていません。
12:43:22
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
これの話は『UNIX という考え方』の著者ガンカースのポジショントークが多分にあって、UNIX 開発者はそんなこと考えてないよなことがたくさんある上に当時の同時代に言われてた UNIX 哲学はもっと簡単なことを言っているよ、という
12:39:22
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
systemd があんまり Unix way じゃなそうなのは実際そうだけど、init 以外のいろいろも systemd 化しはじめてることについてはべつにサブプロジェクトとして別バイナリ開発してそれぞれが連携するよう機能開発してるだけなので、そこは Unix way ではないとは思わないかも。それ言ったら traditional な開発を守る *BSD 族なんて userland の基本プログラムは init もコマンドも shell もいくつかのデーモンもなにもかもが同じコードツリーで開発されてるわけで……
12:36:13
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
実は著者のポジショントークからだいぶ来てる記述が多くて、USL にいた AT&T Bell Lab. のオリジナル開発者がどう考えていたかがあまり……というお話。ちなみにオリジナル開発者の spirit 知るなら ACM の論文や BLTJ (Bell Lab Technical Journal) に収録された論文読むとよい
12:33:17
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
POSIX 準拠 shell の調査や shell script のチェッカー書いてるこの人のこの記事によくまとまっているので一読の価値がある >> 名著「UNIXという考え方 - UNIX哲学」は本当に名著なのか? 〜 著者のガンカーズは何者なのかとことん調べてみた - Qiita
https://qiita.com/ko1nksm/items/f1800c6ff6dd649d7429
名著「UNIXという考え方 - UNIX哲学」は本当に名著なのか? 〜 著者のガンカーズは何者なのかとことん調べてみた - Qiita
12:32:02
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
あとそもそも Unix philoshy なるものは OS のエンドユーザーが shell を使うときの気持ちであって Unix の kernel 側の精神は規定しないんですよね
12:31:07
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
monolithic であることがただちに Unix way 否定するかとそうでもなくて、たとえば Linux は全体のあらゆる部分が module に分割されてちゃんと取り外したり取っつけたりできるので、最終的に全てが kernel space のアドレス空間で動くというだけで構造自体は Unix way を必ずしも逸脱するわけでもない
12:29:16
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2022-08-06 10:51:05 るちかは新しい鯖にお引越しの投稿
Lutica@groundpolis.app
このアカウントは、notestockで公開設定になっていません。
12:29:16
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2022-08-06 10:43:41 藤敷菰八🏇🔰の投稿
FS5@uma.milkey.homes
このアカウントは、notestockで公開設定になっていません。
12:28:04
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
わたしは 5g 重い Rosélio のほうを TEX Shinobi につかってるけど、静電容量無接点式好きの私でもこれならまあいいかなおもっている(Topre switch は正確にはリニアではなくタクタイルなのだけど、店頭でテストできたスイッチのうちいちばん feeling 近く思えた
12:26:30
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
12:24:57
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
話変えると、Mach は斯様にただのスリム化の意志で作られたので真の micro kernel ではない、とする向きもあって、そこで実装されたのが L4 のような第二世代 micro kernel、そして seL4 のような第三世代。また、BlackBerry が買収して自社端末に一時期使ってた QNX は製品の説明に「true microkernel」なんて書いている(90 年代から一貫して!)
12:21:35
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
もともと Mach からして 4.3BSD のスリム化を企図して 4.3BSD を部分的に置き換えながらまったく新しい実装に変形していったので、filesystem server や personality となる POSIX API の server が BSD 由来だった。のでここを 4.3BSD から FreeBSD に upgrade して kernel land に引き戻したことになる
12:19:25
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
Mach は BSD と組み合わせて XNU になったから hybrid なのではなく Mach では server として userland に追い出したものを kernel land に引き戻したので hybrid ですね
12:18:08
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2022-08-06 11:03:00 藤敷菰八🏇🔰の投稿
FS5@uma.milkey.homes
このアカウントは、notestockで公開設定になっていません。
12:16:34
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
12:03:35
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
家でカレー作るのにスパイスカレーばかりつくるから逆にいつものってかんじの薫りになってしまった
12:03:07
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2022-08-06 12:00:52 もちゃ(あと-13.60Kg)の投稿
mot@mastodon.motcha.tech
このアカウントは、notestockで公開設定になっていません。
12:03:04
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2022-08-06 12:00:23 もちゃ(あと-13.60Kg)の投稿
mot@mastodon.motcha.tech
このアカウントは、notestockで公開設定になっていません。
12:02:19
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2022-08-06 07:22:39 ほたの投稿
hota@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
11:53:53
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
ローソンそっくり?謎のコンビニ・ポートストアを全部まわりたい
05:33:41
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2022-08-06 05:09:25 メ力かんの投稿
mecha_kan@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
01:51:12
まちカドおるみん御嬢様
@orumin@mstdn.maud.io