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

FaunaDB、2700万ドルの資金調達後、サービス終了、オープンソース化へ

2025-03-24
FaunaDB、2700万ドルの資金調達後、サービス終了、オープンソース化へ

2700万ドルの資金調達を行ったデータベーススタートアップのFaunaDBは、5月末にサービスを終了し、オープンソース化すると発表しました。同社は、サーバーレスデータベースを利用する2万5000人の開発者を擁し、リレーショナルなパワーとドキュメントの柔軟性を兼ね備えていましたが、グローバルなデータベースサービスの拡大には多額の資本が必要であること、そして現在の市場環境を理由にサービス終了を決定しました。既存顧客は今後数ヶ月かけてサービスから移行されます。オープンソース版には、JSONドキュメントと、結合、外部キー、スキーマエンフォースメントなどのリレーショナル機能、そしてFQLクエリ言語をサポートするコアデータベーステクノロジーが含まれます。一部の専門家は、最初からオープンソースのモデルを採用していれば、より大きな成功を収めていた可能性があると指摘しています。

続きを読む
(www.theregister.com)
開発

私のボッシュ食器洗い機はクラウド接続を要求する：嘆き

2025-03-24

著者はボッシュ500シリーズの食器洗い機を購入し、その簡単な設置を賞賛しました。しかし、遅延スタートやエコモードなどの主要な機能には、Home ConnectアプリとWi-Fi接続が必要です。これは、メーカーがクラウド制御に過度に依存していること、そしてそれが計画的な陳腐化とデータ収集に寄与している可能性があることへの反省につながりました。著者は、家電製品はローカル制御を優先し、クラウド機能は追加機能として、主要機能の代替ではなくあるべきだと主張しています。これにより、基本的な操作のためのインターネットアクセスへの不必要な障害と依存性が生じます。

続きを読む
(www.jeffgeerling.com)
ハードウェア 計画的陳腐化

インテルPentium：FDIVバグとPentium Proの台頭

2025-03-24
インテルPentium：FDIVバグとPentium Proの台頭

1994年、x86アーキテクチャに基づくインテルのPentiumプロセッサは、PC市場の75％を占めていました。しかし、特定の浮動小数点計算で不正確な結果をもたらすFDIVバグという重大な欠陥が発見されました。これは、高コストなリコールと交換プログラムにつながりました。この逆境にもかかわらず、Pentiumの成功はインテルの成長を促進しました。1995年、インテルは革新的なP6アーキテクチャを採用した画期的なPentium Proを発表しました。Pentium Proは競合他社を凌駕し、ワークステーションとサーバー市場に成功裏に参入し、インテルの将来的な支配的地位を築く基礎を築きました。

続きを読む
(www.abortretry.fail)
テクノロジー

OpenAI、トランプ氏に懇願：著作権制限を緩和せよ、さもなければ米国はAIレースで敗北する

2025-03-24
OpenAI、トランプ氏に懇願：著作権制限を緩和せよ、さもなければ米国はAIレースで敗北する

OpenAIは、AIトレーニングのために著作権で保護された資料にアクセスできない場合、米国は中国とのAIレースで敗北すると警告している。彼らはトランプ政権に対し、AIモデルが著作権で保護されたデータを使ってトレーニングできるように、「フェアユース」ルールをより緩やかにするよう求めている。OpenAIは、中国のAIにおける急速な進歩と、米国におけるAIモデルへのデータアクセス制限が、米国の敗北につながると主張している。この動きは、著作権保有者と出版社から激しい反発を招いており、彼らはAIトレーニングのための著作権作品の無許可使用と剽窃の増加を懸念している。OpenAIは、著作権で保護されたデータの使用は、より強力なAIモデルの開発に不可欠であり、米国の国家安全保障と競争力にとって重要だと反論している。

続きを読む
(futurism.com)
テクノロジー AIレース

Planet社の衛星画像を用いた日々の世界規模航空機検出

2025-03-24

Planet社は、PlanetScopeとSkySatの衛星画像と機械学習を組み合わせ、日々の世界規模航空機検出分析フィードを開発しました。このシステムは、全長または翼幅が25メートル以上の航空機を特定し、高解像度のSkySat画像を利用して精度を向上させています。この技術は、防衛、情報、商業部門に貴重な洞察を提供し、世界の航空交通パターン分析、経済トレンド予測、異常検出を可能にします。

