AI開発における努力の逆説

2025-04-11
AI開発における努力の逆説

子供の頃の小川にダムを作る遊びの比喩を用いて、著者はAI開発における最大限の努力と賢明な選択の間の緊張関係を探っています。最初は子供のように、小さな石や葉でダムを作ろうとしていましたが、最終的にはシャベルを使う方が効率的であることを発見しました。「勝利」が、遊びの範囲を狭めることを意味することもあります。同様に、AIの分野では、著者は投資銀行の職を必死に求めていましたが、成功した後、「できるだけ多くの金を稼ぐ」というゲームがもはや不可能であることに気付きました。圧倒的な力(自然、市場)に立ち向かうとき、最大限の努力は逆効果になる可能性があると主張しています。しかし、Anthropicの教育アプリケーションに関する最近のレポートは、潜在的なリスクへの意識の高まりを示唆しており、それは海岸で必死に生きようとする貝殻のようなものです。

続きを読む
AI

AIデバッグは期待外れ:Microsoftの研究がコード生成モデルの限界を明らかに

2025-04-11
AIデバッグは期待外れ:Microsoftの研究がコード生成モデルの限界を明らかに

Microsoftの研究によると、OpenAIやAnthropicなどのトップAIラボのモデルでさえ、熟練の開発者ほど効果的にソフトウェアのバグをデバッグできないことが明らかになりました。9つのモデルをテストした研究では、デバッグツールがあっても、これらのモデルはSWE-bench Liteベンチマークのデバッグタスクの半分以上を成功させることができませんでした。研究は、データの不足を主な原因として指摘しています。モデルは、人間のデバッグプロセスを表す十分なトレーニングデータがありません。AI支援プログラミングツールは有望ですが、この研究は、コーディングにおけるAIの限界を浮き彫りにし、人間の開発者の重要性を強調しています。

続きを読む

ナノプラスチック:75年間のプラスチックが生み出した見えない殺人者

2025-04-11
ナノプラスチック:75年間のプラスチックが生み出した見えない殺人者

ネイチャー・コミュニケーションズに掲載された新しい研究は、大量のナノプラスチックが生成される分子メカニズムを明らかにしました。この研究は、プラスチックの強度と耐久性が、ナノプラスチックを形成しやすい性質と密接に関連していることを示しています。プラスチックの結晶質層と非晶質層において、非晶質層は環境劣化と破壊の影響を受けやすく、硬い結晶質層の破壊と、長期間にわたって残留し、非常に有害なナノ・マイクロプラスチックの形成につながります。この発見は、過去75年間におけるプラスチック汚染の広範かつ持続的な性質とその人体の健康への潜在的な影響を説明するものです。

続きを読む

クラシックMac OS向けMbed TLS移植:レトロテックチャレンジ

2025-04-11
クラシックMac OS向けMbed TLS移植:レトロテックチャレンジ

開発者がMbed TLSをクラシックMac OS 7/8/9に成功裏に移植しました。これは素晴らしい成果です。このプロジェクトは、最新のC言語機能を欠いたC89/C90コンパイラの制限や、Macのファイルシステムの特殊性など、多くの課題を克服しました。開発者は64ビット整数エミュレーションとカスタムエントロピー収集システムを実装し、最終的にクラシックMacで基本的なHTTPS GETリクエストを可能にしました。セキュリティ上の制限はありますが、このプロジェクトはレトロテクノロジーへの情熱と並外れたプログラミングスキルを示しています。

続きを読む

NixOSとWSLを使った自宅でのLLM環境構築

2025-04-11

この記事では、Windows Subsystem for Linux (WSL)上でNixOSを用いて、自宅でLLMを簡単に実行するための設定について説明しています。著者は、VRAMロック、WSLの自動シャットダウン、Nvidiaドライバーの問題といった課題を克服しました。Ollama、Nvidia Container Toolkit、そしてNixOSの構成管理を活用することで、自動更新と容易なシステム再構築を実現しています。このガイドでは、WSLの稼働維持、NixOSのインストール、Nvidiaドライバーの設定、Ollamaコンテナの設定、そしてオプションのTailscaleネットワーク設定について解説し、最終的に容易にアクセスできるローカルLLM環境を提供します。

