23:58:35

ヒッフッ↑ ヒ↓フ→ミッ↑ミッ↑

23:57:59

うなりすとさんの心の中のヒフミ

23:57:29

@akahana 聯想そもそもいつまで ThinkPad 続けるんだろね

23:54:45

単に oneof の糖衣構文的な扱いにで復活しました

23:54:02
2023-09-23 23:51:03 ナビダイヤルはすべて詐欺の投稿 osa_k@social.mikutter.hachune.net

optional復活したんだ

23:53:45

@Eai のでこういうテストしてはいかがかというわけではなかった

23:53:18

@Eai protobuf.js の使い方、という話だったので、使い方のマニュアルとしてテストコードがどういう書き方をしてるかが参考につかえないか、という意図だった

23:49:58
2023-09-23 23:48:59 Masaki Haraの投稿 qnighy@qnmd.info

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

23:49:35

proto2 にあった required が消滅したり、proto3 で消えたはずの optional が 3.15 あたりで復活してきたりいろいろあったりもするのでまあ……

23:47:49
2023-09-23 23:45:58 KOBA789の投稿 koba789@misskey.io

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

23:47:32
2023-09-23 23:47:24 Masaki Haraの投稿 qnighy@qnmd.info

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

23:45:54

@akahana わりとどこも各社トラックポイントもどきを載せてた時代がある(けど特許抑えられてるからか ThinkPad にくらべてどれもイマイチでみんなやめた

23:44:32

一方で gRPC をなにも考えず使うと RPC の API を proto で定義してネットワークに protobuf wireformat を投げつけて API call することになるのでまあ、みたいなのもあるけど

23:42:57

protobuf は serialize format を指しているわけではなくどちらかというと IDL のほうを指しててそっちのが重要で、なにに ser/der されるかはわりとどうでもよいところがある。デフォルトは protobuf wireformat で serialize するものの、べつに JSON や XML に serialize することもできるはずなため

23:36:58

proto、LEN と VARINT が頻出なので覚えているけど zigzag encoding はちゃんとわかってない(のでわたしはだめ

23:36:11

「そんなことやるより ImHex に喰わせたほうがいいよ」

23:35:13

でも 7-bit に値が収まらないときの integer 出てくると VARINT で 2 Bytes 以上に encoding されるので varint はあんまり暗算できる気はしない、紙もってして筆算すればできるだろうけど……

23:33:32

0A は 00001 010 なので tag == 1 type == 2 で LEN なので、次が VARINT encoding でフィールドの長さ(が 00 なので空文字列)、つぎが 12 なので 00010 0010 なので tag == 2 type == 2、そして 1C は最上位ビット 0 なので 0x1C を素直に読んだ長さのフィールドが次に、というかんじに proto wireformat として読もうとするとそこまで decoding 難しくない

23:27:58

Chrome ってメモリ表現見せてくれるんだ。べんりそー

23:20:54

JR、東海道新幹線以外どれも赤字ばっかだしな……

23:19:33

理想的にお安いから……?

23:19:19
2023-09-23 23:19:12 ヒポポタマスジの投稿 Otakyuline@mstdn.maud.io

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

23:16:29
2023-09-23 23:16:07 はるかみの投稿 reasonset@uchu-teien.com

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

23:16:19

@reasonset そんな

23:15:18

ベッカーズは JRE の駅にわりとある気がしてたけど、もうないなったのか。鹿肉バーガーとか出してておもしろかったけど

23:02:22

あきさんマスター・ヨーダの下で修行の最中だったりする?

23:01:34

@Aqraf 党費で!!!?

23:01:06

ウーズバーグてのきになるな

23:00:59
2023-09-23 23:00:30 ヒポポタマスジの投稿 Otakyuline@mstdn.maud.io

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

22:59:33

プリン

22:59:18
2023-09-23 22:59:09 miwpayouの投稿 miwpayou0808@miwkey.miwpayou0808.info

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

22:58:30

@Aqraf いきましょう

22:56:54

川崎じゃないじゃんこれ!

22:55:49

名古屋市と愛知県が別枠でウケる

22:53:36

ステーキのあさくま、どのぐらいの範囲で店舗展開してるんだろ。川崎で見て最近認知した

22:53:10
2023-09-23 22:51:56 ヒポポタマスジの投稿 Otakyuline@mstdn.maud.io

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

22:53:03

バーコードハゲなのはいつもそうかもしれないでしょ!!!

22:52:39
2023-09-23 22:52:16 埼玉ギャル(無能)の投稿 sota_n@social.mikutter.hachune.net

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

22:51:28

さわやかは有名になったけど、ブロンコビリーやハングリータイガーやフライングガーデンはまだ知らない人は知らないぐらいだよなーとおもった。ところでさわやかとフライングガーデンは名前だけ知っててまだ行ってない

22:50:40
2023-09-23 22:47:34 KOBA789の投稿 koba789@misskey.io

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

22:48:05

ないです

22:48:01
2023-09-23 22:47:37 アカハナの投稿 akahana@fla.red

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

22:47:51

ミルクティーはちゃんとミルクポットに牛乳いれててほしいよね

22:47:10

アカハナさん貴族でいらっしゃる?……足をお舐めしたほうが?

22:45:04

@koba789 ラム

22:44:47
2023-09-23 22:44:13 アカハナの投稿 akahana@fla.red

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

22:42:12

ただでさえイカれてる英国面にペロロ様重ねるヒフミの狂気は常人には計り知れない

22:41:40
2023-09-23 22:41:19 miwpayouの投稿 miwpayou0808@miwkey.miwpayou0808.info

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

22:40:59

アケマスは私が買ってないのでノーカンです

22:40:40

そんなことはないが……?

22:40:32
2023-09-23 22:40:26 ヒポポタマスジの投稿 Otakyuline@mstdn.maud.io

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

22:39:22

紅茶といえはこのケトルはやや欲しくなるけど絶対に人生に要らないやつ

22:38:34

よく出てくるフォートナム&メイソン

22:18:00

@charsiuCat あんなとこにラーショ移ったんだ、ウケる。ラーメンのタイプから考えてもたしかに東八道路のびみょうな位置にぽつねんとあるよりも農工大の学生相手にするほうが売れる気はしてくる

22:14:37

丸の内丸善のお高めのカフェ入っても紅茶はティーバッグだったりして悲しいんだよね。池袋のワンダーパーラーもだけど、秋葉原でもキュアメイドとかかなりまともな紅茶出すから信頼できる

22:13:41
2023-09-23 22:12:44 負けヒロイン@がんばらないの投稿 kelvin27315@mstdn.maud.io

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

22:13:39
2023-09-23 22:11:55 負けヒロイン@がんばらないの投稿 kelvin27315@mstdn.maud.io

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

22:13:27

@charsiuCat ラーメンショップ飯島順勝から大人の事情でラーメン関口に改名して、いまは閉店してるのだとか

22:10:50

@kelvin27315 いいえ

22:09:49

@kelvin27315 いかがわしそう

22:09:34

そうなのか

22:09:30
2023-09-23 22:09:19 ヒポポタマスジの投稿 Otakyuline@mstdn.maud.io

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

22:05:57

平日朝しかやってないのは本店だけっぽそう

22:03:12

22:03:00

ラーメンショップ?

22:02:54
2023-09-23 22:02:22 えあい🦐:win98_shrimp::evirifried:の投稿 Eai@stellaria.network

う      う
ま 焼いた肉 ま
い      い

21:59:54

@Niceratus アッ

21:56:32

我が家に女給はおりませぬ。カフエーに赴くがよろしいかと存じます

21:56:01
2023-09-23 21:55:39 アカハナの投稿 akahana@fla.red

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

21:55:31

まあねえ。ただそれをするべき資本がこの 30 年で萎みきっちゃったとかもあるよね

21:55:06
2023-09-23 21:54:55 ヒポポタマスジの投稿 Otakyuline@mstdn.maud.io

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

21:49:50

ヴィクトリアンメイドとか大変けっこうなものかと存じます。みなさんもそう思いますよね、思いませんか?

21:49:13

紅茶は好きだけども……

21:48:18

やや悪口風にみえてわらってしまった

21:47:59
2023-09-23 21:46:33 ヒポポタマスジの投稿 Otakyuline@mstdn.maud.io

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

21:45:56

建物かっこいい

21:45:48
2023-09-23 21:45:22 あっきぃ / C106(日)東7S-33bの投稿 akkiesoft@social.mikutter.hachune.net

イギリス国立海洋博物館!

21:43:48

Wikipedia [ja] は [en] のヘタクソ機械翻訳をそのまま書き写しな上に途中で力尽きて放置、みたいな記事もまあまあある

18:40:52

もう言及されてた

18:40:46
2023-09-23 18:32:59 mitsukiの投稿 mitsuki64@fedibird.com

PalmOS 5.2.8だとTungsten T3あたりのGraffitiエリアが仮想化(液晶で表示)するようになったあたりかな。
元々ARM化されてるはずだけどなんでJIT? と思ったら、CortexM0+はThumb2 subsetしかないけど、PalmOSはARM32とThumb1の混在なので動かないのか、しらなかった。まあどのみちI/Oのエミュレーションとかは必要だろうけど。
dmitry.gr/?r=05.Projects&proj=

18:39:58

RP2040 で動かしたひともいるらしいです

18:39:09
2023-09-23 18:36:47 redbrick@HyZERO3強制解約済みの投稿 redbrick@social.mikutter.hachune.net

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

16:02:30

@reasonset OS の研究の分野をまるで知らないが教科書とかにはマイクロカーネルとかだけ書いてあるので、それを調べて「ふーん、OS ってそのころから進化ないの?」という人たくさんいる……。(macOS と Windows NT はマイクロカーネル、みたいな断片的情報だけ拾って、PC 向け商用 OS が Win と macOS しか見えてない平均的リテラシのひとはさらにその思い込みを強めがち

15:58:56

@reasonset あと Unix ワークステーションとか知らなかったりする層にも 80s には X68000 と OS-9、とかの組み合わせももう出てきてはいる、というのと、OS とは、ファイルシステムとは、みたいな OS の実装の話がわかってる人のことはそもそもここで言及してない

15:56:09

@reasonset 「80s のマイクロカーネル」の話と 8-bit/16-bit の PC 時代はいろいろな実装があった(ようにユーザーからみえる)のはそれぞれ別の話で、80s の PC の OS は、という書き方はしていないです

14:47:25

@zetamatta 熱心なひとは熱心なので、plan9port とかのかたちで Linux userland で Plan 9 の環境再現できます。あと 9p は WSL と Windows host 間通信とかでつかわれたり、procfs の形で Plan 9 のファイルによるリソースの再定義が実用的 OS に持ち込まれたり、Plan 9 の成果は解体された上で現代のどの OS でもだいたいどこかつかわれていますね

14:45:04

@zetamatta Plan 9 は熱心なコミュニティはありますがずいぶん前から止まってます、そもそも Rob Pike や Ken Thompson らはもう Bell Lab. から Google 移籍してしまったし、移籍するまえからして Inferno とか後継のシステム開発研究していたので

14:39:59

基本的に下側に Hyper-V が居たり個別のアプリを Ring -1 レベルで VM 的に分離させたりできるはずなので、microkernel や unikernel での研究の果実は如実に応用されている

14:38:48
2023-09-23 14:27:04 もちゃ(あと-10.20Kg)の投稿 mot@mastodon.motcha.tech

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

14:38:01

@cmplstofB あとこれは 1995 年の libOS からそうだけど、アプリごとに OS 機能を用意してリンクしてるから、アプリケーションや言語ランタイム個別の特性やユースケースに特化させた malloc を実装します、とかがカンタンにできるので汎用じゃないけど性能が出せます、けどそのための OS をフルスクラッチしなくてもよいフレームワークになってます、みたいなかんじにもできる

14:35:52

@cmplstofB ある側面ではそうだけど、unikernel は OS の基幹的な機能のひとつである「複数のアプリの起動と調停」「メモリ保護」を完全に捨てさって kernel レベルのところに単一のアプリを置く潔い仕組みにした、というところがまったくちがう。
重い処理になってるシステムコール呼び出しやそれにともなう user<->kernel 間のメモリ空間またぐデータコピーが一切不要になるので、kernel 機能の呼び出しがただの関数呼び出しと同等になるから性能的にも有利

13:39:31

あ、これはさっきまでの話関係なく世の中いっぱんのはなしね

13:38:28

世の中の OS のはなし、Linux は Linux kernel にあたえられた実装名だけど、基本的にエンドユーザーのお手元に届くのはプロダクトのブランド名であって、ブランド名やそれの version number らしき数字があったところでマーケティングの話でしかなくて、実装や実装の ver. とは無関係なんだよね、となる

13:36:37

でも PC エンドユーザー目線だと 8/16-bit 時代は CP/M や MS-DOS をはじめ百花繚乱だったのに 90s の Mac OS X と Windows NT 系の子孫に収斂して例外が Android、みたいな世界に見えるのもわかる。むしろシステムソフトウェアとしては互換性を保ってユーザーにまったく影響させずに内部をごっそり進化させるのは本懐なので、勘違いはその結果ではあるのだけど……

13:34:08

80s の第一世代マイクロカーネルの登場から OS の発展はまったく凍結していて OS は進化をしていない、という誤った認知のひとをよくみるのでかなしい。『モダンオペレーティングシステム』でいいから読んでとなる

13:32:29

これのほうは Prof. Andrew Tanenbaum の名著、『モダンオペレーティングシステム』にもさわりが出てきているので、これを教科書としてやっている講義とかには出てきているのかもしれない

13:31:26

exokernel + libOS のほうも実は Aegis と ExOS という実装名が与えられている

13:28:45

MirageOS の follower が出なければ unikernel は Mirage を指す固有名詞になったかもしれないが、unikernel は研究の一分野になったので一般名詞化した

13:27:55

もともと microkernel の発展に、OS 機能のうち特権が必要な IPC やプロセス生成の部分だけのところを exokernel、filesystem や network、POSIX API のような microkernel の server にあたる部分を SDK のただのライブラリーにしてしまってアプリのバイナリにそのままくっつけてしまう library OS、という組み合せが 1995 年に提唱されている前史がまずある。
で、2013 年に exokernel を Amazon EC2 のようなクラウド IaaS 上の VM 環境を提供する hypervisor、library OS + app の組み合わせを VM 上の単一の OS kernel と app の結合(つまり、uni な kernel)、という現代への翻案をした論文が出てきて、unikernel はそれを実現する MirageOS という実装に対するアーキテクチャ名としての命名でした

13:23:07

そうです

13:08:26

固有名詞ではなく、OS 分類の学術ターム的な

13:07:46

いえす

13:06:53

いっとき GNOME で Evolution つこてた

13:04:44

Outlook もそうだけどメールクライアントとしての Outlook は根強いが、フリーメールとしての Outlook はべつに……

13:03:05

gmail.com の送信元はべつにつよくないけど、組織アカウント管理と相俟って GWS の独自ドメインメールで企業メールが管理され IMAP なクライアントではなく mail.google.com の Web UI にある gmail クライアントを使う、というのは相当な数なのでその観点から gmail 一強はあながち間違いではないですよ。M365 が対抗馬。

13:01:11
2023-09-23 12:57:16 SASANO Takayoshiの投稿 uaa@social.mikutter.hachune.net

e-mailの信頼度って、ドメインのつよつよ度と一致するような。

(やっぱ.govとか.milとか…ぉぃ)

13:00:53
2023-09-23 12:53:12 redbrick@HyZERO3強制解約済みの投稿 redbrick@social.mikutter.hachune.net

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

12:58:08

monospace なってるならタイプライタ体ではなく serif や sans-serif でも MS ゴシックでもよいので、とにかく monospace にだけはしといてくれ

12:55:14

このまえ後輩の相談乗ってたら、画面共有してもらってたところの Chrome の表示で monospace 指定されてそうなコードスニペットが明かにプロポーショナルフォントで、いやいやそんな……と設定みせてもらったら momospace に Osaka(not 等幅版)指定されててえええ!?となったんだけど、かなり昔から知られた挙動らしい。
https://qiita.com/tmsanrinsha/items/d493a9889df7dee239bb

ありえねえ…………

MacのGoogle Chromeの固定幅フォントのデフォルトが等幅ではないOsakaな件 - Qiita
12:51:16
2023-09-23 12:47:02 KOBA789の投稿 koba789@misskey.io

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

12:49:12

プッシュ通知の実装実はあんまり知らない。MQTT みたいな pub/sub で自分むけの topic を定期的に読みにいくだけとかそういうんだろか

12:45:58

@kcz146 逆に Slack client にもなる IRC bouncer もあるよ

12:45:37

@kcz146 Slack の UI や /command のたぐい、IRC そのものなので初期は社内 IRC をこれで置き換えていこうねの biz だったはず(なのでその移行補助もとうぜん

12:41:26
2023-09-23 12:37:53 KOBA789の投稿 koba789@misskey.io

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

12:41:14

なんならこれで Slack 風のメーリスクライアントつくればよいぐらいではある

12:40:44
2023-09-23 12:39:05 rinsukiの投稿 rinsuki@mstdn.rinsuki.net

SlackとかDiscordみたいなAPIがクローズドなサービスよりはIMAPで繋ぎ放題の方が各自手に合うクライアントを使えて良い!という気は、しなくもない (𝕏でSlackの新UIになじめない人たちを見ながら)

12:40:24

@akahana オタクではないが……

12:36:26

メールも Teams も DM 多用はカス、メーリングリスト投稿とかは Slack となんら大差ないです、といった感覚

12:35:07
2023-09-21 20:19:06 TeaBeam 🍵の投稿 _teabeam@misskey.io

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

12:34:48
2023-09-23 12:32:41 kb10uyの投稿 kb10uy@mstdn.maud.io

UI の問題だけど会話が波動拳になるやつがクソ嫌いです

12:34:29

いまや微信とまぎらわしいよね、名前……

12:34:10

IRC bouncer、私は WeeChat が de-facto standard だとおもっていた人

12:33:12

@akahana さいきんここは基本 iOS safari からしか post してない気がする

12:32:51

@akahana なんならそいつの組み立て前の基板うちにある(忙しくて組み立てられてない

12:31:49

IRC bouncer (proxy) はそういうのの mask するやつとかもあります。ログ蓄積や代理常駐するだけでなく。

12:31:16
2023-09-23 12:28:33 こおしいずの投稿 kcz146@social.mikutter.hachune.net

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

12:30:16

nickname に対して password つけて IRC server に登録しておくと一応、ほかのひとは password がわからない限りはこの nickname は使えない

12:29:00

Slack とかで leave になるようなとき、IRC で client 切断してるときになると思うけどその間は会話は届かないから一生見れないし自分とおなじ HN でべつのひとが login したりもできてしまうので、bouncer を常駐させて client はそこに繋ぎにいったりするのだよ。まあ騙りについては別の対策もあるが

12:27:07
2023-09-23 12:27:02 まちカドおるみん御嬢様の投稿 orumin@mstdn.maud.io

@kcz146 IRC bouncer (proxy)

12:27:02

@kcz146 IRC bouncer (proxy)

12:26:21

federated SNS でめちゃくちゃ久々にみかけた牛さんの開口一番がこれでめちゃくちゃわらってます。Opera はもう死んだんだ……

12:25:28
2023-09-23 12:23:56 kikairoyaの投稿 kikairoya@mstdn.jp

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

12:23:41

IRC も組み合わせよう!

12:23:31

メーリングリストをつかおう

12:23:24
2023-09-23 12:22:53 ナビダイヤルはすべて詐欺の投稿 osa_k@social.mikutter.hachune.net

メールっていう分散SNS、デフォルトがDMなのがクソ(?)

12:21:42

Vivaldi の RSS リーダーは Presto エンジン Opera の手触りの懐しさでたまにつかう。ブラウザに統合されてるとべんり

12:20:57

tt-rss 一瞬建てたけどべつにメルマガでええかなになってやめた

12:18:45

@akahana 実機のディスプレイを IPS 液晶にしたりステートセーブ機能をつけたりする hardwaie mod が極めてスタンダードな改造だし実機の手触りとプレイ感が欲しい人はたくさんおるよ。ゲームコンソールのミニも流行りまくった(が、ソフトウェアエミュレーターなので STG とかのひとにはラグやレイテンシでややがっかりされた)のもそういうところだし

12:16:22

Alef と Go のあいだには Inferno で動く Limbo もある

12:16:00
2023-09-23 12:15:16 こおしいずの投稿 kcz146@social.mikutter.hachune.net

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

12:15:11
2023-09-23 12:07:46 ナビダイヤルはすべて詐欺の投稿 osa_k@social.mikutter.hachune.net

lazy listの代わりにgoroutineを使うのはやばそうだし、流石にサンプル用の構造のような気がする

12:14:27

@akahana 内蔵電池あたらしいのにしたあとに書き戻したりできるじゃん > バックアップ

12:12:38
12:12:14
12:11:48

Alef とかの流れなんちゃう

12:11:41
2023-09-23 12:03:00 kb10uyの投稿 kb10uy@mstdn.maud.io

chan int と go filter() が分離してるのが他と比べるとちょっと独特な気がする

12:00:12

go の channel のやつ、割と素直に書かれている通りの手続きで動く想定で読み下せばそのままな気がする

11:56:28

@akahana 自分の手持ちカセットのセーブデータをダンプしてバックアップないしエミュレーターに引き継ぎたい、というのはまず普通に考えるユースケースでは?

11:55:33

@akahana ちゃんと書いてあるとおりだとおもうが……

> 「セーブデータを永久に保存、オリジナルROMを合法的にプレイする」というコンセプトで作られたマルチダンパー。

11:53:34

政治や社会を指して OSI 参照モデルにない L0 とか L8 とか言うのはネットワーク業界に限らずよく聞く冗句な気がする

11:40:14
11:01:24

47.6万年前の木造構造物発見 ザンビア 写真2枚 国際ニュース:AFPBB News
https://www.afpbb.com/articles/-/3482576

47.6万年前の木造構造物発見 ザンビア