続きを読む
(www.planet.com)
テクノロジー 航空機検出

GM、Ultium EV向けアフターマーケットCarPlay/Android Autoキットの販売をディーラーに停止命令

2025-03-24
GM、Ultium EV向けアフターマーケットCarPlay/Android Autoキットの販売をディーラーに停止命令

ゼネラルモーターズ（GM）は、Ultiumプラットフォームの電気自動車でApple CarPlayとAndroid Autoのミラーリング機能を復元するアフターマーケットキットの販売をディーラーに停止させました。これは、2023年12月にGMがUltium EVからCarPlayとAndroid Autoのサポートを削除し、将来のモデルでは独自の車載インフォテインメントシステムを採用するという決定に続くものです。キットメーカーのWAMSは厳格なテストを行ったと主張していますが、GMの措置は業界で批判を招き、調査によると、CarPlayまたはAndroid Autoのない車両を購入しない自動車購入者の割合が約半分に上ります。GMはディーラーを自社の組み込みシステムに事実上押し付けており、選択肢はほとんど残されていません。

続きを読む
(news.dealershipguy.com)
テクノロジー

Kubernetes Ingress-Nginxの重大な脆弱性：任意コード実行のリスク

2025-03-24

Kubernetes Ingress-Nginxに複数の重大な脆弱性が発見されました。最も深刻な脆弱性（CVE-2025-1974）はCVSSスコア9.8で、任意のコード実行とクラスタ全体のシークレット漏洩の可能性があります。v1.11.5およびv1.12.1より前のすべてのバージョンが影響を受けます。最新バージョンへのアップグレード、または一時的にValidating Admission Controllerを無効にすることを強く推奨します。

続きを読む
(groups.google.com)
開発

遠隔放射性物質検出：10メートルという飛躍

2025-03-24
遠隔放射性物質検出：10メートルという飛躍

メリーランド大学の研究者らは、短パルスCO2レーザーを用いた放射性物質の遠隔検出において、10メートルという距離での検出を実現する新たな手法を開発しました。これは従来の方法の10倍以上の距離です。この手法は、放射性物質による周囲空気のイオン化を利用しています。レーザーでこれらのイオンを加速することで、イオン化の連鎖反応が生じ、微小プラズマが生成され、レーザー光を散乱させることで遠隔検出が可能になります。この技術は、原子力災害への対応や原子力安全に役立つと期待されますが、レーザーシステムの大きさや環境ノイズなどの課題が残っています。

続きを読む
(physicsworld.com)
テクノロジー 放射性物質検出 原子力安全

プログラマーの田園詩的夢：コードから逃れ、土壌を抱きしめる？

2025-03-24

多くのプログラマーは、キーボードを置いて、大工仕事や農業などの肉体労働に従事することを夢見ています。この記事では、この現象の背景にある理由を探り、それが現代のソフトウェア開発における燃え尽き症候群と、アメリカ文化における「自力で成功した男」という理想の再検討から生じている可能性を示唆しています。著者は自身の経験に基づき、この憧れの複雑さを分析し、田園生活のロマンチックな理想化と、その厳しい現実の両方を認めています。最終的に著者は、仕事における意義を見出すことは、経済的な成果だけでなく、コミュニティの構築と奉仕の精神にもあると主張しています。

続きを読む
(tjmorley.com)
開発 バーンアウト 田園生活

Half-LifeとSteamのDRMの道のり：甥のCDライターから始まった

2025-03-24
Half-LifeとSteamのDRMの道のり：甥のCDライターから始まった

1998年、Valveの共同設立者であるモニカ・ハリントンの甥は、学用品の費用でCDライターを購入し、ゲームをコピーして友達と共有しました。これにより、ハリントンは、この技術によって可能になったゲームの海賊版の脅威を認識しました。このことが、ValveがHalf-LifeにシンプルなCDキー検証システムを実装することにつながりました。当初は苦情もありましたが、効果的に海賊版対策を行い、Steamが主要なDRMプラットフォームとして台頭するための基盤を築きました。

続きを読む
(arstechnica.com)
ゲーム ゲームの海賊版

