この記事では、大規模言語モデル（LLM）が計算に使われる理由を探っています。LLMは自然言語処理に優れていますが、研究者たちは簡単な足し算から複雑な定理の証明まで、LLMに数学演算を実行させようとしています。これは電卓を置き換えるためではなく、LLMの推論能力を探り、最終的に人工汎用知能（AGI）を実現するためです。この記事は、人間が常に新しい技術を計算に使おうとしてきたこと、そしてLLMの数学能力テストがその推論能力をテストする手段であることを指摘しています。しかし、LLMが計算を行うプロセスは電卓とは大きく異なり、前者は膨大な知識ベースと確率モデルに依存する一方、後者は決定論的アルゴリズムに基づいています。そのため、LLMの計算結果は常に正確で信頼できるわけではなく、実用性と研究のバランスが示されています。
続きを読む
1970年代、ソ連海軍の台頭はアメリカにとって大きな脅威となりました。強力な新型ソ連軍艦に対抗するため、極秘のスパイ衛星計画Parcaeが開始されました。アメリカ海軍研究所によって開発されたParcaeは、ソ連艦船の位置情報をリアルタイムで提供し、信号傍受から情報報告までの時間を数分間に大幅に短縮しました。このほぼ瞬時の情報は、軍事上の意思決定に不可欠でした。複数の衛星が連携し、大量のデータを処理するための高度なコンピューターシステムを用いることで、Parcaeは冷戦中の戦略的均衡維持に貢献しました。その技術は、現代の衛星信号情報システムにも影響を与えています。
続きを読む
Dr.TVAMは、Mitsubaレンダラーをベースとした、断層撮影ボリューム積層造形(TVAM)のための逆レンダリングフレームワークです。物理ベースの微分レンダリングを利用してTVAMのパターンを最適化し、散乱印刷媒体、任意のバイアル形状、プロジェクターの動きをサポートしています。目標形状の改良された離散化スキームも含まれています。コマンドラインツールと包括的なドキュメントが提供され、容易なカスタマイズと最適化が可能です。
続きを読む
Postgresのための言語ツールとLanguage Server Protocol（LSP）実装の集合で、開発者体験と信頼性の高いSQLツールを重視しています。Postgres独自のパーサー（libpg_query）をベースに構築されており、100％の構文互換性を確保しています。サーバー・クライアントアーキテクチャとトランスポート非依存の設計を採用しており、LSP、CLI、HTTP API、またはWebAssemblyを介してアクセスできます。現在、自動補完、構文の強調表示、型チェック（EXPLAIN経由）、Squawkにインスパイアされたリンターなどの機能を備えており、これらのコア機能の改良と堅牢なインフラストラクチャの構築に重点を置いています。貢献は大歓迎です！
続きを読む
S&P 500指数に含まれる54社のハイテク・金融企業の300万人以上の従業員を追跡調査した結果、オフィス復帰命令（RTO）によって企業が優秀な人材を失い、代替要員を見つけるのに苦労していることが明らかになりました。調査によると、RTOポリシーの実施後、従業員の離職率は平均14％増加し、経験豊富で熟練した従業員ほど離職する傾向が高いことがわかりました。女性の離職率は男性の約3倍でした。さらに、RTO命令は採用期間を延長し、コストを増加させました。VPN追跡や入退室記録の監視など、監視テクニックを用いてRTOポリシーを強制しようとする企業の試みは、従業員の不満を増大させ、人材流出をさらに加速させました。この調査は、RTO命令が不信任感と非効率的な経営文化を反映しており、従業員のエンゲージメント低下につながっていることを示唆しています。
続きを読む
Johnny.Decimalは、物事を迅速、自信を持って、ストレス少なく見つけるためのシステムです。すべてにユニークなIDを割り当て、あなたの生活のすべてのアイテムをリンクする構造化されたインデックスを作成することで機能します。10段の棚のあるガレージを想像してください。各棚は人生の領域（家、仕事など）、各棚は10個の分類された箱があり、各箱には番号付きのファイルが入っています。この数値階層は、従来のファイルシステムの混乱を回避し、何でも迅速かつ効率的に見つけることを可能にします。
続きを読む
62歳で定年退職後、著者の父は勇敢にも起業し、困難な子供時代から来る長年の自己制限を打ち破りました。彼はリスクへの生来の恐怖を克服し、小さな事業から繁盛する小さな店へと成長させました。これは単なる起業家精神の話ではなく、人生のどの年齢でも夢を追求する力の証であり、目標を達成するには遅すぎることはないというインスピレーションの灯台です。
続きを読む
CodeCraftersは、驚くほど速い面接プロセスを誇り、1～2日で全ステップが完了します。内容は、15～30分の導入Zoom面談で互いのことを知ること、好きな言語で問題解決とコード構造に焦点を当てた、Zoom上で2～3時間行われるCodeCraftersチャレンジ（事前に練習してもOK）、そして、職歴やスケジュールを詳細に話し合う30～60分の最終Zoom面談です。
続きを読む
3年間、確認された発見がないことを受けて、ワシントン州農業省(WSDA)とアメリカ合衆国農務省(USDA)は、ワシントン州およびアメリカ合衆国からオオスズメバチ(Vespa mandarinia)の根絶を発表しました。この成功は、州および連邦政府機関、地域住民、そして目撃情報の報告において重要な役割を果たした一般市民を含む、複数年にわたる共同努力によるものです。オオスズメバチは、ミツバチ、その他の送粉者、そして農業にとって大きな脅威であり、その根絶はアメリカの生態系と農業産業を守ります。根絶されたとはいえ、再侵入を防ぐために警戒を続けています。
続きを読む
著者は不安な症状を経験し、医師の診察を受けたにもかかわらず症状が悪化した。ChatGPTを使って症状と検査結果を分析したところ、AIは血小板数が危険なほど低いことを特定し、緊急の医療処置を促した。最初はためらったものの、著者はChatGPTの助言に従い、救急病院に向かった。検査の結果、血小板数がゼロであることが判明した。医師たちは、ChatGPTのおかげで迅速な対応が可能になり、重篤な結果を回避できたと評価している。この記事では、医療におけるAIの役割を探り、患者と医師をつなぐ架け橋としてのAIの可能性を強調している。
続きを読む
ニコンは三菱ふそうトラック・バスと共同で、広角と望遠の画像を同時に撮影できる革新的な光学レンズを搭載した車載カメラシステムを開発しました。これにより、360度サラウンドビューを実現するために複数のカメラが不要になり、システムコストと故障率を削減できます。AIによる画像認識は道路情報を収集し、安全性を向上させ、高度運転支援システムや自動運転技術への統合を可能にします。当初はトラックやバス向けですが、ニコンは様々な分野への技術展開を目指しています。
続きを読む
研究者らは、ドメインネームシステム（DNS）の検証のための最初の決定手順を示し、その複雑さを2ExpTimeであると確立しました。この研究は、DNSのセマンティクスを形式化し、正のプレフィックステスト可能な言語に基づいた新しい抽象化を用いて、DNS検証問題をプッシュダウンシステムの検証問題に帰着させます。このアプローチは、増幅攻撃や書き換えブラックホール攻撃などのDNSにおける攻撃ベクトルを効果的にモデル化し、DNSのセキュリティと信頼性を確保するための新しい理論的基礎を提供します。
続きを読む
約2年間の開発を経て、XFCE 4.20が正式リリースされました！このバージョンはWaylandサポートの準備に重点を置いており、現在、ほとんどのコンポーネントで実験的なWaylandサポートを提供しています。ただし、まだ初期段階であるため、上級ユーザー向けです。XFCE 4.20には、他にも多くの新機能、バグ修正、および改善が含まれています。具体的には、アイコンのスケーリングの改善、パフォーマンスが向上したアイコンビュー、アップグレードされたThunarファイルマネージャーなどです。重要なのは、Waylandサポートはまだ不完全であり、一部のコンポーネントと機能はまだ移植されていないということです。
続きを読む
従来の無線波は岩盤を貫通するのが難しく、鉱山や洞窟での通信は困難です。この記事では、岩盤層を伝播する超低周波（300～3000Hz）信号を利用する地中通信（TTE）について解説します。携帯型磁気ループ式洞窟無線、個人用緊急装置（PED）、革新的な「マイナーライフライン」技術など、さまざまなTTEシステムが紹介され、鉱山救助や洞窟探検における重要な役割が強調されています。火災や爆発などの災害後も通信を維持できる点が重要です。
続きを読む
オーストラリア情報委員事務所（OAIC）はMetaと合意に達し、ケンブリッジ・アナリティカ事件の影響を受けたオーストラリアのFacebookユーザーのために5000万豪ドルの支払プログラムを実施することになりました。この事件は、個人情報が「This is Your Digital Life」アプリに不正に開示され、政治プロファイリングのリスクがあったことを含みます。支払いプログラムは、一般的な懸念や恥ずかしさを感じているユーザーには基本的な支払い、具体的な損失や損害を証明できるユーザーにはより高い支払いを行います。申請は2025年第2四半期に開始される予定です。
続きを読む
連邦通信委員会（FCC）は、スマートデバイスのサイバーセキュリティラベリングプログラムの一環として、提案されている「米国サイバー信頼マーク」ロゴの登録を求めています。このプログラムは、消費者がより高いセキュリティ基準を満たすスマートデバイスを特定するのに役立つことを目的としています。FCCはロゴのデザインを公開し、一般からの意見を求めています。ロゴの使用には、FCCからの明示的な書面による同意が必要です。
続きを読む
OpenAIはChatGPTアプリをアップデートし、Safariの拡張機能を追加しました。これにより、ユーザーはChatGPT検索をSafariのデフォルト検索エンジンに設定できるようになりました。アプリをアップデートした後、Safariの設定で拡張機能を有効にすると、Safariの検索バーに入力されたすべての検索クエリが、Googleや現在のデフォルト検索エンジンではなく、ChatGPT検索にリダイレクトされます。ChatGPTを直接優先検索エンジンとして設定するオプションはありませんが、この拡張機能は回避策として機能します。
続きを読む
Rustの人気は、コンパイル時にメモリと並行性のエラーを排除できることに由来しますが、その`unsafe`コードブロックはこれらのチェックを回避する可能性があります。この記事では、CまたはC++ライブラリから呼び出されるコードを含む、安全ではないRustコードを検証するためのツールを探ります。実行時エラー検出ツールであるサニタイザと、未定義の動作を決定的に検出するインタープリターであるMiriを紹介します。サニタイザは、範囲外のメモリへのアクセス、データ競合などを検出し、Miriはコードスニペットを使用してより正確なエラーレポートを提供します。ただし、Miriは現在、C/C++からFFIを介して呼び出されるコードをサポートしていないため、そのような場合はC/C++コンパイラのサニタイザを使用する必要があります。これらのツールは、`unsafe`コードを処理する場合やC/C++ライブラリと対話する場合でも、Rustコードの安全性和信頼性を向上させます。
続きを読む
著者が母親に驚くほど似たペルーの先住民女性と偶然出会ったことが、進化心理学への旅の始まりとなりました。これは、東アジア人とアメリカ先住民の類似点、そして共通のシベリア起源についての調査につながりました。学界におけるイデオロギー的な検閲や資金調達の課題を克服し、彼は独立して研究を行い、極端な気候が人間の心理に与える影響に関する論文を発表しました。彼の研究は、東アジアと熱帯地域の社会が長年抱える社会文化的諸問題の解決策を約束しています。
続きを読む
Ecosiaの創設者であるクリスチャン・クロールは、同社をスチュワードシップ型企業へと転換することで、環境保護へのコミットメントを強化しました。この法的拘束力のある構造は、利益目的での株式売却と利益の取り出しを禁止しています。焦点は、株主へのリターンではなく、植樹数の最大化に明確に置かれており、従来のビジネスモデルに挑戦し、他の企業に目的を利益よりも優先させるよう促しています。
続きを読む
セキュリティ研究者らが、Parrot Anafiドローンとそのコントローラー間のWi-Fi通信プロトコルをリバースエンジニアリングによって解析しました。ARPスプーフィングを用いて、離陸と着陸シーケンスに関連するパケットを傍受し、重要なペイロード構造を特定しました。簡単なPythonスクリプトを作成することで、公式コントローラーを使用せずに、ドローンの離陸と着陸をリモートで制御できることを実証しました。この研究は、攻撃者がドローンの動作を妨害し、離陸や着陸を阻止できる可能性のある脆弱性を明らかにしました。
続きを読む
本論文は、特に大規模言語モデル（LLM）におけるAIの知性の性質を探求しています。LLMの見かけの知性は、独立した推論によるものではなく、ユーザーとのインタラクションから生じると主張しています。ソクラテスの問答法、賢いハンス効果、そしてLLMの反復的なプロンプトとの類似点を引き出すことで、著者は知性が、孤立した認知ではなく、協調から生じる関係的な現象であることを示しています。LLMは、トレーニングデータ内の確率的関係に基づいて応答を生成し、ユーザーのプロンプトに賢いハンスがハンドラーの手がかりに応答したように応答します。したがって、AIの価値は、その固有の「知識」ではなく、洞察力のある質問を促進し、協調的な探求を促進する能力にあり、最終的には人間の創造性と問題解決能力を高めます。
続きを読む
この記事では、著者がFactorioのベルトバランサーの設計を自動化する旅について詳述しています。これは非常に複雑な問題として知られています。混合整数計画法(MIP)と制約充足問題ソルバー(CP-SAT)を用いて、著者はこの課題に取り組みました。MIPモデルは、大規模なバランサーでは数値不安定性の問題に苦戦しましたが、CP-SATアプローチは、フローの離散化、Banesネットワークの導入、メモリ最適化を組み合わせることで、手作業では事実上不可能な16x16バランサーの設計を成功裏に解決しました。このプロセスは、効率的なソリューションを得るためのモデリング手法、アルゴリズムの選択、最適化戦略の重要な役割を浮き彫りにしています。
続きを読む
新しいMacBook ProへのGDCコンパイラの移植に成功した後、著者はGCCスイートに残りのAdaとGoコンパイラに取り組みました。macOSではGccgoはまだ成熟していないため、GNAT Adaに焦点を当てました。事前にコンパイルされたパッケージがないため、仮想マシンとAlireツールを使用してx86_64バージョンのGNATコンパイラを取得しました。2段階のコンパイルプロセスにより、ネイティブのmacOS/aarch64 GNATコンパイラが作成され、最終的にGDCと統合されて単一のGCCスイートになりました。結果として得られたtarballは、誰でも使用できるようになり、将来の手動移植の必要性がなくなりました。
続きを読む
ジェーンストリートのクオンツトレーダーであるIn Young Choは、医学部進学を目指していたことから量的取引への非伝統的なキャリアパスを共有します。彼女はジェーンストリートでのインターンシップと仕事の経験を語っており、OCamlやVBAなどのプログラミング言語を取引と開発に使用したこと、そしてブローカーとのやり取りに関するユーモラスな逸話を含みます。このエピソードでは、ジェーンストリートの取引調査を深く掘り下げ、単純な線形モデルから複雑な深層ニューラルネットワークまで、頻繁な体制変更の影響を受ける低データ、高ノイズの環境で機械学習をどのように活用しているかを説明します。In Young Choは、彼女の研究プロセスの4つの段階、つまり探索、データ収集、モデリング、プロダクション化を詳細に説明し、柔軟な研究ツールと堅牢な生産システムのバランスについて議論します。最後に、彼女は、より多くの資産クラスとデータモダリティへの拡大、トレーダーの効率向上のためのAIの活用など、ジェーンストリートの機械学習研究の将来の方向性について展望を示します。
続きを読む
GitHubで、驚異的な56バイトというサイズのアセンブリ言語で書かれたスネークゲームが公開されました。この最小限のゲームは、DOS環境下だけでなく、BIOS、ブートローダー、オペレーティングシステムなしでも動作します。開発者はコードをこれほど小さなサイズに圧縮し、オンラインデモと自己ホスティング版の両方を提供しています。このプロジェクトは、コードの最小化とゲーム開発に関する議論を巻き起こしており、同様のプロジェクトとの比較では、コードサイズの点で大きな優位性を示しています。
続きを読む
この記事では、現代的なUIアーキテクチャにおけるデザイントークンの役割を探ります。デザイン上の決定事項をデータとして表現することで、デザイントークンは唯一の真実のソースとして機能し、複数のプラットフォームにわたる自動コード生成を可能にし、迅速な更新とデザインの一貫性の向上を実現します。デザイントークンの階層構造（オプショントークン、決定トークン、コンポーネントトークン）、自動配布プロセス、適切なレイヤー数とトークンスコープの選択方法について詳細に説明します。最後に、デザイントークンの適切な使用状況と制約について議論し、読者が自身のプロジェクトに適しているかどうかを判断するのに役立つ情報を提供します。
続きを読む
この記事では、「聖職者たち」すなわち医療界のような専門家コミュニティのダイナミクスとその課題を探ります。著者は、これらのグループは知的な権威を求める中で、しばしば大衆から孤立し、内部的な知識のバブルを作り出していると主張します。この孤立は、深い議論とコンセンサス形成を促進する一方で、内部的なバイアスや政治的またはその他の影響を受けやすくなる可能性もあります。医学や建築を例に、これらのグループの機能、資本主義的な圧力への脆弱性、そして近年政治イデオロギーに容易に取り込まれるようになった経緯を分析しています。著者は最終的に、これらの専門家コミュニティの低下する信用性への対応策として、既存のシステムを修正するか、あるいは知識伝達の代替モデルを探求するべきかという疑問を投げかけています。
続きを読む
リストラされてから1年が経ち、著者はその経験を振り返る。記事では、リストラ前の兆候を詳しく説明している。チームイベントの中止、予期せぬ荷物の通知、リーダーシップのビジョンの欠如、曖昧で強制的な会議、四半期ごとの業績発表のタイミングなどだ。著者は、高いパフォーマンスであっても、リストラ時には個人の貢献は無視され、従業員は単なるエクセルの表の一行にすぎないことを強調する。現代の仕事の信頼関係の崩壊について熟考し、まだリストラされていない人々に対し、契約時間を守る、個人的な時間を守る、継続的に面接を受ける、外部のオファーを利用して給与を上げる、履歴書について考えすぎないことをアドバイスしている。最終的に、リストラは著者の仕事に対する見方を根本的に変え、幻滅感を与えた。
続きを読む
現代の忙しい生活の中で、親しい友人との関係を維持することは困難になりつつあります。この記事では、親しい友人たちの近くに引っ越すという増加傾向を探っています。複数の個人や家族へのインタビューを通して、共有資源、手軽な交流、相互の育児支援など、近接性の利点を強調しています。これらの「ミニ・ネイバーフッド」は、強い絆を育み、孤独感を解消し、子供たちを育てるための豊かな環境を作り出し、現代生活の孤立した側面に対する説得力のある代替手段を提供しています。
続きを読む