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

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

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

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

『反逆の神話』じゃん（『反逆の神話』読んですぐの人にありがちな感想）

『反逆の神話』だけでなく『啓蒙思想2.0』も読め。はい。

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

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

ｶﾞﾁｬｶﾞﾑﾘｮ

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

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

おたくが沸いてから普及するまでには時間がかかるのだなぁ　そして最初に湧いていたおたくのいくらかは既に飽きて別のことで湧いている

2014年にRustで湧いていた私も2023年にはOCamlに湧いており、Rustを続けていれば専門家面できたのでは？　いや、専門家面するために面白いプログラミング言語を追っているのではなく、面白いから面白いプログラミング言語を追っているのであって……。

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

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

湧かないで沸け

沸け

OCamlにも今CPythonで外すとか外さないとか議論になっているGILがあったんですが、10年近く続いたMulticore OCamlプロジェクトの成果をマージしたOCaml 5.0が2022年末にリリースされてGILがなくなりました。その結果、非同期IO・並列IOライブラリのEioや並列処理に適したデータ構造を提供するSaturn、ロックフリーSTMライブラリのKcasなど、色々な試みが活発に進められていて今アツいです。あと、OCaml 5.0は既存コードの性能をなるべく落とさずC FFIも壊さずに並列GCを実装したりしてて面白い。OCamlを始めるなら今！

CPythonのGILを外すのが適切かどうかはOCamlの例だけでは判断できません。型システムや検査タイミングの違いによって安全性をどのように保証するかの前提が変わりますし、GCも参照カウントのCPythonとマークコンパクトのOCamlでは並列GCにしたときのボトルネックが違うでしょうし……。

F# でいいんじゃないすか？（諸説ある）

OCaml、F#、Scala、Haskellなど、どれも違ってそれぞれの強さと弱さがあり……

OCamlはモジュールシステムの表現力が強すぎて型クラスのようなアドホック多相を型システムにそのままでは組み込めないという変わった制約があり、そもそもOCamlの型検査器は技術的負債ﾔﾊﾞｽｷﾞと評判で名古屋大学のグループが頑張ってたりする。

@anqou SML#は東北大学大堀研

@anqou OCamlが型クラスを組み込めないのはファンクタによるとされていて、SML#はそこの仕様が違うらしい

@anqou 「モジュールシステムの表現力が強すぎ」るというのはファンクタのことで、Modular Implicitsという2014年の発表で解説されていたと記憶しています。下のURLの同名のセクションに参考資料があります。最近だとInriaが2023年に採用したインターンがmodular implicitsに関する仕事をやる予定とのこと。

http://ocamlverse.net/content/future_ocaml.html

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

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

「自分の生活のエネルギー利用を、クルマの燃料から電気や天然ガスまで、ひとつひとつ計測したことがある（妻の怒りを買った）。所有している物の重さまですべて量ったので、新聞購読と書庫の本たちがどれほどのエネルギー消費に相当するかまで知っている。これは日刊紙の購読をやめるよう妻に勧めることに繋がった。毎週10ポンド（約4.5キロ）の紙の搬入は、我々のエネルギー利用の相当な部分を占めていたのだ。日曜版の購読という合意により、離婚は回避された！」（『すべてを電化せよ！　科学と実現可能な技術に基づく脱炭素化のアクションプラン』p.72）を読んで、確かに何かを運んできてもらうことはエネルギーを消費することだし、生活の中にも光熱費を切り詰めるよりもlow-hanging fruitsがあるのかもなと思った。

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

『すべてを電化せよ』、気候変動対策の報告書で置かれている「大規模かつ経済的なコストが割に合う《負の排出》（炭素固定とか）が今世紀後半に実現される」という仮定を退けて既に人類が実現している技術で2℃上昇にとどめる計画を実現するには多くの人々を動かす必要があり、富裕層の流行ではなく社会全体の課題として電化する必要があるという主張。

事態の規模を鑑みて戦時下に匹敵する動員を実現できるなら不可能に思われることも技術的に可能であれば可能となるという話、週刊空母の国の人がいうと説得力があるな……。

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

「LK-99合成歴2週間の職人のアドバイス下で合成した自家製Pb10-xCux(PO4)6Oの標本も頒布します。1500円。」これほんとすき

https://twitter.com/UtopianF/status/1690177677611929600

企業はLK-99合成歴3年以上の経験がないと面接担当者が満足しないかも……

これおるみん党への抗議活動防止？（？？）

楽器店で虚無になっていたら少年が黒いレスポールの前で「これかっけー！！見たことある！！」って叫んでいて、よっ未来のギターヒーロー！（ポケモンジムの入口の人）になった

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

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

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

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

@kofuk 7連休の例（⬜：平日、🟦︰土曜日、🟥：日曜日、🟨：その他の休日）

🟥⬜⬜🟨🟨🟨🟦
🟥🟨🟨⬜⬜⬜🟦

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

おばあちゃんに見せるためにアップロードされた孫の写真はほぼ1回しか閲覧されないがその保存と維持にわずかなエネルギーが消費され続けるみたいな話もあった

だから写真のアップロードをやめろという話の流れではなく、様々なところに様々なエネルギー消費があるという例として

@kofuk なるほど

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

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

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

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

「要は彼はティム・オライリーの義理の息子になるんですね。『今後20年間に生まれる気候変動億万長者は、インターネットブームで生まれた億万長者よりも多いだろう』と予言するオライリーのエネルギー分野のブレーンなんだろうな」そうなのか。

この記事にも書かれているけれど、『すべてを電化せよ』はUSを前提としているので日本にはそのまま当てはまらなそう。それでも面白いけど。

米国のクリーンエネルギー移行に現実的なヴィジョンを示すソール・グリフィス『Electrify』 - YAMDAS現更新履歴
https://yamdas.hatenablog.com/entry/20211213/electrify

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

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

#ロケール依存はバグのもと

@TakamiChie ええ、元のバグは小数点がピリオドな地域（日本を含む）とカンマな地域（フランスを含む）があり、ライブラリがそれに依存する仕様になっていたことを知らずに使っていたという話です。

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

Business Source License 1.1. 零細企業経営者視点 | by V | Aug, 2023 | Medium
https://voluntas.medium.com/business-source-license-1-1-8c83662568cb

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

https://youtu.be/m2DkSFFraOo

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

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

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

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

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

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

https://youtu.be/2lwBuFatJ5I

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

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

「報われる」と「報いを受ける」はどちらも大ざっぱに言えば「その人の言動に応じた結果が起きる」という意味だけど、使われる場面がはっきり分かれるのはなぜなのか、この使い分けは昔からそうなのか。

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

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

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

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

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

日常に潜む《ソクラテスラ　〜キメラティック偉人バトル〜》だ

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

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

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

1/2、1/3の報酬でも2ヶ国、3ヶ国から得ることでカバーできる……ってこと？（だめだよ）

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

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

「痴人：おろかな人。ばかもの。たわけもの。うつけもの。愚人。ちにん。」暴言連打でないています

https://kotobank.jp/word/%E7%97%B4%E4%BA%BA-565874

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

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

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

ところで、防衛省事務次官まで上り詰めてもハッカーが首を縦に振らない程度の給与ってまじですの

《能動的サイバー防御》、すごく政府のジャーゴンっぽくてすごい（実際そうなんだけど）