17:23:52 @orumin@mstdn.maud.io
2022-08-06 16:42:25 藤敷菰八 🏇の投稿 FS5@uma.milkey.homes
icon

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

16:41:49 @orumin@mstdn.maud.io
icon

夏だからってホラーやめろ

16:41:41 @orumin@mstdn.maud.io
2022-08-06 16:41:25 Giraffe Beerの投稿 giraffe_beer@mstdn.maud.io
icon

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

16:41:35 @orumin@mstdn.maud.io
2022-08-06 16:40:25 そらの投稿 HK_Shuttle@mstdn.maud.io
icon

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

16:40:31 @orumin@mstdn.maud.io
2022-08-06 16:39:02 るいーね@末代の投稿 ruine@mstdn.maud.io
icon

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

16:40:28 @orumin@mstdn.maud.io
2022-08-06 16:38:31 Giraffe Beerの投稿 giraffe_beer@mstdn.maud.io
icon

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

16:35:39 @orumin@mstdn.maud.io
2022-08-06 16:34:51 アカハナの投稿 akahana@fla.red
icon

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

16:35:33 @orumin@mstdn.maud.io
2022-08-06 16:34:19 そらの投稿 HK_Shuttle@mstdn.maud.io
icon

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

16:33:26 @orumin@mstdn.maud.io
icon

むちゃくちゃだなこのひと

16:33:20 @orumin@mstdn.maud.io
2022-08-06 16:32:35 ちゃーしゅーねこの投稿 charsiuCat@social.mikutter.hachune.net
icon

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

16:31:02 @orumin@mstdn.maud.io
icon

邪悪な編集長、邪悪だな

16:30:23 @orumin@mstdn.maud.io
2022-08-06 16:30:12 アカハナの投稿 akahana@fla.red
icon

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

16:23:09 @orumin@mstdn.maud.io
icon

おるみんは政治結社や秘密組織とじっさい関係がなく安心重点

16:22:03 @orumin@mstdn.maud.io
icon

おるみん党とワタシはじっさい関係ない、いいね?

16:10:06 @orumin@mstdn.maud.io
icon

@akahana かなり狂気がないとできない

15:58:48 @orumin@mstdn.maud.io
icon

紀家の人間ではない

15:58:38 @orumin@mstdn.maud.io
2022-08-06 15:58:01 酒呑み鬱太郎@がんばらないの投稿 kelvin27315@mstdn.maud.io
icon

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

15:58:22 @orumin@mstdn.maud.io
15:56:46 @orumin@mstdn.maud.io
icon

狂人ではないため

15:56:39 @orumin@mstdn.maud.io
icon

してないよ

15:56:35 @orumin@mstdn.maud.io
2022-08-06 15:53:56 酒呑み鬱太郎@がんばらないの投稿 kelvin27315@mstdn.maud.io
icon

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

15:53:17 @orumin@mstdn.maud.io
icon

2003 年には個人テキストサイトでもうエピソードオーを公開してますね。じっさい狂人では? >> 無題ドキュメント
web.archive.org/web/2003080519

15:49:08 @orumin@mstdn.maud.io
icon

『ニンジャスレイヤー』はインターネットで buzz る 2012 年ごろより前、2010 年から Twitter で連載してて、さらに言えば 2005 年には既に mixi で「アメリカ人による小説の翻訳」というていで反応少なくてもずっと淡々と連載してる本物の狂人だからな……

15:47:22 @orumin@mstdn.maud.io
icon

トリロジー完結して AoM もかなり進んできて、二部のコミカライズもかなり進みましたからね

15:46:50 @orumin@mstdn.maud.io
2022-08-06 15:46:43 アカハナの投稿 akahana@fla.red
icon

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

15:43:05 @orumin@mstdn.maud.io
icon

近所の松屋、端末がグリルの前から客席カウンターの前に動いてきた気がするんだけど、心がザワつく見た目なってる

Attach image
14:38:44 @orumin@mstdn.maud.io
icon

あっきぃさん……

14:35:47 @orumin@mstdn.maud.io
icon

sks-keyservers.net はよく使われる鍵サーバーのひとつだったんだけど、何年か前に死んだ >> gpg - sks-keyservers gone. What to use instead? - Unix & Linux Stack Exchange unix.stackexchange.com/questio

