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バランサーの設計を成功裏に解決しました。このプロセスは、効率的なソリューションを得るためのモデリング手法、アルゴリズムの選択、最適化戦略の重要な役割を浮き彫りにしています。
続きを読む
この記事では、メモリからフルボリューム暗号化キー（FVEK）を抽出することにより、Windows 11のBitLocker暗号化を回避する方法を示します。デバイスへの物理的なアクセスと急な再起動により、攻撃者はRAMの内容をキャプチャし、FVEKが含まれている可能性があります。著者は、これを達成するためにUEFIアプリケーションであるMemory-Dump-UEFIを使用しています。このプロセスには、ブータブルUSBの作成、システムの強制再起動、USBからのブート、メモリダンプの分析、およびプールタグを使用してFVEKの特定が含まれます。この記事ではこれらの手順を詳しく説明し、BitLockerで保護されたパーティションのロックを解除するためにdislockerなどのツールを使用することを強調しています。この方法は完璧ではなく、メモリダンプの速度や再起動のタイミングなど、いくつかの要因に依存します。
続きを読む
先週突然閉鎖し、数千人の顧客がアカウントにアクセスできなくなったベンチャーキャピタル支援の会計スタートアップBenchが、非公開の価格でEmployer.comに買収されました。給与計算とオンボーディングに特化したサンフランシスコに拠点を置くHRテック企業Employer.comは、Benchのプラットフォームを復活させます。顧客はデータを移行するか、新しい所有権の下でサービスを継続することができます。以前、顧客にIRSに6ヶ月間の延長を申請するよう推奨していましたが、サービスを継続することを選択した場合、これ以上は必要ありません。
続きを読む
2009年に打ち上げられたベルリン工科大学の試験衛星Beesat-1は、2013年にデータ送信を停止しました。しかし、38C3カンファレンスで、ハッカーのPistonMinerが、この衛星を遠隔操作で復活させた方法を明らかにしました。ハードウェアの故障ではなくソフトウェアのバグが原因であることを突き止め、「Frankenstein-Beesat」という地上試験モデルを使ってデバッグを行い、ソフトウェアアップデートを実施。これにより機能が回復し、故障していたと見られていたオンボードカメラも再起動しました。この偉業は、小型衛星を復活させただけでなく、他の故障衛星の修復にも役立つ可能性を示しています。
続きを読む
Fabrice Bellard氏によって開発されたts_zipは、大規模言語モデルRWKV 169M v4を利用し、従来の圧縮ツールをはるかに凌駕する高いテキスト圧縮率を実現するツールです。GPUと4GBのRAMを必要とし、従来の圧縮ツールよりも速度は遅いものの（RTX 4090で最大1MB/s）、英語やその他の言語のテキスト、さらにはソースコードにおいても優れた圧縮性能を示します。圧縮率はビット毎バイト（bpb）で測定され、enwik8やenwik9などのデータセットにおいてxzよりも優れた結果を示しています。決定論的なモデル評価により、異なるハードウェアやソフトウェア構成においても一貫した解凍が保証されます。
続きを読む
研究者らは、ユニットテストの自動生成における大規模言語モデル（LLM）の可能性について包括的な評価を行いました。17個のJavaプロジェクトにおいて、5つのオープンソースLLMと、クローズドソースのGPT-4、従来型のツールであるEvosuiteを比較し、様々なプロンプト戦略の影響を調査しました。その結果、オープンソースLLMはデータプライバシーにおいて優位性があり、特定のタスクでは優れた性能を示す一方で、LLMベースのユニットテスト生成における限界も明らかになりました。この研究は、この分野におけるLLMの将来的な応用を導くための貴重な知見を提供します。
続きを読む