Fireflyは、信頼性の高いポーズトラッカーとトレーナーデータを使用して、リアルタイムのフォームフィードバックを提供する独自のワークアウトアプリです。ルーチンを提案するだけのアプリとは異なり、Fireflyはフォームを評価し、繰り返しごとに即座に修正を提供することで、適切なテクニックとけがの予防を保証します。その速度と精度は競合他社を上回り、信頼性の低いサードパーティのデータではなく、独自のトレーナーデータを利用しています。Fireflyは継続的なフィードバックを提供し、ミスをした場合でも改善を支援します。
続きを読む
研究者らは、Whisperモデルを用いて、4人のてんかん患者が自然な会話を行っている間のECoG信号と音声信号を分析しました。その結果、Whisperの音響、音声、言語の埋め込みが、特に音声生成と理解中に、ニューラル活動を正確に予測することが示されました。音声埋め込みは知覚運動領域で優れており、言語埋め込みはより高次の言語領域で優れたパフォーマンスを示しました。この研究は、音声と言語の情報が脳の複数の領域でどのように符号化され、音声情報が言語処理にどのように影響するかを明らかにしています。また、音声生成と理解における情報の流れの異なる時間的ダイナミクス、そしてニューラル活動を予測する上での深層学習モデルと記号モデルの違いも発見されました。
続きを読む
AI音声クローンを使った詐欺事件が、急速に進化する音声合成技術がもたらす課題を浮き彫りにしました。父親が、息子の声を巧みに模倣した詐欺師によって詐欺の被害に遭う寸前でした。この事件は、現在の連邦証拠規則の弱点を露呈しています。この規則では、音声記録の認証を証人の声の識別だけに頼っていますが、高度なAI音声クローン技術が登場した現在では、この方法は信頼できません。研究によると、人々は本物の声とAI生成クローンを区別するのが困難であり、現在の技術の精巧さが示されています。この記事では、潜在的に偽造された音声証拠の認否に関して、裁判官により多くの裁量を与えるよう証拠規則の修正を提唱し、AI技術の進化に対応することを主張しています。
続きを読む
この記事では、大規模言語モデル（LLM）をローカルで実行することの利点と方法を探ります。クラウドサービスには性能で劣るものの、プライバシー、コスト管理、実験的な開発において大きなメリットがあると著者は主張しています。3つのツール、Ollama（使いやすく、豊富なモデルライブラリ）、Llama.cpp（クロスプラットフォームでパワフル）、Llamafiles（単一実行ファイルで共有が容易）が紹介されています。モデル選択、パラメータ、量子化、モデルの機能など重要な側面も網羅し、モデルファイルのサイズとセキュリティに関する注意喚起も行われています。結論として、ローカルでのLLM実行は、開発者に柔軟で制御可能なAI開発手法を提供します。
続きを読む
古いバージョンのFirefoxを使用しているユーザーは、重要な期限が迫っています。2025年3月14日、重要なルート証明書が期限切れになります。Firefox 128（またはESR 115.13+）にアップデートしていない場合、アドオンが無効になり、ストリーミングサービス（Netflixなど）が機能しなくなります。セキュリティ機能も危険にさらされます。今すぐバージョンを確認してアップデートし、アドオンの破損、ストリーミングの問題、セキュリティの脆弱性を回避しましょう！
続きを読む
米国国立標準技術研究所（NIST）は、ポスト量子暗号化のための既に標準化されているML-KEMに対するバックアップアルゴリズムとしてHQCを選択しました。誤り訂正符号に基づくHQCは、将来の量子コンピュータに対する第二の防御ラインを提供し、格子ベースのML-KEMとは異なる数学的アプローチを使用します。ML-KEMが一般的な暗号化に対して推奨される選択肢である一方で、HQCはML-KEMに脆弱性が発見された場合に重要な冗長性を提供します。NISTは、約1年後にHQCのドラフト標準を公開し、2027年に最終化することを計画しています。
続きを読む
アメリカの最大の年金基金であるカリフォルニア州公務員退職年金基金（CalPERS）は、化石燃料企業やその他の主要な温室効果ガス排出企業への30億ドル以上の投資を「気候変動対策」として分類しました。これは物議を醸しており、批判者らは、これがCalPERSの低炭素経済への移行という公表された目標に反するものであると主張しています。CalPERSは、汚染企業に影響を与えながらクリーンエネルギーに投資し、受託者責任を果たすことを目的としていると主張して、自らの戦略を擁護しています。しかし、報告書によると、CalPERSの気候変動ポートフォリオには、世界の温室効果ガス排出量のトップ52社が含まれており、排出量削減目標の達成における課題が浮き彫りになっています。この状況は、財務的リターンと気候変動へのコミットメントのバランスをとることの難しさを示しており、「気候変動対策」の定義と透明性に関する疑問を提起しています。
続きを読む
UUIDv7は、従来のUUIDの利点と、最新の拡張可能な分散システムの長所を組み合わせた、新しい時間ベースのUUID規格です。ランダムに生成されるUUIDv4とは異なり、UUIDv7はグローバルに一意で、時間順にソート可能な識別子を備えているため、タイムスタンプと一意性を必要とするアプリケーションに最適です。UUIDv1に関連するプライバシーの問題に対処し、既存のUUIDライブラリとの互換性を維持しています。主なユースケースには、分散システム、データベースインデックス、ログ監視、電子商取引などがあります。
続きを読む
この記事では、Godotゲームエンジンのビルドサイズを大幅に削減する方法を詳しく説明します。著者は、3D機能、高度なテキストサーバー、不要なモジュールの無効化から始め、プロジェクトを体系的に最適化します。UPX圧縮ツール、WebAssembly最適化（wasm-opt）、Brotli圧縮などの技術も検討します。この記事では、シンプルな2Dバウンスゲームを例として使用し、各ステップの影響を明確な比較で示しています。これは、さまざまな最適化戦略とその長所と短所を網羅した実践的なガイドです。
続きを読む
この求人情報は、世界中の多くの国と地域、そして英国の多くの郡を網羅しており、リモート、オンサイト、ハイブリッドの勤務形態を選択できます。求職者は、日付と給与で絞り込むことができます。
続きを読む
董力の処女作詩集『オレンジの木』は、20世紀の中国の政治的混乱によって引き裂かれた家族の物語を、断片的で印象的な詩を通して語っています。詩は個人的な感情と歴史的苦しみを融合させ、記憶、アイデンティティ、故郷といったテーマを探求しています。長く続くオレンジの木を思わせる、簡潔ながらも深く感動的な董力のスタイルは、力強い物語を織りなしています。この詩集は、歴史への痛切な省察と、詩の言語への深い探求の両方であり、真に素晴らしい作品です。
続きを読む
TypeScriptチームは、TypeScriptコンパイラとツールのネイティブポートを発表し、パフォーマンスを劇的に向上させました。このネイティブ実装により、エディターの起動時間が大幅に短縮され、ほとんどのビルド時間が10倍になり、メモリ使用量が大幅に削減される予定です。初期テストでは、いくつかの大規模プロジェクト（例：VS Code、Playwright）のコンパイル速度が10倍以上向上しました。将来のネイティブTypeScript（TypeScript 7として計画）は、より高度なリファクタリング、より深いコード分析をサポートし、次世代AI開発ツールの基盤となります。TypeScript 6（JSベース）は、円滑な移行を確保するために引き続き保守されます。
続きを読む
第二次世界大戦中のラムリー島での戦闘後、約1000人の日本兵が密なマングローブの沼地へ逃げ込んだ。しかし、そこには大量の海水ワニが生息していた。体長20フィートを超える巨大なワニたちが、恐怖に慄く兵士たちを襲った。生き残った兵士たちは、夜の襲撃、悲鳴、銃声、肉が引き裂かれる音などの恐ろしい話を語った。ギネス世界記録では「ワニの襲撃による最多死者数」とされており、数百人が犠牲になった。
続きを読む
シカゴ大学が135年間にわたってハイドパークとその周辺地域に拡大してきた歴史は、相反する優先順位、土地紛争、人種的緊張といった複雑な物語です。アーカイブ、地図、学術文献などからまとめられたこのビジュアルヒストリーは、1890年の創設以来、大学による物議を醸す土地取得をたどります。都市再生における大学の先駆的な役割、周辺地域への影響、大学と都市の関係の進化などが強調されています。
続きを読む
この記事は、1948年にマンチェスター大学で開発された小型実験機「マンチェスター・ベイビー」の物語です。低速でシンプルなプログラムでしたが、電子式プログラム内蔵コンピューティングの概念を開拓し、現代コンピューティング時代の夜明けにおける重要な瞬間となりました。この記事では、ENIACコンピュータとの競合する主張についても掘り下げ、両者の特徴を比較・対比し、マンチェスター・ベイビーが完全に電子式プログラム内蔵コンピュータの開発において重要なマイルストーンであるという結論に達しています。
続きを読む
Cinder JITコンパイラは、型を集合（格子でもある）として扱い、コンパクトなビットセット表現を選択するという巧妙な型表現を採用しています。この記事では、Cinderが基本的な型の表現、型の結合、特殊化処理など、効率的な型情報処理のためにビットセットと半束構造をどのように活用しているかを詳しく解説しています。型情報をビットセットにエンコードすることで、Cinderは型の結合を効果的に表現し、より粒度の細かい型の区別を可能にしています。さらに、Cinderは個々のオブジェクトの具体的な値を追跡する特殊化メカニズムを導入し、コンパイラの最適化効率をさらに向上させています。この記事では、Bottom型や型格子の生成方法についても説明しています。
続きを読む
大規模言語モデル（LLM）は既存のベンチマークを急速に凌駕しており、新たなオープンエンドな評価が必要となっています。ファクトリオ学習環境（FLE）は、ゲーム「ファクトリオ」を基盤とし、長期計画、プログラム合成、資源最適化におけるエージェントの能力をテストします。FLEは、基本的な自動化から、1秒間に数百万単位の資源を処理する複雑な工場まで、オープンエンドで指数関数的に拡大する課題を提供します。2つの設定があります。固定リソースを持つ24個の構造化されたタスクからなるラボプレイと、手続き的に生成されたマップ上でゼロから最大の工場を構築するという、無制限のタスクであるオープンプレイです。どちらの設定においても、モデルは依然として強力な空間推論能力を欠いていることが示されました。ラボプレイでは、LLMは短期的なスキルにおいて有望な結果を示しますが、制約のある環境では効果的に動作できず、エラー分析の限界を反映しています。オープンプレイでは、LLMは成長を向上させる自動化戦略（例：電動ドリル）を発見しますが、複雑な自動化（例：電子回路製造）を達成できません。
続きを読む
メタは、AIモデルのトレーニングに使用したデータから著作権管理情報（CMI）を違法に削除したとして訴訟に直面している。作家であるリチャード・カドゥレイ、サラ・シルヴァーマン、クリストファー・ゴールデンは、メタが彼らの作品を許可なくニューラルネットワークのトレーニングに使用し、CMIを削除して行為を隠蔽したと主張している。判事は、メタがデジタルミレニアム著作権法（DMCA）違反の申し立てに回答する必要があると判断し、AIモデルトレーニングデータの著作権問題がさらに厳しく精査されることを示唆している。一部の主張は却下されたものの、この訴訟の進展は、新しい証拠が追加されたOpenAIに対するトレムブレイ訴訟など、同様の訴訟に先例となる可能性がある。
続きを読む
この記事では、著者がTLA+のDSLであるPlusCalと形式的検証を使用して、ゼロダウンタイムデータベースマイグレーションの正確性をどのように保証したかを詳述しています。ユーザーによるデータベースへのUpsert、Delete、Get操作とバックグラウンドマイグレーションプロセスをシミュレートするPlusCalモデルが構築されました。マイグレーションのないシステムとマイグレーションのあるシステムをシミュレートし、すべての状態においてGet操作の結果の一貫性を検証することで、著者はマイグレーションアルゴリズムの正確性を保証しました。形式的検証は、TOMBSTONEの不適切な処理など、欠陥の早期検出に役立ち、マイグレーション中のデータのチェックと挿入の原子性など、原子操作の重要性を強調しました。
続きを読む
コードの監査中に、高品質のコードにも関わらず、著しい精神疲労を感じたプログラマーがいました。原因はサイクロマチック複雑度ではなく、可読性でした。調査の結果、可読性を向上させる8つの視覚パターンが明らかになりました。行数/演算子/オペランド数を最小限に抑える、関数の形状、演算子、構文糖での新規性を避ける、長い関数チェーンをグループ化する、条件文を短く保つ、gotoを避ける、ネストを最小限に抑える、記述的で視覚的に区別できる変数名を使用する、変数の寿命を短くする、といったものです。これらのパターンは、コードの可読性を向上させ、バグを減らし、開発者の生産性を高めます。
続きを読む
GCC 15コンパイラに大きなアップデートが到来します。COBOL言語フロントエンドのサポートがマージされました！これはGCCによるCOBOLサポートの大きな一歩であり、レガシーなメインフレームCOBOLアプリケーションをLinuxやクラウド環境に移行することを容易にします。COBOLの人気は以前ほどではありませんが、このマージは嬉しいサプライズです。開発者は`gcobol`コマンドを使用してCOBOLコンパイラフロントエンドを呼び出すことができます。今後数週間でリリースされるGCC 15.1安定版では、多くの機能と共にCOBOLサポートが提供されます。
続きを読む
研究者たちは、食品加工表面におけるバクテリアの蓄積を防ぐための斬新な解決策を開発しました。サメの皮膚とセミの羽の自然な抗菌特性に触発され、レーザーを使用して金属表面にマイクロおよびナノスケールのテクスチャをエッチングしました。これにより、バクテリアの付着が防止され、継続的な清掃の必要性がなくなり、バイオフィルムの形成が減少します。レーザーテクスチャリング技術は化学物質の使用を回避するため、より安全で持続可能な代替手段となります。今後の取り組みとしては、産業用途向けのプロセスを最適化するための機械学習モデルの開発があります。
続きを読む
複数のLLMとウェブ検索を使用して、深く反復的な分析を行う、強力なAI駆動型のリサーチアシスタントです。プライバシー保護のためにローカルで実行することも、拡張機能のためにクラウドベースのLLM（Claude、GPT）を使用するように設定することもできます。ローカル処理（Ollamaモデルを使用）とクラウドLLMをサポートしており、要約だけでなく、ウェブページの完全なコンテンツを分析できます。さらに、引用付きの詳細な調査結果、包括的な調査レポート、迅速な要約など、豊富な出力オプションを提供し、プライベートドキュメントコレクションのためのローカルドキュメント検索（RAG）機能も備えています。
続きを読む
Sidekickは、macOSネイティブのLLMアプリケーションで、完全にローカルで実行され、追加のソフトウェアなしでファイル、フォルダ、ウェブサイトにアクセスできます。RAG技術を使用して、大量のデータセットを処理し、コードインタープリターを含む複数の推論モデルをサポートし、画像を生成し、高度なMarkdownレンダリング機能と組み込みのライティングアシスタントツールを備えています。Sidekickはシンプルさと使いやすさを優先し、完全にオフラインで動作し、会話の追跡がなく、透明性のためにオープンソースです。
続きを読む
本書は、初期教会の禁欲主義から同性愛者の迫害、女性の役割の複雑な定義に至るまで、キリスト教における性に対する複雑な歴史を深く掘り下げています。著者は、聖書の性に関する様々な解釈を綿密に検討し、権力、社会規範、人間の欲望への恐怖が、教会の性に対する立場をどのように形成してきたかを明らかにしています。歴史的に教会が性に対して厳しい態度を取ってきたにもかかわらず、本書は伝統的な見解に挑戦する人物や物語、そして愛と献身への追求も示しています。最終的に、著者は現代教会が直面する課題と、愛と許しに基づいた真のキリスト教信仰を再構築する必要性を考察しています。
続きを読む
最近、ESP32 Bluetoothコントローラーに潜在的な「バックドア」または「未文書化の機能」があるという懸念が出ています。Espressifは、いわゆる「未文書化のHCIコマンド」はデバッグ目的のみであり、セキュリティ上の脅威ではないと回答しました。これらのコマンドは、デバッグを支援するために使用されます（例：RAMの読み書き、メモリマップドフラッシュの読み取り、パケットの送受信）。標準的なBluetoothホストスタック（NimBLEやBluedroidなど）のHCI通信ではアクティブな役割を果たしません。ESP32では、コントローラーとホストは同じMCU上で動作し、仮想HCIレイヤーを介して通信します。このレイヤーにアクセスするコードは、ESP32上で完全な実行権限を持って実行する必要があります。したがって、アプリケーション自体に脆弱性がない限り、これらの未文書化のコマンドは悪用できません。Espressifは、これらのデバッグコマンドへのアクセスを削除するためのソフトウェアパッチを提供し、すべてのベンダー固有のHCIコマンドを文書化して、透明性を高めます。
続きを読む
ブログ記事では、43 Foldersの2005年のメールのヒントを再考しています。件名行の最後に(EOM)を追加して、メッセージ全体が件名行にあることを示し、本文を開く必要がないようにします。これは、大量のメールを受信する受信者にとって非常に効率的です。著者は、これは社内または確立された組織内ではうまく機能する可能性がありますが、一般的なメールの使用では混乱を招く可能性があると述べています。
続きを読む
30年前、作家シダーサ・ドゥベは、歴史的な農民反乱の跡地近くのインド北部にある小さな村を訪れました。彼は、衝撃的な貧困を目の当たりにしました。泥の小屋、原始的な鋤、裸足の老人、やせ衰えた子供たちです。村人、ラム・ダスは、若い頃の苦労を語りました。長い間働き、わずかな1.5kgの穀物しか得られず、寒い夜には稲の茎で暖をとっていました。生涯で持った靴は一足だけだったそうです。この記述は、インド農村部の長く続く貧困と不平等を痛烈に示しています。
続きを読む
国際研究チームが、フォトニック結晶ポラリトン凝縮体において超固体相を初めて観測し、Nature誌に発表しました。この画期的な研究は、従来の超低温原子系を超えた超固体現象の探求に新たなプラットフォームを提供します。超固体は、結晶の剛性と超流体の摩擦のない流れという独特の特性を兼ね備えています。研究チームは、フォトニック結晶導波路内でポラリトンを凝縮させることで、密度変調の高精度測定と超固体波動関数の局所コヒーレンスの探査を実現しました。この研究は、フォトニックプラットフォームにおける超固体相を実証するだけでなく、非平衡系における物質の量子相を探求するための道も開きます。ニューロモーフィックコンピューティングや高度なフォトニクスなどへの応用も期待されます。
続きを読む
この記事は、ClojureでBelプログラミング言語を実装する9ヶ月間の道のりを詳述しています。当初は週末プロジェクトとして構想されていましたが、著者はいくつかの課題に直面しました。Bel独自の構文のためのカスタムパーサーの作成、Belの継続渡しスタイルの処理（スタックオーバーフローの問題を克服するためにインタプリタのコールスタックの再実装が必要）、Javaデータ構造を使用したパフォーマンスの最適化などです。著者は、`lit`、`globe`、`scope`、`mac`、`err`など、Belの強力な機能を掘り下げ、継続によって実現される機能を示しています。プロジェクトはまだ開発中ですが、著者はこの困難ながらもやりがいのある経験を通して学んだ貴重な教訓を強調しています。
続きを読む