14:33:57 @orumin@mstdn.maud.io
icon

@neso 今回の問題だと、その鍵を置く鍵サーバーは基本的にボランティアベースなので、死ぬときは死んだまま放置されることがある、というところですね

14:28:44 @orumin@mstdn.maud.io
icon

@neso で、著名な Linux ディストリビューションのパッケージなどはディストリビューション開発者やディストリビューション開発チームだと identify できる鍵で電子署名されているので、署名の有無をみると改竄されたパッケージかどうか確認できる、というところ

14:27:26 @orumin@mstdn.maud.io
icon

@neso GPG は PGP の GNU 実装ですね。公開鍵式暗号のひとつなんだけど、一番の特徴は PGP の公開鍵を鍵サーバー経由でインターネットで公開できるのと、そこに鍵の持ち主のメールアドレスや顔写真を登録できること、そしてその公開鍵自体の信頼性(鍵の持ち主が本人かどうか)を他の人の鍵で署名済みかどうかで判断できる (Chain of Trust) ことによって、インターネット上で本人確認する一般的な手段になっている

14:15:32 @orumin@mstdn.maud.io
icon

そりゃ出版社じゃないもん、現代ならそれでも Web 検索とかでそれなりの組版知識手に入るけど、当時だもんな……。

14:15:04 @orumin@mstdn.maud.io
icon

OS 屋さんが出版したの、だから組版めちゃくちゃなのかと思うとなんだか納得した

14:12:24 @orumin@mstdn.maud.io
icon

『UNIX 原典』出版元のパーソナルメディアって「超漢字 V」売ったり TRON やったりしてるパーソナルメディアでは?という疑惑が私の中で首をもたげつつある >> パーソナルメディアの組込みソリューション、T-Kernelのワンストップ・サービス personal-media.co.jp/solution/

パーソナルメディアの会社案内と製品やソリューションのご案内
14:07:58 @orumin@mstdn.maud.io
icon

これ、むしろどうやって何をつかって組版したの……?

14:07:25 @orumin@mstdn.maud.io
icon

3B20S の表現揃えてほしい(あとこっちは本文だとベースライン揃ってて著者紹介だと全角でしかもベースラインガタガタなのなんなん)。それと欧文と英文の間は二分アキ入れろ

Attach image
Attach image
14:06:01 @orumin@mstdn.maud.io
icon

巻末の著者紹介だとベースライン揃ってるのなんなん???

Attach image
14:01:38 @orumin@mstdn.maud.io
icon

使ったことあるプログラミング言語、使ったことがあるをどこまで含めていいかで数がだいぶ変わるな

14:00:51 @orumin@mstdn.maud.io
icon

そういえばこいつ、ハウジングとステムは NiZ がバラ売りしてるやつ使いました。

14:00:23 @orumin@mstdn.maud.io
2022-08-06 13:59:01 えあい:evirified:🦐🦐の投稿 Eai@stellaria.network
icon

極めて一般的なnizの図

14:00:03 @orumin@mstdn.maud.io
icon

typewrite 体をつかってたり、参考文献のページで論文タイトルの欧文に Bold+Italic つかったり多彩な書体が使えてるので、まあ活版だとこれはつらい

13:59:08 @orumin@mstdn.maud.io
icon

うーん、やっぱり眺めたが写植っぽいな、むしろ当時だと活版のほうがちゃんと組めた可能性まである

13:57:51 @orumin@mstdn.maud.io
icon

『UNIX 原典』、パーソナルメディア出版でした。初版は昭和 61 年。

13:54:45 @orumin@mstdn.maud.io
icon

たしか ASCII かどこかの

13:54:23 @orumin@mstdn.maud.io
icon

たぶん写植だと思う

13:53:53 @orumin@mstdn.maud.io
icon

この本、古本屋でみかけたのでつい買ったんだけど、いくつかは原文既に読んでた上に最初のほうのページがこれだったのでそのまま封印して読んだことなかったやつも原文探して読んだ

13:52:52 @orumin@mstdn.maud.io
icon

あとハイフネーションのハイフンの置き方がヘン

13:52:23 @orumin@mstdn.maud.io
icon

