ニコンは三菱ふそうトラック・バスと共同で、広角と望遠の画像を同時に撮影できる革新的な光学レンズを搭載した車載カメラシステムを開発しました。これにより、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年が経ち、著者はその経験を振り返る。記事では、リストラ前の兆候を詳しく説明している。チームイベントの中止、予期せぬ荷物の通知、リーダーシップのビジョンの欠如、曖昧で強制的な会議、四半期ごとの業績発表のタイミングなどだ。著者は、高いパフォーマンスであっても、リストラ時には個人の貢献は無視され、従業員は単なるエクセルの表の一行にすぎないことを強調する。現代の仕事の信頼関係の崩壊について熟考し、まだリストラされていない人々に対し、契約時間を守る、個人的な時間を守る、継続的に面接を受ける、外部のオファーを利用して給与を上げる、履歴書について考えすぎないことをアドバイスしている。最終的に、リストラは著者の仕事に対する見方を根本的に変え、幻滅感を与えた。
続きを読む
現代の忙しい生活の中で、親しい友人との関係を維持することは困難になりつつあります。この記事では、親しい友人たちの近くに引っ越すという増加傾向を探っています。複数の個人や家族へのインタビューを通して、共有資源、手軽な交流、相互の育児支援など、近接性の利点を強調しています。これらの「ミニ・ネイバーフッド」は、強い絆を育み、孤独感を解消し、子供たちを育てるための豊かな環境を作り出し、現代生活の孤立した側面に対する説得力のある代替手段を提供しています。
続きを読む
長年Elmに貢献してきた開発者が、Elmコアチームのリーダーシップスタイルとネイティブモジュールの制限的なポリシーを理由にコミュニティを離れた経緯を詳細に説明しています。著者は、独裁的な意思決定、透明性と公平性の欠如、コミュニティへの貢献の抑制などを指摘しています。コアチームの行動はオープンソースの精神に反しており、特に英語を母国語としない開発者やマイノリティグループに不公平な影響を与えていると主張しています。この記事は、オープンソースプロジェクトにおけるガバナンスと公平性に関する懸念を高めています。
続きを読む
Appleの新AI搭載通知サマリー機能が、その不正確さのために物議を醸している。例えば、子供の散らかった部屋に関するメッセージを、夫の不潔さとして誤解するなど。Appleは問題を認め、今後のアップデートで改善を計画している。一方、TikTokは差し迫った禁止令に直面し、その運命は不透明だ。Sonosはアプリの問題を受けてCEOを交代し、SamsungはGalaxy S25シリーズを発表しようとしている。OpenAIは、ChatGPTのプロアクティブなチャット機能を発表し、ユーザーはメッセージのスケジュールを設定できるようになった。
続きを読む
OpenAIの新しいAIエージェント、Operatorは、ユーザーに代わってウェブを閲覧し、私たちが知っているオープンインターネットの終焉を告げる可能性があります。Operatorのようなツールは、私たちの情報アクセス方法を変えます。GoogleやTripAdvisorなどの仲介者をバイパスして、直接AIにアクセスします。これは、これらのウェブサイトの広告収入モデルを脅かし、衰退につながる可能性があります。未来は、仲介者がAI企業にデータ販売する構造化データ層を含むかもしれません。これは、高品質なユーザーデータのソースと、オープンウェブ自体の将来に関する懸念を引き起こします。
続きを読む
CCxTrustは、Trusted Execution Environments（TEE）とTrusted Platform Modules（TPM）の長所を巧みに組み合わせ、協調的な信頼フレームワークを構築する、革新的なコンフィデンシャルコンピューティングプラットフォームです。CPU-TEEに埋め込まれたブラックボックス型のRoot of Trust（RoT）と、TPMの柔軟なホワイトボックス型のRoTを活用することで、CCxTrustは、機密データとモデルのエンドツーエンドの保護を実現し、単一のハードウェアRoTへの依存性の限界を克服します。このプラットフォームは、独立した測定のための信頼ルート（RTM）と、協調的なレポートのための信頼ルート（RTR）を実装しており、複合的なアテステーションプロトコルによってセキュリティと効率性がさらに向上しています。実験結果は、パフォーマンスにおいても著しい利点があることを示しています。
続きを読む
大人の「基礎的スキル」に関する国際的なテストで、中程度の複雑さの読解力と算数の問題に苦戦するアメリカ人が増えていることが明らかになった。アメリカの成人は、識字力と計算力においてOECD平均を下回り、2017年以降スコアが低下している。子供のテストスコアの低下との関連性はあるものの、単純な因果関係ではない。スコアが最も大きく低下したのは高齢者であり、問題は教育システムだけではないことを示唆している。テスト自体にも問題があり、純粋な推論力よりも複雑な文章の理解力を測っている可能性がある。記事では、教育によってこの格差を埋め、知識の蓄積と複雑な構文の理解を向上させることで、このようなテストに対応できるようになると主張している。
続きを読む
2025年2月14日、NLRBの代理総顧問ウィリアム・B・コーエンは、特定の競業避止契約とステイ・オア・ペイ契約を国家労働関係法（NLRA）違反とみなしていた覚書を取り消しました。これは、前総顧問ジェニファー・アブルッツォの立場を覆すものです。雇用主にとって好ましい結果ですが、この取り消しによってすべての法的リスクがなくなるわけではありません。既存のNLRB判例とALJの矛盾する決定が残っており、雇用主は州法を慎重に検討し、正当な事業上の利益を守るために制限条項を調整する必要があります。
続きを読む
ブロガーXe IasoのGitサーバー（gitea.xeserv.us）がAmazonのAIクローラーによる攻撃を受け、不安定になっています。robots.txtやnginxの設定で特定のユーザーエージェントをブロックしようとしたにも関わらず、IPアドレスとユーザーエージェントを偽装した攻撃が続いています。最終手段として、サーバーをVPNの背後に移動させ、将来の保護のためにプルーフオブワーク型の逆プロキシを開発中です。この投稿では、AmazonのAIクローラーによるリソース消費に対する不満と怒りを表明し、Amazonに攻撃の中止または解決策の交渉を促しています。
続きを読む
新しい研究によると、単調で刺激の少ない都市デザインは単なる目の毒ではなく、住民の健康に悪影響を与えていることが明らかになりました。この記事は、人間のニーズと20世紀の都市計画のミスマッチを強調し、うつ病、癌、糖尿病の増加につながっています。ウェアラブルテクノロジーを使用して環境への反応を測定する神経科学とニューロアーキテクチャの研究の進歩により、この関連性の具体的な証拠が得られています。先進的な都市は、今では幸福を経済戦略に組み込んでおり、建設業界はこれらの神経科学的知見を建物設計に組み込み始め、構造的およびエネルギー的な考慮事項と並んで人間の健康を優先しています。この変化は、より楽しく、魅力的な都市空間の未来を約束します。
続きを読む
エルゼビア発行の「人類進化ジャーナル」（JHE）の編集委員会全員が大量辞任し、学術界に衝撃を与えました。彼らの抗議は、エルゼビアが過去10年間に行った様々な変更、特に編集リソースの削減、編集プロセスへのAI導入（事前に通知なしで実施され、多くのエラーが発生）、高額な著者負担金などに焦点を当てています。これらは、ジャーナルの編集上の独立性と包括性を損なうものだと主張しています。これは2023年以降、科学ジャーナルで起こった20件目の大量辞任であり、科学出版業界におけるビジネスモデルの変化に伴う論争を浮き彫りにしています。
続きを読む
Common Lispコミュニティは過去2年間で目覚ましい成長を遂げ、数多くの新しいプロジェクト、ツール、ライブラリが登場しました。驚くべきことに、Hacker NewsウェブサイトがSBCL上で動作するようになりました！この記事では、SBCL、ABCL、CCLなどの実装のアップデート、Lemエディターの大幅な改良、新しいゲーム開発ツールやWebフレームワークなど、Common Lisp分野の最近の進歩をまとめています。さらに、ELSカンファレンスやLisp Irelandのミートアップなど、コミュニティ活動も盛んです。経験豊富な開発者も初心者も、この概要からCommon Lispエコシステムの活気と魅力を感じ取ることができるでしょう。
続きを読む