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

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

CompCert 3.15 🎉
https://github.com/AbsInt/CompCert/releases/tag/v3.15

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

iperf 3.18 🎉
https://github.com/esnet/iperf/releases/tag/3.18

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

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

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

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

11月の面接で人事の人にフルリモートだって言われて入社したら12月に方針転換を知らされた人、あまりにもかわいそうすぎる

イマドキITエンジニアがあんまりちゃんと労働組合やっていきをしていないからこういうときに経営陣と組織的に交渉することが難しいというのは、まあ、それはそうなのかもしれない

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

@akahana 14〜15時には最終稿に限りなく近い何かを送ります、そうしたいという気持ちはあります

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

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

Pixel 8の次どうすっかなぁ俺も

冬コミで公開されるとかされないとかいう原稿をだ・である調で書くかです・ます調で書くかでまだ悩んでいます。

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

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

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

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

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

https://blogs.vmware.com/vmware-japan/2023/04/20th_anniversary_03.html

@akahana 16時になってしまいましたが、私が盛り込みたいことは盛り込んだ版をpushしました。前回の指摘には一通り対応したつもりですが、抜けていたらすみません。

複製をな、複製を可能な限りあちこちに保存するんじゃ

@akahana 緊急性はまったくないですが、orumin-partyのリポジトリにOverleafからアクセスできるとうれしいです。

測点、党機関誌なのでプロパガンダ研究本n選とか寄稿するのもいいかもしれないね。（？）

@akahana わずかに修正しました

Overleafは軟派マ？

編集長が使うかどうかはともかく、Overleafのテンプレートギャラリーに測点のテンプレートを登録して、新規プロジェクトを作成する機能から測点の原稿が書けたらよさそうだなと思っています。

一理ある

おるみん党でOverleafセルフホストして

omasanoriが使用を公言していることから察せられる（そうか？）通り、Overleafは実はセルフホスト可能で、更にエンタープライズ版の有料コンサルタントもやっているらしい。

https://github.com/overleaf/overleaf

オフィシャルなレポートのテンプレートがOverleafからワンクリックで使える上にメンバーなら有料プラン な某州原子核研究機構とかいう組織に院生時代所属していたのでOverleaf以外でLaTeX書く方法忘れた（？）

原稿データの保存などに特別の配慮が必要な研究機関とかが使うんだろうと思う

知らん（本当に知らん）けど使えるんじゃないすか、OpenSSLやOpenSSHも一律禁止とかだったら逆にガバでしょ（？）

Overleafは論文書くのにはいいけれど実験ノートとか書くのにいい感じのやつないかなとおもって検索したらなんか見つけた。

https://www.elabftw.net/

昔のThinkPadのキーボードのエンターキーはなぜトラックポイントと同じ赤ではなくSun Microsystemsみたいな淡い紫だったんだろうか。

Sun Microsystemsみたいな淡い紫：

Sun Microsystems、紫のロゴはワークステーションで有名な頃のロゴなのであんまりリアルタイムで見たことなくて、Javaで有名な頃の曖昧な緑のロゴの方がSunのロゴって感じがする。本当に最初の頃はオレンジ色のロゴを使っていたらしい。オレンジ色のロゴが付いているハードウェアの実物を私は見たことない。

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

東京オリンピックにあわせて日本に夏時間導入、実現しなくて本当によかったアイデア

森喜朗元首相にサマータイム導入（しかも1時間ではなく2時間ずらす）というアイデアを吹き込んだのはマジで誰なんだという疑問が後に残った。

DST導入状況地図を見ると、日本はかつてDSTを導入したが現在はDSTを採用していない国に分類されていて、これはなぜかというと1948年から1952年までの間だけ夏時刻法が運用されていたため。

https://commons.wikimedia.org/wiki/File:DST_Countries_Map.png

「1951年（昭和26年）度はサンフランシスコ講和条約が締結された第2金曜日の9月7日で打ち切られ、翌1952年（昭和27年）4月27日の占領終了と同月28日の条約発効による日本の主権回復に先立ち、夏時刻法は同年4月11日に廃止された。」ここのサマータイム廃止が日本の主権回復の象徴であるかのような記述ほんとすき

https://ja.wikipedia.org/wiki/%E5%90%84%E5%9B%BD%E3%81%AB%E3%81%8A%E3%81%91%E3%82%8B%E5%A4%8F%E6%99%82%E9%96%93

サザエさんが連載されていたのは1946年から1974年、つまり日本で夏時刻法が運用されていた期間（1948年から1952年）を含むのでサマータイムネタはいかにもありそう。

えあい、みたらしだんご、kb、しばふの連名で発行される文章、どんなものになるか想像できない

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

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

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

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

「コンクリートブロックを積み上げた家のような工作物」、建築物としての基準を満たしていないからこのような表現になっているのだろうか。

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

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

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

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

