国家安全保障局（NSA）の元職員マーガレット・ニュースハムは、60ミニッツのクルーの招待で、イギリスのメンウィズヒル傍受基地に戻った。数年後、彼女は基地の拡大に驚愕し、撮影クルーと共に、逮捕のリスクを冒して施設に近づき、撮影とインタビューを行った。ニュースハムは基地での勤務経験と観察結果を語り、この秘密の傍受基地の巨大な規模と影響力を明らかにするスリリングな冒険となった。
続きを読む
この記事では、Rustプログラミング言語にリファインメント型を追加する実現可能性を探ります。単位の測定値をチェックするためにリファインメント型を使った静的アナライザーYAIOUOMの経験に基づき、Rustの型システム内でリファインメント型を実装するためのアプローチを検討します。トレイト解決の変更、型変数の統一、コンパイル後の型チェックのためのプラグ可能なキーワードメカニズムの導入など、いくつかの選択肢が提案されています。コンパイルの初期段階で単位情報を無視し、後でチェックするという楽観的なアプローチがより現実的と考えられています。API設計とエラーメッセージの処理についても議論されています。今後の作業には、フィードバックの収集、プラグインをサポートするrustcドライバの作成、FluxやLiquid Haskellのサブセットなどを含むいくつかのリファインメント型の実装が含まれます。
続きを読む
エドガー・ダイクストラによるこのエッセイは、計算機科学の本質を探求しています。ダイクストラは、計算機科学は数学の高度に形式化された分野となるべきであり、事実の知識よりも方法論を重視することで、理論と実践のギャップを埋めるべきだと主張しています。彼は、現在の学術界における複雑性の追求と、結果として生じるシンプルで効果的な解決策の軽視を批判し、計算機科学者に対して、エレガントな解決策を追求し、その過程を楽しむよう呼びかけています。
続きを読む
オープンソースプロジェクトのメンテナは、AIによって生成された低品質のバグ報告に悩まされています。これらの報告は、多くの場合、貴重な時間とリソースを無駄にするものであり、現在のAIシステムはコードを理解できず、誤った報告や悪意のある報告を頻繁に生成するためです。Pythonソフトウェア財団のセス・ラーソン氏とCurlプロジェクトのダニエル・ステンバーグ氏は、この問題を強調し、ボランティアのメンテナへの負担と、真のバグを見落とすリスクを指摘しています。この問題の解決には、コミュニティ全体での取り組みが必要であり、資金調達を改善し、効率性を高め、AI生成のジャンクレポートを特定して処理するためのより優れたフィルタリングメカニズムを開発することが必要です。
続きを読む
研究者たちは、最先端の囲碁AIであるKataGoに対して敵対的ポリシーを訓練することで、97％を超える勝率を達成しました。これらの敵対者は、囲碁をうまくプレイすることではなく、KataGoに重大なミスを犯させることで勝利しました。この攻撃は、他の超人的な囲碁AIにもゼロショットで転移し、人間のエキスパートがアルゴリズムの助けなしに再現できるほどシンプルでした。この脆弱性は、KataGoが敵対的に訓練されて防御された後も存続し、超人的なAIシステムでさえ驚くべき失敗モードを持つことを示しています。
続きを読む
2008年のチリ、チャイテン火山の噴火後、科学者たちは遠隔操作無人潜水機を用いて、古代の氷河と火山活動によって形成された海底渓谷を発見しました。この探査では、海底インフラや漁業への影響を含む、火山噴火が海洋環境に与える影響を調査しました。驚くべきことに、驚くほど保存状態の良い古代の氷河地形が発見され、この地域の地質史に関する貴重な知見が得られました。堆積物サンプルの分析により、地質イベントのタイムラインを再構築し、噴火が海洋生態系に与えた影響をより深く理解することができます。
続きを読む
JavaScriptのパフォーマンスベンチマークは、非常に難しいことで知られています。この記事では、その課題を強調しています。JITコンパイラの動的な最適化により、実行間で結果が大きく異なります。V8やJavaScriptCoreなどの異なるJavaScriptエンジンでは、パフォーマンスに大きな違いがあり、同じコードでも劇的に異なる動作を示します。また、タイミング攻撃を軽減するために、ブラウザは意図的に時間測定の精度を低下させているため、正確な測定が困難です。著者は、サーバーサイドではd8などのツールを使用して、最適化レベルとガベージコレクションをより細かく制御することを提案しています。一方、クライアントサイドのテストでは、開発者ツールによって提供される限られた情報に大きく依存します。要するに、JavaScriptのベンチマークでは、JITコンパイル、エンジン間の違い、時間測定の精度を慎重に考慮する必要があり、他の言語よりもはるかに複雑です。
続きを読む
この記事では、経験豊富なRustプログラマーでさえ遭遇する可能性のある、Rustの借用チェッカーの4つの驚くべき制限について掘り下げています。最初の制限は、借用チェッカーがmatchとreturn文を完全に考慮できないという点であり、HashMapを使用する際に冗長なチェックにつながります。2つ目の制限は非同期プログラミングに関連しており、Rustは現在、特定の非同期コールバックの型シグネチャを表現できません。3つ目は、FnMutクロージャがキャプチャされた変数の再借用を許可しないという点であり、非同期操作における可変状態へのアクセスを制限します。最後に、Sendチェッカーの制御フロー認識の欠如により、Sendであるべき一部のFutureが誤って非Sendとしてフラグ付けされます。著者は、具体的なコード例と回避策を用いてこれらの制限とその課題を示し、開発者の生産性を向上させるためにRustの型システムの改善を提唱しています。
続きを読む
なぜ人間は他の霊長類とは全く異なる形のお尻をしているのでしょうか？この記事は、人間の尻の独特の形状の進化論的な理由を探っています。直立歩行により人間の骨盤の形、特に腸骨が短く湾曲する変化が起こり、大臀筋が発達し、走る、登るための強力な脚の伸展力を与えました。お尻の脂肪の蓄積は、エネルギー消費量の多い脳の必要性にも関連しています。しかし、直立歩行には欠点もあります。それは、より複雑な排便です。
続きを読む
Hoarderは、リンク、メモ、画像などを保存できる自己ホスト型のブックマーク管理アプリです。AIによる自動タグ付けと全文検索機能を搭載し、ollamaなどのローカルモデルにも対応しています。OCR、Chrome/Firefox拡張機能、iOS/Androidアプリ、RSSフィード対応、REST API、完全なページアーカイブなど、多くの機能を備えています。複数のプラットフォームで情報を管理・検索したいユーザーのために設計されており、現在開発中ですが、デモ版が利用可能です。
続きを読む
MITの物理学者らが、初めて固体中の電子の量子幾何学を測定することに成功しました。角度分解光電子分光法（ARPES）を用いて、長年解決されてこなかった量子波動関数の幾何形状を直接測定するという課題を克服しました。この画期的な成果は、材料の量子特性の理解と操作に新たな道を拓き、量子コンピューティングや高度な電子機器への応用が期待されます。研究チームは、COVID-19パンデミックによる課題を克服し、国際的な協力と革新的な実験設計によって成功を収めました。
続きを読む
ブロガーのWouter Groeneveld氏は、自身のブログBrain Bakingでリンク切れ調査を行いました。453件の投稿にある3179個の外部リンクをチェックした結果、約7%が壊れていることが判明しました。404エラーと403エラーが最も多く、壊れたリンクの大部分は個人ブログからのものであり、次に企業サイト、その他の資源が続きます。この調査結果は、個人ウェブサイトのリンクの不安定性と、学術論文における高いリンク切れ率を浮き彫りにしています。Wouter氏は、ウェブサイト制作者はパーマリンクを使用し、リンクを貼る際には注意深く対象を選択し、外部リソースをローカルに保存することを検討すべきだと推奨しています。
続きを読む
インテルの前CEO、パット・ゲルシンガー氏と現CFO兼暫定共同CEOのデイビッド・ジンスナー氏は、インテルのファウンドリ部門の財務業績について株主を誤解させたとして、株主代表訴訟に直面している。訴訟は、彼らが受託者責任と契約上の義務に違反したと主張し、すべての利益、恩恵、および報酬の返還を求めている。これは、ゲルシンガー氏の立て直し計画の失敗とインテルの過去最高の四半期損失に続き、ファウンドリ事業が主要な損失源として特定されている。訴訟は、インテルが株主の信頼を取り戻し、企業イメージを再構築する上で直面する課題を浮き彫りにしている。
続きを読む
文字通り「神様の糸」を意味するス・フィリンデウは、おそらく世界で最も珍しいパスタです。サルデーニャ島に住む3人の女性によって年に2回だけ作られるこの複雑なパスタは、サン・フランチェスコの半期祭に参加するために、信者たちが20マイルの巡礼をする必要があります。セモリナ、水、塩というシンプルな材料で作られるこのパスタの驚くほど複雑な製法は、バリラ社のエンジニアや有名シェフのジェイミー・オリバーでさえも困惑させてきました。羊のスープとペコリーノチーズと一緒に供される、繊細な糸状のパスタは、単なる美食以上のもの。200年続く伝統と、サルデーニャ島の独特な文化的象徴なのです。
続きを読む
Npflaredは、CloudflareのWorker、D1、R2サービス上に構築された、無料でオープンソースのセルフホスト型プライベートnpmレジストリです。無料でホストできます。既存のnpmクライアントと完全に互換性があり、あなたとあなたのチームがプライベートnpmパッケージを安全に管理するための方法を提供します。簡単にフル機能のプライベートレジストリを利用し、開発ワークフローを改善しましょう。
続きを読む
国立暗号博物館は、超能力スパイから地球外生命体の探索まで、幅広いテーマを網羅したエキサイティングな新展示を公開しました。「プロジェクト・スターゲート」展では、冷戦時代の政府による超能力者の情報収集プログラムを明らかにし、エージェントであるジョー・マクモニーグルの作品も展示されています。「マインドマシン」展では、精神力が機械の出力に影響を与える様子を実演。そして「SETI」展では、電波信号を使ったコミュニケーションなど、地球外生命体の探索について探求します。新しい常設展示には、言語白板や、ベルリンの壁の象徴的な標識などがあります。12月中旬まで公開中です。
続きを読む
2024年12月27日から30日にかけて、第38回カオスコミュニケーションコングレス（38C3）がハンブルクで開催されます。カオスコンピュータクラブ（CCC）とボランティアによって開催されるこの年次4日間の会議は、テクノロジー、社会、ユートピアの交差点を探求します。情報技術を含む様々なトピックに関する講演、ワークショップ、様々なイベントが開催され、テクノロジーの社会への影響に対する批判的で創造的なアプローチが促進されます。ボランティア活動、イベントの開催、プロジェクトの発表など、あらゆる形態の参加が奨励されており、テクノロジーの未来を共同で探求する場となっています。
続きを読む
2人の物理学者が、宇宙の歴史におけるあらゆる既知の天体を、質量とサイズでプロットした図表を作成しました。この図表は、すべての天体が、重力限界とコンプトン限界によって境界が定められた三角形の中に存在することを示しています。ブラックホールは重力限界上にあり、素粒子はコンプトン限界上にあります。興味深いことに、宇宙そのものも重力限界上に位置しており、私たちの宇宙はブラックホールであるかという疑問を提起しています。この図表は、ビッグバン後の素粒子の形成から星や銀河の出現まで、宇宙の進化も示しており、暗黒物質などの未知の領域の探求へと導きます。
続きを読む
この記事では、Z3 Pythonライブラリで __bool__ 関数をオーバーロードすることにより、Python コードのシンボリック実行を行うための巧妙な手法を紹介しています。著者は Z3 の機能を活用して、Python の条件文を Z3 式に変換し、パス探索と結果分析を可能にしています。このアプローチは複雑な AST 巡回を回避し、Python コード内で直接使用できるため、シンボリック実行を簡素化します。
続きを読む
数学者のジョン・カルロス・ベイズがMathstodonに投稿したところによると、円周率πには「邪悪な双子」が存在するとのことです。彼はその数を「c」と呼んでいます。この興味深い発言は、数学愛好家の好奇心を刺激し、謎めいた「c」の性質や意味について様々な憶測を呼び起こしています。投稿自体には詳細な説明がなく、解釈の余地を残しており、数学の謎への更なる探求を促しています。
続きを読む
Nautilus誌は、ショーン・キャロルという同じ名前の二人の科学者、一人は進化生物学者、もう一人は物理学者を、魅力的な会話のために集めました。それぞれの専門分野から、彼らは生命の起源、地球外生命、科学と宗教の緊張関係、地球の運命、そして科学への子供時代の情熱といった深い疑問に取り組みました。彼らの議論は厳格な科学的推論とユーモラスな逸話を組み合わせ、最終的に宇宙の謎と人類の未来への楽観的な見解で締めくくられました。
続きを読む
Sipeedは、WiFi 6とPoEのオプションサポートを備えた低価格なKVM over IPソリューションであるNanoKVM-PCIeを発表しました。SOPHGO SG2002 SoCをベースとし、イーサネット、USB-C、HDMIなど複数のインターフェースを備え、1080p60ビデオ出力をサポートしています。このデバイスは、UEFI/BIOS制御、エミュレートされたUSBキーボード/マウス、IPMIなどをサポートしており、Webフロントエンドによる管理が可能です。NanoKVM-PCIeはPCIeスロットまたはUSB-Cで給電でき、価格は55～70ドルです。
続きを読む
AuthorTrailは、開発者がGitリポジトリでこれまで触れたすべてのファイルをトラッキングするのに役立つ新しいGitHubプロジェクトです。作者のメールアドレスによる検索、階層的なファイルツリーの視覚化、組み込みのコードビューア、デフォルトエディタでの迅速なファイルオープンといった機能を備えています。React、TypeScript、Tailwind CSSを使用して構築されており、ダークモードにも対応しています。リポジトリをクローンし、依存関係をインストールして実行するだけで、あなたの貢献を追跡できます。
続きを読む
Sakana AIはMITなどとの共同研究で、視覚言語基盤モデルを用いて人工生命の発見を自動化するアルゴリズムASALを開発しました。ASALは、特定の目標行動を持つシミュレーションの発見、永続的に新規性を生み出すシミュレーションの発見、そして可能なすべてのシミュレーションの解明という3つの探索問題に取り組みます。Lenia、Boids、Particle Lifeなど、複数のシミュレーション環境で成功を収め、従来のコンウェイのライフゲームを凌駕する開放性を持つ、新規な人工生命体やセルオートマトンルールを発見しました。この画期的な成果は、手動によるシミュレーション設計の限界を克服することで、人工生命研究を活性化し、開放性や自己組織化の原則を統合した将来のAI開発に新たな知見を提供します。
続きを読む
この記事では、実行中のプログラムの低レベルなメカニズムを深く掘り下げています。NESのゲームカートリッジのアナロジーを用いて、現代のオペレーティングシステムがどのようにプログラムの実行を仮想化するかを説明しています。仮想アドレス空間、実行スレッド、実行可能イメージ、ローダー、モジュール、プロセスの重要な概念が詳細に説明されています。この記事では、ページテーブルを介した仮想アドレス空間が仮想アドレスを物理アドレスにマッピングする方法を説明し、複数のプログラムが物理メモリを干渉することなく共有できるようにしています。また、スレッドのスケジューリング、実行可能イメージフォーマット（PEとELF）、ローダーの役割、モジュールの動的ロード/アンロードについても説明しています。最後に、スレッド、モジュール、仮想アドレス空間を統合した実行中のプログラムのインスタンスであるプロセスの概念を要約しています。
続きを読む
この記事では、大規模言語モデル（LLM）が計算に使われる理由を探っています。LLMは自然言語処理に優れていますが、研究者たちは簡単な足し算から複雑な定理の証明まで、LLMに数学演算を実行させようとしています。これは電卓を置き換えるためではなく、LLMの推論能力を探り、最終的に人工汎用知能（AGI）を実現するためです。この記事は、人間が常に新しい技術を計算に使おうとしてきたこと、そしてLLMの数学能力テストがその推論能力をテストする手段であることを指摘しています。しかし、LLMが計算を行うプロセスは電卓とは大きく異なり、前者は膨大な知識ベースと確率モデルに依存する一方、後者は決定論的アルゴリズムに基づいています。そのため、LLMの計算結果は常に正確で信頼できるわけではなく、実用性と研究のバランスが示されています。
続きを読む
Ryeは、スプレッドシートをファーストクラスの市民として扱う新しいプログラミング言語であり、人間の思考方法により近く適合しています。この記事では、Ryeによるスプレッドシートの作成、読み込み、操作方法を示し、CSV、SQL、Excelファイルからのデータインポートをサポートしています。データ操作のための豊富な関数を備えており、フィルタリング、ソート、選択などが含まれます。スプレッドシートを基本的なデータ構造として使用することで、Ryeはデータ操作を簡素化し、より直感的なプログラミング体験を提供します。特に表形式のデータ処理において、簡潔で効率的なコードを実現し、他の言語を凌駕します。
続きを読む
大規模言語モデル（LLM）の推論において、NVIDIA GPUは長らく優位性を保ってきました。しかし、MLC-LLMプロジェクトは機械学習コンパイル技術を用いることで、LLMをAMD GPU上に展開することに成功し、目覚ましい成果を上げています。ROCmとVulkan技術により、AMD Radeon RX 7900 XTXは、Llama2-7B/13Bモデルの推論速度において、NVIDIA RTX 4090の80%、RTX 3090 Tiの94%に達しています。これはAMD GPUの競争力を大幅に向上させ、Steam Deck搭載のAMD APUなど、LLM展開の選択肢を広げます。MLC-LLMは今後、バッチ処理、マルチGPU対応、高度な量子化、モデルアーキテクチャの拡張など、さらなる最適化を進め、NVIDIAとの性能差を縮小し、AIの計算リソース不足問題の解決に貢献します。
続きを読む
著者は、低金利住宅ローンの早期返済によってPMI（民間住宅ローン保険）を解消することで、10.66％の保証されたリターンを得ました。この記事では、低金利住宅ローンの早期返済と投資のトレードオフを分析し、低金利は控えめなリターンしか提供しない一方で、PMIのコストは無視できないことを強調しています。著者は、PMIを解消することで10.66％という効果的なリターンを計算し、これはほとんどの投資リターンを上回っています。読者には、住宅ローンの早期返済の価値を評価するために、独自の計算を行うことが推奨されています。
続きを読む
がん治療ガイドラインは、しばしば使いにくいPDF形式で提供され、ケアの標準化を妨げています。著者は、ガイドラインは本質的に複雑な意思決定ツリーであり、それを機械可読な構造化データに変換することで、がん治療を大幅に改善できると主張しています。LLMを使用してNCCN乳がんガイドラインのPDFから情報を抽出し、視覚的な意思決定ツリーと、患者の情報に基づいてツリーをナビゲートし治療を提案するエージェントを作成するプロトタイプツールが開発されました。初期段階ではありますが、これは、医療における効率性と標準化を向上させるためのガイドラインの構造化の可能性を示しています。
続きを読む