この記事は、ジョン・コンウェイに15年先駆けてセルオートマトンを開拓したニルス・アール・バリチェリの研究を探求します。バリチェリの「共生有機体」モデルは、有限な円形1次元空間において、衝突による消滅、位置複製、突然変異という単純なルールを通じて、異なる要素の動きと相互作用をシミュレートします。シミュレーションの結果、単純なルールであっても、生命の自然発生を思わせる安定した周期的なパターンが自発的に出現することが示されています。著者はこれらのパターンの安定性を深く掘り下げ、初期宇宙のシミュレーションとアビオジェネシスのシミュレーションを組み合わせることで、生命の起源を探求するより効率的な方法を見つけることを提案しています。
続きを読む
研究者らは、昆虫コンピューターハイブリッドロボットを組み立てる自動化システムを開発しました。このシステムは、ビジョン誘導型ロボットアームを使用して、カスタム設計された双極電極をマダガスカルゴキブリの背中に正確に埋め込みます。全プロセスはわずか68秒で完了し、組み立てられたロボットは、手動で組み立てられたシステムと同等の操縦と減速制御を実現します。4台のロボットからなるマルチエージェントシステムは、障害物コースを成功裏に通過し、大量生産と現実世界の応用可能性を実証しました。この研究は、昆虫ロボットのスケーラブルな生産と展開への道を切り開きます。
続きを読む
GitHubアシスタントは、自然言語の質問を使用してGitHubリポジトリを探索できる概念実証プロジェクトです。Reltaとassistant-uiを使用して構築されており、ユーザーは簡単な日本語で質問をし、関連するリポジトリ情報を受け取ることができます。Reltaサブモジュールは現在クローズドソースですが、リクエストに応じて利用可能です。Python 3.9+、npm、Git、OpenAI APIキーとデータベース接続URIの設定が必要です。
続きを読む
この記事は、20世紀半ばに広く行き渡っていた「明日の世界」というビジョンとその後の魅力の衰えを探っています。効率性、秩序、速度への追求から、探検、冒険、達成への願望、そして安全、快適さ、容易さへの憧れへと、より良い未来への社会的な願望の進化をたどります。しかし、技術の進歩が現実のものとなると、その欠点、例えば工業化された食品の風味のなさや都市再生プロジェクトの破壊的な性質などが明らかになりました。著者は、進歩への幻滅は、進歩それ自体に対する誤解、つまり多様性や個人の好みを認めるのではなく、「最善の方法」を追求することから生じていると主張しています。進歩の魅力を取り戻すには、現代人の願望を理解し、単一の未来像ではなく、様々なライフスタイルの可能性を提供することが不可欠です。
続きを読む
Fractional Jobsは、企業と熟練したパートタイム人材を繋ぐ、時間単位の仕事に特化した求人サイトです。フルタイム採用に代わる柔軟な選択肢を提供し、エンジニアリングやマーケティングからデザイン、ファイナンスまで、幅広い職種を網羅しています。企業は、月単位の契約で専門スキルを活用でき、専門家はキャリアを築きながら収入を増やすことができます。事前に審査済みの多数の候補者を擁し、企業と人材の迅速なマッチングを約束します。
続きを読む
Vimの生みの親であるBram Moolenaar氏の死はコミュニティに衝撃を与えましたが、プロジェクトは存続しています。VimConf 2024で、新しいメンテナーであるChristian Brabandt氏は、プロジェクトの再編と将来計画の概要を説明しました。チームは拡大し、ウェブサイトとインフラストラクチャがアップグレードされ、セキュリティ上の脆弱性レポートとコミュニティとのコミュニケーションが対処されました。Vimは現在メンテナンスモードですが、開発は停止しておらず、バージョン9.1がリリースされ、GUI、ターミナルサポート、スペルチェックなどの機能を改善する計画があります。コミュニティとの協働が不可欠であり、Brabandt氏はユーザーニーズに耳を傾け、健全なコミュニティを維持することの重要性を強調しました。
続きを読む
このテキストは、Unity Technologies Webサイトのフッターです。著作権情報、プライバシーポリシー、Cookieポリシー、およびUnity Ads、Asset Store、学習教材、コミュニティフォーラム、ドキュメントなどのさまざまなリソースへのリンクが含まれています。それ自体は記事ではなく、Unity関連のさらなる情報とリソースをユーザーに示すナビゲーション要素です。
続きを読む
研究者らは、大規模言語モデル（LLM）の多段階推論能力を向上させることを目的とした、オフライン強化学習手法OREOを発表しました。最大エントロピー強化学習に基づき、ソフトベルマン方程式を最適化することで、ポリシーモデルと価値関数を同時に学習します。これにより、多段階推論タスクにおける直接的選好最適化（DPO）の手法が抱える、大量のペアワイズデータの必要性や効果的な報酬割り当ての困難といった問題点を解決します。実験の結果、OREOは数学的推論や具象エージェント制御などのベンチマークにおいて、既存のオフライン学習手法を上回ることが示されました。
続きを読む
この入門書は、米国株式取引市場の概要を簡潔に説明しています。当初、新入社員向けのオンボーディングドキュメントとして作成され、注文のライフサイクル、市場参加者、参加者間のコミュニケーションメカニズム、市場全体の活動の全体像を網羅しています。このガイドは、順次または選択的に読むことができ、注文ライフサイクルの視覚的な表現により、プロセスの明確なイメージを提供します。事前の知識が限られている場合でも、市場参加者、コミュニケーション、市場全体の活動に関するセクションは、米国株式取引の機能的な理解を提供します。今後のアップデートでは、市場構造の歴史と固有の利益相反についてより深く掘り下げます。
続きを読む
Aboutは、Nitterにインスパイアされた、軽量で高速なReutersの代替フロントエンドです。JavaScript、広告、トラッキングを使用せず、Cookieも使用しません。ファイルサイズは通常10KB未満（Reutersは50MB以上）です。動的なテーマはシステムテーマを尊重します。libredirectやブラウザ拡張機能を使って、すべてのReutersリンクをこのサイトに自動的にリダイレクトできます。これは進行中の作業です。バグレポートや提案はGitHubで歓迎します。
続きを読む
KAGは、OpenSPGエンジンと大規模言語モデルをベースとした論理推論とQ&Aフレームワークです。専門ドメインのナレッジベース向けの論理推論と事実的なQ&Aソリューションを構築するために使用されます。従来のRAGベクトル類似度計算モデルの欠点を効果的に克服し、論理推論と複数ホップの事実的なQ&Aをサポートし、現在の最先端手法を大幅に上回ります。KAGの中核機能には、知識とチャンクの相互索引構造、概念的意味論的推論による知識アラインメント、スキーマ制約による知識構築、論理形式によってガイドされたハイブリッド推論と検索が含まれます。
続きを読む
この記事では、「聖職者たち」すなわち医療界のような専門家コミュニティのダイナミクスとその課題を探ります。著者は、これらのグループは知的な権威を求める中で、しばしば大衆から孤立し、内部的な知識のバブルを作り出していると主張します。この孤立は、深い議論とコンセンサス形成を促進する一方で、内部的なバイアスや政治的またはその他の影響を受けやすくなる可能性もあります。医学や建築を例に、これらのグループの機能、資本主義的な圧力への脆弱性、そして近年政治イデオロギーに容易に取り込まれるようになった経緯を分析しています。著者は最終的に、これらの専門家コミュニティの低下する信用性への対応策として、既存のシステムを修正するか、あるいは知識伝達の代替モデルを探求するべきかという疑問を投げかけています。
続きを読む
Bruinは、データの取り込み、SQLとPythonによるデータ変換、データ品質チェックを単一のフレームワークに統合した強力なデータパイプラインツールです。主要なデータプラットフォームと連携し、ローカルマシン、EC2インスタンス、またはGitHub Actions上で実行できます。主な機能には、データの取り込み、SQLとPythonによる変換、データ品質チェック、Jinjaテンプレート、エンドツーエンドの検証、複数の環境のサポートなどがあります。シンプルなpipeline.ymlファイルを使用してパイプラインを簡単に定義できます。
続きを読む
intercooler.jsから進化したhtmxは、jQueryのように長く使える、安定した信頼性の高いWeb開発ツールを目指しています。この記事では、htmxの将来の方向性として、安定性を優先し頻繁なアップデートを避け、コア機能の追加を制限し、拡張APIを通じて機能拡張を行うこと、四半期ごとのリリースを維持することなどが述べられています。htmxの目標はWebアプリケーションの万能なソリューションになることではなく、ハイパーメディア制御の簡素化に焦点を当て、他のツールや技術とのより良い統合を目指し、最終的にはコア機能がHTML標準に組み込まれることを期待しています。
続きを読む
アメリカ合衆国最高裁判所は、国家安全保障上の懸念からTikTokの禁止令を巡る訴訟を審理する。この禁止令は、中国政府の影響を懸念し、バイトダンス社にTikTokを売却するよう求めている。記事では、この禁止令と、アメリカ合衆国憲法修正第一条（言論の自由）との衝突を分析している。政府はこれまで、アメリカの通信インフラに対する外国勢力の支配を阻止してきた歴史があるものの、特定のプラットフォームを直接禁止することは、言論の自由の侵害や濫用の可能性を懸念させる。著者はTikTok敗訴の可能性が高いと予想する一方、最高裁判所の判断文の表現が、言論の自由へのより大きな損害を防ぐために極めて重要であると強調している。この事件は、国家安全保障と基本的人権との間の緊張関係を浮き彫りにしている。
続きを読む
ワシントン・スペクテイターの記事は、「ロシア計画」を暴露している。2005年から2010年にかけて、ロシアの高官やオピニオンリーダーに配布されたこの計画は、精神戦争を通じて西側民主主義を弱体化させ、「制御された世界的な崩壊」をもたらし、「王子僧侶」が率いる超国家主義国家を樹立することを目的としたものである。この計画と現在の情勢の不気味な一致、FSB関連団体とのつながり、そして米国における社会的分裂の利用などが強調されている。この記事は、米国債務不履行やドル攻撃（イーロン・マスクのような人物によって推進）など、潜在的に壊滅的な結果について警告し、アメリカ国民に警戒を促し、民主主義的価値観を守るよう訴えている。
続きを読む
1月16日、2025年に、世界的に有名な映画監督デビッド・リンチが78歳で亡くなりました。シュールレアリスムなスタイルと心理スリラーへの探求で知られるリンチは、『ベルベット・ゴールドマイン』『マルホランド・ドライブ』『エレファントマン』そしてテレビシリーズ『ツイン・ピークス』など、多くの作品を残しました。大胆でアバンギャルドなスタイルは、象徴的な意味に満ち、映画とテレビ芸術に大きな影響を与えました。リンチの死は映画界にとって大きな損失ですが、彼の作品は永遠に人々の記憶に残るでしょう。
続きを読む
2024年、Thunderbolt 5が市場に登場し、ノートパソコンとモニターに大幅な性能向上をもたらしました。Thunderbolt 4と比較して、Thunderbolt 5は帯域幅が2倍（最大120Gbps）になり、最大8Kのディスプレイをサポートし、最大240Wの充電電力を提供します。これは、より高速なファイル転送、より強力な外付けGPUとAIアクセラレーターのサポート、そして優れた表示機能を意味します。Thunderbolt 5のポートとケーブルはThunderbolt 4と似ていますが、パフォーマンスの向上は著しいです。最高のパフォーマンスを求めるなら、Thunderbolt 5を検討する価値はありますが、現在の普及率は低く、価格は比較的高いです。
続きを読む
NASAゴダード宇宙飛行センターは、衛星高度計データとシミュレーションを用いて作成された、地球規模の内部海洋潮汐の驚くべき可視化データを公開しました。このアニメーションは、ハワイ海嶺などの海底地形と潮汐エネルギーの相互作用によって生成される内部潮汐波が、どのように海洋を伝播するかを示しています。これらの波は表面では微妙な表現しか示しませんが、海洋混合と循環において重要な役割を果たしています。この可視化データは、タヒチ、インド洋南西部、ルソン海峡など、強い内部潮汐活動が見られる他の地域も強調しており、海洋力学に関する新たな知見を提供しています。
続きを読む
この記事では、静的型付け言語におけるライブラリの公開データ定義の進化における後方互換性の課題に対処するために、Elixirにおける集合論的型をどのように利用できるかを検討しています。著者は、CとRustのライブラリ間の相互運用性の例を用いて、既存の型システムがデータ構造の進化を扱う際の限界を示しています。そして、構造的部分型とリビジョニングに基づいたソリューションを提案しており、ライブラリは既存のユーザーを壊すことなくデータ構造を拡張できます。このソリューションは、コンパイラによる自動的な型安全性の検証を利用し、ライブラリとアプリケーション間での異なるデータバージョンの共存をサポートします。
続きを読む
Futility Closetのブログ記事では、数学の公式a² – b² = (a + b)(a – b)の視覚的な証明が提示されています。ソフィー・ジェルマンの洞察に富んだ言葉「代数は書かれた幾何学であり、幾何学は図解された代数であると言われている」を引用しています。この記事では、この公式を分かりやすく図解して示し、数学の優雅さと代数と幾何学の密接な関係を強調しています。
続きを読む
このプロジェクトは、ESP32-CAM、電話、サーバーを使用して、視覚障害者向けの低コストのライブ画像説明ソリューションの詳細を説明しています。ESP32-CAMは設定された間隔で画像をキャプチャし、それらは説明のためにOpenAI APIに送信されます。説明は、テキスト読み上げを使用して、電話のWebページを介してユーザーに中継されます。現在のプロトタイプには、手動でのカメラ操作が必要であり、堅牢なセキュリティが不足しているなど、いくつかの制限がありますが、このアプローチの実現可能性を示しており、より洗練された支援ツールの将来の開発のための基盤を築いています。
続きを読む/https%3A%2F%2Ftf-cmsv2-smithsonianmag-media.s3.amazonaws.com%2Ffiler_public%2F64%2F61%2F64616dce-ffd7-421e-8fbd-c70ac4bd4e6e%2Flouis2.jpg)
9世紀初頭、フランク王国の廷臣が悪魔憑きの物語を記録した。悪魔のウィゴは、作物や家畜を破壊し、疫病を広めたと告白し、フランク人の罪と支配者の数々の罪を非難した。ウィゴは、はびこる貪欲さ、支配者間の相互不信、敬虔さの欠如を描写した。この物語は、カロリング朝帝国の危機、つまり内紛、経済不安、飢饉を反映していた。廷臣のエイハードはこの物語を用いて、支配者の腐敗をほのめかし、帝国の衰退を予言した。
続きを読む
Guixシステムは、完全自己起動型のMono環境を構築することに成功し、その過程で多くの課題を克服しました。著者は、C# 12.0機能をサポートするために取り組んだ過程で、事前にコンパイルされたバイナリに依存する古いMonoバージョンに問題があることを発見しました。一連のパッチを通じて、Mono 1.2.6から6.12.0までの完全自己起動型のバージョンチェーンが作成されました。その過程で、Monoとxbuildのバグが修正され、Monoのrunpathサポートが強化されました。これは、著者のC#互換性の問題を解決しただけでなく、完全自己起動型で再現可能なビルドの重要性と、ソフトウェアセキュリティへの影響を浮き彫りにしました。
続きを読む
開発者がt2x（「text to whatever」の略）というオープンソースの コマンドラインインターフェース（CLI）ツールを開発中です。t2xは、ローカルまたはクラウドベースの言語モデルを使用して、さまざまなテキスト操作を実行します。まだ完全に完成していないため、GitHubへの公開は休暇後を予定しています。
続きを読む
大規模言語モデルのファインチューニングは通常、相当な計算資源を必要とします。この記事では、パラメータ効率の高いファインチューニング手法であるLoRAを紹介します。LoRAは、事前学習済みモデルに低ランク行列をアダプターとして挿入することで、トレーニングに必要なパラメータ数を大幅に削減し、計算コストとストレージコストを削減します。このパート1では、LoRAの背後にある原理、従来のファインチューニングの欠点、パラメータ効率の高い手法の利点、低ランク近似の数学的基礎について説明します。続くパートでは、LoRAの具体的な実装と適用について詳しく説明します。
続きを読む
Autodeskが10年以上前のフォーラム投稿をアーカイブ（事実上の削除）すると発表したことに対し、開発者コミュニティから強い反発が起きています。貴重なコードサンプル、解決策、長年にわたる共有された専門知識が失われようとしており、このリソースに依存する開発者にとって大きな損失となります。Autodeskは検索機能とユーザーエクスペリエンスの改善を理由としていますが、開発者たちはこの措置を「とんでもない愚行」と批判し、コミュニティの知識の破壊と長期的な関係への損害を非難しています。TheSwampやGitHubなどの代替プラットフォームに移行する開発者も多いです。
続きを読む
エルゼビア発行の「人類進化ジャーナル」（JHE）の編集委員会全員が大量辞任し、学術界に衝撃を与えました。彼らの抗議は、エルゼビアが過去10年間に行った様々な変更、特に編集リソースの削減、編集プロセスへのAI導入（事前に通知なしで実施され、多くのエラーが発生）、高額な著者負担金などに焦点を当てています。これらは、ジャーナルの編集上の独立性と包括性を損なうものだと主張しています。これは2023年以降、科学ジャーナルで起こった20件目の大量辞任であり、科学出版業界におけるビジネスモデルの変化に伴う論争を浮き彫りにしています。
続きを読む
IPTVサービスGoldTVを標的にしたカナダ初の海賊サイトブロッキング命令が今週、静かに期限切れとなりました。権利保有者であるBellとRogersは、多くの標的ドメインがオンラインに残っているにもかかわらず、延長を申請しませんでした。この決定は、コストの考慮事項と優先順位の変化を反映している可能性があります。2018年に最初に承認され、2021年に控訴審で支持されたこの命令は、海賊行為に大きな影響を与えました。しかし、権利保有者は、ライブスポーツのストリーミングやその他のプラットフォームを対象とした、より広範で動的なブロッキングへの取り組みへと焦点を移しました。
続きを読む
Monokai Proは、JetBrains IDE（IntelliJ IDEA、WebStormなど）、Sublime Text、VS Codeで使用可能なテーマプラグインです。70種類以上のカスタムアイコンと、好みに合わせて調整可能な設定を提供します。無料トライアル版もありますが、月額1ユーロのサブスクリプションでポップアップ広告を削除できます。多くのプログラミング言語とIDEに対応しており、ソフトウェアエンジニアに人気です。
続きを読む