人気のタグ：
仮想化 DNSセキュリティ 形式的検証 到達可能性解析 C言語 コンパイラエラー マクロの衝突 Web拡張機能 開発フレームワーク コモドール64 すべてのタグ

PostgreSQLにおけるColBERT rerankによるベクトル検索の高速化

2025-01-24
PostgreSQLにおけるColBERT rerankによるベクトル検索の高速化

従来のベクトル検索はセンテンスエンベディングに依存しており、細かな情報が失われる可能性があります。ColBERTは、テキストをトークンレベルのマルチベクトルとして表現することで、より多くのニュアンス情報を保持し、検索精度を向上させます。しかし、トークンレベルの相互作用は計算コストが高くなります。この記事では、PostgreSQL拡張機能であるVectorChordとpgvectorを使用して、センテンスレベルのベクトル検索とColBERTトークンレベルのrerankを組み合わせる方法を示します。このアプローチは、センテンスエンベディングを使用して高速な初期検索を行い、その後ColBERTでrerankすることで、結果を向上させます。複数のBEIRデータセットで大幅な改善が観察されました。

続きを読む
(blog.vectorchord.ai)
開発 ベクトル検索

Googleマップが米政府による名称変更を反映

2025-01-28
Googleマップが米政府による名称変更を反映

トランプ大統領の行政命令を受け、Googleマップはメキシコ湾を「アメリカ湾」、デナリをマッキンリー山に改名することを反映して更新されます。この更新は、地理的名称情報システム（GNIS）による変更と一致するものです。これは、政府の決定が主要なテクノロジー・プラットフォームに与える影響を浮き彫りにしています。

続きを読む
(www.theverge.com)
テクノロジー Googleマップ 名称変更 政府命令

サイボーグ昆虫工場：ビジョン誘導型ロボットアームによるカスタム双極電極操作に基づく昆虫コンピューターハイブリッドロボットの自動組み立てシステム

2024-12-15
サイボーグ昆虫工場：ビジョン誘導型ロボットアームによるカスタム双極電極操作に基づく昆虫コンピューターハイブリッドロボットの自動組み立てシステム

研究者らは、昆虫コンピューターハイブリッドロボットを組み立てる自動化システムを開発しました。このシステムは、ビジョン誘導型ロボットアームを使用して、カスタム設計された双極電極をマダガスカルゴキブリの背中に正確に埋め込みます。全プロセスはわずか68秒で完了し、組み立てられたロボットは、手動で組み立てられたシステムと同等の操縦と減速制御を実現します。4台のロボットからなるマルチエージェントシステムは、障害物コースを成功裏に通過し、大量生産と現実世界の応用可能性を実証しました。この研究は、昆虫ロボットのスケーラブルな生産と展開への道を切り開きます。

続きを読む
(arxiv.org)
AI 昆虫ロボット 自動組立 ロボット工学

マンデルブロ集合への深層ズーム：理論と実践

2025-01-03
マンデルブロ集合への深層ズーム：理論と実践

この記事では、マンデルブロ集合への深層ズームの理論と実践について詳しく説明します。マンデルブロ集合をレンダリングするための従来のアルゴリズムは、計算コストが高くなります。著者は、摂動理論に基づく高速化技術を紹介しており、摂動反復、グリッチ検出、リスケーリングなどが含まれます。さらに、級数近似技術や、「ディープニードル」領域やハイブリッドフラクタルなどの課題への対処方法についても説明します。これらの最適化により、レンダリング速度が大幅に向上し、より詳細な画像を作成できます。

続きを読む
(mathr.co.uk)
テクノロジー フラクタル マンデルブロ集合 深層ズーム

ボイジャー探査機のミッション延長：NASAが象徴的な探査機の存続のために奮闘

2025-03-06
ボイジャー探査機のミッション延長：NASAが象徴的な探査機の存続のために奮闘

打ち上げから47年、人類が送り出した最も遠くにある探査機ボイジャーは、電力不足に直面しています。運用寿命を延ばすため、NASAは戦略的に一部の科学機器の電源を切っています。それでも、NASAはボイジャー探査機が2030年代まで、貴重なデータを収集しながら星間航海を続けると予想しています。