プロスペロ・チャレンジ：極めて高速な陰関数曲面のレンダリング

2025-03-24
プロスペロ・チャレンジ：極めて高速な陰関数曲面のレンダリング

プロスペロ・チャレンジは、7866個の数学式で定義された陰関数曲面をできるだけ高速にレンダリングすることを開発者に求めています。参加者は、式の事前解析、Numbaによる高速化、GPU計算、LLVMコンパイルなど、さまざまな最適化手法をPython、Numpy、CUDA、JITコンパイラなどのツールを用いて探求しています。 解決策はミリ秒単位のレンダリング時間と大幅なメモリ消費量削減を実現しました。このチャレンジは、陰関数曲面レンダリング技術の進歩を促進するために、実験と結果の共有を奨励しています。

続きを読む
(www.mattkeeter.com)
開発

Riverを使った冪等なメールAPIの構築

2025-03-24

この記事では、Riverを使って冪等性のある安全なメールAPIを構築する方法を示します。多くのメールサービスは冪等性を保証するAPIを欠いており、メールの重複送信や欠損につながります。Riverの機能を活用し、一意のアカウントIDと冪等性キーを組み合わせることで、冪等なメール送信を実現します。ネットワークエラーによる再試行が発生しても、メールは一度だけ送信されます。この記事では、ジョブ引数の定義、ワーカーの作成、重複リクエストの処理、パラメータの一致に関するセキュリティなど、実装の詳細を説明します。結果として得られるAPIは簡潔で効率的で、本番環境でも使用できるものであり、一般的なメール送信の問題を回避します。

続きを読む
(riverqueue.com)
開発 冪等性 メールAPI

ペアノの公理：自然数を定義するエレガントなアプローチ

2025-03-24
ペアノの公理：自然数を定義するエレガントなアプローチ

この記事では、9つの公理によって自然数を厳密に定義するペアノの公理体系を深く掘り下げます。直感的な理解から出発し、等号の性質、0の存在、後続関数、数学的帰納法を網羅した形式的な公理的定義を構築します。各公理の重要性と役割を詳細に説明し、数学的帰納法のさまざまな形式についても議論します。そして、ペアノの公理が自然数の集合を一意的に決定する方法を実証することで、その後の数学的推論の堅固な基礎を築きます。

続きを読む
(principlesofcryptography.com)
その他 数理論理学 公理系

Qwen2.5-VL-32B：人間の好みにより適応した320億パラメーターの視覚言語モデル

2025-03-24
Qwen2.5-VL-32B：人間の好みにより適応した320億パラメーターの視覚言語モデル

Qwen2.5-VLシリーズモデルの好評を受け、新たに320億パラメーターの視覚言語モデルQwen2.5-VL-32B-Instructをオープンソースで公開しました。このモデルは、数学的推論、精緻な画像理解、人間の好みへの適合性において大幅な改善が見られます。ベンチマークテストでは、MMMU、MMMU-Pro、MathVistaなどのマルチモーダルタスクにおいて同規模のモデルを凌駕し、720億パラメーターのQwen2-VL-72B-Instructをも上回っています。テキスト理解能力においても、同規模のモデルでトップレベルの性能を達成しています。

続きを読む
(qwenlm.github.io)
AI

国防総省、2億8000万ドルのAIプロジェクトを中止　「致命的」なAIを優先

2025-03-24
国防総省、2億8000万ドルのAIプロジェクトを中止　「致命的」なAIを優先

国防総省は、8年間にわたり2億8000万ドルの予算超過となった問題の防衛文民人事管理システム（DCHRMS）プロジェクトを中止しました。DCHRMSに加え、DEI、気候変動、社会プログラムに焦点を当てた3億6000万ドル以上の助成金も削減されました。国防長官のピート・ヘグセス氏は、国防省は「公平な」AIではなく「致命的」なAIを必要としており、人事システムの近代化を再計画すると説明しました。これは、国防総省の政府効率向上部門による無駄な支出の削減に向けた取り組みの一環です。

続きを読む
(www.theregister.com)
テクノロジー 国防予算

藻類と植物に共通する6億年前のストレス応答

2025-03-24
藻類と植物に共通する6億年前のストレス応答

