アメリカ農務省（USDA）の監察官、フィリス・フォンは、トランプ政権による解雇を拒否したため、今週、警備員に付き添われてオフィスから退去させられました。22年間USDAに勤務したフォンは、政権が適切な手順に従わなかったと主張し、解雇通知が無効であると判断した委員会の意見を引用しました。ホワイトハウスは、解雇は「不正で党派的な官僚」を排除するために必要だったと主張して、解雇を擁護しました。フォンは、Neuralinkの調査や動物虐待事件など、幅広い責任を監督していました。彼女の解雇は、連邦政府の監視機関の大規模な粛清の一部であり、政治的な動機による行為として批判されています。
続きを読む
CFRS[]は、わずか6つのコマンド（C、F、R、S、[、]）で構成される極めてミニマルな描画言語です。このドキュメントは、コミュニティメンバーが提供したCFRS[]デモを集めたもので、動的なデモ（アニメーションに'S'コマンドを使用）と静的なデモが含まれています。これらのデモは、花、十字架、万華鏡、葉などの様々な形状を示しており、言語の表現力を示しています。シンプルなコマンドでも、驚くほど美しいアートを作成できます。このコレクションは、初心者とプログラミング愛好家の両方にとって、楽しく、インスピレーションを与えてくれるでしょう。
続きを読む
この記事では、コンウェイのライフゲームにおけるほぼ60年間にわたる「メタエンジニアリング」の開発を探ります。著者は、単純な静的な構造から複雑な計算機まで、イノベーションの軌跡をたどり、「発明」と「発見」(それぞれ手動による構築とアルゴリズムによる探索に対応)の役割を分析し、モジュール性や計算的不還元性などの概念を探求します。振動子、グライダー、グライダーガンなどのさまざまな構造の進化を分析することで、ライフゲームにおける技術革新のパターンを明らかにし、生物進化と比較することで、技術進歩の本質に対する独自の視点を与えます。
続きを読む
Attioが社名とドメイン名を決めるまでの道のりは、壮大な冒険でした。最初は短い1単語の.comドメインをターゲットにしていましたが、途方もない価格に直面しました。複合語も膨大な数があり、最終的には全く新しい単語を生み出すことに。オンラインツールと英語の単語のパターンを理解することで、「Attio」という名前を作り出し、完璧な.comドメインを確保しました。この物語は、記憶に残る社名を生み出すために必要な努力と創造性を示しており、その苦労に見合うだけの価値があることを証明しています。
続きを読む
暗号通貨業界における「デバンキング」現象を分析した詳細な記事が、暗号通貨企業のCEOから撤回要求を受けました。著者はCEOの主張に綿密に対応し、それらの主張に根拠がないことを主張し、記事の中心的な議論を擁護しました。すなわち、規制当局による暗号通貨のリスク評価は根拠のないものではなく、銀行が暗号通貨企業に対して慎重な姿勢をとるのも全く不合理ではないということです。この記事は、銀行規制の複雑さと暗号通貨業界が直面するコンプライアンス上の課題を深く掘り下げており、SilvergateとPrime Trustの事例を用いてリスク管理の重要性を示しています。最終的に、著者は撤回要求を拒否し、真実の追求と検閲への抵抗において報道機関の責任を強調しました。
続きを読む
この記事では、集合論の一分野であるメレオロジーに基づいた、複雑系における高次構造の理解のための新しいアプローチを紹介しています。ボロメオ環を例に、全体が部分の総和以上であることを示しています。著者らは、系のメレオロジーを構築し、メビウス反転公式を適用することで、巨視的な量を微視的な寄与の総和に分解し、高次相互作用の本質を明らかにできると提案しています。遺伝子の相互作用や情報理論における相互情報量といった例を通して、この手法の応用を示し、機械学習や物理学への応用可能性を示唆しています。
続きを読む
研究者たちは、最先端の囲碁AIであるKataGoに対して敵対的ポリシーを訓練することで、97％を超える勝率を達成しました。これらの敵対者は、囲碁をうまくプレイすることではなく、KataGoに重大なミスを犯させることで勝利しました。この攻撃は、他の超人的な囲碁AIにもゼロショットで転移し、人間のエキスパートがアルゴリズムの助けなしに再現できるほどシンプルでした。この脆弱性は、KataGoが敵対的に訓練されて防御された後も存続し、超人的なAIシステムでさえ驚くべき失敗モードを持つことを示しています。
続きを読む
知識グラフ、ローカル検索結果、関連性の高い質問などでGoogle検索結果がごちゃごちゃしてませんか？この記事では、Google検索URLのあまり知られていない`udm`パラメータを紹介します。これを使うと、ウェブ検索結果（udm=14）、画像（udm=2）、ニュース（udm=12）など、表示される結果の種類を正確に制御できます。国コードと対応する`udm`値の詳細なリストも提供しているので、Google検索の隠れた機能を探求できます。
続きを読む
IsMyFeedF*ckedは、アカウント不要でソーシャルメディアフィード（例：X）を匿名かつプライベートに分析するツールです。通常のスクロールを2分間の動画で撮影してアップロードするだけで、フィードの全体的な健康状態、政治的バランス、雰囲気、暴力レベルなど、主要な指標とインサイトを含む詳細なレポートを受け取ることができます。このレポートは、フィードがあなたの思考や感情をどのように形成し、また見過ごしている視点などを明らかにし、フィードの影響を制御するための具体的な提案を提供します。
続きを読む
地球から約500光年離れたベテルギウスは、赤色超巨星であり、寿命が尽きようとしています。いつでも超新星爆発を起こす可能性があり、その際には昼間でも見えるほど明るく、満月よりもやや暗く、数ヶ月間見ることができます。その驚異的な明るさにもかかわらず、地球からの距離と逆二乗則により、有害な放射線から守られます。私たちは壮大な宇宙の花火ショーを楽しむことができるでしょう。
続きを読む
新しい調査によると、オンライン求人広告の5分の1は偽物であるか、実際には募集されていないことがわかりました。求職者は貴重な時間を無駄にして、フラストレーションを感じています。目標を達成するために誇張した数字を使用する企業によって引き起こされている可能性のある「ゴーストジョブ」現象は、深刻な問題を引き起こしています。これを解決するために、GreenhouseやLinkedInなどのプラットフォームは、本物の求人を特定するのに役立つ求人確認サービスを実施しています。
続きを読む
IT業界で23年の経験を持つベテランCTOが、突然の失業を機に、レトロコンピューティングのプログラミングに挑戦することにしました。目標は、コモドール64でPETSCII画像を描画すること。オンラインエディタを使った画像作成から、Perlスクリプトによるデータ変換、C64 BASICとVICEエミュレータを使ったコモドール64上での画像表示まで、全過程を詳細に記録しています。この物語は、新しい技術を学ぶことへの情熱とレトロコンピューティングへの愛情を示しており、レトロコンピューティングプログラミングに興味のある人にとって貴重な経験となります。
続きを読む
著者は難しいNFCの問題に遭遇しました。いくつかのMagic MIFAREカードがiPhoneで読み取れないという問題です。Proxmark3ツールを使って、カードデータを消去し、ndefformatでフォーマットしようとしましたが、iPhoneはまだ認識しませんでした。「互換モード」でiPhoneのNFC Toolsアプリを使ってデータを書いたところ、iPhoneはついにカードを読み取ることができました。著者は、ndeflibライブラリを使ってNDEFレコードを作成して書き込む方法も示し、最終的にMagic MIFAREカードをiPhoneで動作させることに成功しました。
続きを読む
C++26では、いくつかの機能が削除または非推奨化されます。これには、C++20で非推奨化された`std::allocator` typedefの完全な削除、`std::basic_string::reserve()`の引数なしオーバーロードの削除、非推奨化されたUnicode変換ユーティリティと`std::strtok`の削除、古い`strstreams`と`std::shared_ptr`のatomicアクセスAPIの削除、`std::wstring_convert`の削除などが含まれます。さらに、`std::is_trivial`は非推奨化され、より正確な`is_trivially_XXX`を使用することが推奨されます。`std::memory_order::consume`も、仕様が不十分で実装が困難なため、非推奨化されます。これらの削除と非推奨化は、言語の安全性と効率性を向上させ、時代遅れの機能を整理することを目的としています。
続きを読む
著者はオープンソース運動の現状を省察しています。ウィキペディアやLinuxカーネルのような驚くべき成果を認めながらも、市場シェアと影響力の点では期待に沿っていないと主張します。記事は、この運動が技術的な側面に集中しすぎ、アクセシビリティと社会的公平性を無視していると示唆しています。オープンソースを「ハッカーのクラブ」と見なすことで、一般ユーザーの現実的な問題に対処できていません。著者は、コミュニティが快適な領域から抜け出し、より広範な社会問題に焦点を当て、「すべての人々の自由」を真に実現することを求めています。それは、選ばれた技術エリートのみに権限を与えることではありません。
続きを読む
CSIROは、2010年以降の水安全保障プログラムから公開されている水科学論文の地理的分布を可視化するインタラクティブマップ「Atlas of Open Water Security Science」を公開しました。AIを活用したこの3ヶ月間のトライアル版は、論文から場所と文脈を抽出しますが、不正確さを含む可能性があります。ユーザーは研究の進化を探求し、論文をクリックして詳細を確認し、CSIROの環境科学におけるAIイノベーションについて学ぶことができます。注意して使用してください。
続きを読む
arXivLabsは、共同作業者がarXivの新しい機能を直接ウェブサイトで開発・共有できるフレームワークです。arXivLabsに関わる個人や組織は、オープン性、コミュニティ、卓越性、ユーザーデータプライバシーというarXivの価値観を共有し、受け入れています。arXivはこれらの価値観を重視し、これらの価値観を遵守するパートナーのみと協力します。arXivコミュニティに価値を追加するプロジェクトのアイデアをお持ちですか？arXivLabsについて詳しく学びましょう！
続きを読む
オープンソースプロジェクト `terraform-provider-hrui` は、HRUIブランドのスイッチ（Horaco、Sodola、XikeStorなど）を管理するためのTerraformプロバイダーを提供します。goqueryライブラリを使用してスイッチのWeb UIと対話し、Horaco ZX-SWTG124ASで正常にテストされています。貢献は大歓迎で、プロジェクトはMPL-2.0ライセンスの下でライセンス供与されています。
続きを読む
Manifestは、基本的なバックエンド機能のみを必要とするウェブサイトやアプリの80％の開発を簡素化するために設計された、軽量な単一ファイルのマイクロバックエンドフレームワークです。認証、検証、ストレージ、画像のリサイズ、管理パネル、動的なエンドポイント、REST API、JS SDK、Webhookなどの必須機能を提供します。迅速なプロトタイピング、マイクロサービス、CRUD中心のアプリ、ヘッドレスCMSに最適です。現在ベータ版であり、小規模なプロジェクトやMVPに適していますが、重要なプラットフォームでの使用は推奨しません。
続きを読む
30歳の女性が、タイ、日本、ハワイへの旅行後、足に灼熱感を覚え、数日後には全身に広がった。2度の救急治療でも原因不明で、好酸球増加のみが認められた。3度目のマサチューセッツ総合病院での治療で、原因が脳寄生虫であることが判明した。症状は寿司の摂取と関連しており、特に海外旅行時の食の安全の重要性を示している。
続きを読む
「大規模言語モデルの基礎」という新刊が出版されました。最先端技術を網羅することを目指すのではなく、大規模言語モデルの中核となる概念を深く掘り下げています。事前学習、生成モデル、プロンプト技術、アライメント手法の4つの章で構成され、自然言語処理とその関連分野の大学生、専門家、実務者に向けた内容となっています。大規模言語モデルに関心のある全ての人にとって貴重な参考書となるでしょう。
続きを読む
Linuxが実行するコマンドをどのように見つけるのか疑問に思ったことはありませんか？答えは、カーネルではなくシェルに依存していることです！この記事では、PATH環境変数のメカニズムを深く掘り下げ、dashのようなシェルが`padvance`関数を使用してPATH内で実行可能ファイルを探し、カーネルの`execve`システムコールが実際には完全なパスを受け取る方法を明らかにします。Python、Go、Rustなどのプログラミング言語も、サブプロセスライブラリに独自のPATH検索を実装しており、最終的には`execvp`などの基底関数に依存しています。この記事では、shebangが絶対パスを必要とする理由と、`/usr/bin/env`の巧妙な役割についても説明します。
続きを読む
マイクロソフトは、DeepSeek R1モデルがAzure AI FoundryとGitHubで利用可能になったことを発表しました。1800を超えるモデルの多様なポートフォリオに加わるDeepSeek R1は、企業が高度なAIをシームレスに統合できるようにする、強力で費用対効果の高いAIソリューションを提供します。厳格なセキュリティテストを実施し、組み込みのコンテンツ安全性フィルタリングを備えたDeepSeek R1は、AIを安全かつ確実に展開するための安全で信頼できる環境を提供します。Azure AI Foundryを使用すると、開発者は、組み込みのモデル評価ツールを使用して効率性を高めながら、AIを迅速に実験、反復、およびワークフローに統合できます。
続きを読む
このプロジェクトは、入手しやすいハードウェアとオープンソースソフトウェアを使用して、低コストの音響カメラを構築する方法を詳述しています。著者は、miniDSP UMA-16マイクロホンアレイとカスタムPythonスクリプトを使用して、同期された16チャンネルのオーディオとビデオをキャプチャします。Acoularライブラリを使用してビームフォーミングを行い、音圧レベルを視覚化し、結果をビデオストリームとマージします。投稿にはコード例と、ReSpeaker 4マイクロホンアレイとGCC-PHATアルゴリズムを使用した以前の試みとの比較が含まれており、驚くほど効果的で手頃な価格の音源特定アプローチを実証しています。
続きを読む
WebKitは、従来のWebプッシュにおける消費電力とプライバシーの問題に対処するために、宣言型Webプッシュを導入しました。従来のWebプッシュはサービスワーカーに依存しているため、インテリジェントトラッキング防止（ITP）の影響を受けやすく、処理の失敗によりサブスクリプションが取り消される可能性があります。宣言型Webプッシュは、サービスワーカーなしで通知の送信と表示を可能にし、プッシュメッセージに通知内容を直接埋め込むことで、効率性とプライバシーを向上させます。既存のWebプッシュとの後方互換性も維持しています。
続きを読む
この記事では、インタラクティブなデモを使用して、RubyのLazy Enumeratorである`Enumerator::Lazy`を説明します。デフォルトのeagerな列挙とは異なり、lazyな列挙は必要な場合にのみ要素を計算するため、不要な処理を回避できます。これは、大規模なデータセットや複雑なデータ変換パイプラインを扱う際に特に役立ちます。「垂直」と「水平」のアナロジーを使用して、視覚的に違いを示し、Rubyのlazy実装を深く理解するためのリソースも提案しています。
続きを読む
この記事では、分散型ソーシャルプロトコルATProtoとそのアプリケーションであるBlueskyについて探ります。著者は自身の経験に基づいて、ATProtoは完全に分散型ではなく、パーソナルデータサーバー（PDS）を通じてデータの分散化を実現していることを説明しています。ATProto上で構築されたアプリケーションのほとんどは中央集権型ですが、PDSは、アプリケーションが停止した場合でも、ユーザーが自分のデータを所有し、制御することを保証します。Blueskyのメインストリーム化はATProtoの普及を促進しますが、その中央集権化の程度は依然として議論の的となっています。この記事では、アイデンティティの検証、より多くのPDSプロバイダーの必要性、そして中央集権的なPLCディレクトリに関する懸念についても論じています。欠点はあるものの、著者はATProtoがデータ所有権とオープン性において重要な進歩を表しており、さらなる可能性を秘めていると考えています。
続きを読む
Ergoは、Go言語で記述された最新のIRCサーバーで、セットアップと使用が簡単です。ircd、サービスフレームワーク、バウンサー（統合アカウント管理、履歴保管、バウンサー機能）の機能を組み合わせています。最新のIRCv3プロトコルをサポートしており、再ハッシュ可能なYAML設定により高度なカスタマイズが可能です。主な機能には、統合サービス（NickServ、ChanServ、HostServ）、ネイティブTLS/SSLサポート、SASL認証、LDAPサポート、高度なセキュリティとプライバシー機能が含まれています。
続きを読む
世界中で愛されている甘いマンゴーは、その起源に謎を隠しています。フロリダ国際大学の博士課程学生であるエミリー・ワーシェフスキー博士は、マンゴーの起源を解明するため、アジアを横断する科学的探求に乗り出しました。植物園や森林を訪れ、数多くのマンゴー属植物のサンプルを収集し、DNAシーケンスを用いて、様々なマンゴー種間の関係を研究しました。その研究は、東南アジアとインドのマンゴーに遺伝的な違いがあることを明らかにし、ヒマラヤ山脈に単一起源があるという従来の見解に異議を唱えるものです。複数の家畜化イベントや異なる種間の交雑など、いくつかのシナリオが提案されています。ワーシェフスキー博士の研究は、マンゴーの起源に関する理解を深めるだけでなく、マンゴーの育種と栽培についても新たな知見を提供しています。
続きを読む
開発者@ading2210は、PDFファイル内でLinuxシステムを実行するという驚くべき成果を達成しました。PDF内のJavaScriptエンジンとasm.jsでコンパイルされたTinyEMU RISC-Vエミュレータを利用することで、機能的なLinux環境が作成されます。出力はASCII文字で表示され、入力は仮想キーボードで管理されます。起動時間は遅いですが（30～60秒）、このプロジェクトはPDFフォーマットの驚くべき能力を示しています。コードはオープンソースで、32ビットと64ビットのシステムをサポートしています。
続きを読む