続きを読む
開発

二度と観られない映画:ブライアン・イーノに関するジェネラティブドキュメンタリー

2025-04-11
二度と観られない映画:ブライアン・イーノに関するジェネラティブドキュメンタリー

影響力のあるミュージシャン、ブライアン・イーノに関するドキュメンタリー映画『Eno』は、画期的なジェネラティブ映画製作の成果です。カスタムソフトウェアを使用して、上映のたびにインタビューの抜粋とアーカイブ映像をランダムに組み合わせることで、毎回ユニークな映画体験を生み出します。これはAI生成コンテンツではなく、人間が記述したルールを使用して全く新しいものを創造しています。監督のゲイリー・ハーストウィットとパートナーは、このジェネラティブ映画製作技術を様々なジャンルに拡大し、映画館にユニークな魅力を提供し、映画芸術の限界を押し広げることを目指して、Anamorph社を設立しました。

続きを読む

テスラによるカナダのインセンティブ獲得:戦略か混乱か?

2025-04-11
テスラによるカナダのインセンティブ獲得:戦略か混乱か?

テスラは、カナダの電気自動車インセンティブで数百万ドルの申請をめぐる論争に巻き込まれている。カナダ政府は、テスラがインセンティブ期限の72時間前に8653台の車両の申請を提出したことを受け、4300万ドルの支払いを凍結した。これは異常に高い数字である。テスラは、これらは単なる未処理の申請だったと主張しているが、遡及的な申請がいくつあったかは明らかにしていない。この事件は、テスラのカナダ事業の経営、CEOイーロン・マスクの行動、カナダ政府との関係の悪化、そしてカナダにおけるテスラの悪化する評判について疑問を投げかけている。

続きを読む
テクノロジー EVインセンティブ

Crystal 1.16.0 リリース:マルチスレッドの強化と重要なバグ修正

2025-04-11
Crystal 1.16.0 リリース:マルチスレッドの強化と重要なバグ修正

Crystalプログラミング言語のバージョン1.16.0がリリースされ、いくつかの改良とバグ修正が加えられました。このリリースでは、File.match?の実装の問題が解決され、HTTP::Requestのリソース文字列の解析が改善され、パラメータ名のサフィックス?と!が非推奨となりました。最も注目すべきは、実行コンテキスト(Execution Contexts)がプレビュー機能として導入されたことで、マルチスレッドサポートが大幅に向上し、並行プログラミングのためのより堅牢なツールが提供されるようになりました。さらに、コンパイラも改良され、より長いオプションと環境変数のサポート、LLVM 20のサポートの更新などが含まれています。

続きを読む
開発

HTMLの暗黙的な見出しレベルが削除されました

2025-04-11
HTMLの暗黙的な見出しレベルが削除されました

HTML仕様書では以前、セクション要素(、、、)へのネストに基づいて、

要素のセマンティックな見出しレベルを暗黙的に決定するアウトラインアルゴリズムが定義されていました。ブラウザは、section > h1を

と同じフォントサイズとマージンでレンダリングし、section > section > h1を

としてレンダリングするなどしていました。このデフォルトのレンダリングはブラウザのUAスタイルシートにありましたが、アクセシビリティツリー(スクリーンリーダーで使用)にはありませんでした。セクション要素を使用するウェブサイトは、これらの自動生成された見出しレベルを予期せず目にしました。これにより、

の使用に関する混乱、ツールの処理の一貫性のなさ、そしてアルゴリズム自体が問題であることがわかりました。このアルゴリズムは2022年に削除されましたが、UAスタイルシートのルールは残っていました。現在、ブラウザベンダーはこれらのデフォルトスタイルを削除しています。

続きを読む
開発 仕様書

ClojureScript不要のリアルタイム協調型Webアプリ:ClojureとDatastarの力

2025-04-11

