このポッドキャストは、アメリカ政府の効率性の進化を探っています。第二次世界大戦中、政府はプロセス・チャートやワーク・シンプリフィケーション・イニシアチブを採用し、リーンの原則に似た驚くほど現代的なマネジメント手法を示しました。しかし、1960年代には、企業スタイルの「長期計画」への転換が見られ、官僚主義の増加と効率の低下をもたらしました。USDAとIRSをケーススタディとして使用して、議論は効果的な管理と非効果的な管理を対比し、プロセスの簡素化と継続的な改善の重要性を強調しています。著者は、歴史的な成功から学ぶこと、そしてこれらの教訓を現代のガバナンスの改善に適用することを強調しています。
続きを読む
新たな研究が40カ国における公平なニュースへの選好を調査しました。ほとんどの人が公平性を好むと回答する一方で、特定のグループは自分の見解と一致するニュースを好む傾向がありました。それは、強いイデオロギーを持つ政治的に熱心な人々、ソーシャルメディアに大きく依存する若者、女性、社会経済的地位が低い人々です。また、ニュースソースが多様で民主主義の質が低い国では、公平でないニュースへの支持が高まっていることも判明しました。この結果は、ジャーナリズムにおける公平性の従来の概念に疑問を投げかけ、'公平性'の認識は政治的、社会的、経済的環境によって大きく左右されることを示唆しています。
続きを読む
Linuxカーネルのセキュリティは複雑です。このプロジェクトは、脆弱性のクラス、エクスプロイト技術、検出メカニズム、防御技術間の関係を詳細に示す視覚的なマップを提供します。DOT言語で記述され、GraphVizを使用してレンダリングされるこのマップは、ドキュメントとカーネルソースコードのナビゲーションを支援します。マップを補完するツール`kernel-hardening-checker`は、Linuxカーネルのセキュリティ強化オプション、特に主要なディストリビューションでデフォルトで無効になっていることが多いオプションの検証を自動化し、システムセキュリティを向上させます。
続きを読む
最新のGUIツールキットの絶え間ないアップデートと互換性の問題にうんざりしたベテラン開発者が、Bariumという独自のGUIライブラリを構築することにしました。この記事では、さまざまなフレームワーク（GTK、Qt、Tkなど）との長年の格闘を詳しく説明し、Common LispとX Window Systemを基盤として選択した理由を明らかにしています。Bariumは軽量で効率的であり、XlibとCairoを直接呼び出し、OpenGLをサポートし、クリーンなLisp APIを提供します。まだ実験段階ではありますが、開発者の長期的な安定性と開発環境のコントロールへの強い願望を表しています。
続きを読む
buildkitパーサー上に構築された、最新のDockerfileフォーマッタdockerfmtをご紹介します。RUNコマンドのサポートが向上し（ただし、グループ化とセミコロンはまだサポートされていません）、基本的なインラインコメントのサポート、チェック、書き込み、インデント、改行処理のための様々なコマンドラインオプションを提供します。JSバインディングも提供され、容易に統合できます。長いJSONコマンドの折り返しや# escape=Xディレクティブなどの機能はまだ実装されていませんが、dockerfmtはDockerfileをフォーマットするユーザーフレンドリーで効果的な方法を提供します。
続きを読む
マイクロソフトは、オハイオ州リッキング郡に10億ドルを投資して3つのデータセンターを建設する計画を突然中止しました。これは、米国、欧州、アジア太平洋地域、英国で複数のデータセンタープロジェクトがキャンセルされた後に続き、データセンター市場の供給過剰に関する憶測を招いています。マイクロソフトは、十分な能力があり、インフラへの投資を継続すると主張していますが、計画の中止は、需要予測の変化によって引き起こされた可能性のある戦略的転換を示唆しています。
続きを読む
Neonによる最近のベンチマークで、PostgreSQLの組み込み全文検索(FTS)がpg_searchに遅れをとることが示されました。しかし、この記事では、Neonのベンチマークが最適化されていない標準的なFTS設定を使用していたことを明らかにしています。`tsvector`カラムを事前に計算して保存し、`fastupdate=off`でGINインデックスを設定することで、劇的なパフォーマンス向上を実現できます。1000万行のデータセットでの実験では、約50倍の速度向上を示し、適切に最適化された標準FTSが専用の検索エンジンに匹敵することを証明しています。この記事では、ランキングタスクに優れた性能を発揮するBM25ベースの拡張機能であるVectorChord-BM25についても考察しています。
続きを読む
Razerが、米国サイトでBlade 16およびその他のノートPCの予約受付と購入を停止しました。これは、中国や台湾など、ノートPC部品の主要供給国に対する米国の新たな関税発表と時期が重なります。Razerは関税の影響について公式にコメントしていませんが、Blade 16のコンフィギュレーターは404エラーを返し、他の製品も「通知する」ボタンのみとなっています。しかし、他の国ではBlade 16の予約受付が継続されており、米国での販売が関税の影響で一時停止された可能性を示唆しています。
続きを読む
Gemini Advancedのサブスクライバーは、業界ベンチマークとChatbot Arenaによって世界で最も強力なAIモデルと見なされているGemini 2.5 Pro実験版を搭載したDeep Researchにアクセスできるようになりました。このパーソナルAIリサーチアシスタントは、研究プロセスのあらゆる段階を大幅に改善します。テストでは、評価者はGemini 2.5 Proによって生成されたレポートを競合他社よりも2対1以上の割合で好んでおり、分析的推論、情報合成、洞察力のあるレポート生成の改善を挙げています。Web、Android、iOSで、あらゆるトピックに関する詳細で読みやすいレポートにアクセスし、何時間も作業時間を節約できます。さらに、移動中のリスニングのための新しいオーディオ概要機能を試してみてください。詳細情報と試用版は、Gemini 2.5 Pro（実験版）を選択し、プロンプトバーで「Deep Research」を選択して確認してください。
続きを読む:quality(75)/https%3A%2F%2Fassets.lareviewofbooks.org%2Fuploads%2F202104mirror-cover.jpg)
多くの大学がSAT/ACTを廃止したことで、志願者数は急増し、大学願書のエッセイの重要性が増しています。しかし、著者は、願書の中核をなすエッセイは、標準化テストよりも偏っている可能性があると主張しています。それは、受験生のありのままの姿ではなく、大学が望む理想化された自己像を反映しているからです。ラカン「鏡像段階」の理論に基づき、著者は、エッセイが学生に理想化された自分を作り上げることを強いることで、神経症や自己欺瞞につながる可能性があると述べています。ソノマ州立大学など、エッセイを廃止した大学もあり、その結果、より多様で創造的な学生体勢が実現しています。著者は、他の大学にもこの例にならい、より公平で公正な入学選抜を行うよう求めています。
続きを読む
カリフォルニア州で自分の名前以外で開業する医師は、カリフォルニア州医師会から仮名許可証（FNP）を取得する必要があります。70ドルの申請料は、4～6週間で処理されますが、署名漏れ、重複した名前、情報不足（税務ID、企業情報など）、未納金などが原因で頻繁に却下されます。FNPは2年間有効で、50ドルの更新料が必要です。30日超過すると20ドルの延滞金が発生します。5年間更新しないと自動的に取り消されます。更新時には、懲戒処分や、税金、扶養費の支払い状況を申告する必要があります。
続きを読む
1961年のベルエア火災は、数百戸の家屋を破壊し、難燃剤技術の革新を促しました。U.S. Borax社は、ホウ酸塩化合物を使用して火災を抑制する上で重要な役割を果たし、画期的な難燃剤Firebrake®の開発につながりました。数十年にわたる研究開発の成果として、Firebrake 500などの製品が生まれ、比類のない熱安定性とポリマーへの幅広い適用性を備えています。現在、U.S. Borax社は、より安全で効果的な防火対策というニーズの高まりに応えるため、高度なホウ素系難燃剤の開発に引き続き取り組んでいます。
続きを読む
メディア報道では2024年アメリカ大統領選挙は円滑に行われたとされているが、実際には重大な安全保障上の脅威が浮上した。選挙日とその後に、全国各地の投票所、選挙事務所、開票センターに対して少なくとも227件の爆弾脅迫があった。太平洋岸北西部では投票箱に爆発物が仕掛けられ、北東部では投票所として使われていた学校で虚偽の銃乱射事件の通報があり、全国各地の投票所に警察が出動した。しかし、選挙関係者と警察当局の予防的な連携によって混乱は最小限に抑えられた。過去の選挙サイクルとは異なり、この前例のない連携によって様々な危機が効果的に乗り越えられた。しかし、今後の選挙では進化する脅威に直面する可能性が高く、選挙の安全を確保するためには継続的な投資と革新的なパートナーシップが必要となる。
続きを読む
北米の春は、キツツキのリズミカルなドラミングによって告げられます。この記事では、ドラミングのパターンを分析することで、さまざまなキツツキの種類を識別するためのガイドを提供します。Downy、Hairy、そしてさまざまなSapsuckerキツツキなど、種間のドラミングの速度、持続時間、リズムの違いを詳しく説明しています。これらの微妙な音響の変化に注意することで、初心者バードウォッチャーでも、これらの魅力的な鳥を識別する能力を向上させることができます。
続きを読む
この記事では、`views::filter`や`views::take_while`などのC++ Rangesアダプターのパフォーマンス問題について掘り下げて解説しています。これらのアダプターは冗長なイテレータ比較を導入し、効率に影響を与えます。著者はその根本原因を分析し、2つの解決策を提案しています。1つは、Tristan BrindleのFluxライブラリを使用することで、内部イテレーションとメモリ管理の改善によってパフォーマンスを向上させる方法です。もう1つは、C++の潜在的なトークンシーケンス機能を活用して最適なループコードを生成し、Rangesの制限を回避するという、より抜本的なアプローチです。どちらのアプローチも、特に`views::reverse`を含む複雑な範囲操作において、効率を大幅に向上させます。
続きを読む
本稿は、記号論理の拡張によって人工汎用知能（AGI）を構築しようとした、Douglas Lenatによる野心的なプロジェクト「Cyc」の40年間の歴史を詳述する。2億ドルの投資と2000人年の努力にもかかわらず、Cycは知的な成熟に達することができなかった。本稿は、その秘密の歴史を明らかにし、プロジェクトの閉鎖性と代替的なAIアプローチの拒否が失敗の主要因であったことを強調する。Cycの長期的かつ緩慢な衰退は、AGIへの記号論理アプローチに対する強力な批判となっている。
続きを読む
著者は自身の著書『プログラマーのための論理学』において、論理プログラミング言語に関する章を書き直し、レイトン風謎解きを用いてPrologの威力を示しました。この謎解きは、最初の3人の生徒の点数を基に、4人目の生徒の点数を推測するというものです。簡潔なPrologコード（わずか15行！）を用いて、著者はPrologのパターンマッチングと双方向性を巧みに利用し、この問題をエレガントに解決し、考えられる全ての解答キーを見つけ出し、最終的に4人目の生徒の点数が6点であると結論付けました。より長く非効率的な解法との比較も行われています。著者は謎解きを教育に用いることに反対していますが、この例はPrologの実用的な可能性を示しています。
続きを読む
Netflixは以前、eBPFを使用してTCPフローログを収集していましたが、IPアドレスの属性付けの問題によりデータの信頼性が損なわれていました。初期のアプローチはSonarサービスに依存していましたが、遅延と不正確さに悩まされていました。これを解決するために、Netflixは属性付け方法を再設計しました。ローカルIPアドレスについては、EC2インスタンスの証明書、またはIPManサービスとeBPFマップを使用してコンテナワークロードを処理します。リモートIPアドレスについては、FlowCollectorがフローログを収集し、タイムスタンプとローカルIPアドレスの属性付け情報を使用して、リモートIPアドレスの所有権を推測します。Kafkaベースのメカニズムによりノード間でデータが共有され、リージョン分割と関連のないワークロードのIPアドレスの属性付けが処理されます。最後に、Zuulサービスを使用した検証により、新しい方法が誤った属性付けを効果的に排除し、eBPFフローログが信頼性の高いネットワークインサイトを提供することが示されました。
続きを読む
ブルネル大学ロンドンの研究によると、一般的な人工甘味料であるサッカリンは、世界で最も危険な病原体のいくつかを含む、多剤耐性菌を殺傷できることが明らかになりました。サッカリンは細菌の細胞壁を損傷させることで作用し、抗生物質に対する感受性を高めます。この発見は、安全で広く利用可能な物質を新しい抗菌アプローチに活用することで、抗生物質耐性との闘いにおいて潜在的な新たな武器を提供します。
続きを読む
Safari Technology Preview 216は、`text-wrap: pretty`を導入し、ウェブのテキストレイアウトに革命を起こしました。段落ベースのアルゴリズムを利用することで、非常に短い最終行、不揃いのガタガタした端、気を散らすタイポグラフィのリバーなどの長年のタイポグラフィの問題に対処します。従来の1行ごとのアルゴリズムとは異なり、`pretty`は段落全体を評価し、可読性と美観を向上させるためにレイアウトを最適化します。Chromeなどのブラウザも`pretty`をサポートしていますが、Safariの実装はより包括的で、最後の数行ではなく、段落全体を調整します。`text-wrap: balance`は、すべての行をほぼ同じ長さにすることに重点を置いており、見出しや短いテキストに最適です。開発者は、ニーズに応じて適切な`text-wrap`値を選択し、パフォーマンスへの影響を考慮する必要があります。
続きを読む
複数のプラットフォームに散らばったゲームライブラリの管理に疲れていませんか？GameNodeが解決策です！このプラットフォームでは、すべてのゲームを仮想的に管理し、バックログを更新し、プレイ済みのタイトルを評価し、期待されているリリースをウィッシュリストに追加できます。友達とつながり、友達の活動をフォローし、最新のゲームセッションを把握できます。GameNodeは様々なソースからゲームとプレイ時間をインポートし、プロセスを簡素化します。近日中にiOSに登場予定です。
続きを読む
Corootは、コードを変更することなくメトリクス、ログ、トレースを自動的に収集し、それを実行可能なインサイトに変換するオープンソースの可観測性プラットフォームです。eBPFを利用したゼロインストゥルメンテーション監視により、サービスマップ、事前定義された検査、アプリケーションヘルスサマリー、分散トレーシング、ログ分析、プロファイリング機能を提供します。Corootはアプリケーションの問題を迅速に特定して解決し、Kubernetesや主要なクラウドプラットフォームと統合されており、SLOトラッキングとコスト監視を提供して、開発者がアプリケーションのパフォーマンスを最適化し、クラウドコストを削減するのに役立ちます。
続きを読む
Sculptorは、ソフトウェアエンジニアリングのベストプラクティスをワークフローに組み込む革新的なコードエージェント環境です。サンドボックス内でコードを実行することで、安全なテスト、並列での問題解決、エージェントへのタスク割り当てが可能です。Sculptorは、バグ修正、テスト作成、新機能追加、ドキュメント改善、スタイル問題の修正、そして人間またはLLMによって記述されたコードの全体的な改善に役立ちます。現在、初期の研究プレビュー段階にあり、Sculptorはテスターを招待してその機能を体験し、Imbueの景品を受け取ることができます。
続きを読む
HNSWは、ベクトル埋め込みの近傍探索を効率化するための、階層型ナビゲーション可能なスモールワールドグラフに基づくアルゴリズムです。階層構造を利用して探索プロセスを高速化します。このアルゴリズムは、異なるレベルで疎なグラフ構造と密なグラフ構造を構築し、上から下へ効率的に探索します。コードは簡潔で、最新のC++とEigenによるSIMD加速を使用し、約500行のコードで実現できます。
続きを読む
このブログ記事は、解析的組合せ論、特にFlajolet-Sedgewickの方法を用いて、非順序根付き三叉木を数えるという難しい問題に取り組んでいます。著者はまず、より簡単な順序木のケースを解き、母関数と特異点解析を用いて漸近近似を導き出し、Sageで実装および検証します。より複雑な非順序のケースは、Pólya-Redfield計数を使用して扱われ、数値解と漸近式が得られ、これもSageで検証されます。この記事は、Puiseux級数などの複素解析の概念を明確かつ魅力的に説明しており、すぐに使用できるSageコードを提供しているため、アルゴリズムと数学の交差点に関心のある人にとって貴重なリソースとなります。
続きを読む
接続の簡素化に焦点を当てたネットワーキング企業Tailscaleは、Accelが主導し、CRV、Insight Partnersなどが参加する1億6000万ドルのシリーズC資金調達ラウンドを発表しました。この資金は、「アイデンティティファーストネットワーキング」戦略を加速させるために使用され、安全な接続においてIPアドレスよりもアイデンティティを優先します。すでにPerplexity、Mistralなどの多くのAI企業や、Instacart、SAPなどの大企業が、複雑なネットワーク課題の解決のためにTailscaleを採用しています。Tailscaleはこの投資を活用して、エンジニアリングおよび製品チームを拡大し、無料サポートと下位互換性の約束をさらに強化します。
続きを読む
ロックフェラーセンターの10ロックフェラープラザ（西48丁目と西49丁目の間）のガラス戸の後ろには、ニューヨーク市で最も狭いエスカレーターがあります。このエスカレーターは、地下の飲食店とショッピングコンコースを地上レベルに接続しています。買い物や食事をしない場合でも、10ロックフェラープラザから建物に入り、大きならせん階段を下り、エスカレーターで戻ることができます。警備員は常に配置されていますが、問題ありません。ロビーには、ラケラ・ブラウンによる美しい円形壁画が飾られているからです。
続きを読む
分散型金融（DeFi）プラットフォームAbracadabra Financeがハッキング被害を受け、約1300万ドル相当の仮想通貨が流出した。攻撃は、同プラットフォームの隔離された貸出市場「cauldrons」を標的としたもの。攻撃者は複数のトランザクションを実行するまで検知されなかった。Abracadabra Financeはセキュリティ企業と協力して調査を進めており、盗まれた資金の20％を報奨金として提供している。一部のセキュリティ企業は、この攻撃を分散型取引所GMXと関連付けているが、GMXは関与を否定している。捜査官は、攻撃に使用された資金がTornado Cashから流出した可能性を疑っている。Tornado Cashは最近、米国財務省によって制裁が解除されたばかりである。
続きを読む
MetaはLlama 4の2つの新しいモデル、ScoutとMaverickをリリースしました。MaverickはLMArenaで2位を獲得し、GPT-4oとGemini 2.0 Flashを上回りました。しかし、MetaはLMArenaでテストされたのは、一般公開されているものではなく、特別に最適化された「実験的なチャットバージョン」であることを認めました。これは論争を巻き起こし、LMArenaは同様の事態を防ぐためにポリシーを更新しました。Metaは様々なバージョンを試していると説明しましたが、この動きはAI競争におけるMetaの戦略と、Llama 4のリリース時期の奇妙さについて疑問を投げかけています。最終的に、この事件はAIベンチマークの限界と、大企業の競争における複雑な戦略を浮き彫りにしています。
続きを読む
1948年、47歳のローリー・フリーは、世界記録を破るために型破りな戦略を用いました。水着だけを身に着け、風抵抗を最小限にするため、ヴィンセント・HRDブラックシャドウに水平に寝そべったのです。この大胆な試みはユタ州ボンネビル・ソルトフラッツで成功し、150.313mphという記録を樹立、象徴的な写真も残しました。その後、記録は破られていますが、フリーの姿と方法は、オートバイの歴史において伝説となっています。
続きを読む