エルゼビア発行の「人類進化ジャーナル」（JHE）の編集委員会全員が大量辞任し、学術界に衝撃を与えました。彼らの抗議は、エルゼビアが過去10年間に行った様々な変更、特に編集リソースの削減、編集プロセスへのAI導入（事前に通知なしで実施され、多くのエラーが発生）、高額な著者負担金などに焦点を当てています。これらは、ジャーナルの編集上の独立性と包括性を損なうものだと主張しています。これは2023年以降、科学ジャーナルで起こった20件目の大量辞任であり、科学出版業界におけるビジネスモデルの変化に伴う論争を浮き彫りにしています。
続きを読む
単純なボタンによる4つのモードしか制御できないDucoBox換気システムの限定的な制御オプションに不満を持った著者は、本質的にESP32である高価な公式Duco接続ボードをリバースエンジニアリングすることにしました。ロジックアナライザとDucoのウェブサイトの情報を使用して、ボードと換気システム間の通信プロトコルを分析しました。それはModbusではなく、カスタムプロトコルであることが判明しました。プロトコルをデコードした後、著者はESPhomeコンポーネントを作成し、Home Assistantとのシームレスな統合を実現しました。これにより、制御が大幅に向上し、CO2センサデータなどの情報を読み取ることができます。
続きを読む
Meta AIは、大規模言語モデル（LLM）の推論能力を向上させる新しい手法であるCOCONUT（連続思考連鎖）を発表しました。従来のテキストベースのChain-of-Thought（CoT）とは異なり、COCONUTはLLMが連続的な潜在空間で推論することを可能にし、言語表現の制約を回避します。研究によると、COCONUTは複雑な計画を必要とするタスクで優れた性能を示し、幅優先探索（BFS）に似た推論パターンを示します。その多段階トレーニングプロセスは、モデルが潜在空間で推論することを段階的に学習させ、最終的に精度と効率を向上させます。
続きを読む
'Pizzzza lol Pizzas: 0 | Best: 0'という簡潔なレビュー。普通のピザも最高のピザも0点という極めて低い評価を示しています。ピザの質が非常に悪いか、レビューアーが非常に不満だったことを示唆しています。
続きを読む
AT＆T、ベライゾン、ルーメン・テクノロジーズは、今年初め、中国政府の支援を受けたハッキンググループ「ソルトタイフーン」によるシステムへの侵入を確認しました。ホワイトハウスの当局者は、この侵入を「我が国史上最悪の通信業界へのハッキング事件」と呼び、ハッカーが数百万人の位置情報を特定し、電話を自由に録音できたと述べています。各社は影響を受けた顧客数が限定的であり、攻撃は封じ込められたと主張していますが、この事件は、米国の通信ネットワークにおける重大なセキュリティ脆弱性を浮き彫りにしています。このため、政府はサイバーセキュリティの監視を強化し、より厳格な基準を求めています。
続きを読む
Monokai Proは、JetBrains IDE（IntelliJ IDEA、WebStormなど）、Sublime Text、VS Codeで使用可能なテーマプラグインです。70種類以上のカスタムアイコンと、好みに合わせて調整可能な設定を提供します。無料トライアル版もありますが、月額1ユーロのサブスクリプションでポップアップ広告を削除できます。多くのプログラミング言語とIDEに対応しており、ソフトウェアエンジニアに人気です。
続きを読む
Mozillaは、プライバシーを重視したAIツール「Orbit」を発表しました。FirefoxアドオンであるOrbitは、メール、ドキュメント、記事、動画などのウェブコンテンツを要約する機能を提供します。アカウント作成は不要で、セッションデータや個人情報は保存されません。MozillaがホストするMistral 7B LLMモデルを使用しています。ユーザーは長いドキュメントや動画を簡単に要約し、メールや記事の要点をすばやく把握し、質問を通じて特定の情報を得ることができます。
続きを読む
Ars Technica の記者が、Glide を使用してシンプルな Google スプレッドシートをスマートフォンに優しいウェブアプリに変換した方法を共有しています。当初はテイクアウトの注文を合理化するために作成されたこのアプリは、効率的な検索とフィルタリング機能を備え、地元のレストラン情報を管理します。その後、レシピやパントリーアイテムのアプリも開発し、日常生活を改善しました。この記事は、ノーコードツールの威力と、シンプルなソリューションが現実世界の課題を解決できる方法を示しており、創意工夫とより良い生活への追求を強調しています。
続きを読む
研究者たちは、実験用マウスのための仮想現実ヘッドセット「MouseGoggles」を開発し、脳活動の没入型研究を可能にしました。安価なスマートウォッチディスプレイと小型レンズを使用することで、以前の大きなプロジェクターシステムの制限を克服しました。マウスは仮想的な脅威に現実的な反応を示し、脳スキャンは仮想環境の有効性を確認しました。この技術は、哺乳類の脳機能の理解におけるブレークスルーを約束し、アルツハイマー病などの研究に役立つ可能性があります。
続きを読む
Linuxカーネル開発者のKees Cookは、カーネルのドキュメントコミットのIDが、カーネルリポジトリの最初のコミットの最初の12文字と一致していることを発見しました。この潜在的な衝突は、一意のコミットIDに依存するさまざまなツールを壊す可能性があります。まだアップストリームにマージされていませんが、このコミットは、SHA衝突を事前に解決し、将来の広範囲にわたる問題を防ぐためのテストケースとして機能します。
続きを読む
DragonRubyチームは、クロスプラットフォームゲームエンジンのパフォーマンス向上を目指して、LightstormというミニマルなRubyコンパイラを開発しました。MLIRを活用し、mruby仮想マシンのバイトコードをCコードに変換することで、VMインタプリタループ内のロード/ストアおよび分岐操作を排除し、パフォーマンスを最適化します。ベンチマークの結果、パフォーマンスは1%から1200%向上し、実行時間とサイクル数は平均で約30%削減されました。現在、Rubyのサブセットのみをサポートしていますが、このプロジェクトは、パフォーマンス向上のためのRubyコードの事前コンパイルの可能性を実証しています。今後の計画には、エンジンの重要なCコンポーネントをコンパイル済みRubyコードに置き換えることが含まれています。
続きを読む
ドイツのコンピューターサイエンティストであるSamuel Pantzeは、Blenderを使用して、潮汐ロックされた惑星の上空に宇宙船が浮かぶ息を呑むようなSFシーンを作成しました。SF文学、Melodysheepのビデオ、Paul Chadeissonのコンセプトアートからインスピレーションを得て、彼は手続き型テクスチャとシェーダー数学を巧みに使い、リアルな宇宙船モデルと惑星の背景を生成しました。この記事では、宇宙船のモデリングとテクスチャリングから、独自のシェーダーアプローチを使用した惑星の背景の作成まで、そのプロセスを詳細に説明しており、彼の卓越した3Dモデリングとレンダリングスキルを示しています。
続きを読む
Android 15 QPR1ベースのLineageOS 22.1が、大幅な改善を伴ってリリースされました。抽出ユーティリティの速度が30倍向上し、新しい音楽プレイヤーアプリ「Twelve」とPDFリーダーアプリ「Camelot」が追加されました。SeedVault、Etar、WebViewもアップデートされています。バージョン番号はAndroidのマイナーバージョン番号と整合するように調整され、Androidのバージョンの区別が容易になりました。プロジェクトはコードベースを簡素化し、より多くのデバイスのサポートを追加し、開発者によるコードと翻訳への貢献を奨励しています。
続きを読む
lua-matchは、Sum型とSwitch機能を提供するミニマルなLuaライブラリです。様々なデータ型と条件分岐をクリーンかつ効率的に処理するために、タグ付け関数を活用しています。シンプルなタグ付け関数とswitchテーブルを使用することで、Sum型のような動作とパターンマッチングを容易に実装でき、Luaコードを大幅に簡素化できます。このライブラリはオープンソースで、MITライセンスを使用しています。
続きを読む
開発者が新興プログラミング言語Zigを用いて、Game Boy Advance向けゲーム「2048」を作成しました。この記事では、Zigが持つ組込みプログラミングにおける利点、特に簡素化されたクロスコンパイルプロセス、効率的なメモリ管理（packed structを含む）、強力なコンパイル時コード生成機能について説明しています。著者 はC++とZigの開発経験を比較し、ZigがGame Boy Advance特有のメモリレイアウトとハードウェアレジスタの処理において、より簡単で効率的であることを指摘しています。ZigにはインラインアセンブリやThumb命令のサポートが限定的であるなど、いくつかの欠点もありますが、多くの利点からレトロゲーム機向けゲーム開発に最適な選択肢となっています。
続きを読む/cdn.vox-cdn.com/uploads/chorus_asset/file/25664217/Severance_Photo_010101.jpg)
Appleは、2025年1月3日から5日まで、Apple TV+ストリーミングサービスへの無料アクセスを提供します。この3日間の無料トライアルでは、Apple TV+の受賞歴のある番組や映画のライブラリにアクセスでき、Severance（シーズン2は1月17日プレミア）、For All Mankind、Silo、Monarch: Legacy of Monstersなどの大人気シリーズを試聴できます。このオファーを利用するには、Apple IDが必要です。
続きを読む
中国は2025年、ゴビ砂漠に10メガワットのトリウム溶融塩原子炉の実証炉の建設を開始し、2030年の運転開始を目指しています。中国科学院上海応用物理研究所が主導するこのプロジェクトは、豊富に存在するトリウム232を燃料として使用し、これを核分裂性のウラン233に変換します。この技術は、ウランへの依存を削減し、希土類鉱業の廃棄物を燃料として利用することで、エネルギー自給自足の可能性を提供します。しかし、核拡散のリスクなど、課題も残っています。
続きを読む
本論文では、分散型深層学習最適化における勾配平均化を改善するための新しい手法である勾配合意フィルタリング（GAF）を紹介します。従来の手法では、ミニバッチ勾配の平均化によってマクロバッチ勾配を計算しますが、これはトレーニングの後半段階で勾配が直交したり負の相関を持つことになり、過学習につながります。GAFは、ミニ勾配間の余弦距離を計算し、平均化前に矛盾する更新をフィルタリングすることで、勾配の分散を削減します。CIFAR-100やCIFAR-100N-Fineなどの画像分類ベンチマークにおける実験により、GAFは、より小さいミニバッチサイズであっても検証精度を大幅に向上させ、従来の手法と比較して最大18.2％の向上を達成し、計算コストを削減することが示されました。
続きを読む
この記事では、Linuxがデスクトップで広く採用されていない根本的な理由を深く掘り下げています。著者は、いくつかの主要な問題点を指摘しています。ディストリビューション間のソフトウェア互換性の低さ、頻繁なアップデートによるバグや回帰、資金不足によるソフトウェア品質の低下、ハードウェアドライバのサポート不足、そしてLinuxコミュニティ内でのコミュニケーション上の課題などです。Linuxはサーバー環境では優れていますが、デスクトップ環境での存在感は、これらの持続的な障害によって妨げられており、Windowsなどの確立されたオペレーティングシステムと効果的に競争することが困難になっています。
続きを読む
この記事では、2024年のアドベントオブコードチャレンジにおいて、いくつかの主要な大規模言語モデル（LLM）をテストした実験について詳述しています。驚くべきことに、LLMのパフォーマンスは予想を下回り、著者自身よりも劣っていました。シンプルなフレームワークを使用し、モデルに完全な問題の説明を提供し、実行可能なPythonコードを要求しました。その結果、タイムアウトと例外が頻繁に発生し、LLMは既知の問題を解決する際には優れていますが、新しい問題には苦労することが示唆されました。この制限は、プログラムテンプレートへの依存、計算リソースの不足、または最適ではないプロンプトに起因する可能性があります。この実験は、アドベントオブコードがコーディングエージェントを評価するための潜在的なベンチマークになり得ることを強調しています。
続きを読む
Daring Fireballのジョン・グルーバーが、Typogramが作成した楽しいコーディングフォント選択「トーナメント」を紹介しています。ユーザーは32種類の無料の等幅フォントから好きなものを選びます。Consolasなどの一般的な選択肢がないことや、含まれる一部のフォントがあまり魅力的でないことはありますが、価値のある試みです。最初の公開以降の改善点としては、CSSではなくJavaScriptコードの例が使用され、より多くのフォントが選択できるようになりました。グルーバーは、バイアスを減らすためにフォント名を無効にすることを推奨しています。彼の常勝者？AdobeのSource Code Proで、IBM Plex Monoがそれに続きます。
続きを読む
Richard Schneemanは、RubyConf 2024でクラウドネイティブビルドパック（CNB）ハッカソンを開催し、Rubyのデプロイツールについて学習し、貢献することを支援します。イベントでは、既存のビルドパックの修正から新規ビルドパックの作成まで、さまざまな難易度のタスクを用意し、様々なスキルレベルに対応しています。現地に参加できない場合でも、提供されたリソースを使用して参加できます。
続きを読む
セルジオ・レオーネの傑作『夕陽のガンマン』では、伝説的なオープニングシーンが際立っています。それはジャック・エラムとハエのシーンです。この約100秒間のシーンは、エラムの卓越した演技を披露しています。微妙な表情と身振りで、キャラクターの狡猾な悪意を描写しています。ハエは、エラムが彼の特徴的な「たれ目」の激しさを示すための手段として機能し、単純なやり取りを、キャラクターの個性と映画のスタイルに関する力強い表明に変えています。このシーンは、単なるプロットデバイス以上のもの、エラムの象徴的なスクリーン・プレゼンスのショーケースです。
続きを読む
速度と簡潔さゆえに魅力的ですが、著者はデータベースモックを用いたテストは、結局のところ解決する問題よりも多くの問題を引き起こすと主張しています。ユーザー作成の例は、モックと実データベースに対するテストの違いを浮き彫りにしています。実データベーステストは、一意制約違反、デフォルト値の処理、パフォーマンスボトルネックなど、潜在的な問題を早期に明らかにし、デバッグ時間を節約し、本番環境のリスクを軽減します。アプリケーションとスキーマが進化するにつれて、実データベーステストは、新しい検証、データ型の変更、タイムスタンプの精度変更をより適切に処理し、コードが実際のデータベースと整合することを保証します。著者は、データアクセス層については実データベーステストを優先し、サービス層ではビジネスロジックとデータの相互作用を明らかにするために使用することを提案しています。一方、コントローラー層はサービス呼び出しを効果的にモックできます。実データベーステストとモックのバランスが、堅牢なアプリケーション構築の鍵となります。
続きを読む
Homaは、データセンターアプリケーション向けに設計された新しいネットワーク転送プロトコルであり、多数の小さなメッセージの送信オーバーヘッドを削減することを目的としています。従来のTCP/UDPとは異なり、接続確立が不要で、独自の要求応答メカニズムと優先順位付きキューを使用して、レイテンシを最小限に抑えます。現在、HomaはLinuxカーネルへの統合を目指していますが、将来はネットワーク機器内のハードウェアアクセラレーションに大きく依存する可能性があります。
続きを読む
乗客181人を乗せた済州航空のボーイング737-800型機が、韓国木浦空港で墜落し、179人が死亡した。これは韓国で数十年ぶりの最悪の航空事故である。事故は、大統領と首相の弾劾という政治的混乱の中で発生し、政府の災害対応能力に対する懸念を高めた。韓国政府は、すべての737-800型機の安全検査と済州航空の安全基準に関する包括的な見直しを命じた。調査官は、着陸装置の故障、考えられる油圧系統の故障、空港滑走路脇の防護壁の安全設計など、様々な要因を調査している。この悲劇は、7日間の全国追悼期間を招き、航空安全の強化と災害対応能力の向上が必要であることを浮き彫りにした。
続きを読む
著者は、娘がコンピューターを学ぶ経験を語り、自身の子供時代の経験と比較しています。昔は、Apple IIeのようなシンプルな8ビットマイクロコンピューターのおかげで、子供たちはBASICプログラミングを独学し、ハードウェアの原理を学ぶことができました。しかし現代では、高性能コンピューターは豊富なリソースを提供する一方で、その複雑さから子供たちが独学することが難しくなっています。著者は、インターネット環境が子供の自主的な探求を制限し、プログラミングスキルを持たない親が子供の学習を指導できないことを懸念し、デジタル時代における子供の学習の公平性に注目するよう訴えています。
続きを読む
コードを扱う大規模言語モデル（LLM）を搭載したAIによるプログラミングアシスタントが普及し、開発者の生産性が大幅に向上しています。しかし、既存のコード生成ベンチマークは主に汎用的なシナリオに焦点を当てており、特定のアプリケーションドメインにおけるLLMのパフォーマンスはほとんど知られていません。本論文では、12の人気のあるソフトウェア開発ドメインと15のプログラミング言語を網羅する2400個のプログラミングタスクを含む新しいベンチマーク、MultiCodeBenchを紹介します。11個の代表的な主流LLMを用いた実験により、様々なドメインにおけるLLMのコード生成能力が明らかになり、開発者にとってLLMを選択する際の実際的な洞察と、モデル開発者がドメイン固有のコード生成能力を向上させるための指針が得られます。
続きを読む
フロリダ州控訴裁判所は、83％の有権者の支持を得ていたにもかかわらず、ティタスヴィル市の浄水権利イニシアチブを棄却しました。裁判所は、地方政府が水域に権利を与えることを禁止する2020年の州法を根拠に、地方の措置を事実上阻止しました。この決定は、フロリダ州における環境保護問題をめぐる州政府と地方政府間の継続的な緊張を示しており、相反する州法に直面する地方の行動の限界を浮き彫りにしています。
続きを読む
この記事では、著者がFactorioのベルトバランサーの設計を自動化する旅について詳述しています。これは非常に複雑な問題として知られています。混合整数計画法(MIP)と制約充足問題ソルバー(CP-SAT)を用いて、著者はこの課題に取り組みました。MIPモデルは、大規模なバランサーでは数値不安定性の問題に苦戦しましたが、CP-SATアプローチは、フローの離散化、Banesネットワークの導入、メモリ最適化を組み合わせることで、手作業では事実上不可能な16x16バランサーの設計を成功裏に解決しました。このプロセスは、効率的なソリューションを得るためのモデリング手法、アルゴリズムの選択、最適化戦略の重要な役割を浮き彫りにしています。
続きを読む