この記事では、SQLデータベースクライアントプロトコル、特にMySQLとPostgreSQLの欠点を議論しています。著者は、接続管理、エラー回復、プリペアドステートメントに問題があると指摘し、開発の複雑さを増大させているとしています。たとえば、可変的な接続状態はエラー回復を困難にし、プリペアドステートメントのセッションスコープの性質は、接続プールでの使用を制限します。著者は、Redisプロトコルから着想を得て、明示的な設定フェーズ、べき等性キー、グローバルスコープのプリペアドステートメント識別子などの改善を提案しています。これらの変更により、開発ワークフローが簡素化され、データベースクライアントの信頼性が向上し、より良い開発者エクスペリエンスと使い勝手の良いデータベースにつながります。
続きを読む
この記事では、リッチテキスト編集におけるフォントスタイル（太字、イタリック体など）の保存方法の問題について掘り下げています。著者は、これらのスタイルは単なる「装飾」ではなく、句読点と同様に言語表現の不可欠な部分であると主張しています。しかし、初期の文字エンコーディング規格（ASCIIなど）にはこれらのスタイル情報は含まれておらず、埋め込みマークアップを使用する必要がありました。これはテキストデータを「汚染」し、テキスト処理の効率と一貫性に影響を与えます。著者は、この問題を解決するために、スタイル情報を文字に直接エンコードするより幅広い文字エンコーディング方式を提案しています。
続きを読む
PlanetScaleを支えるオープンソースデータベースVitessに搭載されているSQL評価エンジンは、当初、パーサーによって生成されたSQL ASTを直接操作するAST評価器として実装されていました。この1年間、それを徐々に仮想マシンに置き換えてきました。この仮想マシンはGoでネイティブに記述されているにもかかわらず、MySQLの元のC++評価コードと同等の性能を発揮します。最も注目すべきは、新しい仮想マシンは元のGoインタープリターよりもはるかに高速でありながら、繰り返しメンテナンスが容易であることが証明されていることです。この驚くべき結果を得るために私たちが行った実装の選択について見ていきましょう。
続きを読む
打ち上げから約50年、ボイジャー探査機は運用寿命の終わりに近づいています。プルトニウムの崩壊により電力が低下し、老朽化した探査機は毎年4ワットずつ電力を失い、科学機器を含む不要なシステムをシャットダウンするという難しい決断を迫られています。プロジェクト科学者のリンダ・スピルカーは、これらの老朽化した探査機の維持管理の課題と、その知識を次世代の科学者に伝える努力について語っています。ヘリオポーズと星間空間に関する貴重なデータをもたらしたボイジャーの旅は、将来の星間探査ミッションに刺激を与え、人類による宇宙探査の継続的な道を示しています。
続きを読む
著者は大胆な提案をする：全ての広告を禁止する。著者は、広告が中毒性のあるデジタルコンテンツを助長し、エコーチェンバーを作り出し、政治的マニピュレーションを可能にすると主張する。アルゴリズム主導のプラットフォームは広告を利用して利益を得ており、若者の精神を損ない、政治家はそれを利用して有権者をコントロールしている。著者は、広告禁止は皆をより理性的にし、民主主義と精神衛生を守るだろうと信じている。たとえそれがSFのように聞こえようとも。
続きを読む
大規模言語モデル（LLM）の台頭により、AIサプライチェーンのセキュリティへの関心が高まっています。モデル改ざん、データポイズニングなどの脅威がますます懸念されています。これに対処するため、GoogleはNVIDIA、HiddenLayerとのパートナーシップのもと、Open Source Security Foundationの支援を受けて、モデル署名ライブラリの最初の安定版をリリースしました。このライブラリは、Sigstoreなどのデジタル署名を使用して、アプリケーションで使用されているモデルが開発者によって作成されたモデルと完全に一致することをユーザーが検証できるようにします。これにより、モデルの整合性と出自が保証され、トレーニングから展開までのモデルのライフサイクル全体における悪意のある改ざんから保護されます。将来の計画には、この技術をデータセットやその他のMLアーティファクトに拡張し、より堅牢なAI信頼エコシステムを構築することが含まれます。
続きを読む
誕生日にもらったHackPackの赤外線ターレットを使って、著者は国際宇宙ステーション(ISS)をリアルタイムで追跡する装置を作成しました。ISSのTLE（Two-Line Element）データを取得し、SGP4アルゴリズムを用いて位置を計算、方位角と仰角に変換することで、ステッピングモーターとサーボモーターを制御します。このプロジェクトは、天文学的計算、組み込みプログラミング、3Dモデリングなど複数の分野を包含しており、創造性と技術力を示しています。アマチュア天文家にとってユニークな観測ツールとなります。
続きを読む
AMDのRDNA 4アーキテクチャは、レイトレーシングにおけるレジスタ数と占有率のトレードオフに対処するために、革新的な動的VGPR（ベクトル汎用レジスタ）割り当てモードを導入しました。従来のGPUは、レイトレーシングにおいて、スレッドあたりのレジスタ割り当てが固定されているため、レジスタ要求の高いステージがスレッドの並列処理を制限し、パフォーマンスに影響を与えていました。RDNA 4の動的割り当てモードは、スレッドが実行時にレジスタ数を動的に調整することを可能にし、レジスタファイルのサイズを増やすことなく占有率を高め、レイテンシを削減し、レイトレーシングのパフォーマンスを向上させます。このモードはデッドロックを引き起こす可能性がありますが、AMDはデッドロック回避モードでこれを軽減しています。これは万能薬ではなく、wave32コンピュートシェーダーのみに限定されますが、AMDのレイトレーシング技術の進歩に大きく貢献しています。
続きを読む
日経新聞によると、日産自動車は、トランプ政権による新たな関税への対応として、米国市場向け主力車種であるROGUE SUVの一部生産を、日本から米国に移管することを検討しており、早ければ今夏にも実施される可能性がある。これは、関税発動以降、日本からの生産移管が報告された初めての事例となる。
続きを読む
Haskellにおいて、FunctorはMaybe型やリストのようなコンテキストにラップされた値を扱うための強力な抽象化を提供します。`fmap`関数はこれらの値にエレガントに関数を適用し、直接関数を適用することによって発生する可能性のある型エラーを回避します。この記事では、Functorの定義、`fmap`関数の役割、そしてFunctorが従うべき恒等律と合成律を詳細に説明し、Maybe型とリストを用いた例を示します。最後に、よりクリーンで可読性の高いコードを作成する上でのFunctorの利点を強調しています。
続きを読む
PyCon US 2025がピッツバーグで開催されます！チケット、スポンサーシップ、ホテル予約は受付中です。スケジュールは公開済みで、100以上の講演会やイベントが予定されています。PyLadiesオークション、チュートリアル、サミット、スプリントプロジェクトも登録受付中です。さらに、PyPI組織機能の展開が進み、PEP 770（ソフトウェア部品表に関する提案）は暫定的なステータスになっています。PSF理事会選挙が間近に迫っており、2024年度のPSFフェローも発表されました。PyCon US 2025のPSFブースでレトロゲームをテーマにした楽しいイベントをお見逃しなく！
続きを読む
カスタマーリサーチプラットフォーム企業であるGreat Question社は、エージェントベースのUIを設計・実装し、研究の実施を支援するAIアシスタントを構築するAIエンジニアを募集しています。この役割には、プロンプトエンジニアリング、エージェントフレームワーク（LangGraphなど）、LLMアプリケーション開発（JavaScript優先）に関する専門知識が必要で、AIシステムアーキテクチャ、プロンプトの最適化、フレームワークの選択と実装、パフォーマンス評価などを含みます。これは完全リモートのポジションで、米国またはカナダの候補者を優先します。
続きを読む
研究者は、がんリスク予測に使われている現在の臨床ツールの精度が低いことを指摘しています。AIは膨大な患者データを利用してパーソナライズされた医療を実現し、早期がん発見、診断の改善、治療プロトコルの最適化を可能にする可能性を秘めています。しかし、医療データの量は膨大で、従来のコンピュータチップでは処理能力が不足しており、計算能力が医療分野におけるAIの可能性を最大限に発揮するためのボトルネックとなっています。研究者たちはアルゴリズムの最適化に努めていますが、シリコンベースのチップ技術は性能限界に近づいており、AIの潜在能力を最大限に引き出すためには、新たなチップ技術が必要です。
続きを読む
ローダー数とは、ラルフ・ローダーが作成したCプログラムloader.cの出力結果です。このプログラムは、Bignum Bakeoffコンテストで1位を獲得しました。コンテストの目的は、理論上の無限メモリを持つマシン上で可能な限り大きな出力を生成するCプログラム（512文字以内）を作成することでした。計算はHuet-Coquand構成計算に基づいており、Marxen.cの出力など、他の既知の大数よりもはるかに大きな数を生成します。公式な証明はありませんが、推定では、急速に増加する階層における特定の値を超えていると考えられています。ローダー数の計算は計算集約的であり、その規模は、コンピュータサイエンスにおける計算限界の探求を示しています。
続きを読む
MetaのチーフAIサイエンティストであるヤン・ルカンは、大規模言語モデル（LLM）は5年以内にほぼ時代遅れになると予測しています。彼は、現在のLLMは物理世界への理解を欠いており、単純で離散的な空間（言語）で動作する特殊なツールに過ぎないと主張しています。ルカンと彼のチームは、視覚入力から物理世界の表現を作成することを目指すJEPAと呼ばれる代替アプローチを開発しており、これにより、LLMを凌駕する真の推論と計画能力が可能になります。彼は、AIが人間を置き換えるのではなく、人間の知性を増強することで社会を変革すると予想しており、AIが実存的リスクをもたらすという主張を否定しています。
続きを読む
SpacetimeDBは、データベースとサーバーの機能を融合することで、ゲーム開発に革命を起こします。開発者はアプリケーションロジックをモジュールとしてデータベースに直接アップロードし、従来のクライアントサーバーアーキテクチャのオーバーヘッドを排除します。クライアントはデータベースに直接接続し、そこでロジックを実行することで、比類のない速度と低遅延を実現します。BitCraft Onlineのバックエンドは完全にSpacetimeDB上に構築されており、すべてのゲームデータをリアルタイムで処理および同期します。SpacetimeDBは、リアルタイムアプリケーション向けに最適化されたインメモリストレージとライトアヘッドログによる永続化を使用しています。インストールは簡単で、モジュールはさまざまなプログラミング言語で記述できます。
続きを読む
コロサル社の野心的なケナガマンモス復活計画は、特に炭素隔離におけるその肯定的な生態学的影響に関する主張に基づいています。しかし、大型草食動物の炭素隔離への影響に関する既存の研究は、ばらつきがあります。アフリカ森林ゾウはそれを増強する可能性がありますが、サバンナゾウは減少させる可能性があります。ある研究では、大型草食動物の個体数を増やすと永久凍土の温度が低下するとの示唆がありますが、実現可能性と費用対効果は疑問視されています。さらに、気候変動による冬の温暖化により、マンモスの踏みつけが土壌の温暖化を加速させる可能性があります。生態系は複雑で予測不可能であり、絶滅種の現代生態系への影響を評価することは困難です。コロサルの説明はこの不確実性を利用していますが、それによって主張がより真実味を増すわけではありません。
続きを読む
ニューヨークタイムズは、ChatGPTが自社のコンテンツを無許可で使用したとして、OpenAIを著作権侵害で訴えた。裁判官は、「ただ乗り」や著作権管理情報の削除に関する主張など、一部の主張を却下したが、OpenAIが少なくともエンドユーザーによる侵害を調査する理由があったとして、他の主張は維持した。OpenAIは、AIのトレーニングはフェアユースであると主張し、ChatGPTのメリットを強調した。この判決は、ニュース出版社にとって失望となる可能性が高い一方、OpenAIにとっても部分的な勝利と言えるだろう。
続きを読む
これは、高級言語Tigerをx86-64マシンコードにコンパイルするコンパイラを構築することを目的とした、非常に実践的なコンパイラコースです。このコースではOCamlを使用し、テスト駆動開発、バージョン管理、コードの再利用を重視しています。言語とコンパイラの機能を段階的に拡張する反復的な増分開発アプローチを採用し、拡張性を高めるためにtagless-finalスタイルを最大限に活用します。このコースでは、構文解析、型チェック、最適化、アセンブリ生成など、コンパイラコースの標準的なトピックを網羅していますが、非伝統的な方法で取り扱います。
続きを読む
この記事では、Hetzner Cloud上でのKubernetes導入に関する4つの選択肢、k3s、MicroK8s、Minikube、Docker Swarmを比較します。リソースに制約のある小規模企業にとって、k3sは軽量性（40MBバイナリ、512MB RAMのベースライン）、高可用性サポート（組み込みetcd）、簡単な導入（ワンコマンドインストール）により際立っています。パフォーマンスベンチマークでは、Hetzner上でのk3sクラスタは、本番レベルのパフォーマンスと安定性を達成し、コストと拡張性の面で他の選択肢を凌駕しています。Docker Swarmはシンプルさを提供しますが、k3sの機能と拡張性に欠けています。100ノードを超える導入では、k3sワーカープールとHetznerのマネージドKubernetesサービスを組み合わせたハイブリッドアプローチが推奨されます。
続きを読む
Swiftコミュニティは長年にわたりWebAssemblyのサポートを継続的に改善しており、この記事ではそのビジョンとロードマップを示しています。WebAssemblyは、その移植性、セキュリティ、高パフォーマンス性から、クロスプラットフォームアプリケーションに最適です。SwiftとWebAssemblyの統合は、その適用範囲を拡大し、セキュリティを向上させます。特に開発ツールにおいて、SwiftマクロやSwiftPMプラグインの仮想化実行により、セキュリティが強化され、ビルド速度が向上します。将来の目標には、コアライブラリのAPIカバレッジの向上、クロスコンパイルサポートの改善、コンポーネントモデルサポートの強化、デバッグエクスペリエンスの向上などがあります。この記事では、デバッグ、マルチスレッド、64ビットアドレス空間、共有ライブラリなど、プラットフォーム固有の考慮事項についても詳しく説明し、WebAssemblyエコシステムにおけるSwiftの繁栄の可能性を示しています。
続きを読む
この記事では、チームがQEMU上でiOSをエミュレートする過程について詳述しています。既存のオープンソースプロジェクトを基に、checkra1nとPongoOSを活用してiOSのセキュリティ機構を回避しました。ソフトウェアレンダリング、IOMFB表示の問題、アドレス空間配置のランダム化、ポインタ認証（PAC）など、多くの課題を克服しました。Mach-Oパッチの生成と適用のためのツールを開発し、USBペアリングをシミュレートするためにシェルコードを注入しました。最終的に、QEMU上でiOSの起動画面とロック解除画面の表示に成功し、素晴らしい成果を収めました。
続きを読む
テネシー州には、驚くほど多様な種類の跳び蜘蛛（Salticidae）が生息しています。小型で昼行性で、優れた視力、さらには色の識別能力を持ち、求愛行動に使われます。網を張らず、隠れ家や、狩りや逃走時のバランスを取るための命綱として絹糸を使います。その毒は人間への脅威はほとんどなく、一部の種は擬態を行い、例えばアリに擬態して捕食者から身を守ります。オスの跳び蜘蛛は複雑な求愛行動を行い、種によって様々な色や行動が見られます。小さくても、跳び蜘蛛は生態系において重要な役割を果たしており、その豊富さから観察するのに最適な対象となっています。
続きを読む
3月23日、イスラエル軍はガザ南部のラファで15人のパレスチナ人救急隊員を虐殺しました。その中には、赤新月社8人と民防衛5人が含まれていました。唯一の生存者であるムンサー・アベドは、直接射撃され、車両が破壊され、その後拷問を受けたことを語っています。国連はこの攻撃を「ガザの医療システムを破壊するための組織的な政策」の一部であると表現し、赤十字社・赤新月社はこれを2017年以降、職員に対する最悪の単独攻撃と呼んでいます。この事件は、ガザ戦争における医療従事者への継続的な攻撃と、国際人道法の重大な侵害を浮き彫りにしています。
続きを読む
ニューヨーク市の50年続く不動産税制度は、その不公平さのために批判されています。大型集合住宅に過剰な税金を課し、必要なアパートの建設を妨げ、住宅危機を悪化させています。低所得世帯やマイノリティコミュニティは不釣り合いな負担を強いられており、高級マンションははるかに少ない税金を支払っています。改革を求める声が高まっていますが、市長候補はほとんど沈黙しています。制度に異議を唱える訴訟が進行中で、州最高裁判所が対応を命じているにもかかわらず、市はほとんど反応していません。
続きを読む
このレポートは、米国とその貿易相手国間の二国間貿易赤字を解消することを目的とした「相互関税」の概念を探求しています。二国間貿易赤字をゼロにするために必要な関税率を計算しています。研究によると、相互関税率は0％から99％の範囲にあり、加重平均は20％、輸入加重平均は41％です。貿易赤字の継続は、貿易バランスを阻害する関税と非関税の要因の組み合わせによるものとされています。このレポートは、弾力性モデルを用いて、関税の輸入需要弾力性と価格転嫁の推定値を使用して相互関税を計算しています。
続きを読む
カリフォルニア州では、電気自動車（EV）の充電スタンドの数がガソリンスタンドを上回りました。これは、排出量ゼロの車両の普及を示す大きな節目です。しかし、この成果は、トランプ政権下の連邦政府が積極的にガソリン車からの転換を遅らせる動きをしている中で得られたものです。カリフォルニア州はEV充電ネットワークを積極的に拡大し、2024年には178,500基の充電スタンドに達し、推定120,000基のガソリンスタンドを上回りました。カリフォルニア州はEVインフラに対して多額の連邦助成金を受け取っていますが、連邦政府は他の州で同様の助成金を停止しており、EVインフラの急速な拡大への反対を示しています。これは、2035年までにガソリン車の販売を禁止するというカリフォルニア州の野心的な目標にとって大きな課題となっています。
続きを読む
この記事では、実験を通してキャッシュ意識プログラミングがPythonのパフォーマンスに与える影響を調査します。結果は、Pythonにおいて、リスト要素へのランダムアクセスはシーケンシャルアクセスよりも常に遅く、特にデータサイズがCPUキャッシュのサイズを超えるとその差が顕著になることを示しています。これは、インタプリタ環境においても、キャッシュ意識プログラミングがPythonプログラムのパフォーマンスを向上させる可能性があることを示唆しています。実験では、ネイティブなPythonリストとNumPy配列のパフォーマンスの違いも比較し、NumPy配列はメモリレイアウトがよりコンパクトであるため、パフォーマンス上の大きな利点があることが示されました。
続きを読む
どこにでもあるオンライン広告トラッキングにうんざりしていませんか？uBlock Originをベースにしたブラウザ拡張機能AdNauseamが登場！ブロックされた広告をすべて自動的にクリックし、広告ネットワークのデータベースに架空のアクセスを登録します。大量の偽クリックデータにより、ユーザーのトラッキング、ターゲティング、監視が無効になります。これは巧妙な抵抗行為であり、TrackMeNotと同様の戦略で、データの曖昧化によって力のバランスを崩し、ユーザーに大規模監視への対抗手段を与えます。
続きを読む
This American Life（TAL）は、そのナラティブスタイルでニュース報道に革命を起こし、魅力的なストーリーテリングでリスナーを惹きつけ、ピューリッツァー賞を受賞しました。その成功は、複雑な社会問題を感動的なヒューマンストーリーに変換することにありました。代表的な例として、米墨国境の難民に関するレポート「The Out Crowd」があります。しかし、Mike DaiseyのスキャンダルはTALの評判を傷つけ、人気エピソードにおける虚偽の要素が露呈し、ナラティブジャーナリズムへの批判を招きました。それでもTALは、より厳格なファクトチェックを実施し、ナラティブジャーナリズムへのコミットメントを再確認することで、活動を継続しました。
続きを読む