ゲッティンゲン大学主導の研究により、藻類と植物に共通する、6億年前に遡る驚くべきストレス応答ネットワークが明らかになりました。研究者らは、環境ストレス下にあるコケと2種類の藻類における遺伝子発現と化合物の産生を比較し、共通の遺伝子調節ネットワークを特定しました。この発見は、植物の陸上への適応における主要なメカニズムを解明し、植物進化に関する新たな知見を提供します。

続きを読む
(phys.org)
テクノロジー 植物進化 環境ストレス 遺伝子調節

Googleマップのタイムラインデータ消失：技術的な問題で復旧不能に

2025-03-24
Googleマップのタイムラインデータ消失：技術的な問題で復旧不能に

Googleマップで技術的な問題が発生し、多くのユーザーのタイムラインデータが消失しました。Googleは最近、プライバシーの向上のため、タイムラインデータの保存場所をクラウドからローカルデバイスに変更しました。しかし、この移行中に技術的な問題が発生し、多くのユーザーの位置履歴が誤って削除されました。Googleはこの問題を確認しており、事前に暗号化されたクラウドバックアップを作成したユーザーのみがデータを復元できます。

続きを読む
(arstechnica.com)
テクノロジー データ消失

Lilly：Vim/Neovimの簡素化された代替手段

2025-03-24
Lilly：Vim/Neovimの簡素化された代替手段

Lillyは開発中のテキストエディタで、VimとNeovimの軽量な代替を目指しています。コア機能に焦点を当て、複雑なLuaプラグインエコシステムを排除することで、よりシンプルでアクセスしやすいユーザーエクスペリエンスを提供します。アルファ前のリリース版が利用可能で、テストではメモリリークがゼロであることが示されています。貢献とフィードバックを歓迎します。

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

Delphi 5 マスター：25 年間の回顧

2025-03-24

Marco Cantu は、彼の古典的な著書「Mastering Delphi 5」の 2025 年注釈版を無料で公開しました。1139 ページのこの本には、475 個の脚注と、古くて新しい IDE とアプリケーションの UI を比較した数十枚の新しいスクリーンショットが含まれています。一部のコードはコンパイルされませんが、ほとんどのプログラムはそのまま実行されます。これは、Delphi の永続的な遺産の証です。これはコミュニティへの贈り物であり、Delphi の 30 周年を祝うとともに、その歴史を振り返るノスタルジックな旅を提供します。

続きを読む
(blog.marcocantu.com)
開発 回顧

中国、深海ケーブルカッターを発表、世界的な懸念を引き起こす

2025-03-24
中国、深海ケーブルカッターを発表、世界的な懸念を引き起こす

中国は、世界で最も堅牢な海底通信または電力線を切断できる新型深海ケーブルカッターを発表しました。最大運用深度4000メートルは、既存の海底インフラの2倍です。中国船舶科学研究センターが開発したこの装置は、民間救難や海底鉱業を目的としていますが、グアムなどの戦略的要衝付近での二重使用の可能性は、グローバルコミュニケーションの混乱や地政学的緊張の激化に対する懸念を引き起こしています。

続きを読む
(www.scmp.com)
テクノロジー 深海ケーブル ケーブルカッター

中国、顔認証規制強化、台湾インフラがサイバー攻撃の標的に

2025-03-24
中国、顔認証規制強化、台湾インフラがサイバー攻撃の標的に

中国は、同意のない顔認証技術の使用を禁止し、公共の場での利用を制限する新たな規制を発表しました。同時に、台湾の重要なインフラが、中国政府の支援を受けていると疑われるハッカー集団の攻撃を受けました。その他、インド政府が主導するブラウザ開発コンテストでZoho社が勝利、X社はインド政府をコンテンツ削除法を巡って提訴。日本の新たなサイバーセキュリティ法案は、プライバシー保護への懸念を引き起こしています。オーストラリア戦略政策研究所は、中国からのオンライン嫌がらせを受けていると主張しています。

続きを読む
(www.theregister.com)
テクノロジー

PicoRuby：マイクロコントローラー向け軽量Ruby実装

2025-03-24
PicoRuby：マイクロコントローラー向け軽量Ruby実装

