libriscvと未発表ゲームの開発と並行して、博士課程の学生兼ゲーム開発者が、KVMベースのシングルプロセスサンドボックスであるTinyKVMを作成しました。TinyKVMは、静的なLinux ELFプログラムをネイティブ実行に近いパフォーマンスで実行し、非常に低い呼び出しオーバーヘッド（約2µs）を実現しています。パフォーマンス向上のため巨大ページを利用し、GDBデバッグと効率的なVMリセットをサポートしており、Linuxプログラム、さらには大規模言語モデル（LLM）のサンドボックス化にも適しています。TinyKVMは、最小限のコードベースを特徴とし、攻撃対象領域を最小限に抑えることでセキュリティを重視しています。将来の計画には、Intel TDX/AMD SEVとAArch64アーキテクチャのサポートが含まれています。
続きを読む
著者は当初、Org Roamを使って日々の予定管理をしていたが、複雑すぎると感じた。そこでcalendar.txtのシンプルさに気づき、Org-modeでその機能を再現することにした。`org-clone-subtree-with-time-shift`コマンドを使って、1年間のテンプレートを簡単に作成し、毎日、朝、仕事、夜の各セクションを用意した。calendar.txtほど簡潔ではないものの、Org-modeの柔軟性により、画像や表などの豊富な情報を追加できる。最終的に、著者はOrg-modeのフィルタリングと非表示機能を活用して効率性を向上させた。
続きを読む
Font Generatorは、シンプルなテキストを入力して180種類以上のファッショナブルなテキストスタイルに変換できるオンラインツールです。あなたのテキストを楽しくスタイリッシュに見せるために、Unicodeの何千ものクールな記号を利用し、それらを組み合わせてフォントを作成します。これにより、通常はフォーマットが不可能なプラットフォームでも、太字、下線、筆記体、イタリック体で書くことができます。テキストを入力し、お気に入りのフォントを選択してコピー＆ペーストするだけです。
続きを読む
SF作家のジョン・スカリーは、驚くほど安い7万5000ドルで廃墟となったメソジスト教会を購入し、オフィスと多目的会場に改築しました。1919年築のこの教会は、会衆の減少により放棄されていました。スカリー一家は宗教的な理由からではなく、成長する会社Scalzi Enterprisesのオフィススペースと将来の従業員のための職場を必要としていたためです。2年間の改修を経て、教会は新しい屋根、配線、床、空調システムを備え、図書館やイベントスペースも完備しました。スカリーはそこで地域イベントを開催し、地元生活の中心となることを計画しています。
続きを読む
著名なスタートアップアクセラレーターであるY Combinatorが、巨大テック企業の独占的慣行を抑制することを目的としたEUのデジタル市場法（DMA）を公に支持するという、驚くべき行動に出ました。YCは、批判されている他のEUのテクノロジー規制とは異なり、DMAはアメリカのイノベーションを促進する価値観と一致すると主張しています。彼らは、アップルのAI音声アシスタントの遅延などを、競争圧力の欠如の証拠として挙げています。ワシントンでの影響力はa16zほど大きくありませんが、YCの公的な支持は、他のスタートアップや業界団体と共に、トランプ政権に圧力をかけています。この擁護は、AI、検索、消費者向けアプリ分野におけるより小規模なアメリカ企業に機会を提供することを目指しています。
続きを読む
ProtonMailは、エンドツーエンド暗号化による受信者のみのメール閲覧、ProtonMailサーバーへのアクセスも不可能なゼロアクセス暗号化、透明性とセキュリティ向上のためのオープンソースと監査済みコード、そしてサイバー脅威からの保護のためのアンチフィッシングツールなど、プライバシーを重視した主要機能を提供しています。これらの機能が組み合わさり、堅牢なプライバシーシールドを形成します。
続きを読む
OpenAIは、7月に発表予定のドナルド・トランプ氏のAI行動計画が、AIトレーニングをフェアユースと宣言することを期待している。これにより、著作権論争が解決し、AI企業がトレーニングデータへの無制限アクセスを得られるようになるという。OpenAIは、これは中国とのAI競争において勝利するために不可欠だと主張している。現在、裁判所ではAIトレーニングがフェアユースに当たるかどうかが議論されており、権利保有者は、AIモデルが市場における地位を脅かし、人間の創造性を全体的に低下させると主張している。OpenAIは数十件の訴訟に関与しており、AIが著作権で保護された作品を変換し、AIの出力はオリジナル作品にとって代わるものではないと主張している。OpenAIは、トランプ氏の計画が、権利保有者を支持する判決（AIトレーニングはフェアユースではないと判断）のような判決を回避することを期待している。OpenAIは、米国がAI業界の「学習の自由」を優先することで、中国が米国企業がアクセスできない著作権で保護されたデータにアクセスすることで優位に立つことを防ぐべきだと提案している。
続きを読む
2008年12月22日、テネシー州のキングストン火力発電所で壊滅的な出来事が発生しました。高さ60フィート、84エーカーに及ぶ巨大な石炭灰貯留場が崩壊し、数百万トンの石炭灰が周辺の川に流れ出しました。このスリリングな物語は、建設作業員であるアンスール・クラークが、以前からダムの完全性について懸念を表明していた彼が、展開する災害を目の当たりにする様子を追っています。この事件は、石炭火力発電に関連する重大な環境リスクを浮き彫りにしています。
続きを読む
ArkFlowは、RustとTokio上に構築された高性能ストリーム処理エンジンです。Kafka、MQTT、HTTPなどの複数のデータソースと、SQLクエリ、JSON処理、Protobufエンコード/デコードなどの様々なプロセッサをサポートしています。モジュール設計により拡張が容易で、YAML構成ファイルで設定を管理します。ユーザーは、入力、パイプライン、出力を定義して、KafkaからKafkaへのデータ処理やテストデータの生成と処理など、様々なストリーム処理タスクに対応できます。
続きを読む
Cronの限界にうんざりしていませんか？この記事では、systemdを使用して、より信頼性が高く、監視可能で、管理しやすい定期バックアップシステムを構築する方法を紹介します。systemdのtimerとserviceファイルを作成することで、バックアップスクリプトの実行を簡単にスケジュールし、ExecStartPreやExecStopPostなどのディレクティブを使用して、バックアップの成功または失敗の通知を送信するなど、実行前と実行後の操作を追加できます。systemdの永続性メカニズムは、システムの再起動後でもバックアップタスクが確実に実行されることを保証し、ログと監視機能によってシステムの保守性が大幅に向上します。Cronの欠点を克服し、systemdの利便性と信頼性を享受しましょう！
続きを読む
Metaは、X（旧Twitter）のコミュニティノート機能を採用すると発表しましたが、誤解を招く投稿の可視性を低下させないとしています。Metaは、アルゴリズムが操作不可能で、ノートの公開や内容に影響を与える組織的なキャンペーンから保護されると主張しています。しかし、以前の調査では、Xのコミュニティノートが悪意のあるユーザーによって簡単に破壊される可能性があることが示唆されていました。Metaは、このプロセスが完璧ではないことを認め、学習しながらアルゴリズムを改善していく予定です。Xは公式に、Metaによる自社システムの利用を歓迎しました。
続きを読む
数百万台の古いGoogle Chromecastデバイスが、デバイス認証証明書の期限切れにより突然動作停止しました。これは単純なソフトウェアのバグではなく、複雑なデジタル署名と証明書チェーンが関係しています。Googleは問題を認め、修正を約束していますが、修正には数週間かかる可能性があり、アプリのアップデートのために複数のチームとの調整が必要になる可能性があります。専門家は、Googleが期限切れの証明書を更新するための新しいChromecastアップデートの構築とテストに1ヶ月以上かかるか、または新しいアプリバージョンのリリースのために複数のチームを調整する必要があると推定しています。このインシデントは、Googleのデバイスセキュリティとメンテナンスにおける欠点を浮き彫りにし、製品ライフサイクルとセキュリティアップデートに関する懸念を引き起こしています。
続きを読む
欧州連合のデジタル市場法（DMA）により、EU圏内のiOSユーザー向けに代替アプリストアが続々と登場しています。AltStore PAL、Setapp Mobile、Epic Games Store、Aptoide、Mobiventionなど、AppleのApp Store以外に選択肢が増えました。これらのストアはそれぞれ特徴が異なり、AltStore PALはオープンソースと開発者によるセルフホスティングを重視し、Setapp Mobileはサブスクリプション型の厳選アプリを提供、Epic Games StoreとAptoideはゲームに特化、Mobiventionは企業向け内部アプリに焦点を当てています。Appleは手数料を徴収しますが、DMAの施行によってAppleのApp Storeの独占状態が崩れ、ユーザーと開発者の双方に新たな機会が生まれています。
続きを読む
Mozillaは、重大なセキュリティリスクを回避するため、Firefoxユーザーに2025年3月14日までにブラウザをバージョン128以降（またはESR 115.13以降）にアップデートするよう強く求めています。重要なルート証明書が期限切れになるため、アドオンが使用できなくなり、悪意のあるアドオン、不正なウェブサイト、パスワードの侵害警告などにさらされる可能性があります。アップデートしないと、深刻なパフォーマンスの問題やセキュリティの脆弱性が発生する可能性があります。このアップデートは、Windows、Android、Linux、macOSユーザーに影響しますが、iOSユーザーには影響しません。古いバージョンでも動作する可能性がありますが、Mozillaは最適なセキュリティとパフォーマンスのためにアップデートすることを強く推奨しています。
続きを読む
1990年の初放送以来、英国の子供向けテレビ番組「アートアタック」は世界中で人気を博しました。ニール・ブキャナンが司会を務め、絵画や工作を通して子供たちにステップバイステップでアート制作を教える独特のアプローチが、この番組を愛される定番番組にしました。何度も復活放送され、多くの言語に翻訳され、世界中で放映され、何世代にもわたる子供たちに影響を与えました。記憶に残る「ザ・ヘッド」のセグメントも、この番組をさらに有名にしました。
続きを読む
新たな研究によると、単一遺伝子の発現タイミングのわずかな変化が、ショウジョウバエの眼の大きさに劇的な違いをもたらすことが明らかになりました。研究者たちは、近縁種であるショウジョウバエmauritianaとショウジョウバエsimulansを比較し、orthodenticle（otd）遺伝子の発現タイミングの微妙な違いが、複眼を構成する個々の単位であるオマティディアのサイズに大きな変化をもたらすことを発見しました。mauritianaにおけるotdの早期発現は、より大きなオマティディアと全体としてより大きな眼をもたらしました。この研究は、器官サイズの進化を促進するメカニズムについての貴重な洞察を提供します。
続きを読む
この記事は、円周率πの興味深い歴史を探求し、なぜ6.28…などの関連する定数ではなく、3.14…がその値として定着したのかを考察します。古代ギリシャのアルキメデスから18世紀のオイラーまで、数学者によるπの理解と表現方法は進化し、最終的にオイラーの規約によって3.14…が標準として確立されました。この記事では、代替のπ値についても探求し、「十分な」πの日やπの食事などの概念を提案し、読者に数学史と文化的な省察を融合した内容を提供します。
続きを読む
C Plus Prologプロジェクトは、PrologとCを融合させる試みです。SWI-Prologの非標準機能を利用して、PrologコードをCコードに変換します。このプロジェクトは、Prologのメタプログラミング機能を用いて、マクロやジェネリクスなどの高度な機能を実装しています。冗長でエラーが発生しやすいものの、システムプログラミング言語におけるマクロの可能性を探求し、Prologのコード生成能力を示しています。独自の特徴にもかかわらず、Prologの機能を活用した、クロスプラットフォームなC開発のユニークなアプローチを提供します。
続きを読む
この記事では、Exynosモバイルプロセッサに見られるSamsungの仮想化ベースのセキュリティプラットフォームであるH-Arxのリバースエンジニアリング分析について詳しく説明します。H-Arxは、コアコンポーネント（harx.bin）とロード可能なプラグイン（uh.binなど）で構成されるモジュール式設計を特徴としており、一部はRustで記述されています。この記事では、H-Arxのロードプロセス、プラグインのロードメカニズム、コアとプラグイン間の通信の詳細を説明し、特権レベル間の通信にハイパーバイザコール（HVC）とセキュアモニタコール（SMC）がどのように使用されているかを明らかにします。リアルタイムカーネル保護（RKP）、カーネルデータ保護（KDP）、ハイパーバイザデバイスマネージャー（HDM）などの重要なセキュリティ機能についても説明し、H-Arxアーキテクチャにおける役割を明らかにします。このリバースエンジニアリングは、Samsung Exynosのセキュリティメカニズムに関する貴重な洞察を提供します。
続きを読む
2年半にわたる努力の末、Expat XMLパーサーの長期にわたる重大な脆弱性（CVE-2024-8176）がついに修正されました。この脆弱性は、再帰呼び出しによってスタックオーバーフローやサービス拒否攻撃につながる可能性があり、バージョン2.7.0で修正されました。メンテナーのSebastian Pippingは、多くの企業に協力を求めた後、Siemensなどの企業と10ヶ月間協力して、この問題の3つのバリエーションを解決しました。このリリースには、新しいファザーや64ビットWindowsバイナリなど、その他の改善も含まれています。この物語は、一見単純なプログラミング手法にも隠されたセキュリティリスクがあり、オープンソースコミュニティの協調がいかに重要であるかを示しています。
続きを読む
従来の単体テストはリスト構造を使用することが多いですが、複数ステップの機能テストには非効率的で、コードの重複につながります。この記事では、継続ツリーアプローチを提案し、テストケースをツリー構造で整理します。各ノードは1つのステップを表し、ノード間の接続はユーザーの可能なアクションを表します。データベースのバージョン管理を活用することで、各ノードでデータベースのコピーを作成し、繰り返し設定を避け、コードの複雑さをO(N²)からO(N)に削減します。著者は、入れ子になったコールバックを用いたErlangでの実装を示し、コードの重複削減やエラーの特定の容易さなどの利点を強調しています。
続きを読む
この記事は「10倍エンジニア」の神話を暴き、エンジニアの生産性を測定するための単一指標は誤解を招きやすく、チームワークの重要性を無視していると主張しています。著者は、ソフトウェア開発は個人の英雄の舞台ではなく、チーム全体の効率が重要であると指摘しています。高性能なエンジニアリング組織は、通常のエンジニアでも大きな価値を生み出し、優れたシステム設計とチーム文化を通じて、より優秀なエンジニアを育成する必要があります。いわゆる「天才」に過度に依存するのではなく。
続きを読む
GoogleはGeminiを広く普及させるため、Gemini 2.0に大幅なアップデートを提供しました。強化されたDeep Researchや検索履歴を活用した推論モデルなど、主要な機能改善が無料で利用可能になりました。この強化されたモデルは、100万トークンのコンテキストウィンドウ、ファイルアップロード、高速処理、カレンダーや写真などのGoogleアプリとの統合を備えています。Googleはユーザーによる制御と検索履歴へのアクセス無効化の機能を強調していますが、プライバシーに関する懸念は残ります。
続きを読む
1900年代初頭、英国自由党は、ヘンリー・ジョージの理論に触発され、地方自治体の財政危機を解決するために地価税の導入を試みました。しかし、この試みは悲惨な結果に終わりました。複雑な計算、高額な行政コスト、建設業界への壊滅的な打撃により、地価税は廃止されました。この出来事は、純粋な地価税の実施における実際的な課題と、行政上の現実と経済的影響を考慮することの重要性に関する戒めの物語として役立っています。
続きを読む
本論文は、動的バイナリ変更（DBM）を追加することで、Ahead-of-Time（AoT）コンパイラの性能を向上させる可能性について調査しています。研究者らは、Hopc AoT JavaScriptコンパイラにDBMベースのインラインキャッシュ（IC）最適化を実装しましたが、実験の結果、性能は向上しませんでした。この研究では、メモリアクセスの削減が、現代のアーキテクチャにおいて必ずしも実行速度を向上させるとは限らないことが分かりました。これは従来の最適化戦略に疑問を投げかけるものであり、洗練されたコンパイラ最適化は、プロセッサがコードを単独で高速化できない場合にのみ価値があるという結論に至りました。この発見は、AoTコンパイラとJITコンパイラの両方に適用されます。
続きを読む
これは、Windows 11上でVisual Studio Codeを使用してウェブサイトを作成した際のWeb開発ログです。サイトはまだ開発中で、内容が不揃いで、いくつかの段落は単なるメモです。様々なデバイスでテストが行われましたが、Windows 11上のEdgeとChrome、Mac上のSafari、Chromebook上のChromeでテストされました。デスクトップとラップトップでのエクスペリエンスは良好ですが、iPad Miniと携帯電話のバージョンでは互換性の問題とぎこちないレンダリングが発生しています。
続きを読む
マイクロソフトは、最近のWindowsアップデート（KB5050092以降、2025年1月29日以降にリリースされたもの）により、一部のデュアルモードUSBプリンター（USBプリントとIPP over USBの両方をサポート）がランダムな文字列を出力する問題を認めています。これには、ネットワークコマンドや特殊文字が含まれます。Windows 10 22H2とWindows 11 22H2/23H2が影響を受けます。Windows 11 24H2は影響を受けません。マイクロソフトは既知の問題のロールバック（KIR）によってこれを修正し、将来のアップデートでも自動的にロールアウトされます。企業環境では、IT管理者は、影響を受けるデバイスで問題を解決するために、特定のグループポリシーをインストールして構成する必要があります。
続きを読む
ベテランのテクノロジー専門家からのキャリアアドバイスは、業界の新参者には必ずしも役立つとは限りません。業界は急速に変化しており、ベテランの経験は現在の状況に必ずしも当てはまらないからです。この記事では、現在テクノロジー業界への参入は以前よりはるかに困難になっており、古いアドバイスは役に立たない可能性があると指摘しています。新参者は、ベテランのアドバイスに頼るのではなく、同僚の経験に焦点を当てるべきだと提案しています。
続きを読む
Xata Agentは、PostgreSQLデータベースを監視し、問題の根本原因を特定し、修正と改善策を提案するオープンソースのAIエージェントです。経験豊富なPostgres専門のSREがチームに加わったようなものです。ログとメトリクスを監視し、構成の調整を事前に提案し、パフォーマンスの問題（高いCPU使用率、メモリ使用率、接続数など）をトラブルシューティングし、インデックス作成のアドバイスを行い、vacuumにも役立ちます。OpenAI、Anthropic、Deepseekの複数のモデルをサポートし、Dockerで簡単にデプロイできます。Xataチームはすでに、多数の稼働中のPostgresデータベースの監視と運用に毎日使用しています。クラウド版も開発中です。
続きを読む
COP29気候サミットは、地球温暖化を1.5℃未満に抑えるというパリ協定の目標達成に必要な資金を確保できませんでした。高所得国は、2035年までに低・中所得国に年間最低3000億ドルを拠出すると約束しましたが、独自の貢献は不明確であり、資金調達の多様性は非効率です。本稿は、高所得国が「気候金融クラブ」を結成し、融資ではなく助成金を供与することで、排出削減にコミットした国を優先的に支援すべきだと主張しています。このアプローチは、脱炭素化を促進し、気候変動による甚大な経済的損失を防ぎ、最終的に世界的な排出削減目標の達成に繋がるでしょう。
続きを読む