この記事では、著者が偶然発見した珍しいコモドール64/128ディスク「ペニーファージング」について語っています。これは故コモドール愛好家のデビッド・モアー（ロード・ローニン）によって作成されたもので、モアーのSF小説の章と故インタラクティブフィクション作家ポール・パンクスのゲームが含まれています。ディスクにアクセスするには、特別なコモドールハードウェアとソフトウェア（Wheels GEOSなど）が必要であり、レトロコンピューティングの魅力とそのニッチなコミュニティを浮き彫りにしています。この記事では、モアーとパンクス、そして彼らがコモドールシーンに貢献した功績を称えています。
続きを読む
2025年1月、ニューヨーク地下鉄の犯罪率は前年比36％減少、147件の犯罪報告にとどまりました。これは、混雑価格制度の実施による乗客数の増加にもかかわらずです。ニューヨーク市長エリック・アダムズはこの成功を、地下鉄システム全体に1200人のNYPD警官を追加配備し、夜間列車に300人の警官を追加配備したことによるものと説明しています。これにより、より目に見える警察の存在感が生まれました。さらに、キャシー・ホークル知事の7700万ドル規模のイニシアチブにより、すべての夜間列車に制服警官が配置されることになりました。これらの結果から、警察官の増員が地下鉄の安全性の向上に効果的に貢献していることが示唆されます。
続きを読む
NASAの年間安全レビューは、ボーイングのトラブルを抱えたスターライナーミッションの取り扱いにおいて、同機関が宇宙飛行士の安全を優先したことを評価しましたが、打ち上げと再突入中に発生した複数のスラスタ故障とヘリウム漏れについても強調しました。帰還途中でも新たなスラスタ故障が発見されました。この報告書は、NASAとボーイングの間での役割と責任の曖昧さを批判しており、これにより、請負業者がリスク管理の決定を行う可能性があるとしています。さらに、この報告書は、ISSの運用終了後（2030年以降）のスターライナーの将来的な必要性を疑問視しており、バッテリーの再設計、エアバッグの強化、スケジュールと予算に関する懸念など、数多くの認証上の課題を挙げています。対照的に、SpaceXのCrew Dragonは数多くのミッションを成功させています。スターライナーの問題でISSに取り残された2人の宇宙飛行士は、SpaceXのCrew Dragonで地球に帰還します。
続きを読む
InstantStyleは、画像のスタイル転送を行うシンプルながらも強力なフレームワークです。画像の内容とスタイル情報を巧みに分離することで、正確なスタイル制御を実現します。CLIPのグローバルフィーチャを活用し、特定のAttentionレイヤー（up_blocks.0.attentions.1とdown_blocks.2.attentions.1）に焦点を当ててスタイルとレイアウトを操作します。InstantStyleはdiffusersなどの主要なツールに統合されており、SDXLやSD1.5などのモデルをサポートし、オンラインデモや高解像度生成機能を提供することで、ワークフローを大幅に簡素化し、スタイリッシュな画像生成をユーザーに手軽に提供します。
続きを読む
arXivLabsは、共同作業者がarXivの新しい機能を直接arXivウェブサイト上で開発・共有できるフレームワークです。arXivLabsに関わる個人や組織は、オープンネス、コミュニティ、卓越性、ユーザーデータプライバシーという私たちの価値観を共有し、受け入れています。arXivはこれらの価値観にコミットしており、これらの価値観を遵守するパートナーのみと協力しています。arXivコミュニティに役立つプロジェクトのアイデアをお持ちですか？arXivLabsの詳細をご覧ください。
続きを読む
長年のLinuxカーネルメンテナであるGreg KHが、LKMLの投稿でカーネルの一部をRustで書き直すことを提唱しています。彼は、カーネルのバグの大部分がC言語の微妙な欠陥に起因すると主張し、Rustのメモリ安全性機能によってそれらのバグを効果的に防ぐことができると述べています。Rustへの完全な移行は非現実的ですが、新しいコードとドライバをRustで記述することで、バグを大幅に削減し、開発効率を向上させることができるとのこと。Gregは、Linuxプロジェクトの長期的な健全性のために、カーネル開発者がRustを採用することを強く求めています。
続きを読む
WebExtension.netは、高品質な拡張機能を簡単に見つけて使用できる、厳選されたChrome拡張機能コレクション機能を最近導入しました。この機能により、ユーザーは独自の拡張機能リストを作成および共有できます。既存のコレクションは、言語学習、デザインツール、フロントエンド開発など、さまざまな分野を網羅しており、デザイナー向けの必須ツールコレクションやフロントエンド開発者向けの便利な拡張機能コレクションなどが含まれています。これにより、ユーザーの効率性とワークフローが大幅に向上します。
続きを読む
コスタリカの小さなスーパーマーケット「スーパーマリオ」が、任天堂との商標紛争で勝利しました。任天堂は、「スーパーマリオ」商標を理由にスーパーマーケットの登録に異議を唱えましたが、スーパーマーケット側は、登録している商品分類（基本食料品の供給サービス）が任天堂の商標登録分類と競合しないと主張し、これを認められました。このダビデ対ゴリアテの勝利は、グローバル企業に対しても、粘り強さと戦略的な法的措置が効果的であることを示しています。
続きを読む
25年の経験を持つベテラン開発者が、若いWeb開発者との間で増大する乖離感を表明しています。彼は、従来のWeb開発手法（シングルページアプリケーションではないもの）に対する理解不足や、JavaScriptフレームワークと純粋なJavaScriptの混同を観察しています。これにより、プログラミング教育における抽象化レベルの進化と、特定のスキルへの焦点について省みることになります。開発者向けのゲーム番組を例に、いくつかの「コンピューターサイエンス」の問題がJavaScriptのみに特化しすぎており、より広範な計算原理が軽視されていると指摘しています。これは若い開発者への批判ではなく、業界のトレンドに対する観察と懸念、そしてプログラミング分野における専門性の高まりへの考察です。
続きを読む
ジェイ・マーティンによるエッセイは、カナダが豊富な天然資源を十分に活用できていないことを痛烈に批判しています。環境問題への過剰な関心が、鉱業やエネルギーなど資源セクターにおける世界の競争力を阻害し、経済成長の鈍化や企業投資の不足につながっていると主張しています。「ジャマイカのボブスレーチーム」の例えを用いて、各国は自国の強みを活かすべきであり、非現実的な目標を追うべきではないと強調しています。マーティンは、カナダが現状を直視し、資源の可能性を最大限に活用することで、世界経済において繁栄できると訴えています。
続きを読む
スウェーデンは、デモシーンを国のユネスコ無形文化遺産に指定しました。おそらく最古の創造的なデジタルサブカルチャーであるデモシーンは、技術的および経済的な変化の中で、その価値観と伝統を守り続けてきました。ハードウェアの限界を押し広げる競争が中心ではありますが、デモシーンには、奇妙な作品を作る、オンラインコミュニティを維持する、パーティーを企画するなど、多様な活動が含まれています。著者は、ノスタルジックなプログラマーと型破りなアーティストの両方を魅了する、このシーンの多様性と包括性を強調しています。
続きを読む
この記事では、コンパイラの中間表現（IR）の正確なセマンティクス、特に、安全でないポインタ操作を許可するC、C++、Rustなどの言語における重要性について掘り下げています。著者は、一見正しい3つのLLVMコンパイラ最適化手順が、最終的なプログラムの動作を最初のプログラムの動作と矛盾させる可能性があることを示しています。根本原因はポインタの「来歴」（provenance）です。これは、ポインタがメモリアドレス以上の情報を持ち、その計算方法の詳細が含まれていることを意味します。そのため、未定義動作（UB）の正確な定義を含む、より正確なLLVM IR仕様が必要です。コンパイラIRを厳格な仕様を持つスタンドアロンのプログラミング言語として扱うことが、このような問題を解決する鍵となります。
続きを読む
EUの反トラストおよびテクノロジー責任者は、米国の議員に対し、デジタル市場法（DMA）はデジタル市場の開放を目的としており、米国のテクノロジー大手はターゲットではないと説明した。彼らは、米国自身もこれらの企業に対して反トラスト措置を取っていることを指摘した。この法律の目的は、巨大テクノロジー企業による不公平な慣行を防ぐことであり、米国の企業に税金を課すことではない。
続きを読む
この記事では、Idrisにおいて、安全で効率的なprintf関数を、不安定なマクロや可変長引数を使わずに実装する方法を示しています。巧みに型レベルプログラミングを用いることで、フォーマット文字列をデータ構造に解析し、それに基づいて動的に関数型シグネチャを生成します。これにより、C言語のprintfの機能を、メモリ安全と型安全性を維持したまま実現します。実行時フォーマット文字列の処理についても考察し、エラーメッセージの分かりにくさなどの実装上の欠点も指摘し、今後の改善の方向性を示唆しています。
続きを読む
この記事では、垂直AIアプリケーション（特定のドメインに最適化されたAI）と水平AIアプリケーション（より汎用的な、スケーラブルなAI）の競争を探ります。著者は自身の経験とハミルトン・ヘルマーの7つの力のフレームワークを用いて、モデルの性能が向上するにつれて、垂直AIアプリケーションが競争優位性を維持するのが困難になることを主張しています。独占的で不可欠なリソースを持つごく少数の例外を除き、ほとんどの垂直AIアプリケーションは最終的に、より優れた水平AIアプリケーションに取って代わられるでしょう。水平AIはリモートワーカーのようなもので、統合が容易で、コストが低く、モデルの進歩を通じて性能が継続的に向上します。著者は自身のAcademicGPTプロジェクトをケーススタディとして使用し、垂直AIアプリケーションがより汎用的な水平AIモデルによってどのように凌駕されたかを示しています。
続きを読む
コストコの取締役会は、同社の多様性、公平性、包括性（DEI）プログラムの見直しを求める株主提案を拒否しました。法的および財務上のリスクがあるという理由です。取締役会は、DEIへのコミットメントは、尊重と包括性を重視する職場環境を育成し、従業員の士気を高め、イノベーションを促進するために不可欠であると反論しました。彼らはプログラムの合法性を維持し、その有効性に関する継続的な評価を強調しました。この決定は、米国企業におけるDEIイニシアチブをめぐる継続的な議論を浮き彫りにしています。
続きを読む
Cargoは、AIと自動化を利用してGTM戦略に革命を起こすための、最初のフルサイクルアカウントエグゼクティブを募集しています。これは単なるノルマ達成ではなく、AIファーストの世界における営業の未来を形作ることを意味します。理想的な候補者は、B2B SaaS営業における豊富な経験、ノルマ超過の実績、そしてAIと自動化ツールへの習熟度を備えています。この役割は、営業サイクル全体を網羅し、独自のチームを構築し、率いる可能性を秘めた、大きな責任を伴います。Cargoは、株式、無制限の休暇、充実した従業員開発プログラムなど、競争力のある報酬と福利厚生を提供し、協調的で、ペースの速い環境を育成しています。
続きを読む
Linuxカーネル6.9以降、x86_64アーキテクチャにおいてCONFIG_X86_FRED設定オプションが導入され、タスクのカーネルスタックの底に16バイトのパディングが追加されるようになりました。これにより、カーネルスタックとpt_regs構造体に直接アクセスするeBPFプログラムが壊れ、ゴミデータが返されるようになります。著者は、カーネル6.11にアップグレードした後、自身のeBPFツールxcapture-nextでこの問題に遭遇しました。分析の結果、FREDによるスタックオフセットが原因であることが判明しました。スタックアドレス計算を調整するための動的なFRED検出メカニズムが提示されています。この問題は解決されます。この記事は、特に生のカーネルスタック操作を行うeBPF開発者にとって非常に重要です。
続きを読む
人間のミスとは異なり、大規模言語モデル（LLM）のミスはランダムで、特定のトピックに集中しておらず、高い確信を持って行われます。この記事では、LLMのミスの独自性を分析し、より人間らしいLLMを設計することと、LLM特有のミスに対処する新しいミスケレクショシステムを構築することという2つの対策を提案しています。現在の研究は、人間のフィードバックによる強化学習などの技術や、繰り返し質問するなどの方法を用いてAIの信頼性を向上させることに焦点を当てています。LLMの奇妙な行動の中には人間にも見られるものもありますが、その頻度と深刻さは人間のミスをはるかに上回っているため、AI意思決定システムは慎重に扱う必要があり、その適用範囲を適切な領域に限定する必要があります。
続きを読む
この記事では、Windows Subsystem for Linux (WSL)上でNixOSを用いて、自宅でLLMを簡単に実行するための設定について説明しています。著者は、VRAMロック、WSLの自動シャットダウン、Nvidiaドライバーの問題といった課題を克服しました。Ollama、Nvidia Container Toolkit、そしてNixOSの構成管理を活用することで、自動更新と容易なシステム再構築を実現しています。このガイドでは、WSLの稼働維持、NixOSのインストール、Nvidiaドライバーの設定、Ollamaコンテナの設定、そしてオプションのTailscaleネットワーク設定について解説し、最終的に容易にアクセスできるローカルLLM環境を提供します。
続きを読む
Nightshift Galaxyを開発しているインディーゲームデベロッパーが、効率とゲームパフォーマンスを向上させるため、「Scaffold」という特殊なレベル編集ツールを作成しました。DOOMやDescentといった90年代のエンジン技術に着想を得て、Scaffoldは現代のエンジンが使用する動的な方法とは異なり、空間分割を事前に計算する凸分解アプローチを採用しています。これにより、レイトレーシングとパスファインディングが高速化され、パフォーマンスが劇的に向上し、後から最適化する必要性が軽減されます。デベロッパーは退屈なパフォーマンス調整ではなく、ゲームプレイデザインに集中できるようになります。
続きを読む
2010年から、ある開発者がTfLのオープンデータを使用して、ロンドン地下鉄とバスの経路をリアルタイムで表示するウェブサイトを構築・維持していました。BBCやガーディアンで紹介され人気を博しましたが、2025年1月7日、地下鉄路線図の模式図に関するTfLからの差し止め命令を受けました。修正する意思はありましたが、TfLの強硬な対応を理由にウェブサイトを閉鎖しました。この事例は、大企業と個人開発者の間の対立、そしてオープンデータ利用の複雑さを浮き彫りにしています。
続きを読む
コードのスニペットが、数十の言語を含む包括的なリストを予想外に明らかにし、オンラインでの議論を引き起こしました。リストはアフリカーンス語から中国語まで多岐にわたり、その目的と起源は現在不明です。リストの規模は衝撃的で、データセキュリティとプライバシーに関する懸念を引き起こしています。この出来事は、デジタル時代における情報セキュリティの重要性を改めて思い出させてくれます。
続きを読む
長年の沈黙を経て、人気のPebbleスマートウォッチが復活します！創設者Eric Migicovsky氏と彼のチームは、オープンソースのPebbleOSを搭載した新しいPebble風のスマートウォッチを開発しています。この復活は、GoogleによるOSのオープンソース化と、Rebbleコミュニティの継続的なサポートのおかげです。新しいウォッチは、Pebbleのシンプルなデザイン、長いバッテリー寿命を受け継ぎ、さらにエキサイティングな新機能が追加されます。ぜひ登録してゲットしてください！
続きを読む
ジェームズ・ウェッブ宇宙望遠鏡（JWST）が画期的な発見をしました！国際的な天文学者チームがJWSTを用いて、WISE J045853.90+643451.9という近傍の褐色矮星連星系の大気中で、シアン化水素（HCN）とアセチレン（C2H2）を初めて検出しました。arXivプレプリントサーバーに掲載されたこの発見は、雲がなく、分子が豊富な大気を明らかにしています。この発見は、JWSTの中赤外線装置（MIRI）の中分解能分光計（MRS）が冷たい褐色矮星を特徴付ける上で強力なツールであることを示しています。今後の研究では、HCNとC2H2をさらに詳細に調査し、これらの物質が同様の温度の他の冷たい褐色矮星にも存在するかどうかを調べます。
続きを読む
OpenAIは、7月に発表予定のドナルド・トランプ氏のAI行動計画が、AIトレーニングをフェアユースと宣言することを期待している。これにより、著作権論争が解決し、AI企業がトレーニングデータへの無制限アクセスを得られるようになるという。OpenAIは、これは中国とのAI競争において勝利するために不可欠だと主張している。現在、裁判所ではAIトレーニングがフェアユースに当たるかどうかが議論されており、権利保有者は、AIモデルが市場における地位を脅かし、人間の創造性を全体的に低下させると主張している。OpenAIは数十件の訴訟に関与しており、AIが著作権で保護された作品を変換し、AIの出力はオリジナル作品にとって代わるものではないと主張している。OpenAIは、トランプ氏の計画が、権利保有者を支持する判決（AIトレーニングはフェアユースではないと判断）のような判決を回避することを期待している。OpenAIは、米国がAI業界の「学習の自由」を優先することで、中国が米国企業がアクセスできない著作権で保護されたデータにアクセスすることで優位に立つことを防ぐべきだと提案している。
続きを読む
7年間の起業経験を持つAkshay Katyal氏が、スタートアップのジェットコースターのような日々から、大企業のテクニカルリードとしての役割への移行について語っています。経済的な安定と大企業の運営方法を学ぶという願望から、彼はこの転換が思考、スキル、優先順位の大幅な変化であることに気づきました。彼は2つの役割における影響力と自律性の違いを強調し、起業家としての経験が直接的に反映されたわけではありませんでしたが、顧客価値のずれを特定し対処する能力が非常に役立ったと述べています。この転換は、困難ではありましたが、最終的に個人的および専門的な成長につながり、企業環境における起業家スキルの適応性と価値を示しています。
続きを読む
Dockerは、ローカルでのAIモデルの実行とテストを簡素化するツール、Model Runnerを発表しました。これは、開発者がローカルでAIモデルを使用する際に直面する、ツールが断片化されていること、ハードウェアの互換性の問題、ワークフローの断絶といった課題に対処します。Model Runnerはllama.cppベースの推論エンジンを統合し、Apple SiliconでのGPUアクセラレーションをサポートし、OCI Artifactsを使用してモデルのパッケージングを標準化することで、容易な共有とバージョン管理を実現します。さらに、DockerはGoogleやHugging Faceなどの企業と連携し、豊富なモデルとツールを提供する強力なエコシステムを構築し、ローカルでのAI開発を大幅に容易にしています。
続きを読む
Maximaは強力なコンピュータ代数システムです。ブラウザフロントエンドはMarius Gerbershagenによって、埋め込みCommon Lisp、emscripten、gnuplot、MathJaxを使用して構築されました。ソースコードはこちらで入手可能です。
続きを読む
PyPIにある50万を超えるオープンソースPythonパッケージの依存関係グラフを可視化することで、著者は巨大なネットワークグラフを構築しました。データクレンジングとGephiソフトウェアを用いて、パッケージ間の依存関係を明らかにし、興味深い現象を発見しました。NumPyを中心とした科学計算パッケージクラスタなど、いくつかのパッケージが密なクラスタを形成する一方、疑わしいパッケージを含む異常なクラスタも見つかり、可視化手法による悪意のあるパッケージ検出の可能性を示唆しています。さらに、TritonやOdooなどの大企業のパッケージも、内部依存関係のためにまとまって表示されます。この研究は、PyPIエコシステムを探求するための新たな視点を提供し、データ可視化のパッケージ分析における威力を示しています。
続きを読む