この論文は、リチャード・バードの著書『Thinking Functionally with Haskell』におけるエラトステネスの篩に関する誤った証明を修正します。バードは、循環的なリストベースの実装を示していますが、その証明のヒントは誤っています。著者らは、新しい補題を導入し、ベルトランの仮説の弱体化を利用することで、完全な正当性証明を提供します。このアルゴリズムと、デイビッド・ターナーの「完全関数型プログラミング」のビジョンとの関連性についても探求します。
続きを読む
The Body Matchは、あなたの体型に合ったモデルと繋がるパーソナルなオンラインファッションカタログです。自分の体型を見つけ、体型が似たモデルと一緒にショッピングできます。複数のファッションアプリを切り替える必要はもうありません。必要なものはすべてここにあります。
続きを読む
ソフトウェアアーキテクトの間では、コンウェイの法則の重要性についてコンセンサスがあります。それは、システムを設計する組織は、その組織のコミュニケーション構造をコピーした構造の設計を生み出すというものです。つまり、ソフトウェアアーキテクチャはしばしば開発チームの組織構造を反映します。これを無視すると、システムアーキテクチャと組織構造の間に矛盾が生じ、開発の複雑さが増します。この記事では、コンウェイの法則に対処するための3つの戦略、つまり無視、受容、そして逆コンウェイ操作（ソフトウェアアーキテクチャを導くために組織構造を変更する）を探求しています。著者は、ソフトウェア開発全体を通して、システムアーキテクチャと組織構造の進化を同期させる必要性を強調し、ドメイン駆動設計などの手法を用いることを提案しています。
続きを読む
Rust 1.86で、`Any`トレイトの長く続いていた問題、`dyn Any`のアップキャストが不可能だった問題がついに修正されました。つまり、開発者は`Any`トレイトのメソッド（`downcast_ref`など）を、`Any`を継承するトレイトで使用できるようになりました。この修正により、以前はハックが必要だった機能が標準的な方法で実現できるようになり、コードの可読性と保守性が向上します。長年、この問題の回避策に頼ってきたRust開発者にとって朗報です。
続きを読む
ペンシルバニア州立大学の研究者らが、人間の毛髪を模倣した革新的な3Dプリント脳波電極を開発しました。生体接着インクを使用することで、ゲルなしで頭皮に直接貼り付けることができます。軽量で柔軟性、伸縮性に優れ、髪をとかしたり帽子をかぶったりしてもずれにくく、信号品質の大幅な向上と長期モニタリングを実現します。従来の金電極と同等の性能を示し、24時間以上の連続使用でも信号劣化なく安定した接触を維持します。電極の再配置によるデータのばらつきを解消し、患者の快適性も向上させます。将来的にはワイヤレス化を目指しています。
続きを読む
Googleは、2025年5月30日より、着信SMTP接続におけるTriple Data Encryption Standard（3DES）のサポートを終了することを発表しました。この日付以降、3DESを使用するメールシステムはGmailアカウントにメールを送信できなくなります。この変更は、古い暗号化方法に関連する脆弱性を軽減することでセキュリティを向上させるものです。すべての送信システムは、最新の安全なTLS暗号を使用するように設定する必要があります。詳細はGmailヘルプセンターをご覧ください。
続きを読む
複雑な開発環境の問題を回避するため、著者は仮想マシンによる開発環境に移行しました。macOS上でVMware Fusion Proを使用してUbuntu 24.04を実行し、すべての開発ツールと拡張機能を仮想マシン内に配置することで、安全で隔離されたワークスペースを実現しています。クリップボードのシームレスな共有など、一部の利便性は失われますが、全体的なエクスペリエンスはスムーズで、ホストマシンのパフォーマンスへの影響は最小限です。著者は、このアプローチが長期的な安定性とセキュリティのメリットをもたらし、小さな不便さを上回ると考えています。
続きを読む
連邦取引委員会（FTC）は、イリノイ州とミネソタ州の司法長官と共に、農業機械メーカーであるディア社を、修理コストを吊り上げ、農家の迅速な修理へのアクセスを制限する反競争的な慣行によって訴追しました。ディア社は、必須の修理ソフトウェアへのアクセスを制限し、農家を費用のかかる認定ディーラーに頼らざるを得なくしています。FTCの訴訟は、ディア社に対し、機器所有者と独立系の修理業者に完全な修理アクセスを提供することを要求することで、同社の慣行を終わらせることを目的としています。
続きを読む
ビッグバン後、最初の星が生まれる前の宇宙の夜明け（Cosmic Dawn）の謎を解き明かすため、科学者たちは小さな宇宙船CosmoCubeを月の裏側に送り込む計画です。地球のノイズは、この時代の微弱な電波信号の検出を非常に困難にしています。月が巨大なシールドとなり、CosmoCubeは初期宇宙の水素からの信号をキャッチし、宇宙の起源、銀河形成、ハッブル張力に関する手がかりを明らかにする可能性があります。英国主導のこのミッションは、ポーツマス大学、ケンブリッジ大学、ラザフォード・アップルトン研究所による共同研究で、5年以内の月周回軌道到達を目指しています。
続きを読む
人気の低コストマイクロコントローラーESP32向けに、完全なオープンソースWi-Fi MACレイヤーを作成するという野心的なオープンソースプロジェクトが進められています。現在、ESP32のWi-Fi MACレイヤーはクローズドソースであり、セキュリティ監査、機能拡張、相互運用性に制限があります。このプロジェクトは、ハードウェアレジスタとソフトウェアのリバースエンジニアリングを行い、CとRustの2つのオープンソースMACレイヤー実装を実現しました。1つはFreeRTOSタスクを使用し、もう1つはEmbassy上に構築された純粋な非同期Rust実装です。目標は、ESP32のセキュリティ、機能性、研究へのアクセス性を向上させ、標準準拠のメッシュネットワークなどの機能を促進することです。
続きを読む
米国退役軍人省（VA）は、今年後半に数万人の職員を削減する計画を発表し、激しい批判を浴びている。内部メモによると、省全体で業務、組織、構造の見直しを行い、管理の合理化、省の規模縮小、効率性の向上を目指すとしている。職員数を2019年の水準（約39万9000人）に削減することを目標としており、現在の48万2000人から大幅な減員となる。民主党議員は、この措置を強く非難し、医療へのアクセス、請求処理、教育給付などが損なわれ、退役軍人に悪影響を及ぼすと主張している。PACT法による需要増に対応するためには、人員削減ではなく増員が必要だと反論している。
続きを読む
NES86プロジェクトは驚くべきエンジニアリングの成果です。NES上で動作するIBM PCエミュレータです！Intel 8086プロセッサと対応するPCハードウェアをエミュレートすることで、シェルやユーティリティを含むELKS（Embeddable Linux Kernel Subset）を正常に実行します。つまり、古いNESで一部のx86ソフトウェアを実行できます（ただし、シンプルなシリアルターミナルに制限されます）。このプロジェクトはオープンソースであり、ELKSイメージのコンパイルとNES86 ROMの生成を網羅した詳細なビルド手順を提供しています。レトロなハードウェアで最新のOSを実行するという挑戦に備えましょう！
続きを読む
このエッセイは、スリ師のApollo Robbinsの驚くべき技を例に、「ベースレート盲」という概念を説明しています。著者は、私たちはベースレート（ある出来事が起こる前の確率）を無視する傾向があるため、稀な出来事が起こる確率を過小評価していると主張しています。コロラド州での驚くべきヘラジカとの出会い、そして学術界における欺瞞の過小評価といった個人的な逸話を用いて、ベースレートを無視することがいかに危険な結果につながるかを示しています。エッセイは、挑発的な問いを投げかけて終わります。AIの潜在的なリスクに対して、私たちはベースレート盲であり、誇大宣伝や規制を求める声に気を取られているのでしょうか？
続きを読む
Rubyプログラミング言語の高性能実装であるTruffleRubyが、パフォーマンスの大幅な向上と互換性の強化を伴う新バージョンをリリースしました。このリリースでは、Module#name、Module#const_added、ObjectSpace.undefine_finalizerなどのメソッドにおける多くのバグが修正され、OpenSSL 3.0.xおよび3.xとの互換性が向上しています。さらに、IO#{pread, pwrite}、Range#reverse_eachなど、多くの新しいメソッドと機能が追加され、エンコーディングネゴシエーションやいくつかのC拡張の性能が最適化されました。このアップデートにより、TruffleRubyの安定性とパフォーマンスが向上し、標準的なRuby実装であるMRIに近づきました。
続きを読む
レノボはCES 2025で、いくつかの革新的な製品を発表しました。最も注目すべきは、14インチのOLEDディスプレイが16.7インチに展開可能なロールアップ可能なAI PCであるThinkBook Plus Gen 6です。画面の利用面積が大幅に増加します。また、WindowsとSteamOSの両バージョンが用意されたLegion Go Sも発表されました（公式にライセンスされたSteamOS搭載ハンドヘルドとしては初）。さらに、ThinkCentre M90a Pro Gen 6オールインワンPCは、プライバシーを強化する指向性オーディオ技術であるLenovo Focus Soundを搭載しています。革新的ですが、価格は高額です。
続きを読む
今日の商品市場では大きな変動が見られました。原油価格は2％以上下落し、ブレント原油とWTI原油は大幅な下落を示しました。ガソリンと灯油の価格も下がりました。しかし、金価格は逆行し、1％以上上昇し、銀と銅も上昇しました。大豆、小麦、石炭の価格はすべて下落しましたが、天然ガスと木材の価格はわずかに上昇しました。鉄鉱石価格はわずかに上昇しました。鉄鋼価格はわずかに下落しました。TTF天然ガス価格は2％以上上昇しました。
続きを読む
DeepSeek-Prover-V2は、Lean 4における形式的定理証明のために設計されたオープンソースの大規模言語モデルです。DeepSeek-V3による再帰的定理証明パイプラインと強化学習を活用して、非公式と公式の数学的推論を統合しています。このモデルは、DeepSeek-V3を使用して複雑な問題を部分目標に分解し、これらの部分目標の証明を合成して、強化学習の初期データを作成することから始めます。DeepSeek-Prover-V2-671Bは、MiniF2F-testで88.9％の合格率を達成し、PutnamBenchから49の問題を解決しました。また、高校の競技会や教科書から325の形式化された問題を含む新しいベンチマークデータセット、ProverBenchも導入されました。
続きを読む
IBMと半導体メーカーのグローバルファウンドリーズは、契約違反、特許、営業秘密に関する訴訟を含む、すべての訴訟を解決しました。機密保持契約に基づき、和解の詳細については公表されていませんが、両社は、これが将来の協業の機会を生み出すと述べています。2021年にIBMによって開始されたこの紛争は、15億ドル規模のチップ製造契約と、グローバルファウンドリーズによるIBMの営業秘密の不正開示に関する告発に端を発しています。この解決により、将来のプロジェクト、特にRapidusとの2nmチップ技術に関する協業への道が開かれました。
続きを読む
この記事は、トム・ウルフの遺産を振り返り、ジャーナリズムへの深い影響と独特のスタイルの衰退を探求しています。著者はウルフとの個人的なインタビューを回想し、階級、地位、社会観察への鋭い描写を分析しています。この記事は、ニュー・ジャーナリズムの興亡を検証し、今日の断片化され、高度に両極化したメディア環境において、ウルフのような鋭く、魅力的で、客観的な報道スタイルを取り戻す方法を問いかけています。現在の状況でウルフのアプローチを再現することはほぼ不可能であることを認めながらも、著者は、彼の鋭い社会観察と独特のライティングスタイルは依然として非常に価値があると示唆しています。
続きを読む
ヴェルサイユ宮殿の建設は、ルイ14世の権力への渇望と、以前の財務大臣の壮麗な庭園への嫉妬から生まれました。著者はこれを足掛かりに、現代のプロダクトデザインにおける魂の欠如について論じています。ヴェルサイユ宮殿が壮大でありながら生命感に欠けているように、多くの現代のプロダクトは表面的な美しさや機能性を優先し、感情的なつながりを無視していると主張しています。真のデザインは、庭師が土壌を耕すように、自分自身の深みからインスピレーションを得て、生命感あふれる製品を生み出すべきだと主張しています。この記事では建築を例に、サグラダファミリアと電話交換機の建物が呼び起こす感情を対比させ、デザインにおける感情の重要性を強調しています。
続きを読む
MITの物理学者は、光を用いた磁性制御においてブレークスルーを達成しました。テラヘルツレーザーを用いて反強磁性体の原子スピンを操作し、長く持続する新しい磁気状態を作り出しました。この技術は、反強磁性体の制御方法を提供し、より高速で小型、省エネルギーなメモリチップにつながる可能性があります。Nature誌に掲載されたこの研究は、これらの材料の操作における長年の課題を克服し、情報処理と記憶技術の進歩への道を切り開きました。
続きを読む
CES 2025で、AMDは次世代ハンドヘルドゲーミングPC向けチップセットであるAMD Zen 2 Extreme、および低スペック版のZ2とZ2 Goを発表しました。Zen 2 ExtremeはRDNA 3.5ベースのGPUを搭載する一方、Z2とZ2 GoはそれぞれRDNA 3とRDNA 2を搭載しています。このAPUファミリーは、ハンドヘルドの価格を引き下げ、バッテリー寿命とパフォーマンスを向上させることを目指しており、Lenovo Legion Goなどのデバイスをターゲットにしています。AMDはまた、Zen 5ベースのゲーミングノートPC向けプロセッサ「Fire Range」HX3Dも発表しました。これは3D V-cacheテクノロジーを採用し、パフォーマンス向上と温度低減を実現しています。
続きを読む
世界的なデータセンターの中心地「Data Center Alley」を擁するバージニア州最大の電力会社であるDominion Energyは、2024年下半期にデータセンターの電力需要がほぼ2倍になったと報告しました。データセンター向けに契約された総電力容量は、7月の21.4ギガワットから12月には40.2ギガワットに増加しました。この急増は、データセンターとAIの急速な成長、製造業の拡大、そして経済の電化の進展によって推進されています。DeepSeekがより省エネルギーなAIモデルを発表したことで市場の見通しが一部修正されたものの、CEOのBob Blueは、バージニア州のデータセンターの成長は減速しておらず、むしろ加速していると断言しました。
続きを読む
一見地味なジャムバンドであるPhishは、わずか4年間で1億2000万ドル以上のチケット売上を記録し、多くのメインストリームアーティストを凌駕しました。彼らの成功は、アルバムの売上やラジオの放送ではなく、バーモント州のバーで培われた10年間のたゆまぬ練習とオーガニックな成長に基づいています。彼らは、没入型のライブパフォーマンス、ユニークな即興ジャム、そして観客との深い繋がりを通して、非常に忠実なファン層を築きました。この献身と、自主的なビジネスアプローチを組み合わせることで、ライブ音楽体験を中心とした持続可能で非常に収益性の高いモデルが実現し、Phishは音楽業界におけるユニークなケーススタディとなりました。
続きを読む
PocketFlowは、TypeScriptベースのLLMフレームワークで、入れ子になった有向グラフ構造を採用しています。これにより、複雑なAIタスクを再利用可能なLLMステップに分解し、エージェントのような意思決定のための分岐と再帰を可能にします。このフレームワークは拡張性に優れ、様々なLLMやAPIを特別なラッパーなしで統合でき、ワークフローの視覚化と状態の永続化によるデバッグ機能も備えています。これにより、企業レベルのAIシステムの構築が加速されます。
続きを読む
本書では、脆弱なパスワードシステムに代わるものとして設計された、公開鍵暗号に基づく認証システムであるWebAuthnを詳しく解説します。パスワードの欠点から始まり、U2F、FIDO2、passkey、WebAuthn APIの使い方など、WebAuthnの中核となる概念を段階的に紹介します。公開鍵署名スキーム、RP ID、CTAP2プロトコル、証明、様々な拡張機能の詳細を説明し、サーバーサイドの実装、プラットフォームAPI（iOS、Android、Windows）、公開鍵フォーマットについても網羅しています。WebAuthnは、セキュリティキーとプラットフォーム認証子を組み合わせ、ランダムチャレンジと複数のセキュリティメカニズムを利用することで、フィッシング攻撃やデータベースの漏洩を効果的に解決し、ユーザーにより安全で信頼性の高い認証体験を提供します。
続きを読む
Netlifyのエンジニアが、Next.jsフレームワークの閉鎖的な性質を明らかにしました。オープンソースであるにもかかわらず、Vercelによる厳格な管理により、他のクラウドプロバイダーはNext.jsの機能を完全にサポートすることが困難になっています。問題には、アダプターの不足、公式なサーバーレスサポートの欠如、Vercel固有のコードパスなどが含まれます。最近の重大なセキュリティ脆弱性の対応は、Vercelの透明性の欠如を示しており、他のプロバイダーへの迅速な通知が不足し、ユーザーに損害を与えました。著者は、開発者コミュニティの利益のために、VercelにNext.jsのオープン性と相互運用性を向上させるよう促しています。
続きを読む
著者は職場でのコミュニケーションの失敗談を共有しています。チームのある弱点について率直に発言したところ、それが同僚を不快にさせ、潜在的な悪影響を及ぼしたのです。これは、善意であっても、個人の視点やコミュニケーション方法が誤解を招く可能性があることを示しています。この記事では、改善を訴える際に、個人を直接非難するのではなく、チーム全体に焦点を当て、集団的な機会を重視し、他人の感情を尊重し、コミュニケーションのタイミングと方法を慎重に選ぶことの重要性を強調しています。
続きを読む
ソーシャルメディアプラットフォームは、アルゴリズムによる推奨を通じて、徐々に情報へのアクセス方法を制御し、私たちをフィルターバブルに閉じ込めてきました。当初は友人をつなぎ、利便性を提供するために設計されていましたが、企業が私たちの考えを操作するためのツールとなっています。ユーザーエンゲージメントと広告収入を増やすために、プラットフォームはアルゴリズムを使用して無限のコンテンツストリームを送り込み、ネガティブな感情と極端な見解を増幅し、ユーザーの孤立と偏った意見の強化につながっています。著者は、ユーザーが積極的にアルゴリズムのフィルターバブルを打ち破り、情報源から情報を入手し、制御可能なプラットフォームと機能を選択し、アルゴリズムの罠を避け、他の人と議論することで、独立した思考能力を取り戻すよう促しています。
続きを読む
ベテランのiOS開発者が、アップルのクローズドソースのエコシステムを嘆いています。これは、lovable.devやa0.devのようなAI搭載アプリ開発プラットフォームとの競争力を阻害しているとのことです。この記事では、iOSのコンパイルの複雑さ、独自のXcodeプロジェクト形式、SwiftUIのクローズドソース、そしてmacOSサーバーの大規模展開における課題などを、堅牢なAI支援iOS開発ツールの開発における大きな障害として指摘しています。対照的に、Androidのオープンソースの性質は、AIアプリ開発において大きな利点をもたらしています。著者は、アップルが長年開発者エクスペリエンスを軽視してきた結果、AI競争において後れを取っていると主張しています。
続きを読む