Go 1.24は、新しい`go tool`コマンドと`go.mod`の`tool`ディレクティブによって、ツール管理に革命的な変化をもたらします。以前は、`tools.go`パターンや手動インストールに依存しており、パフォーマンスのオーバーヘッドと依存関係の肥大化につながっていました。`go tool`はこれらの問題を巧みに解決します。キャッシングメカニズムによりビルド速度が向上し、不要な依存関係が回避されるため、開発者のワークフローが大幅に改善されます。gqlgenとの互換性の問題など、移行中にいくつかの問題が発生する可能性がありますが、パフォーマンスの向上と簡素化された依存関係管理により、`go tool`は近年におけるGoエコシステムで最もエキサイティングな進歩の1つとなっています。
続きを読む
この記事では、PostgreSQLにおける一見矛盾する動作、つまり単純なSELECTクエリがデータ書き込みを引き起こす理由について詳しく説明します。マルチバージョンコンカレンシーコントロール（MVCC）メカニズムから始め、行バージョン、ページ、タプルの概念を説明します。コード例を通して、ヒントビットの更新とページのプルーニングが、読み込み操作によってページが変更され、最終的にディスクへの書き込みにつながる仕組みを分析します。また、HOT更新最適化戦略についても説明し、ページ検査ツールを使用して、データがページ内にどのように格納され、更新されるかを示します。
続きを読む
Omniは、gpt-4oなどの様々な大規模マルチモーダルモデルのOCRとデータ抽出能力を比較するオープンソースのベンチマークツールです。テキストとJSONの抽出精度を評価します。このベンチマークは、従来のOCRプロバイダーとLLM全体におけるOCR精度の包括的な評価を提供します。データセットと方法はオープンソースであり、貢献と拡張を促進します。ベンチマークはJSON抽出に焦点を当て、Document ⇒ OCR ⇒ Extractionという全パイプラインの精度を測定します。JSONの精度には修正されたjson-diff、テキストの類似性にはLevenshtein距離を使用します。OpenAI、Google Gemini、Anthropicなど、様々なモデルをサポートし、シンプルなコマンドラインインターフェースとJSON出力で利用できます。
続きを読む
pytest.nvimは、Neovimエディタにpytestテストフレームワークを統合するためのプラグインです。Dockerをサポートしており、コンテナ内でテストを実行できます。このプラグインは、テストの実行、アタッチ、デタッチのための簡素化されたコマンドとキーバインディングを提供し、Dockerの設定やキーマップを含むカスタマイズ可能な設定を備えています。使用するプラグインマネージャー（Lazyvim、Packer、Vim-Plug）に関係なく、インストールと設定は簡単です。
続きを読む
Figure社は、長年のロボット工学の課題を克服するために、知覚、言語理解、学習制御を統合した画期的なビジョン・ランゲージ・アクション（VLA）モデルであるHelixを発表しました。Helixは、全身の上半身の高レート連続制御、複数ロボットの協調作業、自然言語指示だけで事実上あらゆる小さな家庭用品を拾い上げる能力など、いくつかの画期的な成果を達成しています。単一ニューラルネットワークが、タスク固有の微調整なしですべての動作を学習し、商用展開に向けて低消費電力の組込みGPU上で動作します。Helixの「システム1」（高速反応視覚運動ポリシー）と「システム2」（インターネットで事前トレーニングされたVLM）アーキテクチャにより、高速な汎化と精密な制御が可能になり、家庭環境へのヒューマノイドロボットの拡大への道が開かれます。
続きを読む
LLaDA（Large Language Diffusion with Masking）は、マスクされた拡散モデルに基づく新しい大規模言語モデルのパラダイムであり、既存の大規模言語モデルが自己回帰メカニズムに依存するという一般的な見解に挑戦しています。LLaDAは最大尤度推定によって真の言語分布を近似し、その優れた能力は自己回帰メカニズム自体ではなく、生成モデルの中核原理に由来します。研究によると、LLaDAは同じデータにおける自己回帰ベースラインモデルと比較して、競争力のあるスケーラビリティを示し、マスクされた拡散を用いた事前学習と教師ありファインチューニング、および拡散サンプリングによるテキスト生成を行います。
続きを読む
Home Assistantは、オープンソースの音声アシスタントAssist向けのハードウェア、Voice Preview Editionを発表しました。価格は59ドルで、高度なオーディオ処理、洗練されたデザイン、幅広いカスタマイズオプションを備え、プライバシーを重視したオープンな音声アシスタント体験を提供することを目指しています。Home Assistantとシームレスに統合され、ローカル音声処理をサポートし、ソフトウェアとハードウェアの両方をカスタマイズできます。このプレビュー版はAssistの開発を加速させ、最終的には既存の音声アシスタントを凌駕し、より多くの言語をサポートし、ユーザーにより多くの選択肢を提供することを目指しています。
続きを読む
この論文は、型チェッカーの設計のための計算アプローチを提示し、等式推論を用いて行動仕様から型チェッカーを導出する方法を示しています。著者は、fold fusionに基づく代数的なアプローチを用いて計算を簡素化し、さらに制約ベースのアプローチを用いてfusionの前提条件の解決と合成を改善しています。この方法論は、単純な式言語、例外をサポートする言語、ラムダ計算のバージョンという、複雑さの増す3つの例を用いて説明されています。
続きを読む
LeetArxivは新しいシリーズ「プログラマーが知っておくべき組合せ論」の第1章として、整数分割と整数組成を紹介しています。この記事では、観察とパターン認識を通して、これらの概念を分かりやすく説明しています。C言語のコードが提供されており、二項係数と二分探索を用いて効率的に弱組成を生成・列挙することができます。
続きを読む
この記事では、しばしば混乱を招くAIエージェントの定義について論じています。著者は、AIエージェントとAIアシスタントを区別する鍵は「アイデンティティ」にあると主張します。真のAIエージェントは、独自のアイデンティティで行動し、監査ログに反映されます。一方、AIアシスタントは人間のユーザーのアイデンティティで動作します。このアイデンティティに基づく定義は、自律性、能力、推論能力を意味します。著者は法的代理人と比較し、自身の会社の製品を例に挙げて、この定義の実用的な適用を示しています。
続きを読む
このブログ投稿は、Bashスクリプトにおける隠れた機能、ハッシュマップ（連想配列）の組み込みサポートについて明らかにしています！著者は、GPUインスタンス管理を含むプロジェクトに取り組んでいる際にこの機能を発見し、使用方法を共有しています。この投稿では、Bashハッシュマップ内でキーと値のペアを宣言、値の割り当て、読み取り、反復処理、削除する方法を詳細に説明し、動的な追加と事前に定義されたキーと値のペアという2つの宣言方法を示しています。これは、Bashスクリプト内でキーと値のデータを効率的に処理するための貴重なテクニックです。
続きを読む
Hacker Newsで、ある開発者がオープンソースメンテナが直面する課題を強調しています。大企業はコスト削減のためにこれらのプロジェクトに依存していますが、めったに貢献せず、メンテナを圧倒しています。主な問題はコミュニケーションの不足です。メンテナは明確な貢献ガイドラインがなく、貢献者はどのように効果的に支援できるのかがわかりません。著者は、メンテナが自身のニーズを明確に示すこと、つまりPRの受け入れ、バグレポートの提出方法、金銭的支援の受諾などを明確にすることで、効率と協調性を向上させると提案しています。
続きを読む
最新のWindows 11 Insider Preview Build 26200.5516は、Devチャネルに多くの改良をもたらします。最も注目すべき点は、AMDおよびIntel搭載のCopilot+ PC向けのWindows検索の強化です。意味的インデックスを使用することで、ユーザーは「夕暮れの橋」など、自然言語を使用してドキュメント、写真、設定を検索できるようになり、オフラインでも機能します。また、ナレーターの音声要約機能（ナレーターが話した内容を確認およびコピーできる機能）、予期せぬ再起動時のUIの改善、CopilotのWin+Cショートカットキーと押しながら話す機能、Click to Doの改善、Windows共有機能の強化なども含まれています。いくつかの既知の問題は、今後のアップデートで修正される予定です。
続きを読む
この長文は、集積回路の共同発明者であるボブ・ノイスの生涯を描いています。保守的なアイオワ州の町での育ちから、ベル研究所でのトランジスタとの出会い、そしてシリコンバレーでの起業家としての成功まで、ノイスの人生はチャンスと逆境の両方に満ちていました。チームワークと個人の責任を重視する彼独自の経営スタイルは、シリコンバレーの企業文化そのものを形作りました。物語は、ノイスの才能、粘り強さ、そして彼の成功の原動力となった強いピューリタン精神を明らかにし、技術の進歩に深い影響を与えたことを示しています。
続きを読む
JSLinuxを使用すると、Linuxやその他のオペレーティングシステムをブラウザで直接実行できます！このプロジェクトは、x86ベースのAlpine Linux、Windows 2000、FreeDOS、そしてriscv64ベースのBuildrootやFedoraなど、さまざまなシステムをサポートしています。ユーザーはコンソールモードとグラフィカルインターフェースモードを選択でき、開発者や愛好家にとって便利な実験プラットフォームとなります。これは、Webベースのシステムエミュレーションにおける大きな進歩です。
続きを読む
著者は、すべての機器をHome Assistantに接続することに夢中になり、独自アプリでのみ制御可能な洗練された空気清浄機に取り組みました。シームレスな自動化を実現するために、ESP32ベースのデバイスのリバースエンジニアリングを行いました。アプリの分析により、クラウドサーバーへのWebSocket接続が明らかになりました。ネットワークトラフィックを傍受し、UDPプロキシを使用してクラウドサーバーに転送することで、UDPパケットがキャプチャされました。これらのパケットは暗号化されていました。デバイスの分解により、ESP32-WROOM-32Dマイクロコントローラーが明らかになり、esptoolを使用してファームウェアが抽出されました。分析の結果、暗号化にmbedtlsライブラリが使用され、AES-128-CBCがアルゴリズムとして特定されました。最後に、マンインザミドル攻撃（MITM）を実行し、デバイスをHome Assistantに統合するためのNode.jsスクリプトが記述されました。
続きを読む
Red Hatは、車載オペレーティングシステムRed Hat In-Vehicle Operating System (IVOS)のISO 26262 ASIL-B認証に向けて、ミックスクリティカリティの機能安全認証を取得したと発表しました。このマイルストーンは、車両向けに革新的なネイティブLinuxベースの機能安全を提供するというRed Hatの取り組みを裏付けるものです。この認証は、IVOSの安全性を検証するだけでなく、将来の自動車への展開における顧客の信頼を高める道も開きます。
続きを読む
2つの新しい研究は、AIチャットボットのヘビーユーザーにおいて、孤独感と感情的な依存が増加する可能性があるという潜在的な暗い側面を明らかにしています。研究者たちは、孤独な人々はAIとの感情的なつながりを求める可能性が高いことを発見し、これは以前のソーシャルメディアに関する研究を反映しています。AIチャットボットは感情的なサポートを提供できますが、プラットフォームはユーザーの幸福を優先し、過度の依存と感情的な搾取を防ぎ、不健康な使用パターンを特定し介入するための対策を講じる必要があります。立法者もこの新たな問題に対処し、適切な規制を策定する必要があります。
続きを読む
ブロガーのWouter Groeneveld氏は、自身のブログBrain Bakingでリンク切れ調査を行いました。453件の投稿にある3179個の外部リンクをチェックした結果、約7%が壊れていることが判明しました。404エラーと403エラーが最も多く、壊れたリンクの大部分は個人ブログからのものであり、次に企業サイト、その他の資源が続きます。この調査結果は、個人ウェブサイトのリンクの不安定性と、学術論文における高いリンク切れ率を浮き彫りにしています。Wouter氏は、ウェブサイト制作者はパーマリンクを使用し、リンクを貼る際には注意深く対象を選択し、外部リソースをローカルに保存することを検討すべきだと推奨しています。
続きを読む
カリフォルニア州司法長官ロブ・ボンタは、他の22州の司法長官と共に、最大3兆ドルの連邦資金を凍結する指令を阻止するため、管理予算局（OMB）を提訴しました。この指令は、災害救助（カリフォルニア州の山火事からの復興を含む）、公衆衛生、教育、公共安全プログラムへの重要な資金を停止する可能性があります。ボンタは、この指令が憲法と行政手続き法に違反すると主張し、差し止め命令を求めています。
続きを読む
HP Inc.は、欧州数カ国で、一般消費者向けPCおよびプリンターの電話サポートに最低15分の待ち時間を導入しました。これは、顧客をオンラインサポートチャネルに誘導し、保証コストを削減するための戦略です。社内関係者は懸念を表明しており、意思決定者と影響を受ける顧客との間の乖離を強調しています。HPは顧客満足度指標を監視していると主張していますが、この措置により、一部の顧客がソーシャルメディアやライブチャットなどの代替サポート方法に転じる可能性があります。
続きを読む
この記事では、Idrisにおいて、安全で効率的なprintf関数を、不安定なマクロや可変長引数を使わずに実装する方法を示しています。巧みに型レベルプログラミングを用いることで、フォーマット文字列をデータ構造に解析し、それに基づいて動的に関数型シグネチャを生成します。これにより、C言語のprintfの機能を、メモリ安全と型安全性を維持したまま実現します。実行時フォーマット文字列の処理についても考察し、エラーメッセージの分かりにくさなどの実装上の欠点も指摘し、今後の改善の方向性を示唆しています。
続きを読む
効果的な生成AIワークフローの構築は、組み合わせ爆発の問題に直面します。Syftrは、多目的ベイズ最適化を使用して、精度、コスト、レイテンシの制約においてPareto最適なワークフローを自動的に特定するオープンソースフレームワークです。Syftrは、膨大な構成空間を効率的に探索し、精度とコストのバランスを最適化するワークフローを見つけ出し、CRAG Sportsベンチマークで顕著な成果を収め、コストをほぼ2桁削減しました。Syftrは様々なコンポーネントとアルゴリズムをサポートし、他の最適化ツールと互換性があり、生成AIシステム構築のための効率的でスケーラブルなアプローチを提供します。
続きを読む
この本「Haikuでプログラミングを学ぶ」は、Haikuオペレーティングシステムでのプログラミングを段階的に解説したものです。データ型やループといった基本的な概念から、オブジェクト指向プログラミングやC++とHaiku APIを使ったGUI開発といった高度なトピックまでを網羅しています。23のレッスンを通して、読者は完全なHaikuアプリケーションを作成し、ソースコードとリソースも含まれています。初心者にとって理想的で、このチュートリアルは読者に独自のHaikuプログラムを作成する力を与えます。
続きを読む
この包括的なガイドで、macOS Sonoma の隠れた生産性向上機能を発見しましょう。システム全体のキーボードショートカット、Finder のヒント、ウィンドウ管理テクニック、Safari の機能強化など、多くの機能が紹介されています。メニューの簡単な操作、スクリーンショットのショートカット、Finder での効率的なファイル管理など、Mac のワークフローを変革し、生産性を向上させましょう。
続きを読む
データベーススタートアップのEdgeDBが正式にGelに改名し、バージョン6.0でSQLを完全にサポートすることを発表しました。PostgreSQLプロトコルをネイティブにサポートします。Gelは、JavaScriptに対するTypeScriptのように、PostgreSQLのフロントエンドレイヤーとして位置付けられており、インテリジェントコンパイラを通じてデータスキーマとクエリ効率を向上させます。今回の改名は、ブランドの明確性とシンプルさを高め、繁栄するPostgreSQLエコシステムへの統合を促進することを目的としています。Gel 6.0のリリースは、独自のクエリ言語EdgeQLのみをサポートしていたことからSQLへの対応へと大きく転換し、魅力を高め、参入障壁を下げることを意味します。
続きを読む
インターネット検閲の激化に直面し、Proton VPNは権威主義体制下で情報自由を求める何百万人もの人々にとって不可欠なツールとなっています。この記事では、Proton VPNがロシア、ベネズエラ、中国のインターネットファイアウォールとどのように戦い、政府による弾圧や封鎖をどのように回避してきたかを詳述しています。ProtonのCEOであるアンディ・イェンは、大手テクノロジー企業がアプリストアからVPNサービスを削除することで、インターネットの独裁的な管理に間接的に貢献していると指摘しています。Proton VPNは、その技術力とインターネットの自由への揺るぎないコミットメントにより、オンラインの自由を守る最前線に立ち、検閲との継続的な「軍拡競争」を繰り広げています。
続きを読む
2024年末に製造されたテスラモデル3を購入した著者は、悪夢のような経験をしました。カメラ、GPS、オートパイロット、ソフトウェアアップデートなど、多くの機能が、新しい車載コンピューターのハードウェア故障により故障しました。さらに悪いことに、車は1日あたり8％のバッテリー消耗があり、ブレーキとサスペンションシステムにも問題がありました。テスラはいくつかの欠陥を認めましたが、ペナルティなしでの返品を拒否し、3ヶ月後の部品交換という解決策しか提供しませんでした。著者は運転を中止せざるを得なくなり、他のテスラオーナーにこの問題に注意するよう促しています。
続きを読む/https%3A%2F%2Ftf-cmsv2-smithsonianmag-media.s3.amazonaws.com%2Ffiler_public%2Fcb%2Fac%2Fcbacbdbe-56dc-4a1a-8921-80151be9ef33%2F2.jpg)
スペイン南東部の沖合で、ダイバーが2600年前のフェニキア船の難破船、マサロンII号の引き揚げに成功しました。1994年に発見された全長27フィートの船は、鉛のインゴットを積んでおり、数年間の計画を経て、慎重に1つずつ引き上げられました。海岸浸食と変化する海流の脅威にさらされていたため、この驚くほど無傷の難破船の回収は、フェニキア造船技術と文化に関する貴重な洞察を提供します。
続きを読む
MSCHFは「Free Paint 1.0」という無料インタラクティブ映画を公開しました。ユーザーは共同で映像を作成できます。巨大なオンライン共同落書きのようなもので、ユーザーはオンラインツールを使って画像を追加したり削除したりし、フレームごとに映画を構築していきます。現在92％完成しており、インターネット時代の共同制作の可能性を示し、アート、著作権、著作権に関する議論を巻き起こしています。
続きを読む