続きを読む
(www.theverge.com)
テクノロジー ボイジャー

欧州、2億4000万ユーロでRISC-Vスーパーコンピュータ用チップ開発プロジェクトを開始

2025-03-09
欧州、2億4000万ユーロでRISC-Vスーパーコンピュータ用チップ開発プロジェクトを開始

38社のテクノロジー企業がコンソーシアムを形成し、ヨーロッパのスーパーコンピュータと高性能コンピューティングシステム向けにRISC-Vベースのプロセッサを開発する2億4000万ユーロのプロジェクト「DARE」を開始しました。このプロジェクトでは、Openchipによるベクトル演算アクセラレータ、Axelera AIによる次世代推論チップレット、Codasipによる汎用プロセッサの3つのチップレットを作成します。この取り組みは、特に米国と中国を相手に、ヨーロッパのデジタル主権とグローバルなRISC-V市場における競争力を強化することを目的としています。

続きを読む
(www.theregister.com)
テクノロジー スーパーコンピュータ

Home Assistantのインターネットアクセスにおけるセキュリティ上の欠陥

2024-12-15

Frederik Braun氏は、Home Assistantを使用してスマートホームのリモート制御を試みましたが、重大なセキュリティ上の脆弱性を発見しました。Home Assistantはユーザー名/パスワードと2要素認証を提供していますが、埋め込まれたクレデンシャルを含むURLを処理できないこと、ルートパスでの展開が必要であることから、Webサーバー認証や曖昧なパスなどの追加のセキュリティレイヤーを追加することができません。そのため、Home Assistantのセキュリティは内部メカニズムのみに依存しており、セキュリティリスクが生じています。著者は、Home Assistantコミュニティに対して、セキュリティ設定の柔軟性を向上させるよう求めています。

続きを読む
(frederikbraun.de)
開発 セキュリティ リモートアクセス

Automattic、リストラを発表、従業員の16%削減

2025-04-02
Automattic、リストラを発表、従業員の16%削減

AutomatticのCEO、マット・ムレンウェグは、従業員の16%削減を含む企業再編を発表しました。この決定は、急速に変化する市場における効率性、収益性、競争力の向上を目指しています。影響を受ける従業員は、解雇手当、福利厚生、転職支援を受けます。Automatticは、この再編が長期的な成功を確保し、インターネットの民主化という使命を継続するために必要であると述べています。

続きを読む
(automattic.com)
スタートアップ 再編

シヴィライゼーションVIIとショーニー族の協働：ゲームと文化保存の交響曲

2025-02-24
シヴィライゼーションVIIとショーニー族の協働：ゲームと文化保存の交響曲

シヴィライゼーションVIIの開発において、Firaxis Gamesはショーニー族の族長ベン・バーンズと協力し、ショーニーの歴史と文化を忠実に再現しました。この協働は、ゲーム内でのショーニー文明と指導者テクムセの正確な描写だけでなく、ショーニー語の保存を支援するためのレコーディングスタジオの設立にも及びました。これは、ゲーム開発の成功例であると同時に、ゲームと文化保存が絡み合う感動的な物語です。

続きを読む
(civilization.2k.com)
ゲーム

CRISPRを用いて2匹の父親を持つマウスを作成

2025-01-29
CRISPRを用いて2匹の父親を持つマウスを作成

中国の科学者たちは、CRISPR技術を用いて、成体まで生き延びる2匹の父親を持つマウスを作成しました。20個のインプリント遺伝子を編集することで、通常、二父性マウスで見られる発達異常を回避しました。この研究は、ゲノムインプリンティングと潜在的な生殖技術に関する知見を提供しますが、ヒトへの応用に関する倫理的および安全上の懸念も強調しています。

続きを読む
(www.technologyreview.com)
テクノロジー 遺伝子編集 ゲノムインプリンティング

Varvaraシステム向け軽量スプレッドシートエディタNebu

2025-03-06

