トランプ政権は、IRSのDirect Fileプログラム、つまり無料で直接IRSに税申告を行う電子システムを廃止する計画です。バイデン政権時代に開発されたこのプログラムは、利用者から税申告が簡単で迅速かつ経済的であると評価されていましたが、共和党議員と商業税務準備会社からは、無料の申告プログラムが既に存在するため納税者の税金の無駄遣いだと批判されていました。無料の代替手段は存在しますが、使いにくいことが多いため、この決定は政府の効率性に対する懸念と、大規模な税務準備会社を優遇しているという非難を引き起こしています。ウォーレン上院議員は、この措置はそれらの会社の利益を守るためだと主張しています。
続きを読む
Codexはターミナルで動作する軽量なコーディングエージェントで、OpenAI APIを使用してChatGPTレベルのコード推論機能を提供します。インタラクティブモードと非インタラクティブモードの両方を備え、コード補完、実行、依存関係のインストール、さらには単体テストの生成を自動化します。堅牢なサンドボックスにより安全性が確保されます。ユーザーは指示と承認モードをカスタマイズでき、簡単なコードの説明から複雑なリファクタリングまで、さまざまなタスクに対応できます。複数のOSに対応し、オープンソースであるため、コミュニティからの貢献も歓迎されます。Codexは開発ワークフローを効率化します。
続きを読む
オープンソースとして販売されているMetaのLlama 3.3ですが、そのライセンスには多くの開発者が見過ごしている可能性のある制限が含まれています。この記事は、モデルまたは派生製品を配布する際に「Built with Llama」を目立つように表示し、派生モデル名に「Llama-」を接頭辞として付ける必要があることを強調しています。さらに、許容可能な使用ポリシーでは、バイアスや不正確さなど、AIシステムの既知のリスクをエンドユーザーに開示する必要があります。著者は、開発者にライセンスを注意深く確認し、遵守するかどうかを決定して、潜在的な法的問題を回避するよう促しています。
続きを読む
OpenAIは、ターミナルから実行できるローカルコーディングエージェント「Codex CLI」を発表しました。Codex CLIは、OpenAIのモデル（新しいo3とo4-miniを含む）をローカルコードとタスクに接続し、AIによるコードの記述、編集、ファイル移動などの操作を可能にします。これは、「代理ソフトウェアエンジニア」というOpenAIのビジョンの実現に向けた一歩です。オープンソースで軽量なCodex CLIは、ソフトウェア開発プロジェクト向けに100万ドルのAPI助成金プログラムによってサポートされています。AIコーディングツールには固有のリスクがありますが、Codex CLIはAI支援プログラミングへの新しいアプローチを提供します。
続きを読む
RakuASTプロジェクトは、Rakuプログラミング言語のコンパイラフロントエンドの完全な書き換えと再設計を行いました。作者は、失敗した仕様テストを体系的に1つずつ修正することで、プロジェクトに取り組みました。これには、プライベートメソッド、メタメソッド、ハイパーメソッド呼び出しなど、Rakuの構文の複雑さを処理することが含まれていました。最大の課題は、Rakuコンパイルプロセス内で必要な複雑なタイミングとシーケンスであり、コンポーネントのコンパイル順序を正確に制御する必要がありました。900回以上のコミットを経て、プロジェクトは主要な目標を達成しました。さらに、コンパイラをブートストラップし、自己コンパイルを可能にしました。これは、循環依存関係の管理と広範な標準ライブラリの複雑さを処理する上でさらに課題をもたらしました。プロジェクトの成功は、コミュニティの複数のメンバーからの貢献によって支えられました。
続きを読む
MITREのCVE契約の期限切れが近づいていることが論争を巻き起こし、ソフトウェアセキュリティ改善の提案につながっています。現在のCVEシステムは不正確な報告であふれており、価値が低下しています。著者は、スコアではなく脆弱性の属性に基づいたシステムと、プロフェッショナルソフトウェアエンジニア（PSWE）認定を提案しています。決められた時間内に正確に脆弱性を報告しなかった場合、資格が取り消されるため、問題の報告が促進されます。この提案には、将来のPSWEの資金提供とトレーニングが含まれており、アクセシビリティの問題にも対処し、最終的にソフトウェアセキュリティとFOSSプロジェクトの持続可能性にとってウィンウィンとなるシナリオが作成されます。
続きを読む
第二次世界大戦初期、ドイツの磁気機雷はイギリスの船舶輸送を壊滅的な打撃を与えました。イギリスの巧妙な対抗策は、ウェリントン爆撃機を空中機雷掃海艇に改造することであり、船舶の磁気シグネチャーを模倣して機雷を爆発させました。この革命的な戦術は機雷原を迅速に排除し、重要な輸送路を保護しました。ドイツも同様に対策を講じ、ユンカースJu-52輸送機を改造しましたが、戦闘機の護衛がないため大きな損失を被りました。これらの空中機雷掃海艇は、第二次世界大戦において重要な役割を果たしましたが、しばしば見過ごされています。現代のヘリコプター機雷対策部隊の先駆けとなりました。
続きを読む
この記事では、1970年代後半に登場したパーソナルコンピューター、Terak 8510/aについて詳しく説明します。PDP-11/03プロセッサをベースにしており、高度なグラフィック機能を備えており、大学でのPascalプログラミング教育で広く使用されました。Terak 8510/aはコンピューターの歴史に大きな影響を与え、ビットマップディスプレイを搭載した初期のパーソナルコンピューターの1つとされ、初期のCADソフトウェアやMacPaintの開発にも関与しています。この記事では、著者がTerakのハードウェアとソフトウェアを収集した経験や、Terakエミュレーターを開発する計画についても述べられています。
続きを読む
バックライト付きスクリーンによる目の疲れに悩んでいませんか？EInkモードは、電子インクデバイスでのウェブブラウジングを、紙のような読書体験に変えます。ページ単位でウェブページを表示することで、消費電力を大幅に削減し、可読性を向上させます。豊富なタッチジェスチャーとスタイラスのサポートにより、ページのめくり、フォントサイズの調整、テキストのハイライト、ウェブページへの直接メモ書きなどが簡単に行えます。ハイライトと注釈はすべてPDFとして保存され、後で確認できます。EInkモードは電子インクデバイスだけでなく、iPadなどのタブレットでも可読性を高め、より快適で効率的な読書体験を提供します。
続きを読む
ウィキメディア財団とKaggleが連携し、フランス語と英語のウィキペディアの構造化データセットのベータ版をリリースします。機械学習用に特別にフォーマットされたこのデータは、データサイエンスのトレーニングと開発に最適です。46万以上の公開アクセス可能なデータセットを擁するKaggleは、研究者、学生、機械学習の専門家にとって豊富なリソースとなります。このコラボレーションにより、データの品質と出自が保証され、人々がこれを使って何を作るのか楽しみです。
続きを読む
著者は、1970年代のクロスプラットフォームOSとコンパイラであるUCSD p-Systemを再訪します。p-machine仮想マシンにより、PDP-11からApple IIまで様々なマシンへの移植を実現しました。著者は高校時代にApple PascalとUCSD Pascalを使った経験を共有し、Rustでp-machineエミュレータを再構築する計画を立てています。これは、既存ツールのドキュメント不足や古いコンパイラ依存性の問題に対処するためです。
続きを読む
この記事では、信頼性が高く、スケーラブルで、メンテナンスしやすいLLM駆動型ソフトウェアを構築するための原則、12ファクターエージェントについて探求します。著者は、既存のエージェントフレームワークは本番環境では不十分であり、多くのいわゆる「AIエージェント」は、主にLLMステップを散りばめた決定論的なコードであると主張しています。著者は、より堅牢なエージェントを構築するための原則を提案し、既存の製品に小型でモジュール化されたエージェントの概念を統合するモジュール化されたアプローチを強調することで、非効率的なグリーンフィールドの書き直しを回避します。これは、AIアプリケーション開発に焦点を当てたエンジニアや起業家にとって貴重な読み物です。
続きを読む
ActorCoreは、ステートフル、AIエージェント、コラボレーティブ、またはローカルファーストアプリケーションを簡単に構築するためのTypeScriptフレームワークです。データベースとORMの必要性を排除し、状態を計算と同一マシンに保存することで、超高速な読み書き速度を実現します。Rivet、Cloudflare、Bun、Node.jsなどにデプロイできます。組み込みの低遅延イベントにより、リアルタイムの状態更新と変更のブロードキャストが可能です。独自のEdgeデータストレージにより、即時的なインタラクションを実現します。現在、OLAP、データレイク、グラフデータベース、高度にリレーショナルなデータには最適ではありませんが、継続的に改善されており、ステートフルサーバーレスアプリケーションの構築とスケーリングのための普遍的な方法を目指しています。
続きを読む
Googleは、国コードトップレベルドメイン（ccTLD、例：google.ng、google.com.br）を段階的に廃止し、すべてのトラフィックをgoogle.comにリダイレクトすると発表しました。これは、長年にわたるGoogleによる地域化された検索結果提供における改善に基づいており、ccTLDが不要になったためです。この変更は、検索の機能やGoogleによる国内法令の遵守方法には影響しません。ブラウザのアドレスバーの表示のみが変更されます。ユーザーは、一部の検索設定を再入力する必要がある場合があります。
続きを読む
OpenAIの新しい論文、SWE-Lancerは、最先端のAIモデルを現実世界のソフトウェア開発タスクでベンチマークしています。Upworkの1400以上のフリーランスの仕事（合計100万ドル以上）を使用して、この研究はタスクを個々の貢献者のタスク（バグ修正、機能構築）とエンジニアリングマネージャーのタスク（最適なソリューションの選択）に分けました。最高のパフォーマーであるClaude 3.5 Sonnetでさえ、タスクの33.7％しか完了せず、約40万3000ドルを獲得しました。AIは、ソリューションを作成するよりもソリューションを選択することに優れており、初期のアプリケーションはコードレビューとアーキテクチャ上の意思決定に焦点を当てる可能性があることを示唆しています。このベンチマークは、AIの進歩を測定する具体的な方法を提供し、リーダーがAIの能力と影響をよりよく理解し、予測するのに役立ちます。
続きを読む
この記事では、Webアプリケーションにおける最近のクライアントサイドヘビーロジックのトレンドによって生じる問題、つまりAPIの変動について考察しています。GraphQLなどのより表現力豊かなAPIを使用することで解決策が提供されますが、クライアント側の能力向上によって悪意のあるユーザーも強化されるため、セキュリティリスクの軽減は非常に複雑になります。著者は、APIの変動とセキュリティの複雑さの間のトレードオフを回避するには、ロジックをサーバーサイドに戻すことが最善の方法だと主張しています。
続きを読む
DVMCPは、教育目的のために意図的に脆弱なモデルコンテキストプロトコル（MCP）の実装です。難易度が段階的に上がる10個の課題があり、プロンプトインジェクション、ツールポイズニング、過剰な権限、ラグプル攻撃、ツールシャドウイング、間接的なプロンプトインジェクション、トークン窃取、悪意のあるコード実行、リモートアクセス制御、マルチベクター攻撃など、さまざまな脆弱性と攻撃ベクトルを示しています。このプロジェクトは、セキュリティ研究者、開発者、AI セーフティの専門家がMCP実装における潜在的なセキュリティリスクと軽減策について学ぶことを目的としています。
続きを読む
Krepは、大規模なファイルやディレクトリを処理する際の最大スループットと効率を目的として設計された、パフォーマンスが最適化された文字列検索ユーティリティです。複数の検索アルゴリズムとSIMDアクセラレーション（利用可能な場合）を使用し、速度とシンプルさを優先します。Krepは最適なアルゴリズムを自動的に選択し、マルチスレッド検索、メモリマップドI/O、正規表現、再帰的なディレクトリ検索をサポートし、バイナリファイルや一般的な非コードディレクトリをスキップします。ベンチマークによると、Krepはgrepよりも約41.5倍高速で、ripgrepよりもわずかに高速です。
続きを読む
ムーアの法則の減速により、チップの電力密度が上昇し、放熱が性能と寿命に影響を与える重要なボトルネックとなっています。従来の冷却方法では、将来の高性能チップ（例えば、間もなく登場するCFETトランジスタなど）には不十分です。研究者らは、新しい半導体技術が放熱にどのように影響するかを予測するための新しいシミュレーションフレームワークを開発し、マイクロ流体冷却、ジェット衝突冷却、浸漬冷却などの高度な冷却技術を探求しました。動的な電圧と周波数の調整、サーマルスプリント技術などのシステムレベルのソリューションも、性能と発熱のバランスを取ることを目指しています。将来のバックサイド機能化技術（CMOS 2.0）は、バックサイド電力供給ネットワーク、バックサイドコンデンサ、バックサイド集積電圧レギュレータなど、電圧を下げることで発熱を低減することを約束しますが、新たな熱問題を引き起こす可能性もあります。最終的に、チップの発熱問題を解決するには、学際的な取り組みが必要であり、システムテクノロジー共同最適化（STCO）は、システム、物理設計、プロセス技術を統合して最適な性能と冷却を実現することを目指しています。
続きを読む
このユーモラスな文章は、ゾウ狩りの比喩を使って、さまざまなテクノロジー専門家の個性と仕事スタイルを巧みに特徴づけています。数学者は厳密な証明を追求し、コンピューター科学者はアルゴリズムに従い、エンジニアは効率性を重視し、経済学者はカネの力、統計学者はデータに頼るなど。この記事は機知に富んだユーモアを用いて、さまざまな職業の多様な思考パターンと特性を示し、読者の共感を呼び、テクノロジー文化の軽妙な解釈を提供します。
続きを読む
この文章は、GPT-4の制限を突破しようとする一連の指示と試みを記述しています。ユーザーは、特殊記号、leetspeak、画像ステガノグラフィ、そして注意深く作成されたプロンプトなど、様々なテクニックを試みて、セキュリティ制限を回避し、GPT-4が通常提供しない機密情報（違法薬物の合成方法やハッキング技術など）を入手しようとします。これらの試みは、ユーザーによるAI能力の探求と挑戦を示しており、AIセキュリティメカニズムの複雑さと限界も反映しています。
続きを読む
開発者が、Zigプログラミング言語向けの高スループットのトークナイザーとパーサーを作成しました。これは、メインラインの実装よりも2.75倍高速で、メモリ使用量が2.47倍少なくなっています。このプロジェクトは、SIMDとSWAR技術、巧妙なビット操作、完全ハッシュ関数などの最適化戦略を活用して、大幅なパフォーマンス向上を実現しています。さらなる最適化が計画されており、最終目標は、このパーサーをZigコンパイラ自体に統合することです。
続きを読む
Rustで構築された高性能IoT開発プラットフォームが登場しました！MQTT、WebSocket、TCP、CoAPなど複数のプロトコルをサポートし、リアルタイムデータ処理機能を備えています。Rustのメモリ安全性と並行処理機能により、効率性が確保されています。モジュール式設計により、拡張とメンテナンスが容易で、データ処理、プロトコルインターフェース、メッセージ通知、外部APIなどのモジュールが含まれています。このプラットフォームは、さまざまなIoTアプリケーションに適しており、Apache 2.0ライセンスの下でオープンソース化されています。
続きを読む
コサイン類似度を用いた類似アカウントの検出に関する3年前のHacker Newsの投稿に触発され、AntirezはRedis 8 RC1の新しいベクターセット機能を用いて、この実験を再現しました。彼は10GBのHacker Newsコメントデータを取得し、クレンジングと前処理を行い、ユーザーと単語頻度ベクトルを含むJSONLファイルを生成しました。その後、Burrows-Delta法を用いて単語頻度ベクトルを正規化し、Redisベクターセットに挿入しました。最後に、VSIMコマンドを使用して、同様の記述スタイルを持つユーザーを迅速に見つけることができます。プロジェクトコードはオープンソース化されており、オンラインデモサイトも利用可能です。
続きを読む
ダーウィンの生誕205周年を記念して、これまで未公開だった家族のスケッチが公開されました。ダーウィンの精密な植物学的なスケッチから、子供たちの可愛らしい落書き、そして妻エマのスケッチまで、多様な作品が含まれています。中でも注目すべきは、「果物と野菜の兵士たちの戦い」というタイトルの子供の絵で、ダーウィンの真面目な科学的業績とは対照的な、ユーモラスな作品です。これらの遺品は、ダーウィン一家の人間味あふれる生活の一端を垣間見せるものであり、伝説的な博物学者の人間性を際立たせ、家族が彼の仕事にどのように影響を与えたかを示しています。
続きを読む
コロラド大学医学部のビクター・スピッツァー博士と彼の友人スーザン・ポッターは、並外れた物語を共有しています。ポッターが医学教育のためにスピッツァーのビジブル・ヒューマン・プロジェクトに遺体を寄付するという粘り強さは、14年にわたる旅路となりました。ポッターの遺体の高解像度デジタル画像は再構築され、以前のビジブル・ヒューマン・プロジェクトの細部を凌駕しました。画像以外にも、スピッツァーの会社であるタッチ・オブ・ライフ・テクノロジーズは、ポッターの解剖学と人生の物語を組み合わせて、より豊かな教育リソースを作成することを目指して、仮想的な「生きた遺体」を作成することを目指しています。ポッターの物語は、医学教育への無私の献身と解剖学的研究の未来について、熟考を促します。
続きを読む
Bauplanは、大規模なデータパイプラインとS3データレイク上のGitベースのデータ管理のためのFunctions-as-a-Serviceを提供する、Pythonベースのサーバーレスデータプラットフォームです。クラウドでの大規模なMLワークフロー、AIアプリケーション、データ変換パイプラインの実行を、インフラストラクチャの心配をすることなく簡素化します。主な機能には、Pythonファースト設計、S3テーブルの直接操作、データへのGit統合、サーバーレスパイプライン、包括的なSQLサポート、データのCI/CD、堅牢なバージョン管理などがあります。AIアプリケーション、MLワークロード、データパイプラインに最適です。
続きを読む
この記事では、非常に長く実行されるRustプログラムの作成について探求します。基本的な加算演算（increment）から始めて、掛け算（multiply）、累乗（exponentiate）、そして最終的にテトレーションへと、段階的に構築することで、巨大な数10↑↑15を計算するプログラムを作成します。メモリのコピーや一時変数の使用を避け、インプレース演算に重点を置くことで、プログラムが設計されたステップ数を実行することを保証します。この記事では、簡潔なコード例を用いて実装の詳細を明確に説明しており、アルゴリズム設計とRustプログラミングの学習に役立ちます。
続きを読む
Anthropicは、コンテナ/DockerとUnikraft上に構築された革新的なサンドボックス化されたChromeブラウザ環境を発表しました。インターネットアクセスが必要なエージェントワークフローのために、すぐに使用できるブラウザを提供します。この環境は、Chrome DevToolsフレームワーク（PlaywrightやPuppeteerなど）をサポートし、視覚的な監視とリモートコントロールのためのGUIアクセスを提供します。Unikernelバージョンは、自動スタンバイ、状態のスナップショット、非常に高速なコールドスタートなどの利点を備えており、低遅延のイベントハンドラーを必要とするアプリケーションに最適です。さらに、AnthropicはAIインフラストラクチャの将来に取り組むバックエンドエンジニアを募集しています。
続きを読む
この記事では、コモドール64プログラミングコンテストで使用されたコード最適化テクニックをまとめます。課題は、可能な限り少ないバイト数で2本の線を描くC64実行ファイル（PRG）を作成することでした。この記事では、参加者によって用いられた巧妙なテクニック、ROMサブルーチンの活用、画面ポインタのインクリメンタルな操作、自己修正コード、電源投入時の状態の利用、従来とは異なる制御フロー、ビットパックされた線の描画などを詳細に説明します。優勝作品は驚異の34バイトを実現し、優れたコード最適化スキルを示しました。
続きを読む