合成ガソリン、別名合成燃料またはe燃料は、原油から抽出されるのではなく、化学プロセスによって製造される液体燃料です。CO2とH2などの容易に入手可能な原料を使用して、フィッシャー・トロプシュ合成などのプロセスを通じて、従来のガソリンに似た炭化水素鎖に変換します。その環境への影響は、CO2の供給源によって異なります。大気からの直接回収またはバイオマス燃焼の場合、カーボンニュートラルまたはカーボンネガティブになる可能性がありますが、化石燃料燃焼からのCO2の場合、その利点は減少します。現在、高価ですが、技術の進歩と規模拡大により、コストが削減され、航空や海運などの分野で重要な役割を果たす可能性があります。
続きを読む
NVIDIAは、Grace Blackwellプラットフォームを搭載したパーソナルAIスーパーコンピューター「Project DIGITS」を発表しました。3000ドルからという価格で、研究者、データサイエンティスト、学生が強力なAIコンピューティングに簡単にアクセスできるようになります。GB10スーパーチップは最大1ペタフロップのAIパフォーマンスを提供し、2000億パラメーターの大規模言語モデルを実行できます。ユーザーは自分のデスクトップシステムで開発と推論を実行し、クラウドまたはデータセンターインフラストラクチャにシームレスに展開できます。Project DIGITSは、AIスーパーコンピューティングを何百万人ものユーザーに提供し、AIイノベーションを加速することを目指しています。
続きを読む
科学者たちは、水生昆虫である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に感謝いたします。
続きを読む
この記事では、AVX-VNNI命令セットを使用してバイト行列乗算を最適化する方法を探ります。著者はまずナイーブな実装から始め、次にgemmologyとxsimdライブラリを使用して、転置とカスタムレイアウトを用いた最適化バージョンを作成します。ベンチマークの結果は、カスタムレイアウトが最高の性能を達成し、vpdpbusd命令を活用して効率を大幅に向上させることを示しています。この記事では、gemmologyライブラリのmaddw関数の詳細な実装と、アーキテクチャのバリエーションについても掘り下げて説明します。
続きを読む
この記事は、データ可視化分野におけるイノベーションの停滞の理由を探っています。著者は、2010年頃、数多くの革新的なインタラクティブなチャートが登場したデータ可視化分野の急速な発展を振り返ります。しかし、10年後、イノベーションは停滞しているように見え、スクロリーテリングのような一般的なインタラクティブ形式が支配的になり、視覚的な疲労につながっています。この記事では、モバイルファーストの閲覧習慣、容易に理解できるコンテンツへの需要、経済低迷期における保守的な投資戦略が、この現象に寄与したと主張しています。イノベーションの減速にもかかわらず、著者はこれがイノベーションサイクルにおける自然な段階であり、将来、新たなブレークスルーが期待できると考えています。
続きを読む
この記事は、数々のThinkPadの象徴的な機能を生み出した伝説的デザイナー、デビッド・ヒルの22年間のキャリアに焦点を当てています。彼はTrackPoint、革新的なバタフライキーボード（そしてなぜそれ以上作られなかったのか）、ThinkLightのデザイン秘話を語ります。また、折りたたみ式オールインワンデスクトップや、バタフライキーボード搭載のノートパソコンなど、実現しなかったプロジェクトについても明かします。さらに、レノボがIBMのPC部門を買収した後、ヒルが超薄型軽量のThinkPad X300の開発を主導し、レノボの革新力とThinkPadの伝統を両立させた様子も描かれています。
続きを読む
今後の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で動作します。最適化されたコード、特にレジスタ割り当てにより、大規模なクエリを効率的に処理できます。
続きを読む
この記事では、JavaScriptとベクターグラフィックスを使ってスペースインベーダージェネレーターを作成する過程をインタラクティブに解説しています。手描きのピクセルアートからベクターポリゴン、そして最終的なピクセル化された画像へと至るプロセスを、使用されているアルゴリズムや技術（OKLCHカラー空間による色生成、Anime.jsによるアニメーションなど）と共に説明しています。非常にインタラクティブな記事で、読者自身でスペースインベーダーを生成することができます。
続きを読む
How-To Geekの元編集長である著者は、YouTubeダウンローダーに関する過去の自己検閲を明らかにし、その理由を説明しています。それはGoogleの広告収入への依存と、YouTubeの利用規約違反への恐れです。今では、これらの制約から解放された著者は、いくつかの優れた無料YouTubeダウンローダーを推奨し、それらの倫理的な側面、Googleの戦略、そして冗長なEULAの無効性について深く掘り下げています。著者は、YouTube動画のダウンロードを、ウェブページの印刷や画像の保存と同様に、妥当なバックアップ行為だと主張しています。Googleは、YouTubeの支配力を強化するために、ダウンローダーの存在を黙認し、さらにはそこから利益を得ているのです。
続きを読む
この記事では、アペルによる1992年の著書『Compiling with Continuations』を再検討します。著者は、継続渡しスタイルを用いたコンパイル技術について、MiniML言語、字句解析、構文解析、CPS言語、クロージャ変換、レジスタ・スピリング、仮想マシンといったトピックを網羅して詳細に解説しています。演習問題がないことや、一部の内容が時代遅れになっている点を除けば、この本はStandard MLと継続渡しスタイルに関する貴重な洞察を提供しており、特にコンパイラ設計と関数型プログラミングを学ぶ人にとって有益です。しかし、実装の詳細における曖昧性や、現代のコンパイラ技術に関する議論の欠如により、読み解くのが難しい部分もあります。
続きを読む
カリフォルニア州上院は、物議を醸す住宅法案SB 79を可決しました。この画期的な法案は、地域ゾーニング条例を無効にし、交通拠点近くの高密度住宅建設を可能にします。一戸建て住宅地の変化を懸念する住民からの激しい議論と抗議の後、主要な交通拠点近くで最大9階建ての建物を許可するものです。ロサンゼルス市議会はこの法案に反対しましたが、州建築建設労働組合との合意後、支持が拡大しました。同組合は、特定のプロジェクトにおける組合員の雇用を保証する修正案と引き換えに反対を取り下げました。この法案は、ニューサム知事の承認を待つ段階に入っています。
続きを読む
GoogleはGmailのエンドツーエンド暗号化を発表しましたが、その実装方法が物議を醸しています。送信者は自分の鍵でメッセージを暗号化し、受信者は「ミニマルGmail」と呼ばれるツールを使用してメッセージを読む必要があります。これは、Googleアカウントを持っていない場合でも、Gmailを使用する必要があることを意味します。これは真のエンドツーエンド暗号化ではなく、Googleがアクセスを制御し、他のクライアントでの読み取りや検索を妨げています。メールはGoogleのデータとなり、「暗号化」はセキュリティの強化ではなく、制御メカニズムになります。ユーザーはこれらのメールをスパムとしてマークする可能性が高いです。
続きを読む
Hot Chips 2025では、AIチップ向けに設計された高度な液体冷却技術が展示されました。様々なメーカーが、チップのホットスポットを正確に冷却できる、マイクロジェットベースの冷プレートを発表しました。中には、ダイに直接水を噴射する技術も含まれていました。現在、サーバーアプリケーションに焦点を当てていますが、正確な温度制御は、将来、コンシューマーハードウェアにもメリットをもたらす可能性があります。また、軽量なアルミニウムや高効率な銅など、様々な素材の冷プレートも展示され、サーバーの重量や冷却ニーズに対応していました。AIチップの電力消費と発熱量の増加に対処するため、これらの液体冷却技術の革新は、データセンター冷却の重要なソリューションとなっています。
続きを読む
EVメーカーのRivianは、消費者への自動車直販を禁止しているオハイオ州を提訴しました。Rivianは、この法律が競争を阻害し、消費者を損なうと主張し、テスラの免除を指摘しています。これは、新興自動車メーカーと強力なディーラーロビーとの間の継続的な闘争における最新の出来事です。Rivianは、オハイオ州でEVを直接販売するためのライセンスを取得することを目指しています。
続きを読む
この記事では、プログラミング言語のサイズと表現力のトレードオフについて探求しています。著者は、アセンブリ言語のような小さな言語は表現力が限られているのに対し、Forth、Lisp、Tclなどの言語は簡潔な構文で強力な表現力を実現していると主張しています。Luaは、その小さなコア（わずか27ページ！）のために、小さく簡単に学習できる言語として強調されています。標準ライブラリが言語の認識されるサイズに及ぼす影響についても議論されており、Ramdaの広範な機能は、学習曲線の増加の例として使用されています。最終的に、著者は小さな言語のエレガンスと喜びを擁護し、簡潔さは表現力を上回る可能性があると示唆しています。
続きを読む
DOGEというコードネームの委員会プロジェクトは、複数の連邦機関（SSA、IRS、HHSなど）からの機密情報を単一の省庁間マスターデータベースに統合することを目指しています。しかし、このプロジェクトは、サイバーセキュリティとプライバシーに関する懸念を驚くほど無視しており、法律に違反している可能性があります。調査によると、DOGEのエンジニアは、さまざまな機関のネットワークとデータベースへの直接アクセスを可能にする特殊なコンピューターを作成することにより、ネットワークセキュリティコントロールを回避しようとしています。これは前例のない運用上のセキュリティリスクをもたらし、ゼロトラストアーキテクチャを損ないます。さらに、DOGEの職員は、それぞれ異なる機関のシステムにアクセスできるラップトップでいっぱいのバックパックを使用して、現在複数の連邦機関によって個別に管理されているデータベースを結合していると言われています。これは非常に懸念される行為です。
続きを読む
1976年、ソ連の競泳チャンピオン、シャバルシュ・カラペティアンは、エレバン湖にトロリーバスが転落するのを目撃しました。凍えるような汚染された水の中を顧みず、彼は大胆な救出劇を繰り広げ、沈没した車両に何度も潜り込み、数十人の乗客を救出しました。ソ連当局によって隠蔽されたこの英雄的行為は、長年知られることはありませんでした。カラペティアンの物語は、並外れた勇気と人間の思いやりの力の証です。
続きを読む
Nitroは軽量なプロセスマネージャーであり、LinuxではPID 1としても機能します。組み込みシステム、デスクトップ、サーバー、コンテナ向けに設計されており、スクリプトのディレクトリで構成されます。メモリ内の状態により、読み取り専用ルートファイルシステムでの動作が可能になります。効率的でイベント駆動型であるNitroは、ランタイム時のメモリ割り当てがゼロであり、サービスの信頼性の高い再起動とログチェーンをサポートしています。パラメーター化されたサービスと`nitroctl`ツールによるリモート制御により、その汎用性が高まります。
続きを読む
llmpegは、大規模言語モデル（LLM）を使用してFFmpegコマンドの使用方法を簡素化します。必要なビデオ操作を記述するだけで、llmpegは対応するFFmpegコマンドを生成します。例えば、ビデオからオーディオを簡単に削除できます。FFmpegとOpenAI APIキーが必要です。このプロジェクトは、ビデオ処理のための便利なAI搭載ツールを提供します。
続きを読む
大規模言語モデル（LLM）は膨大なデータで学習しますが、その多くは、著者の同意なしに公開ウェブからスクレイピングされたものです。ある著者は、意図的に意味不明なミラー記事を作成し、nofollowタグでリンクすることで反撃しています。nofollowを無視する可能性のあるLLMがこのナンセンスな情報を摂取し、出力の質が低下することを期待しています。完璧な解決策ではありませんが、著者は、データの無断スクレイピングと、コンテンツ作成者への倫理的な影響について、意識を高めようとしています。
続きを読む
この記事では、コンパイラが検出できない安全なRustコードにおける一般的な落とし穴を明らかにします。整数オーバーフロー、型変換エラー、配列の境界外アクセス、無効な状態、機密データの漏洩など、様々な問題を取り上げ、チェック付き算術演算、TryFrom、`get`メソッド、カスタム型などの解決策を提供します。Rustのメモリ安全性の保証があっても、開発者は規律を守り、テスト、リント、ファジングを組み合わせることで、堅牢なアプリケーションを構築する必要があると述べています。
続きを読む
ボランティア管理ソフトウェアの創設者が、自分の個人電話番号がGoogleビジネスプロフィールによって漏洩し、Google検索結果に表示されていることを発見しました。彼は以前、本人確認のために電話番号を提供していましたが、公開共有には同意していませんでした。電話番号を削除した後、問題は解決しましたが、彼はGoogleの行動に対する不満と個人情報セキュリティへの懸念を表明しました。この事件は、個人データの漏洩に関する懸念を高め、以前の銀行データ漏洩事件を思い出させました。
続きを読む
LLM（大規模言語モデル）の能力向上とMCPなどの拡張メカニズムにより、安全で信頼性の高いAIアプリケーションの構築はますます複雑になっています。本稿では、Java仮想マシン（JVM）と同様のAIモデル仮想マシン（MVM）の概念を提案します。MVMは、AIモデルにセキュリティ、分離、拡張性、移植性などを提供します。MVMはモデル開発と統合ロジックを分離し、プラグアンドプレイ式のモデル交換を可能にし、AIアプリケーションのセキュリティとプライバシーを保護するための組み込みセキュリティ制御とアクセス制御メカニズムを組み込んでいます。さらに、透過的なパフォーマンスとリソースの追跡、および検証可能なモデル出力の可能性も提供します。この革新は、AIアプリケーション開発における多くの課題に対処し、より安全で、信頼性が高く、効率的なAIエコシステムを構築するための道を切り開くことを約束します。
続きを読む