PicoRubyは、フットプリントの小さな軽量mruby実装です。ROMは256KB、RAMは128KB未満（32ビットアーキテクチャ）。標準Cライブラリにのみ依存し、Raspberry Pi Picoなどのマイクロコントローラーをサポートする高い移植性を備えています。開発中ですが、APIドキュメント、デモビデオ、ビルドツールを提供しています。`rake`コマンドで、`picorbc`（Rubyコードをmruby仮想マシンコードにコンパイル）、`picoruby`（Rubyコードを直接実行）、`r2p2`（特定用途）の3種類のexecutableが生成されます。HASUMI HitoshiとMonstarlabによって開発され、Ruby協会の助成金を受けています。

続きを読む
(github.com)
開発 組み込みRuby

太陽光発電：規制緩和が成長の鍵か？

2025-03-24
太陽光発電：規制緩和が成長の鍵か？

アメリカ合衆国では、多くの地域で太陽光発電が最も安価な新たな発電源となっていますが、その普及は市場構造に大きく依存しています。規制緩和された市場では、企業家が容易に利益を追求できるため、太陽光発電は急速に普及しています。逆に、既存の投資と官僚主義のために、規制された公益事業は遅れています。再生可能エネルギーへの移行を加速させるために、米国は規制緩和をさらに進め、民間資本がよりクリーンでより大規模なグリッドを構築できるようにする必要があります。これは、新興技術からの急増するエネルギー需要を満たし、世界的な競争力を維持するために不可欠です。この記事では、太陽光発電のコストの大幅な削減を強調し、テキサス州のような規制緩和された州での急速な普及と、テネシー州のような規制された州での遅い進歩を比較しています。

続きを読む
(seanobannon.substack.com)
テクノロジー エネルギー規制緩和

Mistral CEO：各国は経済的依存を避けるため独自のAIインフラを構築すべき

2025-03-24
Mistral CEO：各国は経済的依存を避けるため独自のAIインフラを構築すべき

MistralのCEOであるアーサー・メンシュ氏は、今後数年間でAIが各国GDPに2桁の影響を与えるだろうと主張しています。彼は、他の国々への経済的依存を避けるために、各国が独立したAIシステムを構築するよう促しています。これは、100年前の電力工場の建設と同じくらい重要だと彼は述べています。彼はAIを単なる技術ではなく、文化的および社会的な価値観を伝える媒体と捉え、より多くの関与が必要だと考えています。急速に成長しているヨーロッパのAI企業であるMistralは、オープンソースの大規模言語モデルの開発に注力しており、OpenAIなどの企業と競合し、より高速なモデル速度を誇っています。メンシュ氏はオープンソースの熱烈な支持者であり、それがAI開発を加速すると信じており、この原則がMistralの設立を導きました。

続きを読む
(www.businessinsider.com)
テクノロジー 経済的依存

ノスタルジックなカラーバーペーパー：ウェブシミュレーションと歴史

2025-03-24

この記事では、1990年代後半まで人気だったカラーバーペーパーを取り上げています。このペーパーは、読みやすさを向上させるために色のついた水平線を使用していました。著者は、ウェブページ上で様々な色（緑、青、黄など）のバーペーパー効果をシミュレートし、最新のソフトウェアやウェブデザインでこのスタイルをどのように模倣できるかを説明しています。この記事では、歴史的背景と、さまざまなソフトウェアやウェブ環境でこの効果をシミュレートするためのさまざまなアプローチについても触れています。

続きを読む
(mw.rat.bz)
デザイン レトロスタイル 印刷用紙

Magic Todo：AI搭載スマートTODOリスト

2025-03-24

Magic Todoは、通常のTODOリストのようにタスクを記録するだけでなく、設定した辛さレベル（🌶️）に基づいてタスクを自動的にステップに分割するスマートTODOリストアプリです。辛さが高いほど、分割が詳細になります。上位レベルのタスクは絵文字で自動的に分類され、カテゴリまたは完了状況でフィルタリングできます。各アイテムには、編集、削除、サブタスクの追加、見積もり機能があり、ドラッグアンドドロップによる並べ替えが可能です。さらに、デバイス間の同期、エクスポートオプション、元に戻す/やり直し、一括操作などの機能も備えています。

続きを読む
(goblin.tools)
開発 TODOリスト

ウェブサイトのクッキーポリシーの説明