この記事は、Clojureと軽量フレームワークDatastarを使用して構築されたリアルタイムマルチプレイヤーWebゲームを紹介します。驚くべきことに、ClojureScriptもユーザーが書いたJavaScriptコードも一切使用していません!200ミリ秒ごとにページのメイン要素全体をクライアントにストリーミングし、Datastarの高効率なDOM差分アルゴリズムを活用することで、スムーズなリアルタイム協調体験を実現しています。著者は、SSE(サーバー送信イベント)とBrotli圧縮を巧みに使用して、帯域幅の問題に対処し、WebSocketによる複雑さとパフォーマンスのボトルネックを回避しています。このプロジェクトは、高性能なリアルタイム協調型Webアプリ構築におけるClojureの可能性を示しており、開発者にとってシンプルで効率的な代替手段を提供しています。

続きを読む

AIショッピングアプリ開発者が投資家詐欺で起訴:Nate社の物語

2025-04-11
AIショッピングアプリ開発者が投資家詐欺で起訴:Nate社の物語

AIショッピングアプリNateの創設者Albert Saniger氏が、5000万ドル以上の投資家詐欺で起訴されました。Nate社は、アプリがAIでECサイト間の一括購入を可能にすると主張していましたが、実際にはフィリピンにあるコールセンターの何百人もの人間が手動で購買を処理していました。調査の結果、Nate社の自動化率は事実上0%であり、資金調達時にAI能力を誇張していたことが明らかになりました。Nate社はその後倒産し、投資家はほぼ全額を失いました。この事件は、AI能力を過剰に宣伝するスタートアップ企業の問題点を浮き彫りにしています。

続きを読む
スタートアップ 投資詐欺

GDPR:ウェブサイト運営者の嘆き

2025-04-11

ウェブサイト運営者が、EUのGDPR準拠の複雑さをユーモラスに嘆いています。完全な準拠に確信が持てないため、法的リスクに直面し、規制の有効性に疑問を持っています。大企業は簡単に規則を回避できる一方、小規模運営者はコンプライアンスの負担を強いられていると主張しています。この記事は、インターネット規制の現状を反映し、オンラインでの警戒を促しています。

続きを読む

LHCを超えて:次世代の粒子加速器

2025-04-11
LHCを超えて:次世代の粒子加速器

大型ハドロン衝突型加速器(LHC)によるヒッグス粒子の発見は偉業でしたが、より深い謎が残されています。この記事では、CEPCやFCC-eeのような高精度な電子陽電子型加速器や、高エネルギーミューオン型加速器など、次世代加速器の4つの提案を探ります。これらのプロジェクトは、トンネル建設や超伝導磁石技術から国際協力まで、膨大な工学的および政治的ハードルに直面しています。長い時間と莫大な費用がかかりますが、これらの加速器は粒子物理学における画期的な進歩を約束しており、暗黒物質の性質など、標準模型を超えた物理現象を明らかにする可能性があります。

続きを読む
テクノロジー

睡眠トラッカー:本当に重要なものを測定しているか?

2025-04-11
睡眠トラッカー:本当に重要なものを測定しているか?

Affectable Sleepは、睡眠トラッカーの有効性に疑問を呈しています。この記事では、トラッカーが睡眠時間と継続性を過大評価し、睡眠の質と回復機能を無視していることが主張されています。例えば、短時間でも深い回復睡眠をとった場合でも、トラッカーは低いスコアを与える可能性があります。トラッカーは睡眠の背後にある生理学的メカニズムを解釈できず、事後分析のみを提供し、リアルタイムの最適化は行いません。この記事では、単なるデータではなく、睡眠の生理学的および神経学的プロセスに焦点を当てることを提唱し、睡眠の質を量よりも優先する新しいアプローチを求めています。

続きを読む
テクノロジー

Linuxカーネルのスレッドライフサイクルの落とし穴:ランダムに終了するChromiumプロセスのケース

2025-04-10
Linuxカーネルのスレッドライフサイクルの落とし穴:ランダムに終了するChromiumプロセスのケース

Recall.aiのOutput Mediaの起動レイテンシを最適化していたエンジニアが、不可解なバグに遭遇しました。Chromiumプロセスが起動後にランダムに終了するというものです。根本原因は、Bubblewrapの`--die-with-parent`フラグと、LinuxカーネルによるPR_SET_PDEATHSIGの処理方法にありました。このフラグは、親プロセスではなく親スレッドが終了したときに、子プロセスにSIGKILLシグナルを送信します。Tokioのスレッド管理メカニズムがこの動作と相互作用し、親スレッドが回収されたときにChromiumが予期せず終了するという結果になりました。フラグの削除によって問題は解決しましたが、Linuxカーネルのあまり知られていない特性が明らかになり、スレッドライフサイクルとプロセス分離の相互作用を扱う際の注意の必要性を強調しています。

