ベテラン開発者が、以前の会社でのデータベース書き換えの経験を語ります。元のシステムはSQL Serverを使用しており、複雑なストアドプロシージャのためにパフォーマンスのボトルネックと頻繁な停止に見舞われていました。書き換えではシンプルなキーバリューストアを選択しましたが、データモデルの不一致とトランザクションサポートの欠如により、I/O操作が急増し、パフォーマンスが悪化し、複雑なチェックポイントシステムが導入されました。最終的に、この書き換えは元の問題を解決できず、新たな課題を生み出しました。このユーモラスな話は、技術選定とアーキテクチャ設計の重要性、そして過度な簡素化による悪影響を反映しています。
続きを読む
セキュリティ研究者のThomas Rocheは、YubiKey 5で使用されているInfineon SLE78セキュアエレメントに重大な脆弱性があることを発見しました。サイドチャネル攻撃を用いて、ECDSA秘密鍵の抽出に成功しました。この脆弱性はInfineonの暗号化ライブラリの複数バージョンに影響し、自動車、医療、産業制御、航空宇宙などの分野のセキュリティに影響を与えます。研究者は、業界に対し、この脆弱性への対応をすぐに求めています。
続きを読む
AIとオンライン授業の普及により、学生ローン詐欺が急増しています。犯罪組織はAIチャットボットを「ゴースト学生」として利用し、オンライン授業に登録して財政援助を受け取っています。カリフォルニア州の大学は2024年に120万件の不正申請を報告しており、22万3千件の疑わしい偽登録と少なくとも1110万ドルの損失が発生しました。被害者は多額の債務を抱えるだけでなく、ボットによって授業が満員になるため、必要な授業を受講できない可能性もあります。米国教育省は、政府発行の身分証明書の提示を義務付ける暫定措置を講じていますが、より強力な長期的な解決策が開発中です。
続きを読む
MITの研究者たちは、AIと3Dプリントを用いてデジタル修復を絵画の原画に直接適用する新しい手法を開発しました。この手法は、数千もの損傷箇所を自動的に特定し修復し、従来の方法より66倍高速です。従来であれば数年かかる15世紀の絵画の修復が、3.5時間で完了しました。倫理的な考慮事項はありますが、この技術は、多くの損傷した美術品の修復を加速し、より多くの美術品を一般公開することを約束します。
続きを読む
チェスプレイヤーは、常にブッツチェスの方がブレットチェスよりも成績が良かった。駒の動かし方をドラッグ＆ドロップからクリックに変更したことで、平均移動時間が0.25秒短縮された。この小さな変化は、ブレットチェスのELOを大幅に向上させ、ブッツとブレットのレーティングの差を半分に縮めた。彼はこの改善を、より多くの思考時間と事前移動の減少、そしてそれによるミス削減に帰している。
続きを読む
新たな報告書は、エタノール生産の拡大が温室効果ガス排出量を増やすだけでなく、中西部地域社会への約束された社会的・経済的利益をもたらさないという結論を出しています。補助金は主に大規模農業企業に利益をもたらし、土地集約化を招き、小規模農家の状況を悪化させています。提案されている政策は、土地転換と排出量を増やし、これらの問題を悪化させる可能性があります。トランプの減税は、土地転換による排出量を低排出燃料の計算から除外することで、状況をさらに複雑にしています。バイオ燃料業界団体は反応していませんが、一部は報告書が炭素排出量を過大評価していると主張し、大豆ベース燃料による経済的貢献と雇用創出を強調しています。
続きを読む
この記事では、macOS で C/C++ プログラムをコンパイルする際の著者の経験を詳細に説明し、遭遇した課題と解決策に焦点を当てています。コンパイラのインストール、依存関係の管理（`apt-get` や `brew` などのツールを使用）、`Makefile` や `./configure` スクリプトの操作など、実践的なガイドを提供します。主なポイントは、コンパイラの警告の処理、`CPPFLAGS` や `LDLIBS` などの環境変数を使用したリンカーエラーの解決、`make` を使用したターゲットの選択的コンパイルです。また、システムツールやライブラリにおける C コンパイルの普及性から、C プログラムを書かないプログラマーにとっても C コンパイルの理解が重要であることを強調しています。最後に、著者がコンパイル済みのパッケージを Homebrew に成功裏に貢献したことで、コンパイルプロセスの習得による実用的な利点が示されています。
続きを読む
アムステルダム市は、福祉システムにおける不正検知のための「公平な」AIモデルの構築を試みました。これは、調査件数の削減、効率性の向上、脆弱な集団に対する差別回避を目的としていました。初期モデルは、非オランダ人や非西洋系出身者に対してバイアスを示しました。トレーニングデータの重み付けによってバイアスが軽減されましたが、現実世界の展開では、反対方向の新しいバイアスと、パフォーマンスの大幅な低下が明らかになりました。最終的にプロジェクトは中止され、AIにおける公平性のさまざまな定義間の避けられないトレードオフが浮き彫りになりました。ある集団におけるバイアスを軽減しようとする試みは、他の集団におけるバイアスを無意識のうちに増加させる可能性があり、アルゴリズム的決定における公平性の達成の複雑さを示しています。
続きを読む
この記事では、「システムプログラミング」という用語の進化を探求しています。著者は、この用語が2つの異なる概念、つまり低レベルプログラミング（マシンの実装の詳細を扱うこと）とシステム設計（複雑に相互作用するコンポーネントを作成および管理すること）を混同していると主張しています。1970年代のアセンブリ言語の改善から、1990年代のスクリプト言語の台頭、そして今日のプログラミング言語のパフォーマンス向上まで、システムプログラミングの境界はますます曖昧になっています。著者は「システムプログラミング」を「低レベルプログラミング」として再定義し、システム設計を独立した分野として残すことを提案しています。そして、関数型プログラミングの原則はシステム設計において価値があると主張し、コンピュータサイエンス教育において低レベルプログラミングとシステム設計の指導を分離して、アイデアの相互授受を促進することを提案しています。
続きを読む
信じられないかもしれませんが、鶏用のメガネはかつてアメリカの養鶏場で一般的な光景でした。羽をつつくことや共食い行動を抑制するために20世紀初頭に開発されたこの小さなメガネは、セルロイドからアルミニウムまで様々な素材で作られ、透明なものと、興味深いことに赤く着色されたものがありました。赤い色は血の色を隠すためだと考えられていましたが、後に鶏は色盲であることが認められました。それでも何百万もの鶏用メガネが売れ、人気のテレビ番組にも登場しました。今ではコレクターアイテムとなったこれらのメガネの物語は、動物福祉慣行の継続的な進化を反映しています。
続きを読む
3月初旬、4人の中国のエンジニアが、15台のハードドライブに80テラバイトのデータを保存してマレーシアに渡航し、AIモデルの訓練を行いました。マレーシアのデータセンターにある、高度なNvidiaチップを搭載した約300台のサーバーを使用しました。これは、AIモデルの訓練に海外の資源を利用していることを示しています。
続きを読む
Rocky Linux 10（Red Quartz）が一般公開されました。RISC-Vアーキテクチャのサポートが追加されましたが、古いRaspberry Piモデルのサポートは廃止されました。今年初めにリリースされたAlmaLinux 10とRHEL 10と比較すると、ハードウェアとソフトウェアの両面で微妙な違いが見られます。最も顕著な違いは、RHEL 10とRocky Linux 10がx86-64-v3 CPUを必要とするのに対し、AlmaLinux 10はx86-64-v2もサポートしている点です。さらに、RHEL 10独自のAIアシスタント「Lightspeed」はRocky Linux 10には含まれていません。機能的には似ていますが、Rocky Linux 10はハードウェア互換性、AI機能、商用サポートにおいて、他のRHEL代替ディストリビューションと少しずつ差をつけ、独自の市場ニッチを築きつつあります。
続きを読む
大規模言語モデル（LLM）の推論能力の限界を浮き彫りにしたAppleの論文が、AIコミュニティで激しい議論を引き起こしています。この論文は、非常に大規模なモデルでさえ、一見単純な推論タスクに苦労することを示しており、人工一般知能（AGI）達成のための「スケーリングがすべて解決する」という一般的な仮説に疑問を投げかけています。いくつかの反論が提出されましたが、どれも説得力のあるものではありませんでした。記事では、出力の長さ制限とトレーニングデータへの過剰依存により、LLMが複雑なアルゴリズムを確実に実行できないことが中心的な問題であると主張しています。真のAGIを実現するには、より優れたモデルと、ニューラルネットワークとシンボリックアルゴリズムを組み合わせたハイブリッドアプローチが必要だと著者は示唆しています。この論文の意義は、AGIの開発経路について批判的な再評価を促し、スケーリングだけでは不十分であることを明らかにした点にあります。
続きを読む
ChatGPTなどのAIツールがGoogle検索に取って代わり、Webトラフィックに大きな変化をもたらしています。OpenAIやAnthropicなどの企業は、Webコンテンツをリアルタイムで要約するボットを展開し、人間には不可能なほど大量のデータをAIモデルに供給しています。TollBitのデータによると、2025年第1四半期の検索ボットのトラフィックは、2024年第4四半期と比べて49％増加し、指数関数的な成長を示しています。AIツールは人間のウェブサイトトラフィックを減少させますが、コンテンツへのアクセス全体は急増します。ウェブサイトはAI訪問者に対応する必要があり、しかし、AI企業がスクレイピングしたコンテンツに対する支払いを交渉することは、著作権に関する議論が継続する中で困難になるでしょう。Google検索やソーシャルメディアアルゴリズム向けに最適化された現代のインターネットは、AI回答の普及に対応するために再構築する必要があります。
続きを読む
この記事では、AIと高度なSQLシステムの相乗効果を活用して、情報検索に革命的なアプローチを提案しています。大規模言語モデル（LLM）は、人間の意図を解釈し、自然言語クエリを正確なSQLクエリに変換して、大規模な分散オブジェクトリレーショナルデータベースにアクセスするために使用されます。これは、パターン学習のみに依存するLLMの限界を克服し、さまざまなデータタイプ（地理、画像、ビデオなど）の処理を可能にし、分散システムを通じて速度と信頼性を確保します。最終的な目標は、ユーザーがSQLの専門知識なしに、自然言語を使用して複雑なデータベースにアクセスできるようにすることです。
続きを読む
この記事はHDR（ハイダイナミックレンジ）画像技術の真相を深く掘り下げ、それが常にSDR（スタンダードダイナミックレンジ）より優れているわけではないことを指摘しています。HDRに関するよくある誤解、例えば効率性の向上、広い色域、芸術表現の向上などを反論しています。著者はHDR変換プロセスにおける欠陥を指摘し、強制的な自動変換が制作者の意図を損ない、画像品質を低下させると主張しています。この記事は、階調の知覚が相対的であることを強調し、技術指標よりも芸術表現を優先しています。最終的に、HDRとSDRの間で賢明な選択をすることを推奨し、制作者の意図の重要性を強調しています。
続きを読む
従来のウェブブラウザはAIから挑戦を受けています。The Browser CompanyのDiaブラウザはAIを深く統合し、ユーザーのインターネットとのインタラクションの仕方を再定義することを目指しています。ChromiumベースのDiaは、クリーンなインターフェースを備え、ウェブを検索し、ファイルを要約し、開いているタブに基づいてコンテンツを生成し、閲覧履歴をコンテキストとして使用するAIチャットボットを搭載しています。 「スキル」機能により、ユーザーはコードスニペットをショートカットとして作成できます（例：読書レイアウトの自動生成）。ブラウザ内AIは目新しいものではありませんが、Diaの使いやすさと強力な機能は、既存のブラウザに対する強力な競争力となります。
続きを読む
著者は最近、libcを使わずにソフトウェアを構築することで、Linuxシステムコールと内部機構をより深く理解しようと試みました。最小限のシェル、スネークゲーム、純粋なARM64アセンブリHTTPサーバー、そしてスレッドの実装を作成しました。デバッグにはstraceを多用し、この記事ではstraceの多くの便利なオプションとフラグについて詳しく説明しています。子プロセスのトレース、詳細な構造体の情報出力、システムコールの選択的トレース、さらにはデバッグのためにシステムコールのエラーを注入するなど、幅広い機能が紹介されています。これは、高度なLinuxシステムプログラミングとデバッグ技術に関する貴重な洞察を提供します。
続きを読む
Pythonのargparseモジュールは、コマンドライン引数の処理において、相互に排他的なグループを含む便利な機能を提供しますが、ネストに関してはフラストレーションな制限があります。複数のタイムアウト設定を持つプログラムを考えてみましょう。ユーザーは個々のタイムアウトを調整するか、完全に無効にすることができます。argparseは、個々のタイムアウトオプションのグループ内に「タイムアウトなし」オプションをネストすることをサポートしていません。これは設定を面倒にします。通常のグループの中に相互に排他的なグループをネストすることはできますが、その逆はサポートされておらず、公式ドキュメントでもこの制限が明示的に述べられています。そのため、開発者は特定のスイッチが使用されたかどうかを手動で確認する必要があり、複雑さが増します。
続きを読む
この記事では、ファイナルカートリッジIIIなどのコモドール64フリーザーカートリッジのリバースエンジニアリングについて深く掘り下げています。これらのカートリッジは、C64のUltimaxモードとNMI割り込みを利用して、プログラムのフリーズ、チートコードの適用、ゲーム状態の保存などの機能を実現しています。この記事では、フリーズプロセスの技術的な課題、例えば6502 CPU命令サイクルとUltimaxモードの活性化タイミングの調整、限られたメモリリソースをメニュー表示と状態バックアップ管理にどのように利用しているかなどを詳細に説明しています。また、カートリッジのバックアップメカニズムとゲームトレーナー機能についても分析し、開発者によるC64ハードウェアの深い理解と優れたコーディングスキルを称賛しています。
続きを読む
イスラエルとウクライナによる最近の敵対目標に対するドローン攻撃の成功は、戦争の未来と世界の勢力均衡に対する懸念を引き起こしました。この記事は、安価なドローンの破壊的な影響を分析しています。重要なインフラ（高速道路、橋、発電所など）を低コストで攻撃できる能力は、従来の大規模な軍事衝突とは対照的です。この非対称戦争能力は、大国でさえ脆弱にしており、世界秩序の再編、最終的にはより分散化され、断片化された権力構造につながる可能性があります。
続きを読む
Waymoの自動運転配車サービスはサンフランシスコで爆発的な成長を見せています。YipitDataのデータによると、WaymoはLyftの市場シェアを上回り、年末までにサンフランシスコ最大の配車サービスになる可能性があり、Uberをも追い抜く可能性があります。この急成長は、サンフランシスコの何万もの配車ドライバーの職への影響という懸念を引き起こし、ギグエコノミーにおけるAIの破壊的可能性を浮き彫りにしています。
続きを読む
ペンシルバニア州立大学の研究者らは、画期的な成果を達成し、シリコンの代わりに原子1個分の厚さしかない二次元（2D）材料を用いた機能的なCMOSコンピュータを開発しました。Nature誌に掲載されたこの開発は、より薄く、より高速で、より省エネルギーな電子機器への大きな飛躍を表しています。モリブデンジスルフィドとタングステンジセレニドをそれぞれn型およびp型トランジスタに使用することで、チームは複雑なコンピュータアーキテクチャへの2D材料のスケーリングにおける以前の課題を克服しました。動作周波数は現在低いものの、この研究はシリコンベース技術を超える道を切り開き、電子工学の新時代を約束しています。
続きを読む
ドイツのユリッヒ研究センターの待望のエクサスケールスーパーコンピューター「Jupiter」が、ついにTop500リストにデビューしました。EvidenとParTecによって構築されたこのハイブリッドCPU-GPUマシンは、6月のHPLベンチマークでGPUブースターモジュールが4位にランクインしました。NvidiaのGPUとインターコネクト技術に大きく依存していますが、「Jupiter」はSiPearlのRhea1 Arm CPUベースのユニバーサルクラスタモジュールを採用しており、ヨーロッパのHPCにおける独立性への動きを示しています。しかし、エクサスケールFP64のパフォーマンス目標を完全に達成するには、GPUノードのさらなる拡張が必要です。5億ユーロのプロジェクトは、ハードウェアとソフトウェアに多額の投資が費やされていることを示しています。
続きを読む
この記事では、アポロ月面着陸ミッションで使用された飛行方位指示器/飛行管制装置（FDAI）を詳しく解説します。この装置は、「8ボール」と呼ばれる回転する黒い球体が特徴です。記事では、「8ボール」が3軸（ロール、ピッチ、ヨー）で回転する巧妙なメカニズムと、FDAI内部の複雑なサーボ制御システム（シンクロ、サーボループ、モーター/タコメータ、アンプなど）を詳細に説明します。さらに、アポロ月着陸船とスペースシャトルシミュレーターでの使用を含め、FDAIの歴史をたどり、航空宇宙史における重要性を強調します。アポロのFDAIとF-4戦闘機のARU/11-Aインジケーターの比較も行い、類似点と相違点を明らかにします。
続きを読む
この記事では、Lispで「真理のオラクル」を作成しようと試みます。これは、任意の数学的命題の真偽を判定するプログラムです。著者はカリー・ハワード対応を紹介し、論理的証明が型付き関数型プログラミングにおける表現式に対応することを説明します。Racketのcall/cc関数（ピアースの法則と同型）を用いて、排中律と同型なプログラムの実装を試みます。しかし、実験結果は予想外でした。オラクルは常に偽を返し、不可能な型値にアクセスしようとした場合のみ真を返します。これは、古典論理と構成的論理の違い、そしてcall/cc関数の非標準的な制御フローメカニズムを明らかにします。最後に、著者は「悪魔との取引」という比喩を用いてこの奇妙な振る舞いを説明し、call/cc関数に潜むタイムトラベルのようなメカニズムを示します。
続きを読む
SSHTronは、SSH経由でプレイできるマルチプレイヤーライトサイクルゲームです。sshtron.zachlatta.comに接続してプレイを始めましょう。WASDキーまたはvimキーバインドを使用してサイクルを操作します。7色から選択できます。BrickHack 2で約20時間かけて開発されたため、コードの品質は改善の余地があります。このプロジェクトはオープンソースであり、DockerとRaspberry Piへのデプロイをサポートしています。セキュリティに関する警告では、SSHクライアントに関連する潜在的な脆弱性（CVE-2016-0777）が指摘されているため、クライアントの更新をお勧めします。
続きを読む
あるエンジニアが、チェスゲームを実行している46年前のAtari 2600とChatGPTを対戦させました。結果は、レトロなゲーム機が圧勝。ChatGPTは繰り返しミスを犯し、駒を間違えたり、盤面状況を把握できなくなったり、再スタートを要求する事態にまで至りました。これは、複雑な戦略ゲームにおける大規模言語モデルの限界を示しており、その強みは戦略的計算ではなく、言語処理にあることを浮き彫りにしています。1997年のDeep BlueによるKasparovへの勝利とは対照的で、AIの進化が続いていることを示しています。
続きを読む
この記事では、オープンソースソフトウェアの歴史を、初期の学術的な共有から商用ソフトウェアの台頭、そしてリチャード・ストールマンが提唱したフリーソフトウェア運動とそれに続くオープンソース運動までを概観します。著者は、オープンソースソフトウェアがテクノロジー業界の成長を促進してきた一方で、資金不足、貢献者の多様性の欠如、当初の社会的な理想を完全に実現できていないことなど、多くの課題に直面していることを指摘しています。オープンソースソフトウェアは万能薬ではなく、その成功事例は純粋なコミュニティ貢献よりも企業からの支援に大きく依存しています。著者は、自身が設立したオープンソースのソーシャルネットワーキングプラットフォームElggを例に、オープンソースソフトウェアの実用的なアプリケーションにおける限界と可能性を説明しています。
続きを読む
ライフ・ウェザービーの新著『言語機械：文化的AIと剰余ヒューマニズムの終焉』では、大規模言語モデル（LLM）が認知を言語と計算から切り離してきた過程を考察し、以前の構造主義理論を想起させています。ウェザービーは、AI研究における蔓延する「剰余ヒューマニズム」を批判し、それがLLMの真の理解を妨げていると主張します。彼は、AI懐疑論者もAI肯定論者も、人間と機械の能力を単純比較するという罠に陥っていると述べています。そして、言語を全体論的なシステムとみなし、単なる認知的または統計的な現象ではないという構造主義的枠組みを用いて、LLMとその人文科学への影響をより深く理解すべきだと提案しています。
続きを読む