2025-03-24
ウェブサイトのクッキーポリシーの説明

このウェブサイトは、ウェブサイトとサービスを最適化するためにクッキーを使用しています。技術的なストレージまたはアクセスは、加入者またはユーザーによって明示的に要求された特定のサービスの使用を可能にする正当な目的のため、または電子通信ネットワークを介して通信を送信する唯一の目的のために厳密に必要です。クッキーは、加入者またはユーザーによって要求されていない設定を保存するため、統計目的（匿名統計を含む）、および同様のマーケティング目的のために複数のウェブサイトで広告またはユーザーを追跡するためのユーザープロファイルを作成するためにも使用されます。ただし、匿名の統計データは通常、あなたを特定するために使用することはできません。

続きを読む
(9to5linux.com)
その他

LangGraph：柔軟でベストプラクティスに則ったAIコーディングアシスタントの構築

2025-03-24
LangGraph：柔軟でベストプラクティスに則ったAIコーディングアシスタントの構築

Qodo社はLangGraphフレームワークを使用して、柔軟性とコーディングベストプラクティスの遵守のバランスを取ったAIコーディングアシスタントを構築しました。当初、コーディングタスクには事前に定義されたワークフローを使用していましたが、Claude Sonnet 3.5などのより強力なLLMが登場したことで、LangGraphのグラフベースのアプローチに移行しました。LangGraphは、完全にオープンエンドなものから完全に構造化された決定的なフローまで、あらゆる範囲のAgentを構築することを可能にし、QodoはLLMの能力に基づいてフローの構造化の程度を調整できます。フレームワークのクリーンなAPI、再利用可能なコンポーネント、組み込みの状態管理により、開発が簡素化され、永続性、チェックポイント、分岐点がサポートされます。ドキュメントとテストにはいくつかの課題がありますが、LangGraphはQodoが堅牢なAIコーディングアシスタントを構築するための堅実な基盤を提供しました。

続きを読む
(www.qodo.ai)
開発

トランスヒューマニズム：現代のカルトか？

2025-03-24
トランスヒューマニズム：現代のカルトか？

この記事では、トランスヒューマニズム運動がカルト的な特徴を示しているかどうかを探っています。カルトの特定のためのロバート・J・リフトンの8つの基準を用いて、トランスヒューマニズム運動における情報統制、神秘的操作、純粋性の要求、告白の文化、聖なる科学、言葉の装填、教義が個人を凌駕すること、存在の分配などを分析します。著者は、トランスヒューマニズムが、閉鎖性、排他的な慣行、そして黙示録的な救済物語においてカルトとの類似性を示していると主張しています。地理的に集中しているわけではないものの、トランスヒューマニズムのオンラインコミュニティは強い集団アイデンティティを促進し、異論を抑制し、将来の技術に対する盲目的な楽観主義と非信者への価値の低下を示しています。この記事は、トランスヒューマニズムの将来の軌跡は、その技術的な予測が実現するかどうか、そしてその信奉者が現実世界にどのように反応するかに依存すると結論づけています。

続きを読む
(ewanmorrison.substack.com)
その他 トランスヒューマニズム

リックオーバー提督と原子力海軍：産業政策からの教訓

2025-03-24
リックオーバー提督と原子力海軍：産業政策からの教訓

この記事は、ハイマン・G・リックオーバー提督とアメリカ原子力海軍の創設の物語を語り、アメリカの産業基盤再建に向けた現在の取り組みにとって貴重な教訓を提供します。厳格な人員選抜、継続的な技術訓練、そして厳格なプロジェクト管理を通じて、リックオーバー提督は10年以内に世界初の原子力潜水艦と世界最大の民間原子炉艦隊を建造しました。彼の成功は、単なる法律や資金に頼ったものではなく、高い能力を持つ人材の育成、高性能な組織文化の構築、そして政府官僚機構の戦略的な航海によって成し遂げられました。リックオーバー提督の物語は、産業政策における強力なリーダーシップと人材育成の決定的な重要性を強調しており、中国との戦略的競争においてアメリカにとって極めて重要です。

続きを読む
(www.chinatalk.media)
テクノロジー 人材育成
1 2 … 357 358 359 361 363 364 365 … 595 596