電子メールの脅威に直面した米国郵便公社は、1982年にE-COMサービスを開始し、電子メールを印刷して郵便配達員によって配達する試みを行った。当初は成功を収めたものの、高コスト、複雑なプロセス、柔軟性の欠如により、1985年に失敗に終わり、4000万ドル以上の損失を出した。しかし、E-COMは「電子メール」という用語の普及に貢献し、郵便公社の技術革新への対応を示したと言える。
続きを読む
acmsgは、OpenRouter APIとAIモデルを利用してGitコミットメッセージを自動生成するPythonベースのCLIツールです。Gitリポジトリのステージングされた変更を分析し、コンテキストに合わせたコミットメッセージを生成し、複数のAIモデルをサポートし、生成されたメッセージの編集を許可します。flakeまたはスタンドアロンのプロファイルで簡単にインストールでき、初回実行時にOpenRouter APIトークンの設定を求められます。
続きを読む
Rustで書かれたAV1デコーダーrav1dは、現在、Cベースの対応物であるdav1dよりも約5%遅い。このパフォーマンスギャップを埋めるため、rav1dのパフォーマンスをdav1dと同等にする貢献に対して、2万ドルの賞金を提供する。改善はrav1dのコードベース、Rustコンパイラ、またはRust標準ライブラリに対して行うことができるが、変更は特定のルールに従う必要がある（低レベルアセンブリの変更は不可、Rust以外のコードは不可）。賞金は、達成されたパフォーマンス向上に応じて比例配分される。
続きを読む
Databricksは、開発者向けのサーバーレスPostgres企業であるNeonを買収すると発表しました。Postgresに関する深い専門知識を持つNeonチームは、高速で、スケーラブルで、費用対効果の高いデータベースプラットフォームを構築しました。これは特にAIエージェントに魅力的です。この買収により、DatabricksはAIネイティブデータベースにおける地位を強化し、開発者とAIシステムに強力なデータベースソリューションを提供します。
続きを読む
メリーランド大学の画期的な技術により、普通の木材が鋼鉄よりも強い素材に変換されます。ライセンスを取得したInventWood社は、最初の商業プラント建設のためにシリーズA資金調達で1500万ドルを調達しました。当初は建物の外壁材に焦点を当てますが、最終的にはコンクリートや鉄の代替を目指し、建設業界の炭素排出量の大幅削減を目指しています。このプロセスは木材の分子構造を変え、圧縮することで、10倍以上の強度を実現し、耐火性と腐敗防止効果も得られます。
続きを読む
この記事では、イーサリアムプロトコルの簡素化の必要性と方法を探ります。著者は、簡素化によってセキュリティが向上し、開発コストが削減され、コミュニティ参加が促進されると主張しています。この記事では、コンセンサス層（例：3スロットファイナリティの使用）と実行層（例：EVMをRISC-Vに置き換え）の両方を簡素化することで、この目標を達成することを提案しています。さらに、イレーザーコード、シリアライゼーション形式、ツリー構造などのコンポーネントを共有することで、プロトコルの複雑さをさらに削減することを提案しています。最終的な目標は、イーサリアムの重要なコードをビットコインのようにシンプルにすることで、長期的な保守性とセキュリティを向上させることです。
続きを読む
NextcloudのAndroidアプリのアップロード機能はGoogleによって厳しく制限されており、写真と動画のみのアップロードが許可されています。Googleはセキュリティ上の懸念を理由に重要な権限を取り消しましたが、Nextcloudはこれが競争を抑制するための意図的な試みだと考えています。何度も訴え出ていますが、Googleは権限の復元を拒否し、何百万人ものユーザーに影響を与えています。Nextcloudは、これは巨大テクノロジー企業が競合他社を抑制するためにプラットフォームの優位性を悪用している好例であり、より厳格な規制を求めています。
続きを読む
スマートウォッチの開発に関するシリーズ記事の第1弾となるこの記事では、Core Time 2スマートウォッチにSiFli SF32LB52Jチップを採用した経緯が詳細に説明されています。筆者は、以前のPebbleスマートウォッチでSTM32F2チップを使用していた経験を振り返り、マイクロコントローラーユニット（MCU）を選択する際のソフトウェア互換性、消費電力、コストといった重要な要素について解説しています。最終的に、512KBのSRAM、16MBのPSRAM、低消費電力、そしてオープンソースSDKといった利点を備えたSiFliチップが選ばれ、オープンソースPebbleOSエコシステムに新たな活力が吹き込まれました。
続きを読む
Ashは、迅速なアプリケーション構築のためのプリセットオプションを提供する強力なアプリケーション開発フレームワークです。ユーザーは、Phoenix LiveView、GraphQL、PostgreSQLなどの様々なコンポーネントを含むプリセットを選択でき、後でAI、ファイナンス、自動化などのモジュールを追加することもできます。初心者でも簡単に始めることができ、シンプルなコマンドラインインストールとPostgreSQLデータベースでプロジェクトを迅速に立ち上げることができます。
続きを読む
5年間使用していた企業のWiseアカウントが突然凍結され、取引ができなくなりました。6万豪ドル以上がアクセス不可の状態です。株主情報や所有者のIDなど、要求されたすべての書類を提出したにも関わらず、Wiseサポートは問題を解決できず、既に提出済みの書類を繰り返し要求しています。多数のサポートチケットと電話も解決策に繋がらず、多額の資金が凍結されたままになっています。
続きを読む
ゼネラルモーターズはLGと協力して、電気トラックとSUV向けのリチウムマンガンリッチ（LMR）バッテリーを開発しています。この新型バッテリーは、現在の技術よりも安全で、エネルギー密度が高く、低コストであるとされています。GMは、2028年までに米国でLMRバッテリーを最初に商業生産する自動車メーカーを目指しており、フォードの2030年の目標を上回ります。LMRアプローチは、より多くのマンガンを使用し、高価なコバルトへの依存を削減することで、EVのコストを大幅に削減する可能性があります。容量低下などの課題はありますが、GMはこれらのリスクを軽減したと確信しており、この技術を使用した車両の航続距離を400マイルと予測しています。この取り組みは、EVのコスト削減と普及を加速させる上で非常に重要です。
続きを読む
EM-LLMは、人間のエピソードメモリとイベント認知を模倣することで、大規模言語モデル（LLM）の非常に長いコンテキストを処理する能力を大幅に向上させる新しいアーキテクチャです。ファインチューニングなしで、EM-LLMは入力トークンシーケンスを首尾一貫したエピソードイベントに編成し、効率的な2段階のメモリ検索メカニズムを通じて関連情報にアクセスします。LongBenchと∞-Benchベンチマークにおいて、EM-LLMはInfLLMやRAGなどの最先端の検索モデルを凌駕し、ほとんどのタスクにおいてフルコンテキストモデルをも上回ります。1000万トークンにわたる検索を成功裏に実行し、これはフルコンテキストモデルでは計算上不可能です。EM-LLMのイベントセグメンテーションと人間が認識するイベントとの強い相関関係は、人間のメモリメカニズムを探求するための新しい計算フレームワークを提供します。
続きを読む
この記事では、プログラミング言語とコンパイラに対する著者の理解を大きく変えた論文やブログ記事をいくつか紹介しています。扱われているトピックは、ガベージコレクション、コード最適化、レジスタ割り当て、正規表現エンジン、機械学習、SSA形式、コンパイラ設計など多岐に渡ります。著者は、Z3を証明エンジンとして使用すること、ファジングを利用してバグを発見すること、効率的な式解析手法など、提示された洞察に富むアプローチを強調しています。このコレクションは、著者がプログラミング言語の設計と実装の複雑な詳細に深く取り組んできたことを示しています。
続きを読む
Myceliumは、データの保存と転送のための型付きフォーマットであり、参照、式、関数、型をサポートしています。その仮想マシンであるMVMは、不変の値とポートによるプロセス間通信を用いて効率性を重視した設計となっています。MycZipはMyceliumの値を単一ファイルにエンコードし、QUICをベースとしたMyceliumネットワークプロトコル（MNP）は、ピアツーピアでのデータ転送とキャッシングによる最適化を実現します。Spore言語は、MVMのためのユーザーフレンドリーなインターフェースを提供します。
続きを読む
上海は、新しい「DZ」（カスタマイズされた）バスシステムで公共交通機関に革命を起こしています。住民はオンラインプラットフォームを介してルートを提案し、十分な人数（通常15～20人）が登録すれば、ルートが開始されます。220以上のDZルートがすでに市内を運行しており、柔軟で需要に応じたソリューションを提供しています。効率性と利便性で称賛されている一方で、乗客の需要の不均衡や、一般の認知度が低いといった課題にも直面しています。今後の改善は、ルートプランニング、プラットフォームのアップグレード、可視性の向上に重点が置かれます。
続きを読む
革新的なAIスタートアップDeepSeekの創設者である梁文峰は、一見するとシャイな印象を与えるかもしれませんが、その静けさの裏には鋭い頭脳が隠されています。彼は若い研究者を育成し、技術的な議論に深く関わり、イノベーションを推進しています。彼の綿密なアプローチとAIシステムに対する深い理解は、DeepSeekをこの分野で大きな成功に導きました。
続きを読む
RPG in a Boxを使えば、プログラミングやモデリングの知識がなくても、ゲームやインタラクティブな体験を簡単に作成できます。ボクセルエディタ、マップエディタ、ビジュアルスクリプティング、会話システム、UIカスタマイズ、アイテムシステム、サウンドエフェクトジェネレーターなどの直感的なツールが搭載されており、作成したゲームをWindowsとmacOS向けにエクスポートできます。初心者でも簡単に使えます！
続きを読む
SpaceXがEchoStarによる2GHz帯の広範な利用に関するデューデリジェンスを怠っていたことが、FCCによる調査につながった。EchoStarは、23,000以上の5Gサイトを展開し、米国の80％以上の地域をカバーしていると主張している。しかし、VTel Wirelessは、EchoStarに5Gネットワークの完成にさらに時間を与えることは、T-Mobile/Sprint合併における以前の約束に違反すると主張し、FCCに請願書を提出した。FCCは現在、EchoStarによる2GHzスペクトルの使用とVTelの再検討要請に関する公開コメントを求めている。
続きを読む
この記事では、GPUでのテクスチャサンプリングにおけるミップマップレベル選択の複雑な詳細について掘り下げて解説します。テクスチャエイリアシングから始まり、ミップマッピングとピクセル導関数（ddx()/ddy()）の役割を説明します。GLES3.0とDirectX 11.3の仕様と実験結果を分析することで、ミップマップレベル選択とピクセル導関数の関係の複雑さ、そして様々なGPUベンダ間の実装の違いを明らかにします。さらに、楕円変換と異方性フィルタリングがミップマップレベル選択に与える影響についても探求し、対応するソフトウェア実装を提供し、ハードウェア実装と比較します。
続きを読む
著者は、Kagi Searchの持ち帰り課題で苦い経験をしたことを記している。AWSにデプロイされた、完全でよく文書化されたメールクライアントのウェブアプリを提出したにもかかわらず、曖昧な初期要件を上回っていたにもかかわらず、著者はフィードバックのない一般的な拒否メールを受け取った。この経験は、テクノロジー業界の採用プロセスにおける、膨大で無償の課題の不条理さを浮き彫りにし、ライブコーディングレビューなどのより効果的な方法を提唱している。
続きを読む
Replicubeは、3Dボクセルベースのオブジェクトを複製するためにコードを書く、オープンエンドのプログラミングパズルゲームです。コードで参照オブジェクトを一致させることでパズルを解きます。正解は一つではありません。同じオブジェクトを作成できればOKです！自由に独自のボクセルアートを作成し、内蔵ツールで2D画像やGIFを生成することもできます。リーダーボードで競い合い、ゲーム内フォーラムで作品を共有し、他の3Dプログラムに作品をエクスポートできます。Windows、macOS、Linuxで利用可能です。
続きを読む
在宅勤務中の会議中に邪魔されることにうんざりしていませんか？このシンプルなIoTデバイス「Tabajara」は、ESP32とArduinoフレームワークを使用して会議の状況を知らせます。Webカメラがオンになっていると、オフィスドアのLEDパネルの色が変わります（赤は会議中、青は会議中ではない）。PythonデーモンはAppleのAPIを定期的にクエリしてWebカメラの使用状況を確認し、ESP32に更新を送信します。家族による邪魔を避けるためのスマートな解決策です！
続きを読む
この記事は、安全ピンの古代から現代までの進化をたどります。ホメロスのオデュッセイアに記されている宝石のピンや古代ローマのフィブラから、1849年にウォルター・ハントが発明した現代の安全ピンまで、そのデザインは何世紀にもわたってほとんど変わっていません。安全ピンの旅は続き、パンクロックの象徴となり、スポーツにおいて重要なツールとなり、世界中で日常的な必需品となっています。そのシンプルなエレガンスと文化的意義は、単なる実用品以上のものとなっています。一部の文化圏では、悪霊を払い、幸運をもたらすとさえ信じられています。
続きを読む
Airbnbは、時折の旅行宿泊施設のためのプラットフォームから、より頻繁に使用される包括的なプラットフォームへと進化しています。再設計されたアプリは、ユーザーを宿泊施設、サービス、体験の3つの主要セクションに導く直感的なアイコンを備えています。ユーザーの信頼を高めるために、Airbnbは新しいサービスプロバイダー（シェフ、マッサージ師など）を厳格に審査し、背景調査とプロの撮影を行っています。将来の計画には、ユーザーのプロファイルを主要なインターネットIDとして開発し、メッセージ機能を強化して、旅行者のためのコミュニティプラットフォームを作成することが含まれており、広告は避けられます。この変革は、CEOのブライアン・チェスキーがAppleのデザイン哲学に感銘を受けたこと、そして元Appleデザイナーのジョニー・アイブとの協力によって推進されています。
続きを読む
トランプ政権は、カタールから4億ドルの高級747-8型機を一時的なエアフォースワンとして受け入れる計画だ。しかし、大統領の警備基準に適合させるには、数年かかり、さらに数億ドルの費用がかかる可能性がある。この計画は、任期終了後に所有権がトランプ大統領図書館財団に移転されるため、法的および倫理的な懸念を引き起こしている。セキュリティ専門家は、外国所有の航空機を改造することは非常に高価で時間がかかり、すでに遅れているボーイングの交換プログラムを混乱させる可能性があると警告している。現在のエアフォースワンは高度な防御と通信システムを備えている。カタールのジェット機を改造することは、大きなセキュリティリスクとコストを伴うため、交換機が完成するまで既存の航空機を使い続ける方が賢明である。
続きを読む
世界の食糧システムに関する包括的な分析によると、食生活における炭素排出量を削減するには、持続可能な食肉生産に焦点を当てるよりも、肉類の消費量を減らす方がはるかに効果的です。最も環境負荷の低い肉類でさえ、豆や豆腐などの植物性タンパク質源よりも排出量が大幅に高くなっています。この結論は、119カ国にわたる38,000以上の商業農場のメタ分析に基づいており、生産方法と地理的場所のばらつきを考慮しています。持続可能な食肉生産が重要である一方、個人にとって、肉類の消費量を減らすこと、または鶏肉や豚肉などの環境負荷の低い選択肢に切り替えることが、炭素排出量を削減する最も効果的な方法となります。
続きを読む
ハーバード大学図書館のHIV/AIDSに関する3000枚以上のポスターのデジタルアーカイブは、公衆衛生コミュニケーションの進化を示しています。初期のポスターは、シンプルでインパクトのあるビジュアルと、感情的に共感できる単一のメッセージ、そして明確な行動喚起（電話番号、ウェブサイト、現在のQRコード）を優先しました。後のキャンペーンでは、様々な対象者へのメッセージを多様化し、恥に基づくアプローチから肯定的なアプローチへと移行しました。研究者たちは、より良い効果を得るために、対象者と共同でメッセージを作成することの重要性を強調しています。アーカイブは、現代の予防と治療（PrEP、抗ウイルス薬）による進歩を強調し、HIVの感染拡大を終わらせ、さらなる死亡を防ぐことを目指しており、過去の限界と、新たな感染を排除するための現在の能力との対比を示しています。
続きを読む
ビンガムトン大学のガイ・ジャーマン教授と彼のチームは、長時間水に浸かると指にしわが寄る理由を調査しました。一般的な認識とは異なり、彼らはしわは皮膚の腫れではなく、皮膚の下にある血管の収縮が原因であることを発見しました。驚くべきことに、繰り返し実験を行った結果、しわのパターンは複数の浸漬において一貫して維持されることがわかりました。これは、血管の比較的安定した位置に関連しています。この研究では、正中神経損傷のある人はしわが寄らないという意外な発見もありました。この発見は、指紋識別技術の向上など、法医学的な応用が期待できます。
続きを読む
アマゾンのAudibleは、新しいAI駆動の制作技術でオーディオブック業界に革命を起こしています。これにより、出版社は様々なAI生成音声（複数のアクセントと言語に対応）を使って、簡単に書籍をオーディオブックに変換できます。新しいAI翻訳ツールは、英語、スペイン語、フランス語、イタリア語、ドイツ語間の翻訳を提供し、グローバルなアクセスをさらに拡大します。出版社は、Audibleが完全に管理するサービスとセルフサービスオプションから選択できます。このイノベーションは、オーディオブックの制作とグローバルなアクセシビリティを大幅に向上させることを約束します。
続きを読む
開発者がPythonとSymPyライブラリを使用して、対話型の数学証明アシスタントを構築しました。これは、スカラー関数を含む漸近推定を半自動的に証明します。Lean証明アシスタントを模倣し、線形算術と対数線形算術をサポートしており、ユーザーは高度な戦術を提供することで証明プロセスをガイドできます。現在、Pythonの対話モードで実行されていますが、将来はグラフィカルユーザーインターフェースを追加する予定です。開発者は、関数空間ノルムの推定など、より幅広い数学的タスクを処理するために、このツールを拡張する予定です。
続きを読む