プログラマーが、古典的ゲームDoomをPDFファイルに移植しました！これは単純な埋め込みではなく、PDFのJavaScript機能を利用し、巧妙なASCII文字の操作で、PDFリーダー内でDoomを動作させています。フレームレートは高くありませんが、懐かしい体験を楽しむには十分です。この偉業はPDFフォーマットの潜在能力を示し、一見静的なPDFファイルにも隠れた驚きがあることを思い出させてくれます。
続きを読む
著者タウトヴィラス・メチンカスは、インターネット上のコンテンツの発見と集約の課題に対処するために、RSDS（Really Simple Decentralized Syndication）と呼ばれる新しいプロトコルを提案しています。この記事では、RSSの興亡とBlueskyなどの試みの欠点をレビューし、RSDSが軽量なデータ構造、分散型ドメイン名ID、ビットコインブロックチェーンベースのタイムスタンプを使用して、コストと複雑さを大幅に削減する方法を強調しています。また、スパム防止、コンテンツライセンスのサポートを備え、真に分散型のソーシャルネットワークの作成を可能にします。RSDSの中核は、参入障壁が低い点にあります。誰でもコンテンツをホストでき、同時に商業アプリケーションの開発も可能です。
続きを読む
ワイツマン科学研究所の実験で、アリと人間が迷路の中で大きな物体を共同で運ぶ課題に挑戦しました。驚くべきことに、コミュニケーションが制限された状況下でも、アリのチームは人間のチームを上回りました。研究者たちは、アリの高い社会性と共通の目標を成功の要因と分析する一方、人間のチームは個人の違いやコミュニケーションの不足に苦しみ、「群衆の知恵」を十分に発揮することができませんでした。この研究は、集団意思決定と協力の利点と欠点に光を当て、「群衆の知恵」の人間社会における普遍的な適用性を疑問視しています。
続きを読む
Artemisは、穏やかで平和な読書体験のために設計されたウェブリーダーです。あなたのタイムゾーンで毎日午前0時頃に更新され、お気に入りのウェブサイトをゆっくりと確認できます。Artemisはミニマリストでスローなデザインを優先し、リラックスしたブラウジング体験を促進します。無料で使用でき、データの保存とアクセシビリティに関する情報、およびテクニカルサポートのための連絡先を提供しています。
続きを読む
この記事では、作者が8ヶ月かけて、ライブラリや画像を一切使用せず、わずか240行のGLSLコードのみで作成した、息を呑むようなリックのアニメーションについて詳細に説明しています。記事内にはライブコーディングエディタが埋め込まれており、読者も独自のアニメーションをプログラミングできます。プロセスは、基本的な色の塗りつぶしから、ベジェ曲線、星型、角丸長方形などの符号付き距離関数（SDF）を使用してリックの特徴と髪を丹念に描くことまで、段階的に説明されています。ノイズ関数と時間領域のワーピングにより、リックの髪にダイナミックな効果が加わり、ランダムな目の動きが追加されます。作者は、ループ値、描画内容の切り替え、ノイズモーションなど、さまざまなアニメーション技術を共有し、完全なコードと説明を提供することで、読者が独自のGLSLアニメーションを作成できるように支援しています。
続きを読む
大規模言語モデル（LLM）の推論能力をカードゲームSetでテストする実験が行われました。Setは、12枚のカードから形状、色、数、陰影に関する特定のルールに基づいて3枚のカードのセットを特定するゲームです。GPT-4o、Sonnet-3.5、MistralなどのLLMは、正しいセットを首尾一貫して特定できず、多くの場合、無効な組み合わせを提案したり、セットが存在しないと主張したりしました。しかし、DeepThink-R1やo3-miniなどの新しい推論モデルは、問題を解決し、優れた論理的推論能力を示しました。これは、LLMが自然言語処理では優れているものの、複雑な論理的タスクには限界があることを示しており、専門的な推論モデルが明確な利点を持つことを示しています。
続きを読む
IntelとTSMCは、Intelの米国工場を運営する合弁会社を設立することで予備合意に達したと報じられている。TSMCは新会社で20％の株式を取得する。この動きは、AIブームに乗り遅れ、巨額の損失と株価の大幅な下落に見舞われたIntelにとって、窮地からの脱出の糸口となる可能性がある。しかし、Intelが以前、外部顧客向けにチップを製造しようとした際には、TSMCに比べて顧客サービスが劣っていたため、遅延やテスト失敗が発生した。この協業が成功するかどうかはまだ分からない。
続きを読む
連邦政府のガイドラインを満たす運転免許証であるReal IDが、間もなく義務化される。著者は、Real IDが過剰な個人情報を要求することで、なりすましや政府による監視のリスクを高め、事実上国内パスポートを作り、市民の自由を制限すると主張する。著者はReal IDのボイコットを呼びかけ、自由を守るために必要な行為だと考え、Real IDの実施を阻止するための立法措置を提案し、必要であれば政府閉鎖も辞さないと主張する。
続きを読む/cdn.vox-cdn.com/uploads/chorus_asset/file/25823164/STKS492_HATE_SPEECH_CVIRGINIA_C.jpg)
Meta、Google、TikTok、Xなどの巨大IT企業が、自らのプラットフォームにおける違法なヘイトスピーチに対処するためのEUの自主的な誓約に署名しました。「オンラインにおける違法なヘイトスピーチ対策行動規範+」では、署名者は透明性を高め、第三者による監視を許可し、24時間以内にヘイトスピーチの報告の少なくとも3分の2をレビューすることが求められます。法的拘束力はありませんが、この合意は、テクノロジー企業がオンラインヘイトスピーチに対処するための取り組みにおいて前進を示すものです。
続きを読む
このデジタルリソースは、カリフォルニアの山火事の生存者によって作成された住宅損失ファイルシステムであり、災害からの回復という困難なプロセスを乗り越える人々を支援することを目的としています。保険請求の効率的な管理、損失の記録、費用の追跡に役立つ、必須のリソース、チェックリスト、整理ツールを提供します。このシステムには、火災直後の対応から、メンタルヘルスケアのリソース、再建情報までを網羅した複数のシートが含まれており、カリフォルニア州の保険請求に関する規則の要約や、その他の役立つリソースへのリンクも掲載されています。
続きを読む
2025年1月1日、1929年に出版された多くの作品と1924年の録音作品がパブリックドメインとなりました！これには、初期のミッキーマウスのアニメーション、ガーシュウィンの「パリのアメリカ人」、ヘミングウェイの「武器よさらば」、フォークナーの「喧騒と怒り」など、多くの文化的意義を持つ作品が含まれています。インターネットアーカイブは、パブリックドメインデーのイベントと映画リミックスコンテストを開催して、これを祝います。
続きを読む
OpenStreetMap財団は、主権テクノロジー機関から、コアソフトウェアの安定性、成長、近代化を確保するために、384,000ユーロの助成金を受け取りました。この資金は、コードの更新、ドキュメントとテストインフラストラクチャの改善、コアインフラストラクチャの強化（破壊行為への対応や新しいデータとのインタラクション方法の探求を含む）に使用されます。また、OSMコアソフトウェア開発促進者を含む2つの新しい役割が作成されます。これは、開発者の努力を調整し、コミュニティの貢献を促進するためです。
続きを読む
DeepFaceは、顔認識と顔属性分析（年齢、性別、感情、人種）を行う軽量なPythonライブラリです。VGG-Face、FaceNet、ArcFaceなどの最先端モデルを統合し、高い精度を実現しています。このライブラリは、顔検出、検証、認識、属性分析などを網羅した使いやすいインターフェースを提供しており、ユーザーは様々な検出器やモデルを選択してパイプラインをカスタマイズできます。
続きを読む
1931年のチャーチルの予測から2013年の世界初の培養バーガー誕生まで、培養肉産業は困難を克服し、急成長産業となりました。初期の高コスト（最初のバーガーは33万ドル）がイノベーションを促進し、現在では世界中で100社以上が総額26億ドルを投資しています。血清フリーの培地など技術の進歩によりコストが削減され、PluriMatrixなどの技術革新により効率性が向上しました。米国やシンガポールなどでは規制承認が進み、普及に向かっていますが、主流化には20～30年かかると予想されています。
続きを読む
二人の写真家が、テネリフェ島で、テイデ火山のクレーターを前景に据えた月食の撮影という野心的なプロジェクトを計画しました。しかし、機材の故障、悪天候、さらには車の盗難など、計画は次々と危機に直面します。それでも彼らは諦めず、困難を乗り越えて、極めて厳しい条件下で月食の素晴らしい写真とタイムラプス映像を撮影することに成功しました。この物語は、写真家たちの決意と情熱の証です。
続きを読む
電子機器からの有害な難燃剤が、キッチン用品を含む黒いプラスチック製の家庭用品に含まれているという研究に、重大な数学的誤りがあった。初期の調査結果では、暴露レベルが安全限界に近づいていることが示唆され、大衆の不安と、キッチン用品を廃棄するよう勧める記事が掲載された。修正の結果、実際の暴露レベルは安全限界をはるかに下回っていることが明らかになった。難燃剤がプラスチック製品を著しく汚染するという全体的な結論は変わらないものの、この研究では、汚染はまれであり、ごく一部の製品にしか影響していないことも判明した。
続きを読む
著者は、弟が熱いストーブに触れて火傷をする様子を観察し、機械学習とパターン認識との類似点を指摘しています。赤ちゃんが「熱い」を理解する初期段階は、経験を通して感覚入力を関連付けることで構築され、機械学習における空間埋め込みの作成と似ています。新しい経験（ラジエーターに触れるなど）を通して、赤ちゃんは自分のメンタルモデルを更新し、ベイズ更新のように「熱い」という理解を調整します。これは、人間と機械学習の両方がパターン認識に依存していることを示しています。つまり、情報を圧縮し、知識を一般化し、新しい証拠に適応することです。しかし、人間はパターンを過剰に見つけることもあります（アポフェニア）。著者は、創造性とパターン形成を促進するために、静かな熟考の重要性を結論づけています。
続きを読む
Canvaのエンジニアリングチームは、印刷注文のルーティングを最適化するために、グラフ探索のための設定可能なルールシステムを構築しました。グラフの構築、探索、意思決定のプロセスを分離することで、高い可用性と拡張性を確保しています。データ管理にはリレーショナルデータベースを使用し、高速なクエリのために非同期的にキャッシュされたグラフを生成します。ルールエンジンと修正された最小コストフローアルゴリズムにより、ミリ秒単位で最適なルートを見つけ出し、輸送距離と炭素排出量を最小限に抑え、ユーザーエクスペリエンスと運用効率を向上させています。
続きを読む
Meta FAIRは、仮想的な具象エージェントの制御のための基礎モデルであるMeta Motivo、およびビデオ透かしのためのオープンソースモデルであるMeta Video Sealなど、画期的なAI研究成果を発表しました。このリリースは、エージェントの能力、堅牢性、安全性、そしてより効率的な学習のためのアーキテクチャの革新における進歩に焦点を当てています。その他の重要な貢献としては、Flow Matchingコードベース、心の理論推論のためのMeta Explore Theory-of-Mind、大規模概念モデル（LCM）、動的バイト潜在トランスフォーマーなどがあります。これらのモデルとツールをオープンソース化することにより、Metaは協調を促進し、責任あるAI開発を加速することを目指しています。
続きを読む
このユーモラスな作品は、完全に企業用語で交わされたプロポーズのやり取りを描いています。ゲイリーは「最適化」、「急成長」、「付加価値」などの専門用語を使って愛を表現し、シンディーは「ROI」、「コアバリュー」などの言葉で応答します。現代のビジネスパーソンらしいユーモアと独特のロマンスが表現されています。データに基づく洞察や唯一の情報源といった議論の中で婚約が成立し、企業用語の蔓延と効率重視の文化を風刺しています。この作品は、予期せぬ状況下での愛の適応性を最終的に称賛しています。
続きを読む
ジョージア大学のAri Daniel Levine教授の「世界文明I」コースの学生たちは、野心的なウィキプロジェクト「380以上の遺物で世界一周」に着手しました。この共同作業は、ルーブル美術館、大英博物館、メトロポリタン美術館など、著名な機関の380以上の博物館遺物に関する詳細なエントリーを通じて、世界史（西暦1500年前）を探求します。各遺物には専用のページが設けられ、物質文化のレンズを通して世界史を学びたいすべての人にとって、膨大なオンラインリソースとなります。
続きを読む
Caddy Webサーバーは、そのセキュリティデフォルト、ベストプラクティス、そして独自の高機能セットにより、学術界と業界の専門家から高く評価されています。査読付きジャーナル記事では、Caddyがほぼ普遍的にHTTPSを展開し、最新のTLS設定を使用していることが指摘されており、セッションチケットキーローテーションなどの機能において他の一般的なサーバーを凌駕しています。これは、Caddyが安全で使いやすく、注目に値するWebサーバーの選択肢であることを意味します。
続きを読む
ウィキペディアは完全にボランティアに依存しているため、コンテンツにギャップが生じています。科学、技術、工学、金融などの分野は、英語圏以外の国からのコンテンツと同様に、十分に表現されていません。数十万もの高品質の記事が翻訳されていません。ターゲットを絞った資金提供は、これらの問題を大幅に解決する可能性があります。しかし、有料の編集者であっても、質を維持するためには自律性とオーナーシップが必要です。彼らは自分のアカウントを使用して編集し、作成した記事の維持を担当します。
続きを読む
この記事では、整数プロパティ、微分、集合論、ビットベクトル、関数型プログラムなど、さまざまな分野を網羅する書き換え規則のデータベースを作成することを提案しています。著者は、書き換え規則を含む既存のプロジェクトやライブラリを多数リストアップし、これらの規則を共通の形式に統合することの実現可能性と課題について議論しています。いくつかの規則は既存のSMTソルバーで直接証明できますが、著者は、特定のアプリケーションコンテキストにおける正確な書き換えと操作のために、明確に定義された書き換え規則データベースが不可欠であり、将来の研究にとって貴重なリソースとなると主張しています。
続きを読む
NixOSのビルド再現性は、長らく議論の的となってきました。機能的なパッケージマネージャーモデルはビルドの再現性に貢献しますが、すべてのビルドでビット単位の再現性を保証するわけではありません。新しい研究論文では、Nixpkgs（NixOSのパッケージ集合）を6年間経験的に調査し、再現率が着実に増加していることを明らかにしました。2017年の69％から2023年4月には91％に達しています。この研究では、埋め込まれた日付、uname出力、環境変数、ビルドIDなど、再現性の欠如の主な原因も特定されました。これらの知見は、Nixpkgsがすでに高い再現率を達成している一方で、これらの点を改善することでさらなる向上を図れることを示しています。この研究は、Nix置換プロトコルの信頼性を高め、ビルド再現性に基づく分散キャッシュソリューションの開発を促進するために不可欠です。
続きを読む
この記事では、あまり知られていないが魅力的なX Window System用ツールを厳選して紹介しています。3D版のPongから、HP電卓のエミュレーターFree42、ファイルシステムビジュアライザーFSV2、そして古典的なXBillゲームの現代版XLennartなど、UNIXユーティリティのノスタルジックな旅を提供します。各ツールのインストール手順、GitHubへのリンク、さらにはコンパイルガイドも提供されています。懐古趣味のプログラマーやX11愛好家にとって、必読の記事です。
続きを読む
2025年第1四半期、テスラの主要市場における販売が急落しました。ドイツでは2月の販売が前年比76.3％減、オーストラリアでは71.9％減、中国では49.16％減となりました。新型Model Yの発売にも関わらず、販売は低迷しており、Model 3は大幅な減少となっています。これは、主要市場におけるテスラのリーダーシップに課題が生じていることを示しており、世界的な成長軌道に大きな障害となっています。要因としては、製品への飽き、CEOの論争、市場飽和、そしてベストセラーであるModel Yの移行などが考えられます。
続きを読む
この記事では、新しい実数符号化フォーマットである反復対数符号化を紹介します。従来の浮動小数点表現とは異なり、このフォーマットは、一連の符号ビットを使用して数を表現します。各符号ビットは、特定の範囲内の数の正負を示します。このアプローチにより、従来の浮動小数点フォーマットでは表現できない非常に大きく、または非常に小さな値を含む、驚くほど広い範囲の数を表現できます。また、ユニークな辞書式順序付け特性を備えています。精度の分布は均一ではありませんが、この方法は特定の範囲の数を表現する際に利点があり、特に非常に大きく、または非常に小さな値を扱う必要があり、精度要件が厳しくない場合に有効です。
続きを読む
Notionは、ノート、タスク管理、Wiki、データベースを単一のプラットフォームに統合したオールインワンワークスペースです。柔軟で強力なツールを提供し、情報の整理、プロジェクト管理、チームとのコラボレーション、カスタムワークフローの構築を支援します。個人利用でもチームコラボレーションでも、Notionはニーズに適応し、生産性を向上させます。
続きを読む
ジェラール・ノールスト・トレニティーの「カオス」は、英語のスペルと発音の不規則性を示す古典的な詩です。約800語を用いて、トレニティーは見事に韻を踏んだ対句を織り交ぜ、「heart, hear, heard」や「one, anemone, Balmoral」のように、発音が極めて矛盾する単語を巧みに配置しています。英語の音韻的な迷宮を探求するこのリズム感あふれる詩は、魅力的な言語学的パズルであると同時に、学習者とネイティブスピーカーの両方が直面する課題の証でもあります。この詩は、英語の特異性と複雑さについて熟考するきっかけを与えてくれます。
続きを読む