Nebuは、Varvaraシステム向けに設計された軽量なグラフィカルスプレッドシートエディタで、csv/tsvファイルの処理に対応しています。数学演算は、矩形セル範囲と演算子を指定して実行します。範囲は、2つのセル識別子の間にコロンを使用して定義します。セルは最大で1つの演算を実行し、範囲はセルの前に記述する必要があり、再帰的に自身を含むことはできません。基本的な四則演算(+、-、*、/)、空でないセルのカウント(#)、文字列連結(")をサポートしています。演算子が指定されていない場合は、合計がデフォルトになります。Nebuは瞬時に起動し、空のExcelファイルよりも軽量です。

続きを読む
(wiki.xxiivv.com)
開発

電卓でニューラルネットワークを実行：56時間の列車の旅

2025-01-04
電卓でニューラルネットワークを実行：56時間の列車の旅

コンピュータサイエンスの博士号を持つ研究者が、56時間の列車の旅の間に、TI-84 Plus CEグラフ電卓に畳み込みニューラルネットワーク（CNN）を移植することに挑戦しました。メモリ不足やネイティブの浮動小数点演算の欠如など、大きなハードウェアの制約を克服し、手書き数字の識別のためにネットワークのトレーニングと実行に成功しました。速度は遅いものの、この成果は、極めてリソースの少ないデバイスでAIを実行できることを示しており、巧妙なメモリ管理とアルゴリズム最適化が示されています。

続きを読む
(z80.me)
ハードウェア

SWE-bench：大規模言語モデルは現実世界のGitHubの問題を解決できるか？

2025-01-08
SWE-bench：大規模言語モデルは現実世界のGitHubの問題を解決できるか？

SWE-benchは、大規模言語モデルが現実世界のGitHubの問題を自動的に解決できる能力を評価するためのベンチマークデータセットです。研究者たちは、12の人気のあるPythonリポジトリから2294のIssue-Pull Requestペアを収集し、ユニットテストを使用してソリューションを検証しました。最新のリーダーボードは、さまざまなモデルが異なる成功率を達成していることを示しており、解決率が50％を超えるモデルもあります。このプロジェクトは、軽量版データセットや事前学習済みモデルなど、評価と再現性を容易にするためのリソースを提供しています。

続きを読む
(www.swebench.com)
開発 コード修正

Kubernetes Slackが新たなプラットフォームに移行へ

2025-06-16

KubernetesのSlackワークスペースは6月20日に無料プランにダウングレードされ、メッセージ履歴は90日間に制限され、いくつかのアプリとワークフローが使用できなくなります。これは、ワークスペースの規模がSlackの無料プランの能力を超えているためです。Kubernetesコミュニティは、GitHubグループメンバーシップ同期などの機能強化と統合を提供するDiscordへの移行を検討しています。最終的なプラットフォームはステアリングコミッティが決定します。

続きを読む
(www.kubernetes.dev)
開発

オープンソースソフトウェアの8兆8000億ドルの経済効果：3000人の開発者によって推進される革命

2025-03-21
オープンソースソフトウェアの8兆8000億ドルの経済効果：3000人の開発者によって推進される革命

ハーバード・ビジネス・スクールの調査によると、オープンソースソフトウェアは8兆8000億ドルの経済価値を持つことが明らかになりました。なければ、企業はソフトウェアに3.5倍の費用を費やすことになります。世界中の約3000人の開発者がこの価値の95％に貢献しており、すべてのコードベースの96％にオープンソースが含まれています。研究者らは、開発コスト（供給価値：41億5000万ドル）と企業が自力で再構築する場合のコスト（需要価値：8兆8000億ドル）を評価することで価値を算出しました。Go言語は、5兆ドルを超える需要価値を示し、際立っています。この調査は、オープンソースを現代の共有財産として強調し、企業と政府による貢献と促進を促しています。

続きを読む
(www.heise.de)
テクノロジー

看護師の悪夢：ギグエコノミーにおけるアルゴリズム的搾取

2024-12-19

コリー・ドクターロウの記事は、アメリカの医療システムにおける「看護師向けUber」のようなアプリが、アルゴリズム的差別とリスク転嫁によって看護師をどのように搾取しているかを暴いています。これらのアプリは複雑な料金体系と競争入札を用いて賃金を抑え、看護師に保険、機器などの費用を負担させ、結果として大幅な収入減と不安定な労働条件をもたらします。この記事は、これを資本主義の失敗として強調し、看護師の権利保護のため、より強力な労働法と労働組合の結成を訴えています。

続きを読む
(pluralistic.net)
テクノロジー アルゴリズム的差別 ギグエコノミー 看護師の搾取

脳がメンタル「チャプター」を作る仕組みを解明

2024-12-19
脳がメンタル「チャプター」を作る仕組みを解明

Current Biologyに掲載された新しい研究は、脳が日々の経験の連続的な流れを、個別の意味のある出来事にどのように分割するかを明らかにしています。この「出来事のセグメンテーション」は、環境の変化への受動的な反応ではなく、過去の経験と目標に基づいた内部スクリプトによって形成される能動的なプロセスです。研究者たちは、オーディオナラティブとfMRIを用いて、デフォルトモードネットワークの背内側前頭前皮質における脳活動が、優先順位の高いスクリプトによって決定された出来事の境界と一致することを示しました。このメンタル「チャプター」の能動的な構築は、理解、記憶形成、情報の優先順位付けに不可欠です。

続きを読む
(www.psypost.org)
AI 出来事のセグメンテーション 脳活動 記憶

超高速米国ルートプランニング：US Routingの紹介

2025-05-08
超高速米国ルートプランニング：US Routingの紹介

US Routingは、米国における高速なローカルルートプランニングのためのPythonライブラリです。近似値で十分な状況に最適で、北米道路データセットを利用しています。都市、郵便番号、または座標間のルートを迅速に計算し、最短距離と最速時間のどちらかを選択できます。距離、時間、通過した州などの詳細なルート情報も取得できます。このライブラリには、北米道路データセットのダウンロードと処理機能も含まれており、カスタムルーティンググラフの作成も可能です。

続きを読む
(github.com)
開発 地理空間

ほぼ完璧な本のソートアルゴリズム

2025-01-24
ほぼ完璧な本のソートアルゴリズム

「図書館ソート問題」（別名「リストラベリング問題」）において、画期的な進歩が達成されました。この問題は、新しいアイテムの挿入に必要な時間を最小限にするために、本やデータベース内のファイルを整理する最も効率的な方法を見つけることに焦点を当てています。研究チームは、平均挿入時間が理論上の最適値（log n）に非常に近い新しいアルゴリズムを開発しました。このアルゴリズムは、過去のコンテンツに関する限られた知識と、驚くべきランダム性の力を巧みに組み合わせることで、数十年間にわたる課題を解決しました。この研究は、図書館員だけでなく、データベースやハードドライブの整理にも影響を与え、データの保存と検索の効率を大幅に向上させることが期待されています。

続きを読む
(www.quantamagazine.org)
開発

Basecampがプロジェクト管理における不正確さを肯定

2025-02-11
Basecampがプロジェクト管理における不正確さを肯定

Basecampは、プロジェクト管理における正確な数値へのこだわりを問い直し、曖昧さと主観性を重視することを提唱しています。この記事は、プロジェクトの現実を無視した正確な数値の追求を批判し、「63％完了」は無意味である一方、「来週の火曜日までに完了見込み」の方が現実的であると主張しています。BasecampのHill ChartsやMove The Needleなどの新機能は、直感的なグラフィックマーカーを使用してプロジェクトの進捗状況を視覚的に表現することで、機械的な計算よりも主観的な判断を重視しています。この記事では、クリエイティブな仕事において、主観性と生産性は敵対するものではなく、むしろ協力関係にあると主張しています。Basecampは、現実をより正確に反映するように、アプローチを継続的に改善していく予定です。

続きを読む
(world.hey.com)
開発 主観性

ボノボの文法が人間の言語の独自性を問う

2025-04-11
ボノボの文法が人間の言語の独自性を問う

新たな研究によると、ボノボは複雑な方法で鳴き声を組み合わせて独特のフレーズを形成し、この種の構文はこれまで考えられていたよりも進化的に古いことを示唆している。研究者らは、ボノボの発声を観察し分析し、意味論的手法を用いることで、ボノボの鳴き声の組み合わせに非自明的な構成性があることを発見した。つまり、組み合わせの意味は、個々の部分の意味とは異なるということである。この発見は、人間の言語の独自性に疑問を投げかけ、人間の言語の複雑な構文はより古い祖先から由来している可能性を示唆している。

続きを読む
(www.newscientist.com)
AI

シュレーディンガーの猫とハイゼンベルクの切り分け：量子力学のパラドックスと解釈

2024-12-15
シュレーディンガーの猫とハイゼンベルクの切り分け：量子力学のパラドックスと解釈

この記事は、シュレーディンガーの猫の思考実験とその大衆文化への影響を探ります。シュレーディンガーはこの実験を提案して、量子力学における重ね合わせの不条理を強調しましたが、猫が同時に生きていて死んでいることを示唆するためではありませんでした。この記事では、ハイゼンベルクの切り分け―量子力学と古典物理学の境界―についても説明し、コペンハーゲン解釈などの様々な解釈がこの切り分けをどのように扱っているかを解説します。著者は最終的に、量子力学は強力な確率計算の枠組みであるものの、マクロな世界への適用性についてはさらなる研究が必要だと主張しています。

続きを読む
(jimbaggott.substack.com)
AI シュレーディンガーの猫 ハイゼンベルクの切り分け

英国のテクノロジー企業、新たなオンライン安全性規制に対応

2024-12-16
英国のテクノロジー企業、新たなオンライン安全性規制に対応

英国のオンライン安全性法が施行され、テクノロジー企業は新たな安全責任を負うことになりました。Ofcomは、テロ、ヘイトスピーチ、児童性的虐待など、プラットフォーム上の違法コンテンツのリスクを評価・軽減することを企業に求める、最初の行動規範とガイダンスを発表しました。新しい規制では、コンテンツモデレーションの強化、報告メカニズムの改善、児童の性的搾取からの保護策（子供の個人情報のデフォルトでの非表示など）が義務付けられています。Ofcomは、テクノロジー企業の行動を綿密に監視し、違反に対しては厳格な罰則を科します。

続きを読む
(www.ofcom.org.uk)
テクノロジー オンライン安全性 テクノロジー企業

ランダム性で権力腐敗に対抗する：より公平な制度設計

2025-07-15
ランダム性で権力腐敗に対抗する：より公平な制度設計

この記事では、キャンベルの法則（グッドハートの法則の変形）を探求し、社会的意思決定に使用される指標は、操作されやすいと述べています。権力者の選抜を例に、従来の方法（選挙、世襲）がどのように操作され、最も有能な人ではなく、システムをうまく操る人が権力を握るかを示しています。著者は、ランダム性（例えば、ランダムに選抜された審査委員会、ランダムな候補者選抜）を導入することで、この腐敗に対抗し、公平性と効率性を高めると提案し、歴史的および現代的な事例を挙げています。最終的に、この記事は、ランダム性は優秀さを排除するのではなく、保護するメカニズムであり、実力主義が策略家やおべっか使いに支配されるのを防ぐと主張しています。

続きを読む
(assemblingamerica.substack.com)
その他

56kモデム：シャノンの限界を超えた方法

2025-03-06
56kモデム：シャノンの限界を超えた方法

ダイヤルアップ時代、33.6kbpsは標準的な電話回線におけるモデムの速度限界と考えられていました。しかし、56kbpsモデムが登場し、この限界を打ち破りました。これはシャノンの定理の突破ではなく、電話網のデジタル化という変化を巧みに利用したものです。当時、電話網の中核部分はデジタル化されていましたが、「ラストマイル」はアナログのままでした。56kbpsモデムは、ISPがデジタル信号を電話網に直接送信することを可能にし、アナログ変換の手順を省略することで、より高速な速度を実現しました。実際の速度は回線品質などの要因の影響を受けましたが、56kbpsモデムはブロードバンドが普及する以前から、インターネットを格段に使いやすくしました。

続きを読む
(hackaday.com)
テクノロジー 56kモデム デジタル通信 シャノンの定理

2GBの壁を突破：WebAssemblyにおける大規模ファイルの非同期I/O

2025-03-04
2GBの壁を突破：WebAssemblyにおける大規模ファイルの非同期I/O

筆者は以前、WebAssemblyでsetjmpを実装し、WASI libcの例外処理提案への依存を回避しました。しかし、この方法は2GB未満のファイルに制限されていました。この記事では、File APIとBlob型を利用して、大規模ファイルを処理するためのメモリベースのファイルシステムを作成する方法について説明しています。WebのI/Oは非同期である一方、システム言語は通常同期であるため、Asyncifyを使用してパラダイムを橋渡ししました。wasm-optの最適化に関する問題が発生しましたが、ダミーのwasm-optを作成することで解決しました。最終的に、volatile関数ポインタを巧みに使用することで、`asyncjmp_rt_start`関数に対するAsyncifyの誤った仮定を回避し、大規模ファイルの非同期処理を実現しました。

続きを読む
(andrews.substack.com)
開発

リバースエンジニアリング：シェンムーにおけるリアルな太陽位置シミュレーションの解明

2025-03-12
リバースエンジニアリング：シェンムーにおけるリアルな太陽位置シミュレーションの解明

この記事では、セガのドリームキャストの名作ゲーム『シェンムー』におけるリアルな太陽シミュレーションのコードをリバースエンジニアリングで調査した結果を詳述しています。太陽の位置を計算する関数分析を通して、開発者が地球の自転と地軸の傾きを用いて太陽の位置を巧みに近似していた手法が明らかになりました。『シェンムー』と『シェンムーII』の比較からは、微妙なアルゴリズムの違いも確認できます。この調査は、ゲーム開発における細部へのこだわりと、リバースエンジニアリングがソフトウェアロジックと開発者の意図を理解する上でいかに強力なツールであるかを示しています。

続きを読む
(wulinshu.com)
ゲーム シェンムー

LLMを解剖する：アテンションメカニズムから次のトークンの予測まで

2025-03-06
LLMを解剖する：アテンションメカニズムから次のトークンの予測まで

2023年、ChatGPTが1億ユーザーという驚異的な速度で成長し、AI革命を引き起こしました。このブログ記事では、大規模言語モデル（LLM）の内部動作を解き明かし、単語埋め込み、アテンションメカニズム、マルチヘッドアテンション、Transformerアーキテクチャの中核コンポーネントといった重要な概念を網羅しています。分かりやすい言葉、図解、例を用いて、著者はLLMが次のトークンを予測することでテキストを生成する方法を説明し、基本モデルから命令微調整、強化学習に至るまでの過程を詳細に示しています。記事には、モデルカードの解釈に関するガイダンスと、さらなる学習リソースも含まれています。

続きを読む
(blog.oedemis.io)
AI

WebShield：Safari向けの強力なオープンソース広告ブロッカー

2025-02-28
WebShield：Safari向けの強力なオープンソース広告ブロッカー

WebShieldは、uBlock Originに似たSafari向けの強力なオープンソースコンテンツブロッカーです。広告、トラッカー、Cookie通知などをブロックし、カスタムフィルターリストや高度なスクリプトレット/拡張CSSをサポートしています。現在ベータ版で、macOS 14、iOS 17、visionOS 1.3以降に対応しています。完全にユーザー資金で運営されており、広告や第三者との取引は一切行いません。TestFlightからダウンロードして、コードへの貢献、バグレポート、ドキュメントの改善にご協力ください。App Store版と詳細なドキュメントは近日公開予定です。

続きを読む
(github.com)
開発

2025年のインディーゲーム開発：大型エンジンから軽量ツールチェーンへ

2025-05-20
2025年のインディーゲーム開発：大型エンジンから軽量ツールチェーンへ

20年のゲーム開発経験を持つ開発者が、2025年のインディーゲーム開発ワークフローを共有。UnityやUnrealなどの大型エンジンを避け、C#、SDL3、FMOD、Dear ImGuiなどの軽量ツールとライブラリを用いた独自の軽量ツールチェーンを採用。この方法が柔軟性、楽しさ、制御性を高めると主張。技術スタックの選択、アセット管理、レベルエディタ、クロスプラットフォーム移植などについて詳細に説明し、開発者自身の状況に合わせたワークフローを選択するよう推奨している。

続きを読む
(noelberry.ca)
ゲーム
1 2 … 444 445 446 448 450 451 452 … 595 596