設立40周年を記念して、フリーソフトウェアファウンデーション（FSF）は3日間にわたる世界規模のオンラインハッカソンを開催します。フリーソフトウェアプロジェクトと個々の貢献者を招待し、重要なフリーソフトウェアの改善に取り組みます。所属やライセンスに関わらず、すべてのフリーソフトウェアプロジェクトが歓迎されます。イベントは2025年11月21日から23日まで開催され、プロジェクトの応募締め切りは5月27日です。最も優れた貢献をしたプロジェクトと貢献者には賞が授与されます。
続きを読む
この技術記事は、大規模言語モデル（LLM）のテキスト生成で使用されるサンプリング手法に関する包括的なガイドです。まず、LLMが単語や文字ではなくサブワードトークナイゼーションを使用する理由を説明し、次に、温度サンプリング、ペナルティ手法（プレゼンス、周波数、繰り返し、DRY）、Top-K、Top-P、Min-P、Top-A、XTC、Top-N-Sigma、テールフリーサンプリング、イータカットオフ、イプシロンカットオフ、局所的に典型的なサンプリング、2次サンプリング、ミクロスタットなど、さまざまなサンプリングアルゴリズムについて詳しく説明します。各アルゴリズムは疑似コードと図解で説明されています。最後に、サンプリング手法の順序とその相互作用について議論し、異なる順序が最終出力に与える大きな影響を強調しています。
続きを読む
12億ドルの評価額を持つCDP企業Hightouchは、データアクティベーション製品の強化のため、機械学習エンジニアを募集しています。AI意思決定プラットフォームを構築し、機械学習を活用して顧客メッセージのパーソナライズ、実験の自動化、オーディエンス予測、コンテンツ生成、予算最適化を支援します。ゼロからの包括的なソリューション構築、顧客調査、問題定義、予測モデリングなどが含まれます。年収は20万〜26万ドルです。
続きを読む
MetaのCEO、マーク・ザッカーバーグは、2隻のスーパーヨット、「Launchpad」と「Wingman」をベースに、ノルウェーのフィヨルドで豪華なヘリスキーアドベンチャーを行いました。ノルウェーの厳しいヘリコプター着陸規制を回避するために、彼は巧みにヨットのヘリパッドを利用し、人里離れた山頂でスキーを楽しんだのです。この贅沢な旅行は、ザッカーバーグの冒険心とロジスティクス能力を際立たせていますが、同時に、持続可能性やこのようなぜいたくさの環境への影響、そしてより広範な富の不平等に関する議論も引き起こしています。
続きを読む
Sanctumは、OpenBSD、Linux、macOS向けの、小さく、レビュー可能で、強力で、ポスト量子セキュアであり、完全に特権分離されたVPNデーモンです。その特権分離設計により、重要な資産はインターネットとやり取りしたり、暗号化に関連しないタスクを処理するプロセスから分離されます。Sanctumは、NATをトラバースするピアツーピアトンネルも提供し、ファイアウォールポートを開いたり、転送ルールを調整したりすることなく、デバイス間の直接通信を可能にします。このシステムは複数のプロセスを使用し、それぞれがサンドボックス化され、個別のユーザーとして実行されるため、セキュリティが強化されます。Sanctumはさまざまな暗号化アルゴリズムをサポートしており、ポスト量子セキュリティのためにハイブリッドな鍵交換を使用しています。
続きを読む
EZ-TRAKは、アマチュア無線家、気象衛星愛好家、教育目的のために設計されたオープンソース衛星追跡スイートです。ポータブルな衛星ディッシュアンテナとBLEデバイスを使用して、リアルタイムで衛星を追跡し、最適なアンテナ配置のための方位角と仰角データを提供します。グラフィカルユーザーインターフェース、パス予測、データ記録、複数のデータソースのサポートなどの機能があります。詳細なセットアップと使用方法の説明が提供されています。
続きを読む
1991年、ニルヴァーナの『ネヴァーマインド』は、批評的にも商業的にも予想外の成功を収めました。その生々しいギターと遠慮のないサウンドはリスナーを魅了しました。30年以上経った今、再評価によって重要な要素が明らかになりました。それは、マイナーコードや複雑なコード進行（7th、2nd、4th、6th、9th、dim、aug）を避け、メジャーコードをほぼ独占的に使用したこと。これにより、当時としては大胆で革新的な独自のハーモニックな言語が生まれました。興味深いことに、カート・コバーンは、自分がどのような音楽のルールに従っているのか分からず、直感的に制作していたようです。これは、生々しい感情と本能が技術的な熟練さを凌駕する力を示しています。
続きを読む
この記事は、Vision Transformer（ViT）が高解像度画像処理において非効率であるという一般的な認識に異議を唱えています。様々なGPUにおける厳格なベンチマークテストを通じて、ViTと畳み込みニューラルネットワーク（CNN）の推論速度、FLOPs、メモリ使用量を比較しています。その結果、ViTは1024x1024ピクセル以下の解像度で非常に優れたパフォーマンスを示し、最新のGPUではCNNよりも高速でメモリ効率が高いことが示されました。また、著者は高解像度への過度の重点を批判し、多くの場合、低い解像度で十分であると主張しています。最後に、この記事では、高解像度におけるViTの効率をさらに向上させる局所的アテンションメカニズムを紹介しています。
続きを読む
CjamはWindows PC用の軽量MP3編集ソフトウェアです。ドラッグ＆ドロップでMP3ファイルを取り込み、テキストコマンドを使用してカット、結合、フェードイン/アウト効果、無音区間の追加などを行います。デコードとエンコードの必要がなく、高速に編集できます。MP3、CUE、M3U、およびCjam独自のフォーマットをサポートしています。バージョン1.9.6.0（1.31MB）が2025年5月3日にリリースされました。
続きを読む
セキュリティ企業ARMOは、Linuxのio_uringインターフェースの脆弱性を明らかにしました。これにより、マルウェアが一部のウイルス対策ソフトやエンドポイント保護ツールの検出を回避できるようになります。io_uringは、従来のシステムコールを使用せずにI/O操作を実行できるため、システムコールベースの監視を回避します。ARMOの概念実証プログラムであるCuringは、デフォルト設定のFalco、Tetragon、Microsoft Defenderの検出を回避することに成功しました。この脆弱性は、数万台のLinuxサーバーに影響を与える可能性があります。ベンダーは問題を認識し、修正に取り組んでいますが、Googleはio_uringのバグ報奨金に多額の支払いをした後、ChromeOSとAndroidでio_uringを無効化または制限しています。
続きを読む
1968年、イギリスのコンピューター科学者エドガー・F・コッドは、フォン・ノイマンの29状態の自己複製マシンを簡素化した、わずか8状態のセルオートマトン(CA)を考案しました。コッドは、自身のCA内で自己複製マシンの可能性を実証しましたが、完全な実装は2009年にティム・ハットンによって実現されるまででした。コッドの研究は、オートマトンにおける自己複製に必要な論理構造に関するさらなる研究を促し、デボアやラントンなどの研究者による後続の改良にインスピレーションを与え、より複雑さの低い自己複製設計につながりました。
続きを読む
TScaleは、C++とCUDAで記述されたトランスフォーマーモデルのトレーニングと推論フレームワークであり、コンシューマーグレードのハードウェアで動作するように設計されています。最適化されたアーキテクチャ、低精度計算（fp8とint8）、CPUオフロード、同期および非同期分散トレーニングにより、トレーニングコストと時間を大幅に削減します。巧妙なインデックス付け技術により、1Tパラメーター規模のモデルでも一般的な家庭用コンピューターでトレーニングが可能になり、LLMトレーニングへの参入障壁を下げる大きな可能性を示しています。
続きを読む
日本で実施された1歳から6歳までの170人以上の小児を対象としたランダム化比較対照臨床試験において、脳波（EEG）を用いた意識状態のモニタリングにより、麻酔科医は麻酔薬の使用量を大幅に削減できることが示されました。患者はより迅速な回復、術後せん妄の発生率の低下、抜管時間、麻酔からの覚醒時間、術後回復時間の短縮などの改善が見られました。このEEG誘導アプローチは、患者の転帰を改善するだけでなく、医療費とセボフルランなどの麻酔薬の環境への影響も軽減します。この研究は、手術中の脳波モニタリングが麻酔薬の投与を最適化し、患者のケアを改善するために使用できることを裏付けています。
続きを読む
著者の妻が、突如としてゲームボーイ版テトリスの世界記録に挑戦することに。クラシックゲームのトーナメントで、既存の327ラインをはるかに超える841ラインという驚異的なスコアを達成し、世界新記録を樹立。この出来事には予想外の展開が満載で、彼女の卓越したゲームスキルだけでなく、ビデオゲーム記録の検証を巡る論争や複雑さも浮き彫りにしている。
続きを読む
sxwmは、最小限の設計、高速な実行速度、高度な設定可能性を重視した軽量なX11タイリングウィンドウマネージャーです。タイルとフローティングレイアウト間のシームレスな切り替え、9つのワークスペース、そしてC言語プログラミングの知識を必要としない、ユーザーフレンドリーな設定ファイル(sxwmrc)を備えています。マウス操作、マルチモニター設定、sxbarなどのツールとの統合をサポートし、効率的で応答性の高いウィンドウ管理体験を提供します。その最大の強みは、非常に低いリソース使用率と優れたパフォーマンスです。
続きを読む
Niklaus Wirth教授による影響力のあるModula-2コンパイラのソースコードが公開されました。LilithワークステーションとそのIBM-PCへの移植版(M2M-PC)を含む、コンパイラ、オペレーティングシステム、関連ツールが含まれています。長年失われていたこのコードは、LilithエミュレータEmuLithの開発者Jos Dreesen氏によって発見されました。初期の複数パスコンパイラから後の単一パスコンパイラ、Macintoshへの移植版など、複数のバージョンが含まれています。この公開は、コンパイラ設計の歴史と開発者にとって貴重な学習リソースを提供します。
続きを読む
大学の相談窓口で働く最後の夜、卒業間近のソフトウェアエンジニアリング学科の学生、コーラは忘れられない電話について語ります。2年前、彼女は高齢の男性から電話を受けました。その男性はいくつかの有名人の誕生日を調べてほしいと頼みました。会話の中で、コーラの誕生日から、彼女はソフトウェアエンジニアリングよりも人と関わる仕事の方が向いていると推測しました。コーラは、それが、彼女が長年抱いていた、弱い立場の人々を助けたいという願望と一致することを認めています。しかし、彼女は現在仕事が必要です。この物語は、一見ランダムな電話の裏側にある微妙なつながりと運命の暗示を浮き彫りにしています。
続きを読む
MozillaのCFOであるEric Muhlheimは、司法省がGoogleの検索エンジン独占を抑制するための提案を実行すれば、Firefoxが事業を終了する可能性があると証言しました。GoogleがFirefoxのデフォルト検索エンジンとなる契約は、Mozillaの収益の約85％を占めています。この収益を失うと、大幅な削減を余儀なくされ、Firefoxの消滅につながる可能性があります。Muhlheimは、司法省が競争促進を目指しているものの、短期的な影響はFirefoxにとって壊滅的であり、Googleの支配力を強化する可能性があると主張しました。
続きを読む
ジェームズ・ウェッブ宇宙望遠鏡が、数千もの銀河を捉えた息を呑むような画像を撮影し、その中心には巨大な銀河団が写っています。COSMOS-Web領域にあるこの銀河団は、非常に大きく、詳細にわたって観測されています。ウェッブ望遠鏡の赤外線画像と、ハッブル宇宙望遠鏡、XMM-Newton、チャンドラX線観測所のデータとを組み合わせることで、銀河団内部の高温ガスと銀河進化の複雑さが明らかになりました。この画像は、宇宙の美しさを示すだけでなく、銀河団の形成と進化を研究するための貴重なデータも提供します。
続きを読む
Voxdazzは、驚くほどリアルな有名人の声を生成するAI音声合成ツールです。レビューでは、滑らかで自然な音声品質が称賛されており、面白い動画の作成や、トランプやバイデンなどの有名人の物まねに利用されていることが挙げられています。ユーザーは高音質に感銘を受け、他のAI音声ツールよりも優れていると考えています。笑いが止まらないこと間違いなし！
続きを読む
xPongは、LLMによるリアルタイムAI実況解説を搭載したPongゲームです。開発者は5年の歳月をかけ、OpenAIのgpt-4o-mini-ttsを用いてこのビジョンを実現しました。15年間のトーナメントシミュレーション、様々なスキルレベルのAIプレイヤー、試合開始、試合中、試合終了の3段階の実況解説システムを搭載し、試合展開に合わせて動的に変化します。過去の試合との比較やユーモラスな要素も取り入れています。xPongは、LLMがゲーム業界にもたらす可能性を示すものです。
続きを読む
このオープンソースプロジェクトは、スイッチバウンスの動作を示すオシロスコープトレースのコレクションを提供します。さまざまなスイッチの種類（ロッカースイッチ、プッシュボタンなど）が、さまざまな作動力と速度でテストされています。データは、回路とファームウェアのデバウンスアルゴリズムの設計とシミュレーションに使用できるCSVとPWL形式で提供されます。データセットには、テスト方法と機器の詳細な説明が含まれており、エンジニアにとって貴重なリソースとなります。
続きを読む
北京大学の研究チームがNature誌に発表した論文で、世界初の低電力2次元GAAFETトランジスタの開発を発表しました。このトランジスタは、新しい2次元半導体材料Bi₂O₂Seに基づいており、Intel、TSMC、Samsungなどの同等製品を凌駕する性能を備えています。この画期的な技術は、特に米国の対中技術封鎖という背景において、中国のチップ産業における飛躍的進歩につながる可能性があります。
続きを読む
Elvishは、インタラクティブなシェル機能を備えた強力なスクリプト言語です。Linux、BSD、macOS、Windows向けに静的リンクバイナリとして提供されています。1.0以前のバージョンであるため、破壊的な変更が発生する可能性がありますが、スクリプトとインタラクティブな両方の用途に十分な安定性を備えています。インストール方法、チュートリアル、ニュースなど、ユーザー向けドキュメントはelv.shでホストされています。開発者向けドキュメントは、./docsディレクトリにあります。また、Elvishのパッケージやツールも増加しています。
続きを読む
非営利研究機関METRが、大規模言語モデルのソフトウェアタスクにおける急速な進歩を示すレポートを発表し、バイラルな議論を巻き起こしました。しかし、そのグラフの前提は誤りです。人間の解決時間を問題の難易度測定に、AIの50％成功率の時間を能力の測定に使用しているためです。これは問題の複雑性の多様性を無視しており、予測に適さない恣意的な結果をもたらします。METRのデータセットと現在のAIの限界に関する議論は貴重ですが、このグラフを将来のAI能力の予測に用いるのは誤解を招きます。バイラル拡散は、妥当性よりも自分が信じたいものを信じようとする傾向を示しています。
続きを読む
この記事では、ブライアン・イーノの芸術理論が、民主主義の機能に関する新たな理解をどのように照らしているかを考察しています。アダム・プルゼヴォルスキの民主主義理論を基に、著者は、ゲーム理論に基づくその安定性モデルが、現在の民主主義の衰退を説明するのに苦労していることを主張しています。芸術創造におけるイーノの「多様性の生成」という概念は、より動的な民主主義モデルへのインスピレーションを与えます。このモデルは、硬直した均衡ではなく、適応性と内生的変化への対応を重視しています。この記事は、イーノによる音楽作曲の分析を例に、この動的モデルを説明し、複雑な環境の課題に対処するために、民主主義システムにおいて多様性と適応性を重視するよう訴えています。
続きを読む
Microsoft Copilot AIは、オッズとレースの要素に基づいて、2025年ケンタッキーダービーの結果をシミュレートしました。その予測は？有利な位置と最近の連勝から、ジャーナリズムが優勝するというものです。しかし、AIが予測した順位は、他の馬の最初のオッズとは異なります。この記事には、レースの詳細、視聴情報、そしてギャンブルのリスクに関する重要な免責事項も含まれています。
続きを読む
疑問符で終わる見出しはすべて「いいえ」と答えることができるというベターリッジの法則は、2009年にイアン・ベターリッジによって定式化されたよりも古いジャーナリズムの格言です。ニュースメディアはこの疑問形のスタイルを、決定的な証拠や確実性がない場合に使用します。研究によると、この法則は、特に学術誌では普遍的に当てはまるものではありません。しかし、疑問符の見出しがしばしば誇張したり論争を引き起こしたりすることを示しており、読者は批判的な思考でニュースに取り組むべきであることを示唆しています。
続きを読む
DotnetSnes は、C# を使用して動作する SNES ROM を作成できる画期的なプロジェクトです！SNES ゲーム開発で一般的に使用される関数とグローバル変数を抽象化する .NET ライブラリを提供することで実現しています。コンパイルされた DLL は C に変換され、PvSnesLib SDK を使用して ROM にコンパイルされます。SNES の制約（動的メモリ割り当てがないなど）により、C# の慣用的なスタイルを完全に維持することはできませんが、完全に機能するゲームを作成することは可能です。この記事では、開発プロセス、依存関係のインストール、プロジェクトの設定、ビルド手順について詳しく説明し、HelloWorld（基本的なテキスト出力）と LikeMario（より複雑なタイルマップベースのゲーム）の 2 つの例を示します。
続きを読む
このチュートリアルでは、Common Lisp を使用してシンプルなゲストブックウェブアプリケーションを作成する方法を説明し、特に包括的なドキュメントの不足など、この言語の課題を強調します。著者は、プロジェクトの設定、データベース接続、テンプレートレンダリング、ルートの定義を網羅し、Python Flask とのコードサイズの比較も行っています。チュートリアルは、一般的なウェブバックエンド開発における利点が限られていることを示唆しながら、Common Lisp をウェブ開発に使用する際のメリットとデメリットを評価して締めくくられています。
続きを読む