Compiler ExplorerのURLは、コンパイラの状態を直接URLにエンコードすることから、goo.glの短縮URLを使用すること、そして最終的には独自のストレージソリューションへと進化しました。goo.glが2025年8月に終了するため、著者はgoo.glベースの古いリンクを救済しており、これまでに12,000以上のリンクを復元しました。この記事は、「永遠に続くURL」への著者のコミットメントと、サードパーティサービスへの依存について考察しています。
続きを読む
チャールストン大学のAlex Kasmanは、数学または数学者を扱った1000以上の短編小説、戯曲、小説、映画、コミックを収録したデータベースをまとめました。このリソースは、数学への重要なフィクションの言及をカタログ化することを目指しており、ユーザーは著者、タイトル、出版年、またはジャンル、トピック、モチーフ、メディアで検索して閲覧できます。このサイトには、最近追加されたエントリと個人的な推奨事項も掲載されています。数学教師、フィクション愛好家、または社会における数学者の認識に興味のある方にとって、このデータベースは貴重な宝物です。
続きを読む
arXivLabsは、コミュニティと協力して、新しいarXiv機能をウェブサイト上で直接開発・共有するためのフレームワークです。arXivLabsと連携する個人や組織は、オープン性、コミュニティ、卓越性、ユーザーデータのプライバシーという私たちの価値観を受け入れています。arXivはこれらの価値観にコミットしており、それらを共有するパートナーのみと協力します。arXivコミュニティを強化するアイデアをお持ちですか？arXivLabsをご覧ください。
続きを読む
インドネシア・ジャワ島の沖合で行われた考古学的発見が、ホモ・エレクトスに対する私たちの理解を塗り替えています。マドゥラ海峡での浚渫作業中に発掘された頭蓋骨の破片などの化石遺物は、現在水没している広大な低地帯であるスンダランドに生息していた、驚くほど移動性の高いホモ・エレクトスの集団を示しています。狩猟や多様な食習慣の証拠を含むこれらの発見は、孤立したジャワのホモ・エレクトス集団に関するこれまでの理論に疑問を投げかけています。これらの発見は豊かな生態系を示唆しており、他のホミニン集団との相互作用を示唆しており、14万年前の東南アジアにおける初期人類の生活に関するはるかに複雑な絵を描いています。36種の脊椎動物を含むこの独自の収集物は、この地域の過去の生物多様性に関する前例のない洞察を提供します。
続きを読む
2024年9月下旬のハリケーン・ヘレネの最中、大学が休校となり、人々が自宅をバリケードしている間、私はWaffle Houseのウェブサイトをリバースエンジニアリングしました。彼らのNext.jsサイトに隠されたJSONデータを使用して、ハリケーンの影響を評価するのに役立つ、Waffle Houseの閉店状況を追跡するライブマップを作成しました。このサイトは予想外に人気となり、Waffle House自身やFrank Luntzでさえ注目を集めました。最終的に、商標の問題でサイトを削除せざるを得ませんでしたが、この経験は楽しく、予想外の冒険となりました。
続きを読む
Tesseralは、ビジネスソフトウェア（B2B SaaS）向けのオープンソース認証インフラストラクチャです。マルチテナントで、APIファーストのクラウドサービスであり、あらゆるテクノロジースタックと互換性があります。開発者は、console.tesseral.comで管理サービスを使用するか、セルフホスティングできます。ユーザー管理に必要なものがすべて含まれています。カスタマイズ可能なログインページ、B2Bマルチテナント、ユーザーになりすまし、セルフサービス設定、さまざまなログイン方法（マジックリンク、ソーシャルログイン、SAML、SCIM）、ロールベースのアクセス制御（RBAC）、多要素認証（MFA）、パスキー/WebAuthn、認証アプリ（TOTP）、APIキー管理、ユーザー招待、Webhookなどです。React、Flaskなど、さまざまなSDKが提供されており、フロントエンドとバックエンドの統合が簡素化されます。
続きを読む
2012年から2021年にかけて、テキサス州のK-12教育に数十億ドルが投資されたにもかかわらず、年間読解力テストの成績は横ばいでした。テスト設計に関する詳細な調査によると、この停滞は生徒の学習能力の不足ではなく、テストそのものが原因であることが明らかになりました。試験実施機関は毎年難易度を調整しており、10年以上にわたって合格率は一定に保たれており、生徒の実際の進歩を隠していました。この規準参照テストは、絶対的な基準ではなく相対的な順位に重点を置いており、学習の正確な評価を困難にし、資源配分の不平等を悪化させています。研究者は、教育の公平性を阻害する障壁を取り除くために、テスト設計の改善を求めています。
続きを読む
Telegramはイーロン・マスクのAI企業xAIと提携し、そのチャットボットGrokを1年間Telegramプラットフォームで独占的に配信することに合意しました。xAIはこの取引に対して3億ドルの現金と株式を支払います。Telegramはまた、アプリを通じて購入されたGrokのサブスクリプション収入の50%を受け取ります。Grokは深く統合され、ユーザーは検索バーからアクセスし、ライティングの提案、テキストのサマリー、ステッカーの作成などのタスクに使用できます。これは、MetaがInstagramとWhatsAppにMeta AIを統合したことを反映しています。
続きを読む
新たな研究が、モンゴルにある全長321キロメートルに及ぶゴビの壁の謎を解き明かしました。これまでの想定とは異なり、この壁は単なる防御施設ではなく、西夏王朝（1038～1227年）時代に建設され、国境の画定、資源管理、帝国支配の強化など、多様な機能を果たしていたことが明らかになりました。国際研究チームは、リモートセンシング、調査、発掘調査を組み合わせることで、その建設と戦略的重要性に関する証拠を発見しました。壁の経路は資源の利用可能性を考慮して慎重に選択されていたことも判明しています。この研究は、内アジアの帝国国境システムに関する従来の認識に疑問を投げかけ、中世帝国における環境への適応と国家権力との相互作用についての理解を深めるものです。
続きを読む
Wetlandsは、Conda環境の管理を簡素化するために設計された軽量なPythonライブラリです。オンデマンドでConda環境を作成し、依存関係をインストールし、任意のコードを実行することで、依存関係の競合を防ぎます。プラグインシステムの構築や外部モジュールの統合に最適で、Wetlandsはpixiまたはmicromambaを使用して、Conda環境の高速で効率的な処理を実現します。シンプルなAPIにより、開発者は環境の作成、起動、モジュールのインポート、関数の実行、環境のクリーンな終了を行うことができ、Pythonプロジェクトでの依存関係管理がより簡単で効率的になります。
続きを読む
プライバシーに焦点を当てた暗号通貨であるMonero（XMR）は、取引の匿名性を解除しようとする政府、サイバーセキュリティ専門家、分析企業の標的となっています。この記事では、ChainalysisやCipherTraceといった企業による取り組み、そして環状署名スキームに関する学術研究など、Moneroのプライバシーを破ろうとする様々な試みを分析します。時間分析の利用やオフチェーンデータの関連付けといった手法は限定的な成功しか収めていませんが、Moneroの環状署名、ステルスアドレス、機密取引は驚くほど堅牢であることが証明されています。"Moneroを破る"シリーズなど、Moneroコミュニティによる積極的な防御努力は、追跡に対する耐性をさらに強化しています。
続きを読む
この強力なデータフィルターツールを使用すると、国、言語、最終更新日時などのパラメーターに基づいて検索結果をカスタマイズできます。ユーザーは多数の国と言語のオプションから選択し、更新時間範囲を指定して、必要な情報を正確に取得できます。
続きを読む
この記事では、宇宙論のΛCDM標準モデルに挑戦する革命的な「ブロートーチ理論」を紹介しています。この理論は、初期の超大質量ブラックホールからの強力なジェットが、重力だけでなく、電磁プロセスを通じて宇宙の構造を積極的に形成したと主張しています。これらのジェットは、広大な低圧空洞と磁力線を生成し、宇宙網を形成しました。この理論は、ダークマターを必要とせずに、ジェームズ・ウェッブ宇宙望遠鏡による驚くほど成熟した初期銀河の観測をエレガントに説明しています。
続きを読む
シカゴ・サンタイムズとフィラデルフィア・インクワイアラーがAI生成のフェイクニュースの特集記事を掲載したことで、現代の「どうでもいい」時代への省察が促された。記事は、ライターから読者まで、コンテンツの信憑性を気にする人がほとんどいないことを指摘している。AI生成の「まあまあ」な凡庸なコンテンツがインターネットにあふれており、「十分良い」シミュレーションが真の努力に取って代わっている。著者は、独創性と意識的な創作を重視し、AIが生み出す陳腐さを、質の高いコンテンツを優先することで打ち負かすよう訴えている。
続きを読む
サンフランシスコ統一学区の学区長であるマリア・スーは、今秋1万人以上の高校生に影響を与える新しい「公平な成績評価」計画を密かに実施しています。理事会の承認を得ずに実施されたこの計画は、合格点を大幅に引き下げ、宿題や出席の影響を排除します。批評家は、これが大学の準備を損ない、既存の学力格差を無視していると主張しています。支持者は公平性を促進すると主張していますが、同様のプログラムのデータは、学力格差を埋めることに限定的な成功しか示していません。透明性の欠如と保護者への最小限のアウトリーチは、計画の可能性のある悪影響に対する懸念をさらに増幅し、学区のリーダーシップに関する疑問を提起しています。
続きを読む
Flower Garden CLIで、あなたのターミナルを鮮やかな庭園に変えましょう！5種類のユニークな花を育て、それぞれが複雑な数学的パターンとフラクタルに開花します。花に水をやり、成長を見守り、美しくカラフルなディスプレイをお楽しみください。使いやすいメニューと自動保存機能により、あなた自身のペースでデジタルガーデンを育てることができます。pipでインストールして、育て始めましょう！
続きを読む
Google Project ZeroのMateusz Jurczykは、2年間かけてWindowsレジストリを徹底的に調査し、その過程で53件のCVEを発見しました。彼の研究は、レジストリがローカル特権昇格攻撃の標的となる複雑さを浮き彫りにし、C言語で記述された大規模なレガシーコードベースから生じるセキュリティ問題を詳細に説明しています。この研究は、メモリ破損、情報漏洩、論理エラーなど、さまざまな脆弱性の種類を網羅しており、ハニカムのロード、アプリハニカム、直接的なシステムコールなど、さまざまな攻撃エントリポイントを分析しています。また、レジストリの自己修復メカニズムがセキュリティ監査にどのように影響するか、厳格なフォーマット要件と慣例の間のあいまいな境界線の課題についても強調しています。最後に、この投稿は、エクスプロイトのプリミティブを要約し、レジストリファジングの戦略と困難について議論しています。
続きを読む
このエッセイは、ソフトウェアエンジニアリングにおいて大規模言語モデル（LLM）への過度な依存が、無能を加速させる可能性があると主張しています。経験豊富なソフトウェアエンジニアは、LLMがコード生成の速度を提供する一方で、重大なリスクをもたらすことを詳細に説明しています。それは、不正確な出力、コンテキストの理解不能、技術的負債の増加、批判的思考力と創造性の抑制などです。Peter NaurとFred Brooksの洞察に基づいて、著者は、プログラミングはプログラム理論の構築とプログラムエントロピーの管理であり、これは現在のLLMの能力を超えた課題であると強調しています。このエッセイは、LLMが便利なツールである一方で、人間の創意工夫と深い思考に取って代わることはできず、過度な依存はコスト増加とプロジェクトの失敗につながる可能性があると結論づけています。
続きを読む
酔っ払いが街灯の下で鍵を探しているというたとえ話を使って、コンサルティングの仕事を探している技術的に優れた人々が犯しがちなよくある間違いを説明しています。彼らは既に強い技術スキルを向上させることに集中し（例えば、最初の5つが既に需要があるのに6番目のプログラミング言語を学ぶなど）、営業やネットワーク構築などの重要なソフトスキルを無視しています。著者は、既存の長所を強化することは有益ですが、進歩を妨げる弱点（営業能力など）に対処することを優先するべきだと主張しています。会議に出席し、積極的に機会を探すことは、技術的専門知識の向上だけに集中するよりも効果的です。
続きを読む
マイクロソフトは、Windows Updateをサードパーティアプリケーションに拡張しています。開発者は、Windows Updateオーケストレーションプラットフォームのプライベートプレビューに登録できるようになり、今後、あらゆるアプリやドライバーのアップデートをサポートできるようになります。当初はビジネスアプリに重点を置いていますが、すべてのアプリや管理ツールに開放されます。これにより、開発者はユーザーアクティビティ、バッテリーの状態、持続可能なエネルギータイミングに基づいたスケジュールされたアップデートを活用し、ネイティブのWindows Update通知に直接接続し、Windows Updateのアプリアップデート履歴にアップデートをリストすることができます。マイクロソフトは、MSIX/APPXパッケージアプリ、さらには一部のカスタムWin32アプリもサポートします。
続きを読む
Leaning Technologiesは、CheerpJ 4.1のリリースを発表しました。このバージョンでは、Java 17のプレビュー版サポートとJava 11の安定性の向上が実現され、パフォーマンスの最適化、ネットワークスタックの改善、モバイルでの使いやすさの向上も含まれています。CheerpJは、WebAssemblyベースのJVMであり、変更されていないJavaバイトコードをブラウザで直接実行できます。大規模なSwing/AWTアプリケーションとJavaライブラリの統合（Library Mode）をサポートしています。CheerpJ 4.1では、JNI WebAssemblyモジュールのサポートも導入され、Minecraftなどのネイティブコードに依存するJavaアプリケーションの実行が可能になります。将来のCheerpJ 5.0では、安定したJava 17サポートとNPMサポートが提供される予定です。
続きを読む
大規模言語モデル（LLM）はコードの書き方を革命的に変え、ワールドワイドウェブの影響すら凌駕しました。しかし、コードを理解する方が書くより難しいという基本的な事実は変わっていません。つまり、コードの1行1行が技術的負債となるのです。LLMの導入により、チームに古いテストスイートや技術的な決定を放棄させることがさらに困難になります。LLMは容易に新しい機能を作成しますが、これにより、膨張し、メンテナンスが困難なコードベースにつながり、DRY原則に反します。歴史的に生産性の高いエンジニアリングチームは、ツールチェーンに関する深い専門知識に依存していますが、LLMはコード作成のコストを大幅に削減し、ソフトウェア環境における生態系の多様性の爆発的な増加をもたらします。LLMは最終的にコードの可読性と推論能力を向上させる可能性がありますが、現在の課題は依然として大きいです。
続きを読む
SF作家コリィ・ドクトロウは、PyCon US 2025の基調講演で、インターネットプラットフォームの「劣化」（Enshittification）について論じました。彼はこの現象を、テクノロジー企業が利益を最大化するために用いる3段階の戦略に起因すると考えます。それは、ユーザーの囲い込み、ビジネス顧客に有利になるようにユーザーエクスペリエンスの悪化、そして最終的にプラットフォームの価値の搾取です。彼はGoogleを例に挙げ、「微調整」（twiddling）アルゴリズムが検索結果や広告配置を操作し、ユーザーの利益を損なうことを示しました。ドクトロウは、「劣化」は技術的な問題ではなく、反トラスト規制の緩和やプライバシー法の軽視といった政策の失敗に起因すると主張しています。彼は、より強力な反トラスト対策、相互運用性の向上、プライバシー保護の強化などを通じて、この傾向を逆転させ、「新しい良いインターネット」を構築するよう訴えました。
続きを読む
この記事では、JavaScriptの日付パースにおける奇妙な点を明らかにしています。'2025/05/28'と'2025-05-28'はJavaScriptでは異なる日付を表します。これは、ブラウザによる日付文字列のパースにおける長年の矛盾に起因します。この記事では、2009年のES5標準のリリース以降、Chrome、Firefox、Safariにおける日付文字列のパースの進化をたどり、ISO 8601標準に対するそれらの異なる実装と解釈を強調しています。最終的に、'2025-05-28'のような日付形式はUTCとして解釈され、他の形式はローカルタイムとして解釈されるため、混乱が生じます。この記事は、この問題を解決するために、タイムゾーン情報を必須とする、今後のJavaScript Temporal APIを紹介して締めくくっています。
続きを読む
LIEFは、DWARFファイルを作成するための包括的なAPIと、リバースエンジニアリング解析結果をエクスポートするためのGhidraおよびBinaryNinjaプラグインを提供するようになりました。これにより、関数名や構造体などの重要な情報を、異なるリバースエンジニアリングツール間で共有できます。LLVMのDWARFバックエンドを活用したこのAPI（Python、Rust、C++で利用可能）は、スタック変数のオフセットなどの詳細な処理も簡素化します。これにより、複雑なリバースエンジニアリングプロジェクトにおける共同作業と理解が向上します。
続きを読む
新たな研究では、EVが有害な排気ガス排出量だけでなく、個人用車両から発生するその他の種類の汚染を削減する効果がどの程度あるかを定量化しています。この研究によると、再生ブレーキのおかげで、電気自動車はブレーキダストを最大83％削減し、ハイブリッド車やプラグインハイブリッド車よりもはるかに高い削減効果を示しています。EVはタイヤの摩耗がわずかに高い可能性がありますが、ブレーキダストは大気中に入りやすいことから、非排気ガス排出量の全体的な削減は大幅になります。この研究では、EVの導入に加え、公共交通機関の利用、徒歩、自転車の利用を優先し、より耐久性のあるタイヤとブレーキパッドを開発することを推奨しています。
続きを読む
ウェブサイトは、攻撃的なLLMやウェブスクレイパーに対抗するために、Xe IasoのAnubisのようなJavaScriptベースのプルーフオブワークシステムをますます使用しています。しかし、LLMは侵害されたマシンを利用して、これらの課題を解決するために膨大なCPU時間を確保できる可能性があります。問題は、LLMが敵対的な環境で動作し、真のプルーフオブワークと悪意のあるJavaScriptを区別することが困難であることです。これにより、LLMはCPUマイニングやその他の攻撃を受ける可能性があります。プルーフオブワークシステムを識別しようとすることは、悪意のあるアクターが模倣するインセンティブを持っているため、LLMにとって負け戦です。これは、ウェブサイトとLLMの間で、それぞれがリソースの使用を最適化し、同時に自身の利益を守ることを試みる軍拡競争を生み出します。
続きを読む
ソフトウェア開発者が、思考と問題解決にノートを使う独自の知見を共有しています。コンピューターで直接コードを書く前に、ノートに考えや図を書き出すことで、より明確に考え、解決策を見つけやすくなると主張しています。この方法は、曖昧なアイデアを具体的な計画に変え、コードのバグや設計上の欠陥を発見し、将来の参照のために貴重な思考プロセスの記録を残すのに役立ちます。彼にとって、ノートはコードエディタよりも重要なツールです。
続きを読む
プリンストン大学と高等研究所の科学者チームが、高度な計算手法を用いて、2017 OF201と名付けられた海王星以遠天体(TNO)を発見しました。この非常に遠い天体は、約2万5000年の公転周期を持ち、準惑星に分類される可能性があり、さらには「プラネットナイン」仮説に疑問を投げかける可能性があります。この発見は、海王星軌道の外側領域が空ではないことを示唆しており、公開アーカイブデータを利用したオープンサイエンスの力を際立たせています。
続きを読む
宇宙の誕生とブラックホールの中心は、どちらも特異点、つまり時空の構造が崩壊する点を指し示しています。アインシュタインの一般相対性理論は特異点を予測していますが、特異点においては通用しません。近年の研究は、量子効果を考慮しても特異点が依然として存在することを示しており、物理学者たちが完全な量子重力理論を構築しようとする努力に挑戦を突きつけています。これは、時空構造が完全に崩壊し、時間が停止し、すべてが予測不能になる領域が宇宙に存在する可能性を示唆しています。将来の量子重力理論は特異点を説明できるかもしれませんが、時空の概念の再定義が必要になるかもしれません。
続きを読む