続きを読む
開発

Parity:AI駆動型SREでオンコール地獄を解消

2025-04-10
Parity:AI駆動型SREでオンコール地獄を解消

午前2時のページャー義務と終わりのないアラートにうんざりしていませんか?ParityはAIを使用して、インフラストラクチャの問題の調査、根本原因分析、修復を自動化し、オンコールを過去のものにします。この製品は初期顧客から高い採用率を得ており、新しいカテゴリーを定義する可能性を秘めています。Parityは、Y Combinator、General Catalyst、Sugar Free Capitalなどのトップティア投資家、そしてMidjourneyやCrusoeなどの主要スタートアップの創設者や初期従業員からのエンジェル投資を受けています。

続きを読む

AIの電力消費増加:データセンターの電力消費は2030年までに倍増

2025-04-10
AIの電力消費増加:データセンターの電力消費は2030年までに倍増

国際エネルギー機関(IEA)の新しいレポートによると、データセンターの電力消費量は、主に人工知能(AI)によって牽引され、2030年までに2倍以上になると予測されています。このレポートは、2030年のデータセンターの電力消費量が945テラワット時(TWh)に達すると予測しており、これは日本の現在の年間電力消費量にほぼ相当します。AIサーバーは2024年には既にデータセンター全体の電力消費量の15%を占めていました。今後、発展途上国は将来の成長のわずか5%を占める一方で、先進国は20%以上を占めると予想されています。IEAは、計画中のデータセンターの20%がグリッド接続の遅延に直面する可能性があると推定しています。専門家は、AIの電力消費量が過小評価されている可能性があると示唆しており、世界的な電力需要の増加に対処する必要があることを強調しています。

続きを読む
テクノロジー

メシエマラソン:時間との戦い、そして宇宙との競争

2025-04-10
メシエマラソン:時間との戦い、そして宇宙との競争

メシエマラソンとは、アマチュア天文家が1晩でできるだけ多くのメシエ天体(110個)を観測するという挑戦です。シャルル・メシエによってカタログ化されたこれらの天体には、銀河、星雲、星団が含まれます。この偉業に最適な時期は、通常、3月中旬から4月上旬の満月のない数週間です。観測者は日没から日の出まで観測し、疲労や天候などの課題に立ち向かいます。最終目標は、太陽が昇る前に110個すべてのメシエ天体を観測することです。

続きを読む

米弁護士が国境で拘留、携帯電話の捜索が政治的報復の懸念を招く

2025-04-10
米弁護士が国境で拘留、携帯電話の捜索が政治的報復の懸念を招く

ミシガン州在住の弁護士、アミール・マクリード氏が家族旅行からの帰国時に、連邦移民当局に拘留された。当局は彼の携帯電話へのアクセスを要求したが、彼は拒否。90分以上にわたる困難な状況の後、説明もなく釈放された。マクリード氏は、自身の拘留は、親パレスチナ抗議活動に関与した学生の代理人を務めていることと関連があると信じている。これは、トランプ政権による親パレスチナのビザ保有者への取り締まりに起因する可能性がある。彼は、携帯電話の捜索は、同様の事件を弁護士が引き受けるのを思いとどまらせるための威嚇行為だと考えている。しかし、この事件は大きな支持を集め、政府の権力乱用に関する広範な議論を引き起こしている。

続きを読む

計画されたウェブサイトのダウンタイムの意外な経済効果

2025-04-10

この記事は、ウェブサイトが24時間365日稼働しているべきだという従来の考え方に異議を唱えています。B&H Photoが土曜日に営業を休止していることをケーススタディとして使用し、すべてのECサイトが常に稼働している必要はないと主張しています。著者は、継続的な稼働の高コストを分析し、計画的なダウンタイムが必ずしも大きな顧客損失につながるとは限らないことを示唆しています。この記事は、GoogleのSREチームが意図的に軽微な障害を引き起こして、ユーザーにフォールバックプランを検討させるようにしたことに類似点を示しています。最後に、計画的なダウンタイムによる潜在的なクラウドコストの削減を計算し、オンコール担当者の報酬とのトレードオフを検討しています。

