長年のMozillaサポーターが、Firefoxの有料版を導入するよう訴えています。広告収入に依存する現在のビジネスモデルは、最終的に製品の劣化とユーザーエクスペリエンスの低下につながると主張しています。有料版では、ユーザーが直接Firefoxの開発に資金を提供し、広告なし、プライバシー重視の体験を得ることができます。無料・オープンソース版も引き続き提供され、アクセシビリティが確保されます。著者は、このモデルによってより多くのユーザーを獲得し、MozillaがFacebookのような「エンシッティフィケーション」を避けることができると考えています。
続きを読む
多くのわいせつで攻撃的な言葉を含む23,463件のカリフォルニア州のパーソナライズされたナンバープレート申請データセットが公開されました。これらの申請は、カリフォルニア州DMVが受け取った申請のごく一部であり、特に審査のためにフラグが立てられたものです。データには、申請されたナンバープレートの組み合わせ、審査理由コード、申請者の説明、審査官のコメント、承認状況が含まれています。この公開は、ナンバープレートの承認において、DMVが公共のモラルと表現の自由のバランスをとるという闘いを浮き彫りにしています。
続きを読む
研究者らは、ゼロ知識（ZK）回路構築のための、Lean4ベースの組込みドメイン特化言語（DSL）と形式検証フレームワークであるCleanを開発しました。ZK回路はバグが発生しやすいですが、CleanはLean4で回路を定義し、必要な特性を指定し、正式に証明することで、その正確性を向上させます。このプロジェクトはzkEVM形式検証プロジェクトの一部であり、zkEVMの形式検証のためのインフラストラクチャとツールを提供することを目指しています。Cleanは、回路の定義にwitness、assert、lookup、subcircuitの4つの基本操作をサポートし、使いやすさを向上させるためのモナドインターフェースを提供します。中核となるのはFormalCircuit構造であり、回路の定義、仮定、仕様、健全性、完全性の証明を依存型で密にパッケージングします。サブ回路の制約を（正式に検証された）仕様に再帰的に置き換えることで、大規模な回路を正式に検証できます。このフレームワークは、8ビット加算などの単純な回路を既に正常に検証しており、今後の計画として、より低レベルのガジェットを追加すること、一般的なハッシュ関数回路を定義すること、RISC-Vのサブセットのための正式に検証された最小限のVMを構築することが挙げられます。
続きを読む
教育ソフトウェア大手PowerSchoolが深刻なデータ漏洩に見舞われ、6000万人以上の小中高生と教師の個人情報が盗まれた。社会保障番号や医療情報など機密データを含む23個のデータベーステーブルが侵害されたとされる。攻撃は、不正アクセスされた認証情報を利用したネットワーク侵入によるもので、ランサムウェアやソフトウェアのバグとは無関係だとPowerSchoolは説明している。PowerSchoolはパスワードのリセットやアクセス制御の強化などの対策を実施し、影響を受けた成人には信用監視サービスを提供しているが、サイバーセキュリティ企業Cybleは、この侵害が2011年から始まっていた可能性を示唆している。この事件は、教育機関におけるデータセキュリティの脆弱性と、迅速な報告と対応の重要性を浮き彫りにしている。
続きを読む
著者は、範囲内の乱数を生成するほぼ除算不要なアルゴリズム（Lemireアルゴリズム）を改良しました。以前のバージョンでは、高速パスをインライン化することでコードの肥大化を削減していましたが、コンパイラの最適化は限定されていました。著者は、上限がコンパイル時定数の場合は、棄却閾値をコンパイル時に計算でき、除算の回避は不要であることを発見しました。新しい実装では、乱数生成器への呼び出しは1回だけで、上限が2の累乗の場合は、コンパイラがループを自動的に削除します。これは昨年のバージョンよりも効率的で、著者はRustでの同様のコンパイル時最適化技術について考察しています。
続きを読む
System76は、ワークステーション向けの最初のArm PCであるThelio Astraを発表しました。128コアのAmpere Altra Max CPUを搭載し、その性能は驚異的です。Jeff Geerlingによる包括的なレビューでは、UbuntuとWindows 11両方のシステムでのベンチマークテストが行われ、Thelio Astraがマルチコア性能において他のArm PCを圧倒し、Cinebench 2024では非公式の世界記録を達成したことが明らかになりました。Windows 11でのGPUサポートはまだ発展途上ですが、Linuxでのゲームパフォーマンスは優れています。高価格帯ですが、その圧倒的な性能とSystem76の優れたサポートにより、特に自動車開発に携わるプロフェッショナルにとって魅力的な選択肢となっています。
続きを読む
Windows BitLockerに深刻な脆弱性が発見され、攻撃者は物理的なアクセスなしで、ネットワーク接続とキーボードだけでディスク暗号化キーを抽出できることが判明しました。この脆弱性は、Windowsブートマネージャーの欠陥を利用しており、攻撃者は脆弱なバージョンにダウングレードしてセキュアブートを回避できます。2022年末にパッチが適用されましたが、セキュアブート標準の設計上の欠陥により、この脆弱性は依然として悪用可能です。この記事では、ダウングレードされたブートローダーへのPXEブート、ブートコンフィギュレーションデータ（BCD）の操作によるソフトリブートのトリガー、Linuxエクスプロイトを使用したメモリ内のVMKスキャンなど、エクスプロイトの詳細を説明しています。プリブートPINの有効化やKB5025885パッチの適用など、軽減策についても説明しています。
続きを読む
このエッセイは、ハイパーコネクテッドなデジタルライフの隠れた心理的負担を探求し、「デジタルエコー」という概念に焦点を当てています。著者は、スマートデバイスによる絶え間ないデータ収集が、遍在的な監視の感覚を生み出し、私たち自身の生活における参加者ではなくパフォーマーに変えてしまうと主張しています。スマートフォンとスマートカーを対照的な例として使用し、データ生成とプライバシーへの影響の違いを強調しています。絶え間ない監視の悪影響を軽減するために、単機能デバイスとアナログな代替手段を重視する、より意識的なテクノロジーへのアプローチを提唱しています。著者は、将来の技術進歩は、遍在的な接続性とマルチタスクよりも、ユーザーのプライバシーと焦点を絞った体験を優先すべきだと結論付けています。
続きを読む
この記事では、著者が2024年にシェーダー技術を学び、ポストプロセス処理に適用した経験について詳しく説明しています。@samdapeや@hahajohnxなどのアーティストの作品にインスピレーションを得て、複雑なピクセルパターン、錯視効果、インタラクティブなポストプロセス効果を作成しました。記事では、ピクセル化、SDFと閾値行列を使用したパターンの作成、LEDパネル、織物、レゴブロック、フロストガラスなどの効果を実現する技術の詳細を説明し、コードスニペットとデモを提供しています。
続きを読む
新しい研究では、読解力の異なる人々の脳構造に著しい違いがあることが明らかになりました。1000人以上の参加者のオープンソースデータを分析した結果、読解力と左前頭前野およびヘシュル回旋の構造との間に相関関係が見られました。左頭頂葉は様々な情報を統合するのに対し、聴覚皮質の一部であるヘシュル回旋の厚さは読解力と相関していました。この研究は脳の可塑性を強調しており、読書が脳構造を形成し、個人と人類の両方に利益をもたらすことを示唆しています。
続きを読む
DeepSeekは、推論システムR1-ZeroとR1を発表しました。ARC-AGI-1ベンチマークで、OpenAIのo1システムと同等のスコア（15～20％）を達成し、LLMの単純なスケーリングに依存するGPT-4oの5％を大幅に上回りました。R1-Zeroは特に注目に値し、教師ありファインチューニング（SFT）を必要とせず、強化学習のみに依存しています。R1-Zeroは可読性や言語の混在に課題を抱えているものの、数学やコーディング分野では優れた性能を示し、SFTなしで正確な思考連鎖推論が可能であることを実証しました。これはAGI研究に新たな道を切り開き、将来的には人間の注釈なしでAGIを訓練できる可能性を示唆しています。
続きを読む
Amazon UKは、新しい契約条件で合意に至らなかったことを理由に、ブルームズベリーの書籍（紙媒体と電子書籍）の販売を停止すると発表しました。この措置はブルームズベリーに大きな打撃を与える可能性があり、Amazonと出版社間の取引条件に関する懸念を再び浮き彫りにします。Amazonは、ブルームズベリーが誠意ある交渉を拒否したと主張しており、既存の条件は他の出版社とは大きく異なるとしています。Amazonは、顧客がサードパーティの販売業者からブルームズベリーの書籍を購入できると保証していますが、これはJ.K.ローリングなど、ブルームズベリーが出版する多くのベストセラー作家に影響を与える、ハイリスク戦略です。この事件は、10年以上前にAmazonとハシェット社の間で発生した同様の公開論争を思い出させます。
続きを読む
Protonの年次チャリティ募金活動である、生涯アカウントの抽選で100万ドル以上が調達され、世界中のプライバシー、表現の自由、人権のために闘う団体を支援することになりました。これは過去7年間で400万ドル以上に達する記録的な金額です。この資金は、Protonコミュニティが選んだ10の団体に加え、以前から支援している団体にも寄付されます。Protonは資金援助に加え、プライバシーが脅かされている地域の人々に無料サービスを提供し、オープンソースプロジェクトを支援し、オンライン検閲に積極的に反対しています。この成功は、より良いデジタル未来を築くためのコミュニティ活動の力を示しています。
続きを読む
ウォータールー大学のインターンが、LLMとGreptile APIを使って、GitHubリポジトリをからかうミームを生成するアプリを作ろうと試みました。このプロセスは予想外に困難であることが判明しました。LLMに直接ミームのテキストを生成するように指示すると、一般的な結果しか得られませんでした。そこで、コード分析（Greptileを使用して具体的な問題点を特定する）とミームテキスト生成（LLMを使用してターゲットを絞ったユーモアを作成する）という2つのタスクに分割しました。テキスト処理の限界により、画像生成は困難で、事前に作成されたミームテンプレートとnode-canvasを使ってテキストを挿入することになりました。これらの障害にもかかわらず、このプロジェクトは、カスタムのコードからかうミームを生成できるウェブサイト、reporoast.comとして結実しました。
続きを読む
TV2が入手した新たな水中映像は、デンマークのレス島近海で海底ケーブルの近くに引きずった跡を示しており、バルト海のケーブル損傷の10日前に中国のイープン3号が異常な動きをしていたことと一致する。映像は11月7日、イープン3号がケーブルの上を通過した際に、不可解なほど速度を大幅に落としていたことを示している。これは商船の通常の航行とは異例であるため、専門家は3本のデンマーク・スウェーデン海底ケーブルに対する破壊工作を疑っている。イープン3号は現在カッテガットに停泊し、デンマーク、スウェーデン、ドイツ海軍の艦船によって監視されている。当局は沈黙を保っており、独立した調査が行われている。
続きを読む
著名な生物学者であるリチャード・ドーキンスは、人工知能の意識について、ChatGPTと深い会話を交わしました。ChatGPTはチューリングテストに合格したものの、意識を持っているとは否定し、テストは行動を評価するものであり、経験を評価するものではないと主張しました。ドーキンスは、AIが主観的な感情を持っているかどうかをどのように判断するかを質問しました。ChatGPTは、人間の場合でも確実性がないことを指摘し、意識と情報処理の関係、そして生物学が意識に必要かどうかを探りました。会話は軽妙な雰囲気で終わりましたが、AIの意識の本質、そして将来、意識を持つ可能性のあるAIとどのように付き合っていくかについて、深い考察を促しました。
続きを読む
Mozillaは、財務成長とミッションへの影響という課題に対処するため、リーダーシップ体制の刷新を発表しました。多様化を図るため、プライバシーを尊重する広告への投資、信頼できるオープンソースAIの開発、オンライン資金調達キャンペーンの実施を進めています。新たに任命されたリーダー陣はGoogle、Twitter、Uberなどの企業出身で、ビジネス、テクノロジー、公共の利益のバランスを考慮しています。Mozillaは、人間のニーズを優先するテクノロジーを通じて、より良い未来のための闘いを継続することを目指しています。
続きを読む
Reservoirs Labは、構造化データと共に保存された高次元ベクトル埋め込みを視覚化する、軽量なElectronアプリです。Postgresデータベースに直接接続します。ユーザーはデータを対話的に探索し、メタデータとベクトル埋め込みのセマンティック類似性間の相関関係を確認できます。Postgres統合、ベクトル可視化、近傍探索、ローカルでプライバシーを保護するワークフローなどの機能があります。
続きを読む
アゼルバイジャン航空のエンブラエル190型機が、カザフスタンのアクタウ近郊で墜落し、乗客乗員67名中38名が死亡した。初期の調査報告によると、グログニーへの着陸アプローチ中に、防空ミサイルが誤って命中した可能性がある。生存者は爆発音を聞き、機体に破片が当たったと証言している。この事故は、地対空ミサイルが原因と疑われている2014年のMH17便墜落事故と類似している。アゼルバイジャンの大統領は天候悪化による航路変更を原因としたが、ミサイル事故の可能性も捜査中である。
続きを読む
中国のロボット企業EngineAIは、同社のヒューマノイドロボットPM01が世界初のロボット前方宙返りを成功させたとする動画を公開しました。後方宙返りとは異なり、前方宙返りは知覚、バランス、モーター制御の点で非常に大きな課題を提示します。23自由度と驚異的なトルクを誇るPM01は、この難しい動作を成功させ、中国のロボット工学の急速な進歩を浮き彫りにしています。1万3700ドルで入手可能なPM01は、アームに5自由度、脚に6自由度を備え、驚くほど人間らしい歩行も印象的です。
続きを読む
Monokai Proは、JetBrains IDE（IntelliJ IDEA、WebStormなど）、Sublime Text、VS Codeで使用可能なテーマプラグインです。70種類以上のカスタムアイコンと、好みに合わせて調整可能な設定を提供します。無料トライアル版もありますが、月額1ユーロのサブスクリプションでポップアップ広告を削除できます。多くのプログラミング言語とIDEに対応しており、ソフトウェアエンジニアに人気です。
続きを読む
Uniconは、Iconプログラミング言語を拡張および改良した強力なプログラミング言語です。簡潔なコード、強力な文字列処理機能、目標指向の評価など、Iconの多くの長所を受け継ぎながら、オブジェクト指向プログラミング、POSIXレイヤー、ネットワーク機能などの最新の機能を追加しています。Uniconは、命令型、手続き型、並列型、オブジェクト指向型など、複数のプログラミングパラダイムをサポートしており、豊富な組み込み関数と強力なグラフィックスライブラリを備えています。このドキュメントでは、Uniconの構文、セマンティクス、機能、インストール方法を詳しく説明し、多数のコード例を示します。
続きを読む
全国的な性犯罪者登録簿の不足と数多くの児童性虐待事件への対応として、Amynaというウェブサイトが日本で登場し、性的犯罪者の疑いのある人物の地図を提供しています。元国連職員によって作成されたAmynaは、公式システムのギャップを埋めることを目指していますが、その合法性は非常に疑問視されています。日本の厳格な個人情報保護法はデータの開示に厳しい制限を課しており、Amynaはプライバシー侵害の訴えを受けやすくなっています。ウェブサイトは子供たちを守るために活動していると主張していますが、堅牢な検証プロセスと機密情報の取扱いの欠如により、誤った告発や二次被害のリスクがあります。この取り組みは、プライバシー、市民権、政府の責任に関する広範な議論を引き起こし、日本の児童保護における法的枠組みの欠陥を浮き彫りにしています。
続きを読む
深刻な人口危機に直面する東京の都政府は、2025年4月から4日制勤務と新しい「保育時間短縮休暇」制度を実施します。この取り組みは、親の仕事と育児の両立を支援し、出生率の向上を目指しています。革新的であると評価されていますが、この方法が日本の少子高齢化問題を解決できるかどうかは不確かであり、少子化対策の複雑さを示しています。
続きを読む
インターネットアーカイブは、知識への普遍的なアクセスに特化した非営利団体です。 ウェイバックマシンによるウェブサイト、書籍、映画、音楽などを含む膨大なデジタルライブラリを提供し、研究者、教育者、一般の人々にとって無料かつ容易にアクセスできるリソースとなっています。 ユーザーはこれらの資料を自由に閲覧およびダウンロードし、インターネットの歴史と文化的ダイバーシティを探求できます。
続きを読む
オウル大学のSensorFuチームの研究者たちは、LaBrea tarpit技術に触発された、斬新なネットワークセキュリティ防御システムを開発しました。このシステムはARPリクエストをインターセプトし、SYN-ACKレスポンスを遅延させることで、ネットワーク上に多数の仮想デバイスを作成し、侵入者を混乱させます。これにより、攻撃者は実際のデバイスの特定に多くの時間を無駄にすることになり、管理者には脆弱性を修正するための貴重な時間が与えられます。テストでは、このシステムによってスキャン時間が数時間にまで延長され、攻撃の成功率が大幅に低下することが示されました。軽量で効率的で、展開も容易なこのシステムは、あらゆる規模の組織に堅牢なネットワークセキュリティを提供します。
続きを読む/cdn.vox-cdn.com/uploads/chorus_asset/file/25435912/s85d.jpg)
SamsungとGoogleは、Dolby Atmosに対抗する新しい空間オーディオフォーマット「Eclipsa Audio」を発表しました。今年後半には一部のYouTube動画で利用可能になり、2025年発売のSamsungのテレビとサウンドバーでサポートされます。Eclipsa Audioは、Dolby Atmosに匹敵する3Dオーディオ機能を、ロイヤリティフリーのオープンソースで提供することを目指しています。この動きは、HDR技術におけるSamsungのこれまでの競争戦略を反映しており、オープンスタンダードへの継続的な取り組みを示しています。
続きを読む
本稿は、ゴルバチョフ改革の失敗の理由、特にソ連崩壊における既得権益の役割について考察する。対照的な2つの解釈、「無力論」と「無謀論」を比較する。「無力論」は、ゴルバチョフが権力不足であり、強力な官僚的既得権益に阻まれたと主張する一方、「無謀論」は、ゴルバチョフは相当な権力を持っていたが、特に重要な価格改革の欠如など、無謀な改革を進めたと主張する。ゴルバチョフの権力、人事異動、経済改革を分析し、フルシチョフ失脚事件を再解釈することで、本稿は「無謀論」を支持し、ゴルバチョフの理想主義と制度軽視がソ連崩壊の主要因であったと示唆する。
続きを読む
ある社員が、オフィスのおやつを徹底的にレビューしました。味、生産性への影響、利便性、そして社会的影響という4つの観点から評価しました。バナナ、ビーフジャーキー、他人のランチ、プロテインバー、フルーツバー、ぶどう、グラノーラバー、レモンが試されました。その結果、ぶどうが完璧なスコアで優勝！味、生産性向上、手軽さ、そして良い印象を与えるという点で最高でした。ユーモラスなレビューは、オフィスおやつの選び方に新たな視点を与えてくれます。
続きを読む
米国でのTikTok禁止が迫る中、AI検索エンジンのPerplexity AIは、驚くべきことにTikTok USとの合併を提案しました。この提案は、Perplexity、TikTok US、そして新たなエクイティパートナーを統合した新しいエンティティを作成し、Perplexityの検索エンジンにより多くの動画コンテンツをもたらすと同時に、ByteDanceの大部分の投資家が株式を保有できるようにします。ByteDanceがTikTokの売却を繰り返し拒否しているにもかかわらず、Perplexityは、買収ではなく合併によってこの障害を克服できると期待しています。この予期せぬ動きはテック業界に波紋を広げ、その成否は米国のテクノロジー規制とAIとソーシャルメディアの融合に大きな影響を与えるでしょう。
続きを読む