なぜか大文字がベースラインより下にベースラインを置いていて、そのせいで本来するべきカーニングができてなくて字間が無駄に開いてるように見えたりするのが謎だし、日本語で製品名として受け入れられている単語は全角文字にするポリシーなのか、「UNIX」はともかく「GE645」とかは数字のほうは普通に半角だもんで違和感がすごい。

13:50:36 @orumin@mstdn.maud.io
2022-08-06 13:50:23 ありえすの投稿 aries@mstdn.asterism.xyz
icon

単語途切れまくりで読みづらいね

13:49:30 @orumin@mstdn.maud.io
icon

Attach image
13:46:52 @orumin@mstdn.maud.io
icon

さっき Qiita の記事貼ったやつで UNIX の論文集の和訳本が引用されているけど、アレ翻訳の質の前に組版の質が最悪なので原文の PDF をインターネットで探したほうがいいです

13:44:25 @orumin@mstdn.maud.io
icon

たぶん O リングゴムがあるから Type-S の音に近いはず

13:43:27 @orumin@mstdn.maud.io
icon

なんだかスペースだけバネの音がめちゃくちゃ響く

13:41:24 @orumin@mstdn.maud.io
icon

静電容量無接点式 HHKB が発売される前の初代~二代目 Happy Hacking Keyboard(高級メンブレン。当時は HHKB ではなく HHK と言われてたはず?

13:38:36 @orumin@mstdn.maud.io
icon

HHKB Professional 2

13:36:24 @orumin@mstdn.maud.io
icon

ウワ、HHKB Pro2 のゴム足外れてどっかいった

13:32:24 @orumin@mstdn.maud.io
icon

まあスイッチというよりただのバネと、キーキャップを支えるラバーカップというだけなので、この二つの部品が壊れようがないのもある(バネがヘタれたりはする

13:31:53 @orumin@mstdn.maud.io
icon

東プレさすがやねというところ。

13:31:44 @orumin@mstdn.maud.io
2022-08-06 13:31:32 ありえすの投稿 aries@mstdn.asterism.xyz
icon

古代からぱちったスイッチまだ動くのすごい

13:30:30 @orumin@mstdn.maud.io
icon

静電容量無接点式分割キーボード、EC Helix。古代の日立のオフコンキーボードからラバーカップと円錐バネをパチって作ったやつ

13:27:07 @orumin@mstdn.maud.io
icon

HHKB Pro2 の時代が長かったのと、HHKB が一番知名度を獲得した期間が Pro2 の時期だったから、というので USB Hub のイメージはたしかにある

13:26:31 @orumin@mstdn.maud.io
icon

HHKB Professional 2 にだけあった、というかんじ(HHKB Professional がごく短い間販売されていてそっちは USB HUB がなかった、あと後継かつ現行の HHKB Hybrid/Classic はどっちも HUB がないはず?

13:25:17 @orumin@mstdn.maud.io
icon

HHKB 昔はあったけど今はないですね > USB HUB

13:25:08 @orumin@mstdn.maud.io
icon

マイクアームを噛ませてる机の上で打ってるからだいぶ響いている気がする

13:24:29 @orumin@mstdn.maud.io
icon

ALPS 消音白軸

13:23:34 @orumin@mstdn.maud.io
icon

歴史記述がややあやしいのはそうだけど論旨はまちがってなかったと思いますよ。コメントのつっこみのほうも結構アレなの多いし

13:23:05 @orumin@mstdn.maud.io
2022-08-06 13:19:35 orangeの投稿 orange_in_space@mstdn.nere9.help
icon

この記事コメントでもツッコミ一部入ってるけど、書いた人がかなり若くて知らないのかあるいは単なる無知なのか知らんけど、わりとめちゃくちゃだし、DECの事をなんにも知らない人が書いてる感じで注意かも><

13:13:22 @orumin@mstdn.maud.io
icon

Rosélio の音をのっかって出したいとこだけどあれオフィスに置きっぱなしにしてた

13:13:00 @orumin@mstdn.maud.io
2022-08-06 13:09:17 あんふぃとらいとの投稿 amphitrite632@pawoo.net
icon

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

13:12:59 @orumin@mstdn.maud.io
2022-08-06 13:00:34 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

でこっちが Zeal PC Sakurio

13:12:58 @orumin@mstdn.maud.io
2022-08-06 13:00:20 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

これが今までの Gateron 茶軸

13:11:32 @orumin@mstdn.maud.io
icon

CORS の問題だったか

13:11:20 @orumin@mstdn.maud.io
2022-08-06 13:08:27 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

それなんか CORS の設定がおかしいらしい

13:05:34 @orumin@mstdn.maud.io
icon

iOS safari こういうとこある

13:05:11 @orumin@mstdn.maud.io
icon

再生できなくてかなしい

Attach image
13:00:47 @orumin@mstdn.maud.io
icon

granularity とか考えずに何もかもシングルスレッドな気持ちでモノ書いてもよいことになりたい

12:59:41 @orumin@mstdn.maud.io
icon

部分的に残ってるのね、なるほど

12:59:28 @orumin@mstdn.maud.io
2022-08-06 12:56:43 Masanori Ogino 𓀁の投稿 omasanori@mstdn.maud.io
icon

OpenBSDは細粒度ロックに移行したシステムコールとまだ移行してないシステムコールが混ざってるはず

12:59:02 @orumin@mstdn.maud.io
icon

てことはタクタイル→リニアか

12:58:33 @orumin@mstdn.maud.io
2022-08-06 12:56:41 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

元々使ってたのは Gateron 茶軸ですわね

12:56:20 @orumin@mstdn.maud.io
icon

kb10uy さんもともとつかってたスイッチなんだっけ

12:56:08 @orumin@mstdn.maud.io
icon

@kb10uy いいね

12:54:03 @orumin@mstdn.maud.io
icon

いや、まだ giant lock でやってるかも……

12:52:40 @orumin@mstdn.maud.io
icon

でもさすがに OpenBSD も giant lock 無くして M:N thread になってた気がするので昔よりは読むの大変かも?

12:52:04 @orumin@mstdn.maud.io
icon

かなり conservative だしね

12:51:08 @orumin@mstdn.maud.io
icon

これは完全に同意です

12:51:00 @orumin@mstdn.maud.io
2022-08-06 12:50:04 Masanori Ogino 𓀁の投稿 omasanori@mstdn.maud.io
icon

教育用に書かれたOS以外だとOpenBSDがコードリーディングの教材によいと思っている

12:50:54 @orumin@mstdn.maud.io
icon

いまどきのプログラマなら部品化意識して抽象レイヤを持つ小さなモジュールをたくさん作って全体をつくる、みたいなのは当たり前にやることなので、殊更言わなくてももうみんなやってることな気はする。micro service もそうだし。

12:48:58 @orumin@mstdn.maud.io
icon

マイクロカーネルが VMM に転身、という事例は少なくない(やるべき仕事はだいぶ似てる)ので、マイクロカーネル型 VMM として学界に出てきて製品としても広く使われるようになった Xen も元々はマルチメディアのストリーム処理を企図して設計されたマイクロカーネルの派生でした(先にそういうマイクロカーネルの論文があって、そこから派生した研究が Xen だった

12:47:00 @orumin@mstdn.maud.io
icon

seL4 は形式的証明を kernel につける野心的試みがアカデミックに評価されているけれど、その部分は忘れるとしても API 体系がシンプルでスリムなので互換実装を作りやすいし、ハイパーザイザーとかを作る叩き台にしやすい

12:44:48 @orumin@mstdn.maud.io
icon

権威のはなしはたぶんだれもしてない……

12:44:39 @orumin@mstdn.maud.io
2022-08-06 12:38:21 もぐのの投稿 moguno@social.mikutter.hachune.net
icon

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

12:43:22 @orumin@mstdn.maud.io
icon

これの話は『UNIX という考え方』の著者ガンカースのポジショントークが多分にあって、UNIX 開発者はそんなこと考えてないよなことがたくさんある上に当時の同時代に言われてた UNIX 哲学はもっと簡単なことを言っているよ、という

Attach image
12:39:22 @orumin@mstdn.maud.io
icon

systemd があんまり Unix way じゃなそうなのは実際そうだけど、init 以外のいろいろも systemd 化しはじめてることについてはべつにサブプロジェクトとして別バイナリ開発してそれぞれが連携するよう機能開発してるだけなので、そこは Unix way ではないとは思わないかも。それ言ったら traditional な開発を守る *BSD 族なんて userland の基本プログラムは init もコマンドも shell もいくつかのデーモンもなにもかもが同じコードツリーで開発されてるわけで……

12:36:13 @orumin@mstdn.maud.io
icon

実は著者のポジショントークからだいぶ来てる記述が多くて、USL にいた AT&T Bell Lab. のオリジナル開発者がどう考えていたかがあまり……というお話。ちなみにオリジナル開発者の spirit 知るなら ACM の論文や BLTJ (Bell Lab Technical Journal) に収録された論文読むとよい

12:33:17 @orumin@mstdn.maud.io
icon

POSIX 準拠 shell の調査や shell script のチェッカー書いてるこの人のこの記事によくまとまっているので一読の価値がある >> 名著「UNIXという考え方 - UNIX哲学」は本当に名著なのか? 〜 著者のガンカーズは何者なのかとことん調べてみた - Qiita
qiita.com/ko1nksm/items/f1800c

Web site image
名著「UNIXという考え方 - UNIX哲学」は本当に名著なのか? 〜 著者のガンカーズは何者なのかとことん調べてみた - Qiita
12:32:02 @orumin@mstdn.maud.io
icon

あとそもそも Unix philoshy なるものは OS のエンドユーザーが shell を使うときの気持ちであって Unix の kernel 側の精神は規定しないんですよね

12:31:07 @orumin@mstdn.maud.io
icon

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
icon

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

12:29:16 @orumin@mstdn.maud.io
2022-08-06 10:43:41 藤敷菰八 🏇の投稿 FS5@uma.milkey.homes
icon

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

12:28:04 @orumin@mstdn.maud.io
icon

わたしは 5g 重い Rosélio のほうを TEX Shinobi につかってるけど、静電容量無接点式好きの私でもこれならまあいいかなおもっている(Topre switch は正確にはリニアではなくタクタイルなのだけど、店頭でテストできたスイッチのうちいちばん feeling 近く思えた

12:26:30 @orumin@mstdn.maud.io
2022-08-06 12:21:27 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

my new switch...

Attach image
12:24:57 @orumin@mstdn.maud.io
icon

話変えると、Mach は斯様にただのスリム化の意志で作られたので真の micro kernel ではない、とする向きもあって、そこで実装されたのが L4 のような第二世代 micro kernel、そして seL4 のような第三世代。また、BlackBerry が買収して自社端末に一時期使ってた QNX は製品の説明に「true microkernel」なんて書いている(90 年代から一貫して!)

12:21:35 @orumin@mstdn.maud.io
icon

もともと 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
icon

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
icon

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

12:16:34 @orumin@mstdn.maud.io
icon

@FS5 xv6 を読みましょう

12:03:35 @orumin@mstdn.maud.io
icon

家でカレー作るのにスパイスカレーばかりつくるから逆にいつものってかんじの薫りになってしまった

12:03:07 @orumin@mstdn.maud.io
2022-08-06 12:00:52 もちゃ(あと-15.67Kg)の投稿 mot@mastodon.motcha.tech
icon

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

12:03:04 @orumin@mstdn.maud.io
2022-08-06 12:00:23 もちゃ(あと-15.67Kg)の投稿 mot@mastodon.motcha.tech
icon

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

12:02:19 @orumin@mstdn.maud.io
2022-08-06 07:22:39 ほたの投稿 hota@mstdn.maud.io
icon

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

11:53:53 @orumin@mstdn.maud.io
icon

ローソンそっくり?謎のコンビニ・ポートストアを全部まわりたい - 電車待ちに読むブログ
bassa2015.hatenablog.com/entry

Web site image
ローソンそっくり?謎のコンビニ・ポートストアを全部まわりたい
05:33:41 @orumin@mstdn.maud.io
2022-08-06 05:09:25 メ力かんの投稿 mecha_kan@mstdn.maud.io
icon

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

01:51:12 @orumin@mstdn.maud.io
icon

米Amazon、「ルンバ」のiRobotを買収 - ITmedia NEWS
itmedia.co.jp/news/articles/22

Web site image
米Amazon、「ルンバ」のiRobotを買収