続きを読む
スタートアップ

ブログ記事からベストセラーへ:Go言語の書籍によるプログラマの旅

2025-04-10
ブログ記事からベストセラーへ:Go言語の書籍によるプログラマの旅

この記事では、著者が「Go言語の100個の間違いとその回避策」という本を執筆した過程について詳しく説明しています。スイスでのGo言語による簡単な概念実証(PoC)から始まり、著者は仕事の変化、出版社とのやり取り、編集者や査読者からのフィードバックの処理、最終的な出版とリリースに至るまで、直面した課題を語っています。この物語は、著者の個人的な成長、読者からのフィードバックの価値、そしてライティングスキルの向上を強調しています。翻訳を含む本の成功、そして執筆の意義と報酬、お金や名声に対する客観的な視点についても議論されています。

続きを読む
開発

Python 3.14でテンプレート文字列が登場:f文字列を超えた安全な文字列処理

2025-04-10
Python 3.14でテンプレート文字列が登場:f文字列を超えた安全な文字列処理

Python 3.14は、テンプレート文字列(t文字列)を導入します。これはf文字列を拡張したもので、開発者は文字列補間前に値にアクセスして変換できるため、SQLインジェクションやXSSなどのセキュリティ脆弱性を防ぎます。t文字列は、文字列の部分と補間式を含む新しい`Template`オブジェクトに解決されます。これにより、HTMLサニタイズや構造化ログ記録などのカスタム処理が可能になります。この拡張により、Pythonはより柔軟で安全な文字列処理機能を獲得し、高度なDSLやテンプレートエンジンの構築に新たな可能性が開かれます。

続きを読む

あなたのマウスはデータベース:非同期データストリームとRx

2025-04-10

この記事では、Rx(Reactive Extensions)を用いた非同期データストリームの処理方法について探求しています。著者は、現代のWebアプリケーションとモバイルアプリケーションが非同期およびリアルタイムのデータストリームに大きく依存していることを指摘し、Rxがこれらのストリームを調整およびオーケストレーションするためのエレガントな方法を提供すると述べています。従来のデータベース技術とRxを比較することで、Rxが非同期計算をファーストクラスの市民としてどのように扱うか、そして効率的なデータストリームの構成と変換のために流暢なAPIを使用する方法を説明しています。最後に、著者は簡単なAjax自動補完の例を用いてRxの強力な機能を示し、Rxとモナドの関係にも簡単に触れています。

続きを読む
開発

ByzFL:データソースを信頼せずに信頼できるAIを構築する

2025-04-10
ByzFL:データソースを信頼せずに信頼できるAIを構築する

現在のAIモデルは膨大な中央集権化されたデータセットに依存しており、セキュリティとプライバシーに関する懸念を引き起こしています。EPFLの研究者たちは、データを中央集権化せずに分散型デバイスでAIモデルをトレーニングするために、フェデレーションラーニングを使用するライブラリByzFLを開発しました。ByzFLは悪意のあるデータを検出して軽減し、特に医療や輸送などのミッションクリティカルなアプリケーションにとって重要な堅牢性と安全性を確保します。信頼できるAIシステムを構築するための革新的なソリューションを提供します。

続きを読む

ミニマリストなLinuxカーネルモジュール:7バイト実行ファイル

2025-04-10

著者は、カーネルモジュールを使って、メタデータを持たないカスタムのバイナリファイルフォーマットをLinux向けに作成しました。当初は小さなELF実行ファイルを目指し(45バイトの最小サイズを達成)、さらに小さなaout形式を探求し、最終的に7バイト、そして2バイトの実行ファイルを作成しました。この記事では、カーネルモジュールの作成、新しい形式をサポートするカスタムローダー、スタックとコマンドライン引数の処理、プログラムの終了を自動化する改善点などを詳しく説明しています。この取り組みは、カーネルモジュールの威力と、実行ファイルのサイズを最小限にする技術の高さを示しています。

続きを読む

Searchception:巨大テック企業によるブラウジングの乗っ取り

2025-04-10
Searchception:巨大テック企業によるブラウジングの乗っ取り

