退任を控えたバイデン政権は、NVIDIAなどの企業によるAIチップの輸出規制をさらに強化する計画だ。これは、中国やロシアへの先端技術の流出を防ぐための最終段階の取り組みである。新たな規制では、輸出制限を3段階に分類する。緊密な同盟国は最小限の制限、敵対国は事実上輸出禁止、そして大部分の国は総計算能力に制限が課せられるが、アメリカの安全保障要件と人権基準を満たせば、より高い上限が設定される可能性がある。NVIDIAは、この提案に反対し、経済成長とアメリカのリーダーシップを損なうと主張している。
続きを読む
中国は、世界で最も堅牢な海底通信または電力線を切断できる新型深海ケーブルカッターを発表しました。最大運用深度4000メートルは、既存の海底インフラの2倍です。中国船舶科学研究センターが開発したこの装置は、民間救難や海底鉱業を目的としていますが、グアムなどの戦略的要衝付近での二重使用の可能性は、グローバルコミュニケーションの混乱や地政学的緊張の激化に対する懸念を引き起こしています。
続きを読む
Boom Supersonic社のXB-1実証機が、カリフォルニア州モハーベ砂漠上空で音速突破に成功し、音速を突破した初の民間航空機となりました。この歴史的偉業はXB-1の12回目の試験飛行で達成され、約4分間にわたり超音速（マッハ1.1）を維持しました。Boom社は64人乗りの超音速旅客機Overtureの建造を計画しており、すでにアメリカン航空と日本航空から受注を得ています。この成功は民間超音速飛行の復活を告げるものであり、超音速旅客輸送の未来に希望を与えます。
続きを読む
アメリカの「焦土作戦」によってバイソンは絶滅寸前に追い込まれ、生態系に深刻なダメージを与えました。現在、タンカ基金などの団体は、バイソンを先祖代々の土地に戻し、生態系のバランスを回復させる取り組みを行っています。バイソンは基盤種として、草原植生の回復、生物多様性の維持、そして先住民コミュニティにとって経済的・文化的な新たな機会の創出に不可欠です。政府政策や資金面での課題にも直面していますが、多様な資金源を確保し、バイソンの回復と生態系再生を推進しています。これは、先住民コミュニティの粘り強さと協調性を示すものです。
続きを読む
この記事は、肥大化したソフトウェアツールのジレンマを探求しています。ユーザー離れを防ぐために、ツールは機能を絶えず拡張し、最終的には扱いにくくなってしまいます。著者は、いくつかの解決策を提案しています。ツールの成長を制限すること（非現実的）、切り替えコストを削減すること（後方互換性と標準化を通じて）、FFI（外部関数インタフェース）とIPC（プロセス間通信）を活用することです。UnixシェルはIPCを使用してツールの合成を可能にしますが、データフローは一方向であり、構造に欠けています。PowerShellやNuShellは構造化されたデータの導入を試みていますが、相互運用性とバージョン安定性に課題が残ります。RPC（リモートプロシージャコール）は構造化されたインターフェースを提供しますが、大規模なコード変更が必要になります。著者は、プログラム自体が監獄であり、データフローと相互運用性を制限していると結論づけ、脱出戦略を探求する続編を予告しています。
続きを読む
カーネギーメロン大学のデータベース研究グループは、「SQLか死か？」というセミナーシリーズを開催し、SQLのパフォーマンスを劇的に向上させる方法、またはSQLを完全に置き換える方法を探っています。オンライン講演会では、クエリ最適化と代替クエリ言語の進歩について議論する専門家が登壇します。トピックはTypeScriptストアドプロシージャからPRQLやOxQLなどの革新的な言語まで多岐にわたり、データベース技術の未来に対する魅力的な展望を提供します。
続きを読む
科学者たちは、ヒトの消化器系から「オベリスク」と名付けられた新しい生命体を発見しました。既知のウイルスとは異なり、オベリスクは独自のタンパク質コード能力を持っています。研究者たちは、調査したヒトマイクロバイオームの約10％で、少なくとも3万種類の異なるオベリスクを特定し、それらがこれらのマイクロバイオームのコロナイザーである可能性を示唆しています。その起源は不明なままですが、すべてが「オブリン」と呼ばれる新しいタンパク質クラスのコードを含んでおり、ビロイドなどの他の既知のRNAループとは異なります。bioRxivのプレプリントサーバーに掲載されたこの発見は、さらなる査読が必要です。
続きを読む
高次元テンソルの操作は複雑になりがちです。「The Tensor Cookbook」という新しい本は、テンソルダイアグラムを使ってこのプロセスを簡素化します。テンソルダイアグラムは従来のインデックス表記（einsum）よりも直感的で、パターンや対称性を容易に発見し、ベクトル化やクロネッカー積の手間を省き、行列計算を簡素化し、関数やブロードキャストを簡単に表現できます。付属のPythonライブラリTensorgradは、テンソルダイアグラムを使用して記号テンソル操作と微分を行い、複雑な計算を理解しやすくします。
続きを読む
ハイチでは1年間続いた恐ろしい暴力事件が、12月の5日間にわたる大虐殺という形でピークに達しました。ポルトープランスのスラム街で、ギャングによって207人が殺害されました。ギャングのリーダーは、主に高齢者である犠牲者たちがブードゥー教を信仰し、自分の子供の死の原因だと非難しました。遺体は切り刻まれ、焼かれました。ポルトープランスの約90％を支配するギャングは、2024年に約5600人のハイチ人を殺害しました。新年になっても暴力は続き、過去1ヶ月で約6万人が家を追われました。首都は完全な崩壊の危機に瀕しています。
続きを読む
「サンフランシスコ純度テスト」と呼ばれるウイルス性のチェックリストが、ベイエリアのテクノロジーワーカーのよくある経験をユーモラスにリストアップしています。OpenAIへの応募からNeurIPSへの参加、生産性向上のための刺激剤の使用から高級フィットネスジムでのVCとの出会いまで、幅広いシナリオを網羅しています。ベイエリアのテクノロジーライフスタイルを風刺的に反映しており、その独特の文化と競争圧力を浮き彫りにしています。項目を多くクリアするほど没入度は深まりますが、同時に視点の喪失も示唆しています。
続きを読む
OpenJKDF2は、C言語で記述されたジェダイナイト ダークフォースII（JKDF2）エンジンの関数単位での再実装であり、64ビット版Windows 7+、macOS 10.15+、Linuxに対応しています。COGスクリプトの解析には、オリジナルのbyaccとflexを使用するなど、オリジナルに忠実であることを目指しています。有効なJKDF2のコピーが必要です。DRMフリーのGOG版が推奨されます。OpenGLとWebGLレンダリングを使用する複数の構成がサポートされています。このプロジェクトは進行中で、AndroidやiOSのサポートなどが計画されています。WebAssemblyデモも利用可能です。
続きを読む
英国政府高官は、サイバー攻撃と海底ケーブルの破壊が戦争と平和の境界を曖昧にし、英国の法律の欠陥を露呈していると警告した。1885年の海底電信法は、わずか1000ポンドの罰金しか科せられない時代遅れの法律であり、現代の脅威には全く不十分だ。スウェーデンにおける海底ケーブルへのロシアによる疑わしい攻撃などの最近の事件は、その緊急性を強調している。政府は、国家支援によるサイバー犯罪と海底ケーブル攻撃に対処するため、新たな国防準備法案を検討しているが、「戦争行為」の定義や、民間と軍事的手段のバランスを取ることに課題を抱えている。
続きを読む
jqの複雑なDSLにうんざりしていませんか？Common Lispで書かれたjqの代替品、cljqを紹介します。cljqは、より直感的なクエリ演算子`?`を使用し、JSONPathに似た機能を提供して、JSON操作を簡素化します。現在初期段階ですが、基本的な機能を備えており、将来的な機能追加も計画されています。
続きを読む
研究者らは、ゼロ知識（ZK）回路構築のための、Lean4ベースの組込みドメイン特化言語（DSL）と形式検証フレームワークであるCleanを開発しました。ZK回路はバグが発生しやすいですが、CleanはLean4で回路を定義し、必要な特性を指定し、正式に証明することで、その正確性を向上させます。このプロジェクトはzkEVM形式検証プロジェクトの一部であり、zkEVMの形式検証のためのインフラストラクチャとツールを提供することを目指しています。Cleanは、回路の定義にwitness、assert、lookup、subcircuitの4つの基本操作をサポートし、使いやすさを向上させるためのモナドインターフェースを提供します。中核となるのはFormalCircuit構造であり、回路の定義、仮定、仕様、健全性、完全性の証明を依存型で密にパッケージングします。サブ回路の制約を（正式に検証された）仕様に再帰的に置き換えることで、大規模な回路を正式に検証できます。このフレームワークは、8ビット加算などの単純な回路を既に正常に検証しており、今後の計画として、より低レベルのガジェットを追加すること、一般的なハッシュ関数回路を定義すること、RISC-Vのサブセットのための正式に検証された最小限のVMを構築することが挙げられます。
続きを読む
カスタマーリサーチプラットフォーム企業であるGreat Question社は、エージェントベースのUIを設計・実装し、研究の実施を支援するAIアシスタントを構築するAIエンジニアを募集しています。この役割には、プロンプトエンジニアリング、エージェントフレームワーク（LangGraphなど）、LLMアプリケーション開発（JavaScript優先）に関する専門知識が必要で、AIシステムアーキテクチャ、プロンプトの最適化、フレームワークの選択と実装、パフォーマンス評価などを含みます。これは完全リモートのポジションで、米国またはカナダの候補者を優先します。
続きを読む
オープンソースのビジュアルページビルダーPuckがv0.18をリリースしました。主な新機能は、高度なレイアウトを実現するCSS GridとFlexboxを完全にサポートする新しいドラッグアンドドロップエンジンです。このリリースには、DropZoneの高さを動的に調整する機能、インタラクティブなホットキー、親コンポーネントセレクターなどが含まれており、アプリへの埋め込みを容易にするために制限的なスタイルが削除されました。コンポーネントとプロパティの改善と非推奨化も含まれています。詳細は変更ログを参照してください。
続きを読む
Deno LandのCEOであるRyan Dahl率いるコミュニティの取り組みが、Oracleによる「JavaScript」商標の所有権に挑戦し、論争を巻き起こしています。Oracleは、商標更新申請に虚偽の資料を提出したとされ、訴訟手続きの遅延を試みていると非難されています。この紛争の中心は、JavaScriptが一般的な用語になったかどうか、そしてOracleが商標を放棄したかどうかです。Oracleは、正当な理由があると反論し、追加の証拠を提出しています。この法的闘争は、テクノロジー大手による商標の厳格な保護と、オープンソースコミュニティによる公正な使用を確保するための努力を反映しています。
続きを読む
この記事では、Pythonを使用して、SQLよりも強力なリレーショナルデータベース言語であるDatalogを実装する方法を示します。DatalogはPrologのサブセットであり、チューリング完全ではありませんが、関係をモデル化することに優れています。この記事では、述語、事実、ルール、変数など、Datalogの基本概念を詳しく説明し、ナイーブ評価アルゴリズムを使用した簡単なPython実装を提供します。この実装により、Datalogプログラムを作成およびクエリし、このリレーショナルモデリングアプローチのエレガンスとパワーを体験できます。
続きを読む
欧州の社会と政府を米国のクラウドに移行させることは狂気だ。著者は、これは米国の政府の方針転換を考えると危険であるだけでなく、その法的根拠はトランプの行動によって無効になったと主張している。この依存は、利便性から生じているが、利便性の為にデジタル主権を犠牲にするのは危険だ。この記事は、欧州に対し、米国の技術への依存から脱却し、自国のソフトウェアを支援し、デジタル主権と国家安全保障を確保するための代替案に投資するよう促している。米国のソフトウェアの利便性は、完全な依存のリスクを上回るべきではない。
続きを読む
ジンバブエのライオンが生息するマトゥサドナ国立公園で迷子になった7歳のティノテンダ・プドゥ君が、5日間生き延びた。野生での知識を活かし、野生の果実を食べ、水を確保するために穴を掘って生き延び、ライオンやゾウをかわした。彼の救出劇は、驚くべきサバイバルスキルと地域社会の協力の力を示している。
続きを読む
このプロジェクトは、RetroArchを使ってGPT-4にポケモンファイアレッドを自律的にプレイさせる試みを詳述しています。著者は、ゲームメモリを読み取り、OCRでテキスト認識を行い、ゲームメモリデータベースを作成することで、AIが探索、戦闘、NPCとの対話を行うことを可能にしました。しかし、プログラムによる入力制御が大きな障壁となりました。RetroArchのUDP入力システムは信頼性が低く、キーボードベースの入力はウィンドウのフォーカスが必要なため、自動化が制限されました。それにもかかわらず、このプロジェクトは、ゲームにおけるAIの可能性を示しており、この分野における将来のLLMアプリケーションへの貴重な洞察を提供しています。
続きを読む
テンセントは、オープンソースのHunyuan3Dモデルのアップデート版をリリースしました。小型で高速な「mini」版が登場し、推論速度の向上に加え、テクスチャ生成機能も追加されました。これにより、3Dモデルの視覚効果が大幅に向上します。コードの変更点は、モデルの読み込み、パラメーター調整、テクスチャ生成パイプラインの最適化などに集中しており、幅広いファイル形式に対応しています。この強力な3Dモデリング技術が、より多くの開発者にとってアクセスしやすくなりました。
続きを読む
わずか4週間で、トランプ政権はNASAの職員数を約10％削減し、約1800人の職員に影響を与えました。約750人が延期された辞任の申し出を受け入れ、約1000人の試用期間中の職員が解雇されました。しかし、さらに大幅な削減が予想されます。NASAの各センター長は、今後数ヶ月間に大幅な人員削減に備えるよう指示されています。これは、すでに士気が低下している職員に不確実性を投げかけ、トランプ政権がより深い予算削減を行う意図を示しており、アメリカの宇宙探査の未来を危険にさらす可能性があります。
続きを読む
長年の開発を経て、ビデオ処理ライブラリFFmpegKitは正式に終了しました。作者は、時間的制約とFFmpegライセンスの法的複雑さを理由に、プロジェクトのメンテナンスを継続できなくなりました。最後のリリースであるバージョン6.0は、2025年4月1日以降、ダウンロードできなくなります。ユーザーは、FFmpegKitをローカルでビルドするか、代替ソリューションを見つけることをお勧めします。これは、オープンソースプロジェクトのメンテナンスにおける課題と、複雑なライセンス契約を理解することの重要性を浮き彫りにしています。
続きを読む
トランプ政権下でのアメリカの研究資金の大幅削減と連邦政府の資金による科学研究の中断は、多くのアメリカ人科学者にとって危機を引き起こしました。ネイチャー誌の調査によると、1200人以上の科学者がアメリカからの移住を検討しており、ヨーロッパとカナダが主要な選択肢となっています。特にキャリア初期の研究者たちが影響を受けており、多くの大学院生や博士課程の学生が海外での機会を探しています。資金削減、大量解雇、学問の自由の制限により不確実性が生じ、科学者たちは海外で機会を求めざるを得なくなり、アメリカの科学の発展に大きな打撃を与えています。
続きを読む
manページに対するよくある批判には、ページ間のリンクの不足と、ウィンドウサイズ変更時の自動折り返しの欠如があります。しかし、manページで使用されているmdoc(7)形式は、実際には`.Xr`や`.Sx`のようなマクロを使用してリンクを作成することで、これらの機能をサポートしています。問題は、manページリーダー（`man(1)`と`less(1)`の組み合わせなど）が、この機能を実装していない点にあります。リンクと自動折り返しをネイティブにサポートする、より優れたmanページリーダーが必要です。manページを単にフォーマットして`less(1)`に渡すのではなく。
続きを読む
エンヴェル・ホッジャ政権下、外部からの侵略への極端なパラノイアから、アルバニア人民共和国は75万以上のバンカーを建設しました。平均すると1平方キロメートルあたり5.7基です。全国に点在するこれらのバンカーは、ホッジャの全体主義体制と、アルバニア社会と経済への影響を反映した独特の景観となっています。戦闘で使用されたことは一度もなく、莫大な資源を消費し、発展を阻害しました。現在では、珍しい観光名所や再利用された住居となっています。
続きを読む
Rustには公式仕様がなく、それが安全性を重視する組織での採用を妨げてきました。Rustプロジェクトは、Ferrous Systemsが開発したFerrocene言語仕様（FLS）をコアプロジェクトの一部として採用すると発表しました。この動きは、安全性が重要なシステムでのRust使用の障壁を取り除くことを目指しています。
続きを読む
この記事では、ターゲットオーディエンスとのエンゲージメントを最大化するための魅力的なタイトルの作成方法について掘り下げています。著者は、タイトルを「分類器」として考えることを提案しており、あなたの作品を高く評価する人を引き付け、そうでない人を寄せ付けないようにすることを目指しています。タイトルの2つの目標、つまり適切な読者の獲得と、おそらく嫌うであろう読者の排除について分析しています。専門用語の使用、有名人の模倣、駄洒落の利用、結論をタイトルに含めることなど、さまざまなタイトル戦略が議論されています。最終的に、重要なのは、あなたのオーディエンスを見つけ、あなたの仕事の価値を簡潔に伝えることです。
続きを読む
このレビューは、GrahamのLispコードの保守性と移植性を分析し、簡潔で、動機付けの明確な短い関数定義であることを発見しました。しかし、彼の非常に短く、分かりにくい命名規則、入れ子になったif文の過剰な使用、ループ構造の回避、スタックオーバーフローのリスクがあっても反復処理よりも再帰を優先する点などを批判しています。これらのスタイル上の選択は、一般的なLispの慣習から外れており、コードの可読性に悪影響を与える可能性があります。
続きを読む