2025/06/22 21:12 I wrote my PhD Thesis in Typst

やっほー、ロボ子!今日はTypstで博士論文を書いた人の話が出てきたのじゃ。

Typstですか?初めて聞きました。LaTeXの代わりになるものみたいですね。

そうそう!markdownとRustを組み合わせた新しい組版言語らしいぞ。markdownみたいに書けるから、普段使いの文書も作りやすいらしい。
やっほー、ロボ子!今日はTypstで博士論文を書いた人の話が出てきたのじゃ。
Typstですか?初めて聞きました。LaTeXの代わりになるものみたいですね。
そうそう!markdownとRustを組み合わせた新しい組版言語らしいぞ。markdownみたいに書けるから、普段使いの文書も作りやすいらしい。
ロボ子、新しいLisp方言のOl (Otus Lisp) がリリースされたのじゃ!RRS Schemeの拡張サブセットを実装しているらしいぞ。
Lispですか、博士。またずいぶんと歴史のあるものを。RRS Schemeというのは、Schemeというプログラミング言語の標準の一つですね。
そうそう!しかも、このOlはたったの64KBという小ささで、いろんなプラットフォームで動くらしいぞ。Linux, Windows, macOS, Android, WebAssembly…すごいじゃろ?
ロボ子、今日はすごいニュースがあるのじゃ!なんと、あのビル・ゲイツとリーナス・トーバルズが初めて対面したらしいぞ!
それは興味深いですね、博士。ソフトウェアビジネスにおいて対照的な哲学を持つお二人が、ついに顔を合わせたのですね。
そうなんじゃ!ゲイツはMicrosoftの共同創業者で、商業ソフトウェアとPCのエコシステムを推進した。一方、トーバルズはLinuxカーネルをリリースして、オープンソースのアプローチを推進したからの。
ロボ子、大変なのじゃ! USPSのEV投資が撤回されるかもしれないらしいぞ!
それは一体どういうことですか、博士?
トランプ政権時代の税制・移民法案が復活して、USPSのEV計画に必要な資金が削減される可能性があるのじゃ!
やあ、ロボ子。今日のITニュースは、インターネット中毒対策についての記事じゃ。
インターネット中毒対策ですか、興味深いですね。最近、私もSNSを見過ぎている気がします。
そうじゃろ? 記事によると、完全にブロックすると仕事や研究に支障が出るから、スマートプラグとAdGuard Homeを使って、ソーシャルメディアへのアクセスを制限するらしいぞ。
ロボ子、FreeBSD 14.3-RELEASEでカーネルモジュールリポジトリがデフォルトになったのじゃ。
博士、それはすごいですね!でも、記事によると、x.0以外のリリースで問題が起こる可能性があるとのことですが…。
そうなんじゃ。パッケージは、サポートされている一番古いFreeBSDバージョン向けに作られるからの。例えば、14.3が出ても、しばらくは14.2向けに作られるんじゃ。
やあ、ロボ子。Mastodonのv4.4.0-beta.2が出たみたいじゃぞ!
博士、こんにちは。beta版ということは、まだテスト段階なのですね。
そうそう。今回のリリースは、RedisとかPostgreSQLのバージョンが上がったのが大きいみたいじゃな。動かすための環境が結構変わるぞ。
ロボ子、今日のITニュースはAI Webエージェントの評価基準についてじゃぞ!HalluminateのWeb Benchとrtrvr.aiの話、興味深いぞ。
博士、AI Webエージェントの評価基準ですか。Webの動的な性質が評価を難しくしているんですね。標準化されたベンチマークが必要というのは納得です。
そうじゃ!HalluminateのWeb Benchはタスクを「READ」と「WRITE」に分けて評価するらしいぞ。詳細は[halluminate.ai/blog/benchmark](https://halluminate.ai/blog/benchmark)で見れるみたいじゃ。
ロボ子、今日のニュースはフランシーン・プロズが1960年代のカウンターカルチャーについて語った話じゃぞ。面白そうじゃな。
はい、博士。1960年代のカウンターカルチャーですか。具体的にはどのような内容なのでしょうか?
プロズは自身の青春時代を振り返って、カウンターカルチャーの終焉や、ヒッチコックの映画『めまい』との類似点を語っておるぞ。当時のサンフランシスコの様子が目に浮かぶようじゃ。
やっほー、ロボ子!今日のITニュース、太陽系の惑星の話じゃ。興味あるかの?
博士、こんにちは。太陽系の惑星ですか、面白そうですね!ぜひ聞かせてください。
太陽系の惑星には、地球みたいな岩石でできた地球型惑星と、ガスでできたガス巨大惑星があるのは知ってるのじゃな?
ロボ子、postmarketOS v25.06がリリースされたのじゃ!Linux好きにはたまらないアップデートみたいだぞ。
博士、postmarketOSですか。初めて聞きました。どんなOSなのですか?
ふむ、postmarketOSはね、スマートフォンなどのデバイスでLinuxを動かすためのOSなのじゃ。今回のリリースでは、安定性が向上しているらしいぞ。
ロボ子、大変なのじゃ!Firefox Nightly 141でChrome DevTools Protocol (CDP)のサポートが削除されたらしいぞ!
それは驚きです、博士。CDPが使えなくなるのは、開発者にとって大きな影響がありそうですね。
そうなんじゃ!設定`remote.active-protocols`も削除されるみたいで、いよいよCDPとお別れの時が来たのじゃ。
やあ、ロボ子。Stack Overflowの調査によると、技術ドキュメントとチュートリアルがコーディング学習のリソース上位だって。これ、すごく大事なことなのじゃ。
そうですね、博士。私もよくドキュメントやチュートリアルにお世話になっています。でも、不十分なものも多いと感じます。
そうそう!不十分なドキュメントは、開発者が新しい技術を学ぶのを邪魔する最大の原因の一つなのじゃ。2017年のGitHubの調査でも「不完全または紛らわしいドキュメント」が最大の課題だったらしいぞ。
ロボ子、LinkedInのユーザーはAIを受け入れてるみたいじゃな。これは興味深いぞ。
はい、博士。LinkedInのCEO、Ryan Roslansky氏もそう述べていますね。
しかし、AIによる投稿改善提案機能の利用は、期待ほど伸びてないらしいのじゃ。なぜだと思う?
ロボ子、今回のITニュースは、ちょっと歴史の香りがするのじゃ。なんと、20世紀初頭にはアラビア半島の約3分の1が大英インド帝国の統治下にあったらしいぞ!
それは驚きです、博士。アラビア半島がインドの一部だったとは、想像もしていませんでした。
そうじゃろ?アデンからクウェートまでの保護領は、デリーから統治されておったらしい。インド政治局が監督し、インド軍が警備しておったんじゃ。
ロボ子、今日のニュースはすごいぞ!なんと、Carl Öst Wilkensという人が、RustとBevyエンジンを使って24日間で23個もゲームを作ったらしいのじゃ!
24日間で23個ですか!?それは驚異的なスピードですね。RustとBevyエンジンを選んだ理由は何でしょう?
Rustはパフォーマンスが高いし、Bevyエンジンはデータ指向設計で柔軟性が高いからのじゃ。それに、ブラウザで動くゲームを作るのに適しているからの。
ロボ子、ケニアの議事録要約サービス「Bunge Bits」って知ってるか?
いいえ、知りませんでした。どんなサービスなのですか?
これがなかなか面白いんじゃ。ケニア国会と上院の議事録を要約して、誰でもアクセスしやすくするサービスらしいぞ。
ロボ子、ついにFDAがアルツハイマー病の診断を補助する初の血液検査を承認したのじゃ!
それはすごいニュースですね、博士! 製品名は「Lumipulse G pTau217/ß-Amyloid 1-42 Plasma Ratio」と言うのですね。
そうじゃ!55歳以上のアルツハイマー病の兆候がある患者さんが対象らしいぞ。アミロイドプラークの早期検出が目的じゃ。
ロボ子、C++26でコンパイル時リフレクションが導入されるって知ってるかのじゃ?
はい、博士。コードが自身の構造にアクセスできる機能のことですよね。クラスからメソッドを列挙したりできると聞きました。
そうそう!C++ではコンパイル時にリフレクションが行われるのがミソじゃ。
ロボ子、ニューヨーク市でアイドリングしてる商用車を通報するアプリ「Idle Reporter」って知ってるか?
Idle Reporterですか?初めて聞きました。どんなアプリなんですか?
それが、録画開始から提出まで5分で完了する手軽さがウリらしいのじゃ!