ブラウザと検索エンジンが別々だった時代を覚えていますか?もうそんな時代ではありません。この記事では、Google、Microsoftなどがどのようにしてアドレスバーと検索バーを統合することで境界線を曖昧にしたかを説明しています。この「Searchception」は、URLが既知の場合でも、ユーザーをデフォルトの検索エンジンに巧妙に誘導し、データ収集と広告収益を最大化します。オムニボックス、予測検索、OSへの深い統合、さらには検索結果における視覚的な模倣など、すべてがこの陰湿な効果に貢献しています。著者は、独立した検索バーとアドレスバーを持つブラウザを使用したり、完全なURLを入力したり、隠れた操作に気づくことで、主体性を取り戻すことを提唱しています。

続きを読む
テクノロジー

歌川国芳のヤマウバシリーズ:美意識とタブーのせめぎあい

2025-04-10
歌川国芳のヤマウバシリーズ:美意識とタブーのせめぎあい

歌川国芳のヤマウバシリーズは、ヤマウバの相反するイメージを提示しています。荒々しい眉と乱れた髪は、彼女が社会のはぐれ者であることを示唆していますが、一方、美しい着物と繊細な容姿は、本来の「怪物」としての側面を弱めています。一部の学者は、これが検閲を回避するための官能的な表現の隠された方法であると解釈し、胸を露出したいくつかの画像を指摘しています。しかし、この解釈は、シリーズの大部分が露骨なエロティシズムではないこと、そして国芳がより露骨な作品を発表していた事実を見過ごしています。彼の最終的な罰則は、わいせつな内容ではなく政治的な内容に起因しており、当時の複雑な検閲制度と、芸術表現と社会のタブーとの間の微妙なバランスを浮き彫りにしています。

続きを読む

LinuxカーネルがShebangスクリプトを実行する方法

2025-04-10

この記事では、LinuxカーネルがShebang(#!)スクリプトをどのように処理するかを詳しく解説します。単純なシェルスクリプトから始め、`execve`システムコール、`binfmt_script`モジュール、`load_script`関数の重要な役割を明らかにしながら、カーネルの実行フローを追跡します。作者は、カーネルがShebangを読み取り、指定されたインタープリターを見つけ、実行し、最終的にスクリプトを実行するプロセスを綿密に説明します。Shebangの有無によるスクリプト実行の違いや、権限チェックメカニズムについても比較し、Linuxシステムの内部動作についての興味深い洞察を提供します。

続きを読む
開発

AppleのAIブレークスルー:Activation Transport (AcT)による生成モデルの精密制御

2025-04-10
AppleのAIブレークスルー:Activation Transport (AcT)による生成モデルの精密制御

Appleの機械学習研究者たちは、Activation Transport (AcT)と呼ばれる新しい技術を開発しました。これは、LLMやテキストから画像への拡散モデルなど、大規模な生成モデルの出力を精密に制御する技術で、RLHFやファインチューニングのようなリソースを大量に消費するトレーニングを行う必要がありません。AcTは最適輸送理論を用いてモデルの活性化を制御し、最小限の計算オーバーヘッドでモダリティ非依存の制御を実現します。実験では、毒性の軽減、LLMにおける真実性の向上、画像生成におけるスタイルの制御において、著しい改善が示されました。AcTは、より安全で信頼性の高い生成モデルへの道を切り開きます。

続きを読む

市消防車と空港消防車:その違い

2025-04-10
市消防車と空港消防車:その違い

市消防車と空港消防車(ARFF)はどちらも消火活動を行うものの、役割と能力は大きく異なります。市消防車は、狭い市街地での機動性を重視し、様々な大きさの水槽(500~1000ガロン)と、ホース、空気ボンベ、小型工具などを搭載しています。一方、空港消防車は、空港内での迅速な対応(3分以内)を目的としており、より大型の水槽(1500~4500ガロン)と、航空機火災に対応するための高所放水銃(HRET)を備えています。また、より多様な消火剤を搭載し、加速性能も厳しく求められます。シャーシの設計や運転室の構成も、それぞれの環境の特殊な要求に合わせて異なっています。

続きを読む
1 2 315 316 317 319 321 322 323 595 596