建築基準法に抵触しないギリギリの人工物ってどんな感じのものになるんだろうか。

これ、「ギリギリ基準を満たした建築物」と「ギリギリ建築物でない人工物」の両方のアプローチがあるな。（右側極限と左側極限みたいな話）

@hadsn 予定はないです

パコパコパッド、知らない言葉だ

Thinkとパコパコが対比関係にあるのか？なぜ？

考えてみたけれど、トラックポイントのような小さい面積ならアクセントになるけれど、エンターキーをあの鮮やかな赤にするのはビジネスマシンとしては少し下品と捉える人もいるかもしれない。

オタクたちで美味しいもの食べる会をやっているらしいな

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

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

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

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

人工衛星饅頭ってなに？宇宙系の産業が盛んな中国のどこかのお菓子？と思ったら神戸じゃねーか

「『人工衛星饅頭 大吉屋』という名前の由来は、ソ連（現・ロシア）が人類初の無人人工衛星「スプートニク１号」の打ち上げに成功した1957年の翌年、「ブームに乗っかろうと、店名も人工衛星にしたんです」とその成功にあやかって人工衛星に見立てて薄く焼いた饅頭の店を開業。」思い切りがすごい。

https://news.yahoo.co.jp/expert/articles/fa0a83009e7bc1c2bb540ea949c497acc0f804c6

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

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

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

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

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

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

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

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

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

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

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

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

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

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

https://invertedangel.booth.pm/items/5822408

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

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

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

私は定評ある名機しか買わないので……

@akahana 人生がさき、校了があと

https://x.com/tkm2261/status/1867774167225098708

大企業の様子だ

https://x.com/tetsuro731/status/1867751718135771475

ThinkPad X1 Carbon Gen 10が定評ある名機なのかどうかはわからないけれど、カメラのためにベゼル上部が派手に出っ張る直前の機種であること、マイクロコードの問題で寿命が縮むとかなんとかの件の直前の世代（Alder Lake）の機種であることを踏まえて消極的良機と見て入手しました。

ThinkPad X240、Haswellか。Haswellはcoreboot的に見るとまあ悪くはないんだけどmrc.binが必須だからなぁ。

別に悪い世代だとは思わないけれど……AVX2も使えるし……

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

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

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

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

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

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

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

県民手帳収集、なかなか面白い趣味だ。

長崎県は県民手帳が（もはや？）ないのか

「「県民手帳」としたのは、統計協会または県などが発行、または監修したものを対象としています。ただし、鳥取は奥付を見ても統計協会や県などが発行に関わっているかどうかがわかりませんでしたが、『県民手帳』と臆面もなく堂々と名乗っているので、その意志を尊重し、県民手帳であるということにしています。」ここすき

https://dailyportalz.jp/kiji/kenmin-techo-aruaru/page/3

「ウィキペディアによると、東京、大阪、兵庫の３都府県では過去に都民、府民、県民手帳を出したことがないそうです。京都も府または統計協会のような組織がかかわった手帳を過去に発売した形跡がないのですが、民間の出版社が販売する「京都手帳」というものは毎年出ているようです」

紹介文を見た印象だと、京都手帖は諸県民手帳に比べると府外の観光客を意識している部分がおおそう。

https://www.mitsumura-suiko.co.jp/detail/index.php?cid=47&sid=11

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

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

「日本政府、パキスタンにおけるポリオ根絶事業支援のためUNICEFを通じて4億5,500万円の無償資金協力を実施」と「ケネディ氏側近、ポリオワクチン承認撤回を要請　米報道」が並ぶニュース検索結果、迫力がある。

Wikipediaの急性灰白髄炎（ポリオ）の項、2024年3月に参考文献として『ワクチン神話捏造の歴史　医療と政治の権威が創った幻想の崩壊』（ヒカルランド、2023年）を追加する編集が入っているけれど、本文の更新が一切なく参考文献だけ追加していて、何の参考になる文献なのかよくわからない。

https://ja.wikipedia.org/w/index.php?title=%E6%80%A5%E6%80%A7%E7%81%B0%E7%99%BD%E9%AB%84%E7%82%8E&diff=prev&oldid=99727239

@tadd うーん、ただ、これ、差分を見るとわかるんですが、ただ参考文献に1冊足してるわけじゃないのでrevertするのが妥当なのかわからなくて、かといってrevertでない編集を行うとそれは「以前行われたこの編集は妥当ではない」ではなく「この本は参考文献にふさわしいがその本はふさわしくない」という意味の編集になるのでそれは軽々にはできないかなと思っており、この辺ちょっとよくわからないんですよね。

@tadd 「本文に対応する加筆が認められない参考文献の追加は禁止されています」みたいなそのものずばりのルールがあれば確信をもってrevertできますが、編集者として普段から活動しているわけではない私には手を出しにくいです。