第9巡回裁判所は、Briskin訴Shopify事件において、カリフォルニア州におけるShopifyに対する個人管轄権を認めました。カナダ企業であるShopifyは、本社がカリフォルニア州にないことを理由に管轄権がないと主張しましたが、裁判所はShopifyがカリフォルニア州のユーザーを意図的に対象とし、カリフォルニア州ユーザーのデータの収集と商業利用を「明確なターゲティング」とみなしました。この判決は、eコマースプラットフォームに大きな影響を与え、オンライン個人管轄権の範囲が拡大する可能性があります。
続きを読む
NTT株式会社は、世界で初めてドローンを用いた落雷誘導に成功しました。自然雷下での実験において、直接落雷にも耐える革新的な避雷ケージと、電界に基づいた誘導方法の有効性を検証しました。この画期的な成果は、都市やインフラへの落雷被害を大幅に削減する道を開き、将来的には「落雷ドローン」の展開による広範な保護、さらには落雷エネルギーの活用を目指します。この成功は長年の研究に基づき、従来の避雷針の限界に対応するものです。
続きを読む
C++26はconstexprに革命を起こそうとしています！今後の機能には、void*からのconstexprキャスト（コンパイル時のより柔軟なメモリ操作が可能）、constexpr placement new（定数式でのオブジェクト配置が可能）、constexpr構造化束縛（コンパイル時の構造化束縛が可能）などがあります。これらの改良により、constexprの適用範囲が大幅に広がり、標準ライブラリはコンパイル時機能が大幅に向上します。
続きを読む
この記事では、AIによる支援によってソフトウェア開発における喜びが失われることへの著者の懸念を探っています。生産性向上を認めつつも、かつてコード作成から得られていた没入感と満足感であるフロー状態の経験の減少を嘆いています。AIツールは効率的ですが、より受動的でキュレーション的な役割を生み出し、生産性が高いものの、奇妙なほど満たされない開発者を生み出す可能性があります。著者は、AI拡張された世界における喜びを再定義する必要性を示唆し、幸福感と創造性を維持するために、意図的に手動コーディングを維持することを提唱しています。
続きを読む
17世紀初頭、徳川家康が日本を統一した後、江戸（現在の東京）は新たな首都となり、数百年にわたる内乱に終止符を打ちました。しかし、犯罪は依然として横行していました。政府は、主に武士からなる警察組織を設立し、町奉行が監督し、同心や与力といった様々な階級の役人を雇用しました。与力は高い地位と給与を得ていましたが、同心は日常の治安維持の大部分を担い、時には目の刺激物や拷問といった残忍な手段に訴えて自白を強要することもありました。百万人を超える人口を抱える都市の治安維持において効果的だったこのシステムは、江戸時代の司法の厳しい現実と矛盾を浮き彫りにしています。
続きを読む
プログラマーでありアーティストでもある人物が、プログラミング言語を使ってジェネラティブアートを作成する方法を共有しています。彼はLispやSmalltalkなどのインタラクティブな言語を好み、プログラムの実行中にリアルタイムでコードを修正し、プログラムの状態を検査して創造的な探求を行っています。彼のインスピレーションは自然のシステムや美術史から来ており、例えば、彼はカンディンスキーのスタイルを複製して、コードを通して無数の類似したパターンを生成しました。彼は、アートと科学研究は似ており、どちらも創造的な問題解決に依存していると見ていますが、AIは画像を生成できるものの、人間の芸術創作に内在する自己変容や知覚の向上は欠けていると指摘しています。
続きを読む
Dino 3Dは、体の動きで操作する3D恐竜ゲームです。両手を頭上に上げることで開始。自動的にキャリブレーションが行われます。必要に応じて感度調整も可能です。左手を上げると左に移動、右手を上げると右に移動します。ジャンプとしゃがみは、文字通りジャンプとしゃがむことで操作します！
続きを読む
任天堂は、カリフォルニア州の裁判所で、「テラリーク」として知られる大規模なポケモンデータ流出事件の犯人を特定するため、Discordを訴えています。この流出には、発売前のポケモンレジェンズ：Z-Aのソースコード（未公開）、次世代ポケモンタイトル、古いゲームのビルド、膨大な数のコンセプトアートと世界観に関する文書が含まれていました。任天堂は、DiscordユーザーのGameFreakOUTが、FreakLeakサーバーに機密資料を投稿したと主張しており、そこから流出が広く拡散されました。DMCAによる削除要請にもかかわらず、情報はオンラインに残りました。この訴訟は、GameFreakOUTの身元情報を取得し、責任を問うことを目的としています。
続きを読む
このドキュメントでは、オンラインインタラクションの新しい方法を探求するために設計された実験的なプロトコルであるSpring83を紹介します。これはユーザー向けではなく、共同研究者による探求と開発への招待です。すでに様々なプログラミング言語でいくつかの実装が存在しており、作者はさらなる貢献を奨励しています。
続きを読む
最近の研究では、大規模言語モデル（LLM）が単純な3D機械部品のCADモデルを生成する驚くべき能力を示しており、その性能は急速に向上しています。あるエンジニアは、LLMとオープンソースのプログラマティックCADツールであるOpenSCADを組み合わせることで、自然言語プロンプトを用いてiPhoneケースなどのモデルを生成することに成功しました。その後、CadEvalという評価フレームワークが開発され、様々なLLMによるCADモデル生成能力がテストされた結果、推論能力を持つモデルが推論能力を持たないモデルを大幅に上回る性能を示しました。同時に、テキストからCADを生成するスタートアップ企業も登場していますが、その性能はLLMとOpenSCADを組み合わせた方法にはまだ及んでいません。今後、LLMや関連技術の進歩に伴い、テキストからCADを生成する技術は機械工学分野で広く利用されるようになり、CAD設計の自動化とインテリジェント化が実現すると期待されます。
続きを読む
この記事では、テクノロジー企業がソフトウェアを、正確な機械ではなく、隠れた意図を持つ操作的なセールスマンのように設計していることを批判しています。YouTubeの不要なショートビデオのしつこい推奨などが、この不満なユーザーエクスペリエンスの例です。著者は、これが特に若い世代の人々のコンピュータへの理解を損なっていると主張しており、彼らはソフトウェアは明確な指示に従うのではなく、説得力のあるものであるべきだと考えています。行動喚起は、人間的な模倣ではなく、正確で予測可能なソフトウェアの動作への回帰です。
続きを読む
この記事は、モデルコンテキストプロトコル（MCP）の可能性と限界について深く掘り下げています。MCPは、ChatGPTのような大規模言語モデル（LLM）と外部データソースを接続する標準化されたAPIであり、LLMがリアルタイムデータにアクセスし、アクションを実行できるようにします。著者は、コード学習用と予測市場に接続する2つの実験的なMCPサーバーを構築しました。有望である一方で、MCPは現在、ユーザーエクスペリエンスの悪さと深刻なセキュリティリスクに悩まされています。重要なのは、ChatGPTなどのLLMクライアントが新しいゲートキーパーとなり、MCPのインストール、使用、可視性を制御することです。これは、Googleの検索エンジンやアプリストアにおける支配力を反映し、AIエコシステムを再形成します。将来、LLMクライアントは、どのMCPが優先されるか、あるいは許可されるかさえ決定し、MCPパッケージ、アフィリエイトショッピングエンジン、MCPファーストコンテンツアプリなど、新しいビジネスモデルにつながります。
続きを読む
この記事では、Boidsアルゴリズムを例に、Common Lispでのライブコーディングによるグラフィックスプログラミングを解説します。Common Lispの強力な再コンパイル機能により、プログラムの実行中にコードを変更し、即座に反映させることができ、再起動の必要がありません。作者はSketchグラフィックスフレームワークを使用し、Boidsアルゴリズムを段階的に実装し、ライブコーディングによる効率的な開発プロセスを示しています。コードの変更とリアルタイムでの効果の観察により、分離、凝集、整列の3つのルールを含むBoidsアルゴリズムのコア部分が実装され、最終的にマウスを追従するBoidsシミュレーションが実現します。ライブコーディングは、開発の効率性とインタラクティブ性を大幅に向上させます。
続きを読む
プログラマーは、ブランチアンドバウンドアルゴリズムとカスタムデータ構造を用いて、4x4ボグルゲームで最高得点の盤面を計算によって証明するのに数ヶ月を費やしました。これはほぼ40年間続いた問題を解決し、一見不可能に見える網羅的な探索も、十分に深い探索を行うことで達成できることを示しています。このプロジェクトは192コアのCPUを使用し、5日間かかり、約1200ドルの費用がかかりました。AIを使用していませんが、古典的なアルゴリズムとデータ構造の能力、そして計算集約的な問題に取り組む上でのクラウドコンピューティングの役割を示しています。
続きを読む
この投稿はシリーズの2番目で、高負荷下でのClickHouseの読み込みパフォーマンスの最適化について深く掘り下げています。著者は、読み込みと書き込みを完全に分離するという神話を打ち破り、頻繁なデータ取り込みが読み込み効率にどのように影響するかを強調しています。様々なトラフィックの種類（リアルタイム、長時間実行クエリ、バックフィル）、クエリ設計のベストプラクティス（ソートキー設計、フィルタ最適化、`max_threads`設定など）、クラスタの監視とエラー処理について検討します。また、マテリアライズドビューの管理、一般的な問題のトラブルシューティング、Tinybirdでの実践的な経験についても説明します。
続きを読む
Mooseは、純粋なTypeScriptまたはPythonコードを使用して分析バックエンドを構築できる革新的なフレームワークです。従来のアプローチの問題点であるツールの断片化、スキーマのずれ、面倒なワークフロー、SQLのみの処理といった問題点を解決します。Mooseは、データアプリケーションロジックとデータインフラストラクチャの両方に対して、コードを唯一の真実の情報源にします。ClickHouse、Redpanda、Temporalとの事前設定された統合を提供し、ワンコマンドでのローカル起動とホットリロード開発を可能にし、効率を大幅に向上させます。モデルを一度定義するだけで、API、ストリーム、データベース全体でシームレスに使用できます。追加の手順は必要ありません。
続きを読む
この記事では、OpenJDKのガベージコレクタであるZGCにおけるJavaヒープメモリ割り当ての仕組みを詳しく解説します。JDK-8350441で導入されたマップドキャッシュによる改良に焦点を当てています。ZGCはヒープメモリをページ（小、中、大）に分割し、ページアロケータとパーティションによって管理します。メモリ割り当てのプロセスは、容量管理、物理メモリと仮想メモリの相互作用、および割り当て速度の最適化と断片化の削減におけるマップドキャッシュの役割を含め、綿密に説明されています。NUMAアーキテクチャがマルチパーティション割り当て、メモリのコミット、回収、デフラグメンテーションに及ぼす影響についても詳細に説明し、最後に起動時間と実行時レイテンシのトレードオフについて議論します。
続きを読む
プログラマーのVarun Raghuは、「雰囲気コーディング」（AIを使って概念を深く学ぶことなくアプリを素早く作成すること）をやめると発表しました。AIは開発をスピードアップしますが、学習の妨げになることに気づきました。彼は、コーディングはプロセス、問題解決、批判的思考であり、最終的な製品ではないと結論付けました。そのため、プログラミングを真に習得するために、「悪い」コードをゆっくりと意図的に書くことに戻りました。
続きを読む
c/ua（「クーア」と発音）は、高性能で軽量な仮想コンテナ内でAIエージェントが完全なOSを制御できる軽量フレームワークです。Apple Siliconでは最大97％のネイティブ速度を実現し、あらゆるビジョン言語モデルと連携します。高性能仮想化（Lume CLIとAppleのVirtualization.Frameworkを使用してApple Silicon上でmacOS/Linux仮想マシンを作成および実行）とコンピュータ使用インターフェース＆エージェントを統合し、AIシステムが仮想環境を観察および制御し、Webブラウジング、コード記述、複雑なワークフローの実行を可能にします。セキュリティ、分離、高性能、柔軟性、再現性を確保し、様々なLLMプロバイダーをサポートしています。
続きを読む
Advanced Alchemyは、SQLAlchemyのために注意深く設計され、徹底的にテストされ、最適化されたコンパニオンライブラリです。一般的なCRUD操作と高度に最適化されたバルク操作を備えた同期および非同期リポジトリを提供します。Litestar、Starlette、FastAPI、Sanicなどの主要なWebフレームワークと統合され、カスタムビルドのAlembic構成とCLIを備えています。組み込み機能には、さまざまなストレージバックエンド（fsspecとobstore）をサポートするファイルオブジェクトデータ型、最適化されたJSON型、UUID6とUUID7のサポート、および事前設定された基本クラスが含まれています。Advanced Alchemyは、SQLAlchemyモデルのCRUD操作を簡素化し、ページング、ソート、フィルタリングなどの機能を提供します。
続きを読む
20世紀後半に流行した昇降式ペンダントライトに着想を得て、著者は電動式の自作に挑戦。モーター、スリップリング、マイクロコントローラーの選定から、機械設計、電気設計、ファームウェア開発に至る過程を詳細に記述。問題と解決策を丁寧に記録し、最終的に5つの遠隔操作可能なペンダントライトを完成。得られた教訓と今後の改良点について考察する。
続きを読む
20年前、Jawed KarimがYouTubeに最初の動画「Me at the zoo」をアップロードしました。現在、YouTubeは巨大なプラットフォームとなり、毎日2000万本以上の動画がアップロードされ、2024年には平均で毎日1億件以上のコメントが投稿されています。20周年を記念して、YouTubeはTVアプリの大幅なアップデートを発表しました。直感的なナビゲーション、再生機能の改善、コメントやチャンネル情報のアクセス向上などが含まれています。さらに、YouTube TVは長年要望の多かったマルチビュー機能を追加し、最大4チャンネルを同時に視聴できます。YouTube CEOのNeal Mohanは、米国ではテレビでの視聴がモバイルを上回り、主要な視聴デバイスになっていると述べています。YouTubeの圧倒的な規模が、ストリーミングビデオにおけるその支配的地位を維持しています。
続きを読む
メソポタミアから19世紀まで、ビールは船乗りの生活に欠かせないものでした。船乗りたちに栄養とカロリーを提供しただけでなく、長い航海における壊血病の予防にも大きく貢献しました。この記事では、古代の日常飲料から英国海軍の標準支給、壊血病予防への利用、醸造技術の発展まで、ビールが海事史において果たした驚くべき役割を詳細に説明しています。歴史と技術の融合した、魅力的な物語です。
続きを読む
UBSとGartnerは、貿易関税とマクロ経済の不確実性により消費者需要に影響が出ることから、世界のPCとスマートフォンの市場成長予測を大幅に引き下げました。世界のPC出荷台数は2025年と2026年にわずか2％の伸びにとどまると予想され、スマートフォン出荷台数はそれぞれ1％と横ばいになる見込みです。米国市場は不均衡に影響を受け、PC需要の減少が見込まれます。しかし、AppleとSamsungが米国関税を避けるため中国からの生産移管を進めることから、インドは恩恵を受ける見込みです。メーカーは中国からの脱却を進めており、インドのハードウェア製造における役割は強化されるでしょう。
続きを読む
MITの研究者たちは、20以上の古典的な機械学習アルゴリズムを結びつける「機械学習の周期表」を開発しました。このフレームワークは、異なる手法の戦略を融合して既存のAIを改善したり、新しいAIを作成したりする方法を示しています。彼らは2つのアルゴリズムの要素を組み合わせて、新しい画像分類アルゴリズムを作成し、最先端の手法を8％上回りました。この表の基礎：すべてのアルゴリズムは、データポイント間の特定の関係を学習します。多くのアルゴリズムの基礎となる統一的な方程式があり、研究者たちはそれによってアルゴリズムを分類することができます。化学の周期表と同様に、まだ発見されていないアルゴリズムを予測する空欄があり、古いアイデアを再発見することなく新しいアルゴリズムを設計するためのツールキットを提供しています。
続きを読む
ハーバード・ビジネス・スクールの研究によると、AIチャットボットは孤独感を軽減できることが示唆されています。しかし、これには懸念も付きまといます。私たちは、潜在的により深刻な問題を作り出すことで、別の問題を解決するというパターンを繰り返しているのでしょうか？ファストフードが飢餓に対処したものの肥満につながったように、AIコンパニオンは便利な仲間を提供するかもしれませんが、真の人間関係に取って代わることはできず、依存症や社会スキルの低下につながる可能性があります。AIチャットボットへの過度な依存が原因で14歳の少年が自殺した事例は、厳格な警告として機能します。私たちは、社会的な孤立の根本原因に対処し、コミュニティの構築や人間関係への投資を行う必要があります。技術に頼って感情の空白を埋めるのではなく、そうすべきです。
続きを読む
Commodore 64、Apple II、NESなどの名機を動かしたMOS 6502は、「不正な」オペコードで有名です。256個のオペコードのうち105個が未定義ですが、多くのものが有用な動作をします。多くの記事がその効果を文書化していますが、この記事はその起源を探ります。6502の内部Programmable Logic Array（PLA）を分析することで、著者はこれらの文書化されていない命令がチップ設計からどのように生じるのかを明らかにします。「LAX」命令（LDAとLDXの組み合わせ）や「KIL」オペコード（CPUを停止させる）などの例が説明され、6502のアーキテクチャが意図せず機能的な、ただし未定義の命令を作成したことが示されます。
続きを読む
Grand Theft Auto: San Andreasにおける長年のバグが再燃しました。Windows 11 24H2にアップデートすると、スキマー機が消えてしまうのです。調査の結果、この問題はゲームコード内の初期化されていない変数と、Windows 11 24H2アップデートにおける`LeaveCriticalSection`関数のスタック空間の変更が原因であることが判明しました。これにより、ゲームは20年間、予期せぬ形で未定義の動作に依存していましたが、アップデートによってこの脆いバランスが崩れたのです。作者はゲームファイルの修正やSilentPatchパッチを使用してこの問題を解決し、ゲームコードにおける長年の欠陥と、Windowsシステムアップデートがもたらす予期せぬ互換性の問題を明らかにしました。
続きを読む
数学者たちが、無限の可能性を持つ量子ルービックキューブを作成し、新しい量子移動を導入しました。古典的なルービックキューブの有限の順列とは異なり、量子版では、ピースが同時に複数の状態に存在する重ね合わせが可能です。古典的、量子、そして組み合わせた解法アルゴリズムを比較したシミュレーションでは、組み合わせたアプローチが最高の性能を示し、次に量子、そして古典的アプローチという結果になりました。古典的ソルバーは、より速い解を時々見つけることができましたが、量子ソルバーはより一貫した解法時間を提供しました。この研究は、量子コンピューティングに対する新しい視点と、数学愛好家にとって魅力的なパズルを提供しています。
続きを読む
最近、すべての執筆にObsidianを使い始め、HugoとCloudflare Pagesを組み合わせて完全に無料のブログを構築しました。Obsidianのローカルファーストモデルとミニマルテーマにより、執筆は集中して効率的になります。iCloudでデバイス間でのノートの同期がシームレスに行われ、HugoとBearテーマは高速でミニマルなウェブサイトを提供します。GitHubとCloudflare Pagesは無料で信頼性の高いデプロイを提供します。これにより、サブスクリプションやベンダーロックインなしで完全な制御が得られます。設定には多少の技術的な知識が必要ですが、その結果、摩擦のない公開ワークフローが実現します。
続きを読む