TheAuditorは、オフライン優先、AI中心の静的アプリケーションセキュリティテスト（SAST）およびコードインテリジェンスプラットフォームです。業界標準のコード分析ツールを実行し、構造化されたAIで処理可能なレポートを生成することで、開発者とAIアシスタントに信頼できる「真実」を提供します。従来のSASTツールとは異なり、TheAuditorはAI支援開発におけるコードのセキュリティと品質保証の課題に取り組み、AIが安全でない、または欠陥のあるコードを生成するのを防ぎます。複数の言語とフレームワークをサポートし、依存関係グラフの視覚化、リファクタリング検出などを提供し、最終的には人間の介入なしで自己修正を行うAI開発ループを目指しています。
続きを読む
著者は、Bingの検索機能と組み合わせたOpenAIのGPT-5が驚くほど強力な検索機能を持っていることを発見しました。複雑なタスクに対処し、インターネットで詳細な検索を行い、回答を提供します。そのため「リサーチゴブリン」というニックネームが付けられました。いくつかの例がGPT-5の実力を示しています。建物特定、スターバックスのケーキポップの販売状況の調査、ケンブリッジ大学の正式名称の検索などです。GPT-5は、複数ステップの検索を自律的に実行し、結果を分析して、情報要求のためのメール作成などのフォローアップアクションを提案することもできます。著者は、GPT-5の検索能力は、特にモバイルデバイスでは、手動検索よりも効率的であると結論付けています。
続きを読む
シリコンバレーは高齢化しており、それは自然な高齢化ではありません。データは、テクノロジー企業におけるZ世代従業員の数がわずか2年間で半減したことを示しています。AI駆動の自動化によってエントリーレベルの職が置き換えられ、若い労働者は職を失い、一方、年配で経験豊富な従業員は仕事を維持しています。効率性向上とコスト削減策によって推進されているこの傾向は、イノベーションと長期的な安定性を脅かしています。専門家は、Z世代に対し、AIツールの習得、スキルアップの機会の追求、そして変化する状況に対応するための代替的なキャリアパスの探求を勧めています。
続きを読む
15年にわたる開発を経て、日本のPezy Computingは最新の数学アクセラレータSC4sを発表し、高性能コンピューティングとAI分野におけるNvidia GPUの支配に挑戦しています。SC4sは2048個のRISC-Vコア、96GBのHBM3メモリを搭載し、ピーク消費電力は600ワットです。FP64精度での性能はNvidia H100と匹敵し、優れた電力効率を実現しています。GPUのSIMTアーキテクチャとは異なり、PezyはSPMDアーキテクチャを採用することで、より高いプログラミング柔軟性を提供し、PyTorchなどの主要なAIフレームワークをサポートします。将来の富岳Nextスーパーコンピュータが主にNvidia GPUを使用する一方で、Pezyの継続的な研究開発は、日本の高性能コンピューティング分野における技術的自立性を確保し、将来的な多様な計算アーキテクチャの可能性を切り開きます。
続きを読む
米国国勢調査局による120万社を対象とした2週間ごとの調査によると、従業員数250名を超える企業におけるAI導入の減少が明らかになりました。この調査では、過去2週間で機械学習や自然言語処理などのAIツールを使用しているかどうかを企業に尋ねています。AIの全体的な導入は引き続き増加していますが、データは、大企業における成長の鈍化を示しており、特に大企業における限界収益の減少という点で、AIの広範な統合における潜在的な課題を示唆しています。
続きを読む
この記事では、コードをドメインモデルに厳密に結び付けるという一般的なソフトウェア設計原則に異議を唱えています。著者は、厳格なデータベーススキーマや型制約などを通じて、無効な状態を過度に回避することに重点を置くことは、ソフトウェアの柔軟性を制限し、避けられない現実世界の例外に対処することを困難にすると主張しています。状態マシンと外部キー制約を例に、コア設計をシンプルに保ちながら、任意の状態遷移を許可する方法を示し、これによりソフトウェアの適応性と保守性が向上します。最終的に、著者は、進化する要件や予期せぬ状況に対処するために、ユーザー向けのソフトウェアでは無効な状態の表現を許可すべきだと主張しています。
続きを読む
イギリスの道路安全への取り組みは、目覚ましい成功物語です。法執行の緩さと最小限の安全機能を備えた混沌とした戦前の時代から、英国は道路交通事故の死亡率を劇的に削減しました。この記事では、主要な節目について詳しく説明します。高速道路の建設、ラウンドアバウトの普及、飲酒運転撲滅運動、安全ベルトとバイクヘルメットの義務化、特に学校周辺のより厳しい速度制限などです。これらの政策は、自動車の安全技術の進歩と相まって、イギリスの道路を世界で最も安全な道路の一部に変えました。この記事では、これらの介入の大きな影響を強調し、世界中の道路交通事故による年間120万人の死亡という世界的問題に対処するために、世界中でこれらの介入を採用することを提唱しています。
続きを読む
このオープンソースプロジェクトは、MacBook の蓋角度センサーデータを読み取るための C++ ライブラリを提供します。HID デバイス仕様のリバースエンジニアリングにより、リアルタイムで正確な角度測定（0～360度）、高性能で使いやすい API、包括的な例外処理を実現します。2019年以降の16インチMacBook ProとMシリーズMacBook Proをサポートしています。このライブラリは、Sam Gold の元の Objective-C の作品に基づいた C++ ポートおよび拡張です。
続きを読む
Intelは、小型ワークステーション向けに設計されたプロフェッショナルGPU、Arc Pro B50を発表しました。Battlemage BMG-G21 GPUベースで、16個のXe2コアと16GBのGDDR6 VRAMを搭載し、70WのTDPにより外部電源コネクタは不要です。PCIe Gen 5 x8インターフェースにより効率的な帯域幅を実現します。Arc Pro B50はINT8演算で最大170 TOPSの性能を発揮し、AI推論、機械学習、データ前処理に最適で、CAD、エンジニアリング、デザインソフトウェアも最適化されています。ロープロファイルのデュアルスロット設計と4つのmini DisplayPortにより、省スペースのワークステーションに最適です。価格は349ドルで、プロフェッショナルGPU市場への競争力のあるエントリーモデルとなっています。
続きを読む
Linuxの生みの親であるLinus Torvaldsは、LinuxカーネルのGitコミットメッセージ内の無意味な「Link:」タグにうんざりしている。これらのリンクの多くは、既に存在する同じパッチにリダイレクトするだけで、追加のコンテキストを提供しないことに気づいている。今後は、これらの役に立たないリンクを含むプルリクエストの受け入れを厳格にする。複数のパッチシリーズのカバーレターへのリンクは評価するものの、価値のないリンクをフィルタリングするためのより良い自動化を推進しており、AIがリンクの有用性を判断するのに役立つ可能性も示唆している。彼は開発者に対し、「Link:」タグが真の価値を追加することを保証し、時間の無駄になる冗長性を避けるよう促している。
続きを読む
マイクロソフトは、光子を計算に利用する新しいアナログ光コンピュータ（AOC）を開発し、最適化問題の解決とAIモデルの実行において大きな可能性を示しました。AOCは、医療画像の再構成や金融取引の決済において画期的な進歩を遂げ、例えばMRIスキャン時間を5分の1に短縮し、複雑な金融取引を効率的に処理しました。マイクロソフトは、AOCのアルゴリズムとデジタルツインモデルを公開し、さらなる研究を促進し、より効率的で省エネルギーな未来のコンピューティングプラットフォームの構築を目指しています。
続きを読む
4人のボランティアが、NASAのジョンソン宇宙センターで1年間の火星ミッションシミュレーションに参加し、3Dプリントされた居住施設で378日間生活します。このCHAPEA（クルーの健康とパフォーマンス探査アナログ）ミッションは、資源の制限、機器の故障、通信遅延、隔離など、長期の宇宙探査が人間の健康とパフォーマンスに与える影響を評価します。クルーは、火星探査のシミュレーションや野菜栽培など、科学研究や運用上のタスクを実行します。このシミュレーションは、将来の有人アルテミスミッションと火星への最終的な着陸に向けた重要なステップであり、月、火星、そしてそれ以上の場所における人類の探査のための貴重なデータを提供します。
続きを読む
Picoは、10個未満のクラスを使用してHTMLタグを直接スタイルする、ミニマリストなCSSフレームワークです。クラスレスバージョンも提供しています。依存関係、パッケージマネージャー、外部ファイルは不要で、純粋なCSSでエレガントなスタイルを実現します。レスポンシブデザインと、ユーザー設定に基づいた明暗モードの自動切り替えをネイティブでサポートしています。CSS変数で簡単にカスタマイズできます。Picoはパフォーマンスを重視し、HTMLを軽量に保ち、メモリ使用量とファイルのロード時間を削減するため、スピードとエレガンスを求める人に最適です。
続きを読む
データ量の爆発的増加に伴い、単一GPUサーバーではもはや不十分です。GPUメモリとVRAM間のデータ移動がボトルネックとなり、非効率性とコスト増加につながっています。NVIDIAとAMDは、NVIDIAのCUDA DTXやRAPIDSベースのソリューション、AMDのROCm-DSなど、分散コンピューティングランタイムの開発を競っています。しかし、Voltron DataのTheseusは、データ移動を中核に据えた異なるアプローチを取っています。非同期実行器と高度なデータプリフェッチ戦略により、データセンター規模での分析やAIタスクの効率が大幅に向上し、ベンチマークテストでDatabricks Photonを既に上回っています。
続きを読む
タコベルは500以上のドライブスルーにAI音声注文システムを導入し、AIがファストフード注文の混乱を克服できると信じていました。しかし、顧客の創造性、システムの不具合、複雑な注文がシステムを圧倒し、広範な苦情と遅延につながりました。ウォールストリートジャーナルはAIの苦労を報道し、タコベルはAI戦略を再評価し、限界を認めることを余儀なくされました。この出来事は、AI能力への過信、不十分なテスト、そして速いペースの環境における人間とAIの相互作用の予期せぬ課題を浮き彫りにしています。失敗にもかかわらず、タコベルはAIに依然としてコミットしており、独特の技術的楽観主義を示しています。
続きを読む
数年前、200～300次元の埋め込みは一般的でした。しかし、BERTやGPTなどの深層学習モデルの台頭とGPUコンピューティングの進歩により、埋め込みの次元数は爆発的に増加しました。BERTの768次元からGPT-3の1536次元、そして現在の4096次元以上へと進化しています。これは、アーキテクチャの変更（Transformer）、より大規模なトレーニングデータセット、Hugging Faceのようなプラットフォームの台頭、ベクトルデータベースの進歩によって推進されています。次元数の増加はパフォーマンスの向上をもたらしますが、ストレージと推論の課題も生じます。最近の研究では、Matryoshka学習などのより効率的な埋め込み表現が模索されており、パフォーマンスと効率のバランスを目指しています。
続きを読む
このインタビューは、開発者ツール企業Buildkiteの共同創設者であるKeith Pittを取り上げています。彼は、サイドプロジェクトからエグジットまでの道のりを共有し、初期のブートストラップ、資金調達、成長するチームの管理、そして進化する製品哲学など、その過程で直面した課題を強調しています。Pittはキャッシュフロー管理、高い初期評価額のリスク、そしてVCとの取引における長期的なビジョンの重要性を強調しています。彼の物語は、Buildkiteの売却と、AIコーディングツールを使ってプログラマーのエクスペリエンスを向上させることに焦点を当てた新しいベンチャーであるUnreasonable Magicの立ち上げで締めくくられます。生産性だけでなく、やりがいのある仕事に焦点を当てています。
続きを読む
550を超える古代ゲノムの分析により、スラヴ人の大規模な移動の規模が明らかになりました。この研究は、西暦6～8世紀にかけて、東ヨーロッパから東ドイツ、ポーランド/ウクライナ、バルカン北部への大規模な移民の流入があり、一部地域では祖先の80％以上を占めていたことを示しています。これは征服ではなく、家族やコミュニティ全体の移動でした。東ドイツでは、大規模な父系家族構造への変化が見られ、一方、クロアチアでは古くからの伝統と新しい伝統が融合しました。この研究は、スラヴ人の拡大に対する私たちの理解を根本的に変え、現代の中央および東ヨーロッパの遺伝的および言語的景観を形成する上でのその複雑さと多様性を示しています。
続きを読む
現実世界のベンチマークで、Muslのデフォルトアロケーターが他のアロケーターと比べて7倍も遅いことが判明しました！作者は、すべてのRustプロジェクトで、`main.rs`に数行のコードを追加して、mimallocやjemallocなどの別のアロケーターにすぐに切り替えることを強く推奨しています。問題の根本原因は、メモリ割り当て時の複数のスレッド間の競合であり、スレッド数や割り当て数が多いほど問題が悪化します。Muslをターゲットにしていない場合や、プログラムがシングルスレッドの場合でも、アロケーターを切り替えることをお勧めします。作者はMuslを使用する理由（クロスコンパイルと静的実行ファイル）と、このパフォーマンスの問題を発見した過程を説明しています。他にも多くのプロジェクトがこの問題に遭遇しており、さまざまなコア数のマシンでのテスト結果では、最大700倍もの差が出ています！最後に、作者はより高性能なメモリ アロケーターへの切り替えを強く求めています。
続きを読む
「44のエゾラン：難解コードの芸術」という新しい本は、44種類の奇妙なプログラミング言語を探求しています。音楽記譜法を使用するもの、実行するたびに異なる結果を生成するもの、さらには写真を使ってコードを書くものまであります。著者のダニエル・テムキンは、これらの言語を用いて、プログラミングの創造性と、プログラマーと機械の間の微妙な力学を探求しています。彼は、難解言語とAI生成コードとの対比を強調しており、後者はしばしば創造性に欠けていると指摘しています。難解言語の歴史は初期のコンピューティング時代まで遡り、シェアウェア、デモシーン、そして初期のインターネットの発展と密接に関連しています。
続きを読む
この記事は、シム・ウォンフーとクリエイティブテクノロジーの驚くべき軌跡を描いています。子供の頃、卵を売っていたささやかな始まりから、クリエイティブの設立まで、彼は音楽への情熱と鋭いビジネス感覚を生かし、象徴的なサウンドブラスターサウンドカードを生み出し、市場を支配しました。しかし、クリエイティブのグラフィックカード、MP3プレーヤー、その他の事業への多角化は、ジェットコースターのような浮き沈みをもたらし、最終的にはオーディオのルーツに戻って継続的な成功を収めました。この物語は、クリエイティブの成功と課題を浮き彫りにし、絶えず変化するテクノロジー業界におけるその適応と変容を示しています。
続きを読む
研究者らは、シミュレーテッド・アニーリングのための光学アーキテクチャを考案しました。これは、マイクロLEDアレイ、液晶空間光変調器、およびフォトダイオードアレイを使用して行列ベクトル乗算を実行します。このシステムは、シミュレートされたtanh非線形性を活用して効率的な解を求めることで、機械学習と最適化の問題を効率的に処理します。実験により、MNISTおよびFashion-MNISTデータセットで高精度な分類が達成され、さまざまな最適化問題で優れた性能を示し、大規模シミュレーテッド・アニーリング計算のための新しいハードウェアソリューションを提供します。
続きを読む
1980年代、Adaコンパイラの開発者は、プレーンテキストのソースコードの代わりに、DIANA（Descriptive Intermediate Attributed Notation for Ada）という中間表現（IR）を使用することで、コードフォーマットの問題を効果的に解決しました。コンパイラとIDEはDIANAツリーを直接操作し、ユーザーはスペースやタブを気にすることなくコードの表示形式をカスタマイズできました。これにより、インクリメンタルコンパイル、リファクタリング、高速な統合が可能になりました。著者はこの事例を挙げて、現代においてもコードフォーマットの問題がプログラマーを悩ませていることを振り返り、より高度なソリューションの探求を促しています。
続きを読む
Veena Chromatic Tunerは、様々な音楽伝統において正確なコントロールを必要とするミュージシャン向けの強力なチューニングアプリです。平均律と純正律のチューニング、視覚的なフィードバックのためのユニークなオシロスコープのような波形表示、複数の音名システム（インド古典音楽を含む）のサポートを備えています。ユーザーは基準ピッチをカスタマイズし、音程を移調し、カスタムチューニングプロファイルを作成できます。専用のVeena楽器モードはフレット設定とチューニングを支援し、楽器製作者や演奏者にとって理想的です。広告付きで互換性が異なる場合がありますが、正確なチューニングのための汎用性の高いソリューションを提供します。
続きを読む
著者は、1990年代に人気だったQIC-80テープなどの古いテープカートリッジからデータを復旧するのを趣味としています。これらのテープを読み取るには、非常に古いバージョンのLinux（CentOS 3.5）でのみ動作する古いftapeドライバーが必要です。著者は、AIモデルであるClaude Codeを使用してftapeドライバーを近代化し、最新のLinuxカーネルでコンパイルして実行できるようにしました。数回の反復と少数の修正を経て、ロード可能なカーネルモジュールを作成し、Xubuntu 24.04でテストテープの読み取りに成功しました。著者は、AIとの協働作業から得られた教訓を共有し、明確な指示、AIの限界の理解、AIをスキル倍増器として活用することの重要性を強調しています。
続きを読む
この記事は、1980年代のアルゼンチンのコンピューティング産業の盛衰と、最初の商業ゲームであるTrucoの誕生を記しています。Manuel Sadosky率いる初期のコンピュータープロジェクト「Clementina」から始まり、アルゼンチンのコンピューティングの道のりは、政治的混乱と経済政策の変化に直面しました。国内のコンピューターであるMS101にもかかわらず、輸入規制の緩和後、外国製品との競争はできませんでした。80年代半ばには、ZX81やCommodore 64などのクローン機の台頭と政府の支援により、家庭用コンピューティングがブームとなりました。しかし、ゲーム市場は海賊版ゲームが支配していました。この状況下で、EnriqueとAriel Arbiserはアルゼンチンの最初の商業ゲームであるTrucoを開発しました。これは、人気の高いアルゼンチンのカードゲームをベースにしたコンピューターゲームで、TI-99/4AとDOSプラットフォームでリリースされ、アルゼンチンのゲーム史におけるマイルストーンとなりました。
続きを読む
最近、スウェーデンでユネスコの世界文化遺産に登録されたデモシーンだが、ゆっくりと衰退しつつある。これは魅力の欠如ではなく、商業化や複製に抵抗する独自の文化的属性によるものだ。80年代と90年代の安価な家庭用コンピューターの初期に生まれたデモシーンは、限られた資源とコミュニケーションの中で、情熱的なプログラマーやクリエイターのコミュニティを育んだ。インターネットと強力な現代のコンピューターは、それ以来、全く新しい創造的な道を切り開き、若い世代に多くの選択肢を提供してきた。著者は、このシーンの衰退は自然なことであり、その本質は継続ではなく、創造の喜びと独自の個性の維持にあると主張している。
続きを読む
著者は、古いバッファロー・ニュースの束の中から1991年のRadio Shackの広告を発見しました。そこには15個の電子機器が紹介されています。驚くべきことに、これらの機器のほとんどすべての機能は、現在では単一のiPhoneで賄われています。当時3000ドル以上（現在の約5100ドル）したこれらの機器と、現代のスマートフォンの機能を比較することで、信じられないほどの技術革新が強調されています。本当に代替不可能なのは、レーダー探知機と大型スピーカーシステムだけです。この記事は、技術進歩の速度とその日常生活への影響を鮮やかに示しています。
続きを読む
世界で最も広く使われているデータベースエンジンであるSQLiteは、Tclプログラミング言語に大きな恩義を受けています。現代のSQLiteは内部的にTclに依存しないスタンドアロンのCライブラリですが、その開発プロセスは依然としてTclに大きく依存しています。テストケースの作成、コード生成、ドキュメント作成、開発ツールに至るまで、Tclは重要な役割を果たしています。著者は17年間のSQLite開発経験に基づき、Tclの効率向上能力を主張し、TclがなければSQLiteの成功は想像できないと示唆しています。
続きを読む