NVIDIAは、Grace Blackwellプラットフォームを搭載したパーソナルAIスーパーコンピューター「Project DIGITS」を発表しました。3000ドルからという価格で、研究者、データサイエンティスト、学生が強力なAIコンピューティングに簡単にアクセスできるようになります。GB10スーパーチップは最大1ペタフロップのAIパフォーマンスを提供し、2000億パラメーターの大規模言語モデルを実行できます。ユーザーは自分のデスクトップシステムで開発と推論を実行し、クラウドまたはデータセンターインフラストラクチャにシームレスに展開できます。Project DIGITSは、AIスーパーコンピューティングを何百万人ものユーザーに提供し、AIイノベーションを加速することを目指しています。
続きを読む
2020年以降、米国の電力価格は35％も急騰しました。この記事では、卸売電力価格のトレンドを深く掘り下げ、その上昇が発電コストと送電ボトルネックの両方に関連していることを明らかにしています。独立系統運用者（ISO）/地域送電組織（RTO）は、場所別限界価格（LMP）メカニズムを用いて電力市場を管理しており、LMPはエネルギー、輻輳、損失の3つの要素で構成されています。様々なISO/RTOにおけるLMPデータの分析から、2020年以降、卸売電力価格が大幅に上昇していることがわかりました。これは、天然ガス価格の上昇が一部原因となっています。しかし、送電ボトルネックもますます深刻化しており、安価な電力を低コスト地域から需要の高い地域へ送電することが困難になり、価格の変動が大きくなっています。カリフォルニア州の太陽光発電の増加や、一部地域における天然ガスの供給不足も、送電ボトルネックを悪化させています。
続きを読む
科学者たちは、水生昆虫であるRhagovelia（波紋虫としても知られる）にヒントを得て、Rhagobotと呼ばれる小さなロボットを作成しました。これらの半水生昆虫は、中脚の先端にある独特の扇状の付属肢のおかげで、水面上を楽々と滑走します。Rhagobotはこの適応を模倣し、水の流れに合わせて受動的に変形する構造を使用して推進力を生み出します。Science誌に発表された5年間の研究は、この昆虫の脚の以前は知られていなかった複雑な構造を明らかにし、半水生ロボットのための自己変形人工プロペラを開発するための洞察を提供しています。
続きを読む
二人の高校生が、廃棄予定のChromebookを使って、世界で最も型破りなビデオウォールを作るという3年間のプロジェクトに挑みました。ChromeOSの制限、高精度な動画同期、古いハードウェアの互換性といった数々のソフトウェアとハードウェアの課題を克服し、カスタムLinuxディストリビューション、巧妙な動画同期アルゴリズム、そして独創的なマウンティングハードウェアを開発しました。このプロジェクトは、創意工夫、機転、そして協力の力を示しており、電子ゴミを素晴らしいテクノロジーの驚異に変えています。
続きを読む
9to5Macによると、AppleはApple NotesにMarkdownエクスポート機能を追加するとのことです。Markdownの生みの親であるJohn Gruber氏は、複雑な心境を抱いています。彼は、MarkdownはWebライティングやプレーンテキストの保存に最適であり、メモアプリの中核機能ではないと主張しています。Apple Notesの優れたWYSIWYGエディタと簡素化されたフォーマットオプションは、Macintoshの哲学によりよく合致しています。Markdownエクスポートは改善点ではありますが、Gruber氏はNotesをMarkdownエディタに変えることが逆効果となり、使いやすさとシンプルさを損なうのではないかと懸念しています。彼は、Apple Notesが「Markdownトレンド」を追いかけるのではなく、中核機能の改善に集中することを望んでいます。
続きを読む
Let's Encryptは、オンライン証明書ステータスプロトコル（OCSP）サービスを正式に終了し、証明書失効リスト（CRL）のみに移行しました。これは、OCSPがウェブサイトへのアクセス時にユーザーのIPアドレスを公開するため、ユーザーのプライバシーを優先するための措置です。Let's Encryptは90日以上前に証明書へのOCSP URLの追加を停止しており、OCSP URLを含むすべての証明書は期限切れとなっています。OCSPの停止は、Let's EncryptのCAインフラストラクチャを簡素化し、効率性と信頼性を向上させます。ピーク時には、Let's EncryptのOCSPサービスは月間約3400億件の要求を処理していました。過去10年間、OCSPへのCDNサービス提供にご支援いただいたAkamaiに感謝いたします。
続きを読む
この記事は、データ可視化分野におけるイノベーションの停滞の理由を探っています。著者は、2010年頃、数多くの革新的なインタラクティブなチャートが登場したデータ可視化分野の急速な発展を振り返ります。しかし、10年後、イノベーションは停滞しているように見え、スクロリーテリングのような一般的なインタラクティブ形式が支配的になり、視覚的な疲労につながっています。この記事では、モバイルファーストの閲覧習慣、容易に理解できるコンテンツへの需要、経済低迷期における保守的な投資戦略が、この現象に寄与したと主張しています。イノベーションの減速にもかかわらず、著者はこれがイノベーションサイクルにおける自然な段階であり、将来、新たなブレークスルーが期待できると考えています。
続きを読む
この記事では、Pythonコードテストの効率を向上させる2つの手法を紹介します。1つ目は`importlib`ライブラリを利用して関数をリロードし、迅速な反復テストを可能にする方法です。2つ目は`pickle`ライブラリと組み合わせてクラスオブジェクトを保存およびロードすることで、長時間の実行を回避する方法です。特に実行時間の長いコードに効果的です。これらの手法により、デバッグ時間を大幅に削減し、開発速度を向上させることができます。
続きを読む
今後のLinuxカーネル6.17では、Bcachefsファイルシステムのサポートが削除されます。これは、BcachefsのメンテナであるKent Overstreet氏とLinus Torvalds氏の間でエスカレートした緊張状態によるものです。この対立は、コードの提出方法とタイミングに関する意見の相違に端を発し、コミュニティの確立されたルールに違反しています。論点の中心は、リリース候補段階で提出された新しい「journal-rewind」機能であり、他の開発者から懸念が表明されました。Overstreet氏のユーザーデータの整合性に関する主張にもかかわらず、Torvalds氏は最終的にBcachefsを完全に削除することを決定し、Linuxカーネル開発の歴史における注目すべき出来事となっています。
続きを読む
ドキュメントリレーショナルデータベースサービスであるFaunaは、今後数ヶ月でサービスを終了することを発表しました。現在の市場環境においてグローバル展開に必要な資金調達が困難なため、同社はサービス停止という難しい決断を下しました。しかし、Faunaはコアデータベース技術、ドライバー、CLIツールをオープンソース化することにコミットしており、独自のトランザクション機能、ドキュメントリレーショナルデータモデル、FQL言語をより幅広い開発者コミュニティが利用できるようになります。既存の顧客は円滑な移行を保証するため、移行サポートを受けられます。
続きを読む
ニューメキシコ州ホワイトサンズ国立公園で発見された古代の人間の足跡の年代が再確認されました。初期の放射性炭素年代測定では2万3000年から2万1000年前とされましたが、水生植物のサンプルが地下水中の古代炭素を吸収している可能性があるという懸念から異議を唱えられました。研究チームはその後、同じ地層の松、トウヒ、モミなどの花粉を放射性炭素年代測定し、最下層の足跡の上にある粘土中の石英粒子に光刺激ルミネセンス法を用いた年代測定を行いました。新しい結果は以前の推定と一致し、足跡の古さを確認し、氷床が北米大陸南部を隔離する前に、この地域に人が住んでいたことを示唆しています。
続きを読む
NativeJITは、Cデータ構造を含む式の高性能なJust-in-Timeコンパイルのためのオープンソースのクロスプラットフォームライブラリです。BingチームによってBing検索エンジンで使用するために開発され、キーワードのマッチングとユーザーの意図に基づいたドキュメントのスコアリングに不可欠です。軽量で高速であり、標準C++ランタイムのみに依存し、Linux、OSX、Windowsで動作します。最適化されたコード、特にレジスタ割り当てにより、大規模なクエリを効率的に処理できます。
続きを読む
How-To Geekの元編集長である著者は、YouTubeダウンローダーに関する過去の自己検閲を明らかにし、その理由を説明しています。それはGoogleの広告収入への依存と、YouTubeの利用規約違反への恐れです。今では、これらの制約から解放された著者は、いくつかの優れた無料YouTubeダウンローダーを推奨し、それらの倫理的な側面、Googleの戦略、そして冗長なEULAの無効性について深く掘り下げています。著者は、YouTube動画のダウンロードを、ウェブページの印刷や画像の保存と同様に、妥当なバックアップ行為だと主張しています。Googleは、YouTubeの支配力を強化するために、ダウンローダーの存在を黙認し、さらにはそこから利益を得ているのです。
続きを読む
この記事では、アペルによる1992年の著書『Compiling with Continuations』を再検討します。著者は、継続渡しスタイルを用いたコンパイル技術について、MiniML言語、字句解析、構文解析、CPS言語、クロージャ変換、レジスタ・スピリング、仮想マシンといったトピックを網羅して詳細に解説しています。演習問題がないことや、一部の内容が時代遅れになっている点を除けば、この本はStandard MLと継続渡しスタイルに関する貴重な洞察を提供しており、特にコンパイラ設計と関数型プログラミングを学ぶ人にとって有益です。しかし、実装の詳細における曖昧性や、現代のコンパイラ技術に関する議論の欠如により、読み解くのが難しい部分もあります。
続きを読む
Hot Chips 2025では、AIチップ向けに設計された高度な液体冷却技術が展示されました。様々なメーカーが、チップのホットスポットを正確に冷却できる、マイクロジェットベースの冷プレートを発表しました。中には、ダイに直接水を噴射する技術も含まれていました。現在、サーバーアプリケーションに焦点を当てていますが、正確な温度制御は、将来、コンシューマーハードウェアにもメリットをもたらす可能性があります。また、軽量なアルミニウムや高効率な銅など、様々な素材の冷プレートも展示され、サーバーの重量や冷却ニーズに対応していました。AIチップの電力消費と発熱量の増加に対処するため、これらの液体冷却技術の革新は、データセンター冷却の重要なソリューションとなっています。
続きを読む
Seed7は、Thomas Mertesによって設計された汎用プログラミング言語であり、その高度な機能はAda、C/C++、Javaを凌駕しています。ユーザー定義の文と演算子をサポートし、型をファーストクラスオブジェクトとして扱い、エレガントなテンプレートとジェネリクス定義を提供します。Pascal、Ada、C、C++、Javaの概念を組み合わせたSeed7は、オブジェクト指向機能、インターフェース、マルチディスパッチ、静的型チェック、自動メモリ管理（ガベージコレクションなし）、例外処理、ソースコードデバッグなどを備えています。大きな整数型と有理数型、関数/演算子のオーバーロード、豊富なプリデファインド型（配列、ハッシュテーブル、集合など）を提供します。Seed7プログラムは高い移植性を持ち、様々なデータベースをサポートするデータベース非依存のAPIを提供します。Seed7はLinux、様々なUnixバージョン、Windows上で動作し、そのインタプリタとサンプルプログラムはGPLライセンス、ランタイムライブラリはLGPLライセンスを使用しています。
続きを読む
EVメーカーのRivianは、消費者への自動車直販を禁止しているオハイオ州を提訴しました。Rivianは、この法律が競争を阻害し、消費者を損なうと主張し、テスラの免除を指摘しています。これは、新興自動車メーカーと強力なディーラーロビーとの間の継続的な闘争における最新の出来事です。Rivianは、オハイオ州でEVを直接販売するためのライセンスを取得することを目指しています。
続きを読む
Strudel.cc、React Flowを使用して構築され、Tailwind CSSでスタイル設定されたビジュアルドラムマシンとパターンシーケンサーです。ドラッグアンドドロップインターフェースで楽器ノードとエフェクトノードを接続して、複雑な音楽パターンを作成します。さまざまな楽器とエフェクト、リアルタイムパターン編集、グループコントロール、Zustandを使用した状態管理による整理されたプロジェクト構造などが含まれています。包括的な入門ガイドも提供されています。
続きを読む
この記事では、プログラミング言語のサイズと表現力のトレードオフについて探求しています。著者は、アセンブリ言語のような小さな言語は表現力が限られているのに対し、Forth、Lisp、Tclなどの言語は簡潔な構文で強力な表現力を実現していると主張しています。Luaは、その小さなコア（わずか27ページ！）のために、小さく簡単に学習できる言語として強調されています。標準ライブラリが言語の認識されるサイズに及ぼす影響についても議論されており、Ramdaの広範な機能は、学習曲線の増加の例として使用されています。最終的に、著者は小さな言語のエレガンスと喜びを擁護し、簡潔さは表現力を上回る可能性があると示唆しています。
続きを読む
DOGEというコードネームの委員会プロジェクトは、複数の連邦機関（SSA、IRS、HHSなど）からの機密情報を単一の省庁間マスターデータベースに統合することを目指しています。しかし、このプロジェクトは、サイバーセキュリティとプライバシーに関する懸念を驚くほど無視しており、法律に違反している可能性があります。調査によると、DOGEのエンジニアは、さまざまな機関のネットワークとデータベースへの直接アクセスを可能にする特殊なコンピューターを作成することにより、ネットワークセキュリティコントロールを回避しようとしています。これは前例のない運用上のセキュリティリスクをもたらし、ゼロトラストアーキテクチャを損ないます。さらに、DOGEの職員は、それぞれ異なる機関のシステムにアクセスできるラップトップでいっぱいのバックパックを使用して、現在複数の連邦機関によって個別に管理されているデータベースを結合していると言われています。これは非常に懸念される行為です。
続きを読む
MITの研究によると、ChatGPTを論文執筆に利用すると、測定可能な認知機能の低下につながることが明らかになりました。脳波検査では、ChatGPTを繰り返し使用した学生において、神経接続の弱体化、記憶力の低下、自身の文章に対する所有意識の低下が見られました。AI生成の文章が高得点だったとしても、脳の活動は著しく低下していました。研究では、LLMの使用が重要な脳ネットワークの関与不足を引き起こし、AIの使用を中止した後でも、認知機能は完全に回復しないことがわかりました。この「認知的オフローディング」は、学習能力と創造性の長期的な低下につながります。
続きを読む
1976年、ソ連の競泳チャンピオン、シャバルシュ・カラペティアンは、エレバン湖にトロリーバスが転落するのを目撃しました。凍えるような汚染された水の中を顧みず、彼は大胆な救出劇を繰り広げ、沈没した車両に何度も潜り込み、数十人の乗客を救出しました。ソ連当局によって隠蔽されたこの英雄的行為は、長年知られることはありませんでした。カラペティアンの物語は、並外れた勇気と人間の思いやりの力の証です。
続きを読む
天文学者たちは、遠くのカイパーベルトにある準惑星クアオアを周回する可能性のある新しい天体を発見しました。海王星を超えたこの氷に覆われた楕円形の準惑星は、すでに2つのリングと1つの衛星を持っていることが知られています。この発見は、恒星の掩蔽現象によるもので、1.23秒間の追加の星光の遮蔽が観測され、新しい衛星または3番目のリングを示唆しています。ジェームズ・ウェッブ宇宙望遠鏡のデータは、衛星の仮説を裏付けています。この発見はクアオアの謎を深め、リングや衛星の形成に関する私たちの理解に疑問を投げかけ、また、銀河系の遠い領域における惑星系の形成に関する新たな知見をもたらします。
続きを読む
Nitroは軽量なプロセスマネージャーであり、LinuxではPID 1としても機能します。組み込みシステム、デスクトップ、サーバー、コンテナ向けに設計されており、スクリプトのディレクトリで構成されます。メモリ内の状態により、読み取り専用ルートファイルシステムでの動作が可能になります。効率的でイベント駆動型であるNitroは、ランタイム時のメモリ割り当てがゼロであり、サービスの信頼性の高い再起動とログチェーンをサポートしています。パラメーター化されたサービスと`nitroctl`ツールによるリモート制御により、その汎用性が高まります。
続きを読む
llmpegは、大規模言語モデル（LLM）を使用してFFmpegコマンドの使用方法を簡素化します。必要なビデオ操作を記述するだけで、llmpegは対応するFFmpegコマンドを生成します。例えば、ビデオからオーディオを簡単に削除できます。FFmpegとOpenAI APIキーが必要です。このプロジェクトは、ビデオ処理のための便利なAI搭載ツールを提供します。
続きを読む
この記事では、コンパイラが検出できない安全なRustコードにおける一般的な落とし穴を明らかにします。整数オーバーフロー、型変換エラー、配列の境界外アクセス、無効な状態、機密データの漏洩など、様々な問題を取り上げ、チェック付き算術演算、TryFrom、`get`メソッド、カスタム型などの解決策を提供します。Rustのメモリ安全性の保証があっても、開発者は規律を守り、テスト、リント、ファジングを組み合わせることで、堅牢なアプリケーションを構築する必要があると述べています。
続きを読む
LLM（大規模言語モデル）の能力向上とMCPなどの拡張メカニズムにより、安全で信頼性の高いAIアプリケーションの構築はますます複雑になっています。本稿では、Java仮想マシン（JVM）と同様のAIモデル仮想マシン（MVM）の概念を提案します。MVMは、AIモデルにセキュリティ、分離、拡張性、移植性などを提供します。MVMはモデル開発と統合ロジックを分離し、プラグアンドプレイ式のモデル交換を可能にし、AIアプリケーションのセキュリティとプライバシーを保護するための組み込みセキュリティ制御とアクセス制御メカニズムを組み込んでいます。さらに、透過的なパフォーマンスとリソースの追跡、および検証可能なモデル出力の可能性も提供します。この革新は、AIアプリケーション開発における多くの課題に対処し、より安全で、信頼性が高く、効率的なAIエコシステムを構築するための道を切り開くことを約束します。
続きを読む
Sparrowは、Apache ArrowカラムフォーマットをC++20で実装したライブラリで、直感的なAPIとCインターフェースとの容易な変換を提供します。様々なコンパイラに対応し、mamba/condaパッケージマネージャーでインストール可能です。Sparrowは柔軟なデータ初期化とアクセス方法を提供し、他のライブラリとのシームレスな統合を可能にします。外部ライブラリからArrowデータ構造を読み込み、Sparrowのデータ構造に変換したり、その逆も容易に行えます。ドキュメントは開発中です。このプロジェクトは、ArcticDB、Bloomberg、QuantStackとの共同開発によって資金提供されています。
続きを読む
smartfuncライブラリは、docstringをLLM関数に巧みに変換することで、大規模言語モデルとのやり取りを簡素化します。デコレーターとJinja2テンプレートを使用して、docstringのテキストをプロンプトに変換し、基盤となるllmライブラリを介して様々なLLMプロバイダー（OpenAIなど）とやり取りします。smartfuncは、レスポンス構造の定義のためのPydanticモデル、非同期関数、システムプロンプト、そしてデバッグモードをサポートしており、開発効率を大幅に向上させます。機能は比較的シンプルですが、その簡潔さと使いやすさから、迅速なプロトタイピングに最適です。
続きを読む
著者は、大きなSQLiteデータベースのコピー時に、インデックスファイルのサイズが大きいために速度のボトルネックに遭遇しました。そこで、データベースをテキストファイル（`.dump`コマンドを使用）にダンプし、gzipで圧縮することで、ファイルサイズを大幅に削減し、コピー速度を向上させる方法を発見しました。3.4GBのデータベースを直接コピーする場合と比較して、この方法ではファイルを240MBに圧縮し、14倍の速度向上を実現しました。さらに、この方法は、コピー中に更新が行われたことによるデータベースの破損問題を防ぎ、信頼性を向上させます。
続きを読む