著者は、PolySubMLの型推論と構造的部分型付けをOCamlのほとんどの機能と組み合わせることを目指した新しいプログラミング言語Xを設計しています。特に、OCamlのモジュールシステムと通常の値の間の構文上の違いと概念上の違いに対処することを重視しています。この記事では、レコード内のエイリアスメンバー、structとsig構文、モジュールのオープンとインクルード、モジュールの拡張、存在型による抽象化など、XにおけるOCamlモジュールの統合方法を詳細に説明しています。ワイルドカードインポートの回避など、OCamlのモジュールシステムの改善も提案しています。最終的な目標は、よりシンプルで理解しやすく、強力なプログラミング言語を作成することです。
続きを読む
OpenAIのCEOであるサム・アルトマンは最近、ソーシャルメディア上で人間が書いた投稿とAIが生成した投稿を区別できないことを表明しました。彼は、OpenAIのCodexを称賛する熱心な投稿で溢れているr/Claudecode subredditを、その不確実性の例として挙げました。アルトマンは、ユーザーがLLMのライティングスタイルを模倣しており、ソーシャルメディアのインセンティブと競合他社による潜在的なアストロターフィングが相まって、信憑性を判断するのが困難になっていると示唆しています。彼は、OpenAI自身もそのような戦術の標的になったことを示唆しました。これは、AIの悪用とソーシャルメディアの情報真実性に対する懸念を引き起こし、強力なAIの時代において、真のコンテンツと偽のコンテンツのますます複雑な状況をどのように乗り越えるべきかについての熟考を促します。
続きを読む
2024年末、懸念すべき発見がありました。イスラエル政府による有料広告が、UNRWAをテロ支援と非難するページへのリンクを貼った、国連のウェブサイトを模倣したもので、Google検索結果の上位に表示されていたのです。これは、デジタル広告プラットフォームが影響力の戦場となり、政府が戦争や危機の際に世論を操作するために有料広告を利用しているという、憂慮すべき傾向を示しています。この記事では、Google広告とFacebook広告がどのように武器化されているかを検証し、2023年から2025年のガザ戦争中のイスラエルの大規模なキャンペーン、UNRWAやその他の組織へのターゲティングに焦点を当てています。プラットフォームの対応、政策の欠陥、そして、プロアクティブな事実確認の欠如や、誤報に対するルールの不平等な適用など、倫理的なジレンマを探ります。
続きを読む
アンスコムの四重奏は、データ可視化の重要性を示す統計学における古典的な例です。記述統計がほぼ同一の4つのデータセットは、著しく異なる分布と視覚的な外観を示します。これは、要約統計にのみ頼ることの不十分さを強調し、結論を導き出す前にデータをグラフ化することの必要性を強調しています。四重奏は、外れ値や影響力のある観測値が統計的特性を大幅に歪める可能性があることを示しており、データの理解における視覚的分析の重要な役割を浮き彫りにしています。
続きを読む
英国政府は、オンライン安全法を強化する緊急措置を発表し、深刻な自傷行為を助長または支援するコンテンツを優先違反として指定しました。これは、あらゆる年齢のユーザーを保護することを目的としており、テクノロジー企業に対し、受動的な反応ではなく、そのような有害なコンテンツを積極的に削除することを義務づけます。新しい規制により、プラットフォームは高度な技術を使用して、ユーザーに到達する前にこのコンテンツを積極的に探し出し、削除することが義務付けられます。これにより、取り返しのつかない損害を防ぐことができます。この変更は、政府のオンライン安全とメンタルヘルスへの取り組みを表しており、テクノロジー企業に大きな影響を与えるでしょう。
続きを読む
Hassana Labsは、大規模言語モデル（LLM）における幻覚リスクの評価と軽減のためのオープンソースツールキットをリリースしました。モデルの再トレーニングを必要とせずに、OpenAI Chat Completions APIを活用します。コンテンツを弱めたプロンプト（ローリング事前確率）のアンサンブルを作成し、期待レベルの解凍則（EDFL）を使用して幻覚リスクの上限を計算します。目標サービスレベルアグリーメント（SLA）に基づいて、回答するか拒否するかを決定します。証拠に基づくモードとクローズドブックモードの両方をサポートし、信頼性の高いLLMアプリケーション構築のための包括的な指標と監査トレイルを提供します。
続きを読む
アマゾンのAIコーディングアシスタントチームを離れた後、著者はIcon社に入社し、ソフトウェア開発におけるAI革命を目の当たりにしました。アマゾンでは、遅々としたプロセスとKPI重視の意思決定が効率を阻害していましたが、Icon社ではAIを活用したアプローチにより、開発者は設計とユーザーニーズに集中し、コーディングの大部分を自動化しています。著者は、純粋なコーディングスキルは重要性が低下し、ユーザー理解、製品戦略、マーケティングが最重要になると予測しています。開発者は変化に適応し、これらの分野におけるスキルを高めることで、AI時代においても競争力を維持する必要があるでしょう。
続きを読む
DuckDBのNode.js npmパッケージが巧妙なフィッシング攻撃によって侵害されました。4つのパッケージの悪意のあるバージョンが公開され、暗号通貨取引を妨害するように設計されたコードが含まれていました。幸い、これらの悪意のあるバージョンは、DuckDBチームによって特定され非推奨とされる前にダウンロードされなかったようです。チームは、悪意のあるバージョンを非推奨とし、更新された安全なバージョンをリリースすることで迅速に対応しました。この攻撃には、管理者をだまして2FAをリセットさせ、攻撃者に悪意のあるパッケージを公開する能力を与えた、説得力のある偽のnpmウェブサイトが含まれていました。このインシデントは、経験豊富な開発者であっても、堅牢なセキュリティプラクティスが重要であることを強調しています。
続きを読む
最近の攻撃で、`is-arrayish`というNPMパッケージに悪意のあるコードが注入され、ユーザーのトランザクションからETHを盗もうとする試みがありました。マルウェアは、`fetch`、`XMLHttpRequest`、`window.ethereum.request`などのブラウザ関数を上書きすることでこれを達成しました。この記事では、攻撃の詳細な分析ではなく、LavaMoatを使用してこのような攻撃を防ぐ方法を示しています。LavaMoatは、各依存関係のモジュールを個別の字句的グローバルコンテキスト（コンパートメント）に配置し、ポリシーで指定されたグローバル変数とインポートへのアクセスのみを許可することで、悪意のあるコードのアクセスを制限します。これにより、悪意のあるコードがトランザクションアドレスを変更することが防止されます。高度なマルウェアであっても、LavaMoatの防御を回避するのは困難です。
続きを読む
RustCurious.comは、Rustの型システムのビジュアルガイドを提供しており、インタラクティブなチャートを使用してRustで可能なすべての型を分類しています。このガイドは、`lang_items`、つまり特定の構文をサポートする組み込みの型とトレイトに焦点を当てており、ライブラリコードだけで何が構築できるかを解明することを目的としています。`Vec`、`String`、`HashMap`などは、単なる構造体であるため含まれていません。Rustのプラットフォームに依存しないコアの明確な分離により、no_stdクレートが可能になり、動的ヒープを利用できない組み込みファームウェアやその他のシステムにとって非常に重要です。
続きを読む
IBMの子会社であるRed Hatは、人事、財務、経理、法務部門を含むバックオフィススタッフの大部分を2026年初頭からIBMに統合すると発表しました。この動きは、一部の従業員から企業文化の喪失とマイクロマネジメントの増加に対する懸念を引き起こしています。Red Hatは主要チームへの影響はないと保証していますが、この統合は、コスト削減のためにバックオフィス機能を統合するテクノロジー企業におけるより広範な傾向を反映しています。Red Hatは世界中で約19,000人を雇用しており、この統合はエンジニアリング、セールス、サポート部門には影響しない見込みです。
続きを読む
無重力状態でのCPRの実施は非常に困難です。ISSの現在のプロトコルは、大変な逆立ち技術を必要とします。研究者たちは、模擬無重力状態下で3つの機械式胸部圧迫デバイスをテストし、最高のデバイスが53mmの圧迫深度を達成したことを発見しました。これは、逆立ち方法で達成された34.5mm（有効深度50mm）を大幅に上回ります。この研究は、宇宙旅行がより一般的になるにつれて、心臓イベントのリスク増加に対処する、宇宙CPRガイドラインの改善につながる可能性があります。
続きを読む
40年後、筆者は伝説的なピクセルアートソフトDeluxe Paint IIIを再び手に取りました。チュートリアルをこなしたり、アニメーションツールを試したりすることで、色の混合、範囲、ステンシルといった独自の機能を探求し、現代の画像編集ソフトと比較します。本記事では、Deluxe Paintの協調的なツールセットが、厳格な精度よりも創造的な探求を促進している点を強調しており、これは現代のソフトウェアの効率重視とは対照的です。筆者は、Deluxe Paintが依然として強力で純粋なデジタル表現の手段であると結論付けています。
続きを読む
著者はスマホの使いすぎに悩んで、自己管理やスクリーンタイム制限など様々な方法を試みましたが、どれも効果がありませんでした。最終的にApple Configuratorを使い、必要なアプリとウェブサイトのみにアクセスできる「ガラケー化」に成功しました。App Storeの削除や制限設定により、衝動的なアプリ使用を抑制。メールのフィルタリングなど課題は残りますが、スクリーンタイムの大幅削減とデジタル・ウェルビーイングの改善を実感し、具体的な手順を共有しています。
続きを読む
半導体製造装置大手のASMLは、フランスのAI企業Mistral AIとの戦略的パートナーシップを発表しました。ASMLは13億ユーロを投資し、Mistral AIの約11％の株式を取得します。この提携は、ASMLの製品ポートフォリオ、研究開発、運用全体にAIを統合することを目指し、顧客への製品上市期間の短縮とリソグラフィシステムのパフォーマンス向上を目指します。両社は共同研究を行い、将来の機会を探求し、ASMLのCFOはMistral AIの戦略委員会に参加します。
続きを読む
フランスのAIスタートアップ企業Mistral AIは、17億ユーロのシリーズC資金調達を発表しました。事後評価額は117億ユーロに達します。このラウンドは半導体機器メーカーのASMLが主導し、DST GlobalやAndreessen Horowitzなどの既存投資家も参加しています。この資金は、Mistral AIの先端研究を推進し、戦略産業が直面する複雑な技術的課題の解決に充てられます。ASMLとのパートナーシップは、ASML顧客向けの革新的な製品とソリューションを生み出すことを目指しています。
続きを読む
世代宇宙船のAIは、長旅の間に次々と難しい選択を迫られます。損傷したシステムの修復、小惑星の衝突からの生還、異星文明との交流、そして最も重要なのは、冬眠中の入植者たちの保護です。この記事では、航海中に遭遇した出来事とAIの決定について説明します。これらの決定は、最終的に人類文明の運命を決めることになるでしょう。
続きを読む
2025年のベルリンで開催されたIFAで、AMDはx86アーキテクチャが本質的に非効率であるという考えに異議を唱えました。彼らは、AMDとIntelの両方のx86プロセッサは、数十年にわたるx86ソフトウェアエコシステムを活用しながら、ノートパソコンで競争力のあるバッテリー寿命を提供すると主張しました。AMDは、命令セットではなく、全体的なパッケージの価値が電力効率とバッテリー寿命を決定すると主張し、IntelのLunar LakeやAMDのStrix Pointなどの設計を例として挙げました。QualcommやNvidiaなどの企業によるArmの台頭にもかかわらず、x86は依然として支配的な地位を維持しており、Arm ISAが本質的により効率的であるという長年の考えに反論しています。
続きを読む
この記事は、Michael Feathersの古典的名著『Working Effectively with Legacy Code』の中心的な考え方を要約しています。同書は、レガシーコードの根本的な問題はテストの不足であると主張しています。レガシーコードを安全に変更するには、まずテストを追加する必要があります。しかし、テストを追加するにはコードの変更が必要となるため、パラドックスが生じます。本書では、変更点（シーム）の特定、依存関係の解消、テストの記述、リファクタリングの手順に加え、増分的なテスト手法（SproutとWrap）、コードを迅速に理解するためのテクニック（Scratch Refactoring）が解説されています。著者は、単体テストの重要性を強調し、既存コードの挙動を捉えるための特性テスト（Characterization Tests）を紹介しています。最後に、保守コストを削減するために、ライブラリの直接的な実装への依存を避けるようアドバイスしています。
続きを読む
データベース設計において、テーブル名を単数形にするか複数形にするかという議論がしばしばあります。複数形（usersなど）は直感的ですが、著者によると、単数形（userなど）の方がSQLのJOIN句などで可読性が向上し、ORMによる自動複数形化による不整合を防ぎ、スキーマの一貫性を保つ上で有利です。そのため、単数形を使用することを推奨しています。
続きを読む
CRDTs（Conflict-free Replicated Data Types）は、複数のノードに複製され、独立して編集され、シームレスにマージできるデータ構造です。この記事では、CRDTsが従来の最終的な整合性よりも堅牢なモデルである強い最終的な整合性（SEC）をどのように達成するかを詳しく説明しています。SECは、複数のノードで独立した更新が行われた場合でも、競合が自動的かつ決定的に解決されることを保証し、低レイテンシ、高いフォールトトレランス、オフライン機能を実現します。著者は、CRDTsは強い最終的な整合性システムの基本的な構成要素であり、共同編集やマルチプレイヤーTODOリストをはるかに超え、分散データベースなどにも適用できると主張しています。
続きを読む
この記事では、C++のコントラクトの概念をC言語に取り入れる可能性を探っています。著者は、`contract_assert`と`contract_assume`マクロをそれぞれ事前条件と事後条件のチェックに使用する方法を提案しています。`defer`マクロとC23の`unreachable`マクロにより、事後条件をより簡潔に表現できます。また、インライン関数とヘルパー関数を利用して、関数の核心的な実装を変更せずにコントラクトチェックを追加し、コンパイラの最適化を活用する方法も示しています。インターフェース仕様のさらなる洗練が必要ですが、この記事はC言語におけるコントラクトの実現可能性を示す概念実証となっています。
続きを読む
ウェブを汚染するインターネット広告と、それが生み出すわずかな収入にうんざりした著者は、巧妙な解決策を実装しました。それは、uBlock Originなどの広告ブロッカーを使用することをユーザーに提案する、目立たないプロンプトです。このプロンプトは、広告ブロッカーが検出されず、十分なスペースがある場合にのみ表示され、簡単に閉じることができるボタンと、繰り返し表示を防ぐCookieメカニズムを提供します。コードはクリーンで、JavaScriptとCSSを使用しており、さまざまな広告ブロッキング方法とブラウザーの互換性を考慮しています。
続きを読む
67歳のアメリカ人男性、ティム・アンドリュースさんが、遺伝子改変したブタの腎臓を移植されてから6ヶ月以上生存しています。これは異種移植における画期的な成果です。eGenesis社が提供したブタの腎臓は、3種類の抗原を除去し、炎症と出血のリスクを軽減する7つのヒト遺伝子を付加し、レトロウイルスを不活性化する遺伝子改変が施されています。これは4ヶ月9日の従来の記録を大きく上回るものです。6ヶ月の生存は重要なマイルストーンであり、臓器不足問題への潜在的な解決策を示唆しています。
続きを読む
5月、Googleの幹部は、ウェブパブリッシングとオープンウェブが繁栄していると述べました。しかし、最近の裁判書類では、「オープンウェブはすでに急速に衰退している」と主張しています。これは以前の声明と矛盾し、オープンウェブコミュニティが表明してきた懸念を裏付けています。Googleはその後、全体としてのオープンウェブではなく、「オープンウェブディスプレイ広告」の衰退について言及していたと釈明しました。しかし、この釈明は論争を完全に鎮めるには至らず、Googleが一般の人々と投資家を誤解させたのではないかという疑問が生じています。
続きを読む
大規模なサプライチェーン攻撃がnpmエコシステムを標的にし、毎週26億回以上ダウンロードされている複数のパッケージを侵害しました。攻撃者はフィッシングメールを使用して保守者のアカウントにアクセスし、その後、広く使用されている複数のパッケージにマルウェアを注入しました。このマルウェアはブラウザ内の暗号通貨取引を傍受し、資金を攻撃者が制御するウォレットに転送します。NPMチームはいくつかの悪意のあるバージョンを削除しましたが、この事件はソフトウェアサプライチェーンの脆弱性と、フィッシングやブラウザベースの攻撃の増加する脅威を浮き彫りにしています。影響は、限られた時間枠での新規インストールユーザーのみに限定されるため、ある程度軽減されました。
続きを読む
Gartnerのアナリストは、2030年までにAIがすべてのIT部門の業務を支援すると予測していますが、これは大量の雇用喪失を意味するものではありません。エントリーレベルの仕事は減少する可能性がありますが、AIは上級スタッフの能力を高め、IT部門はより多くの人的資源を獲得し、その価値を示す必要があります。しかし、AIの実装にはコストがかかり、継続的なユースケースの探求や再トレーニング、予期せぬ付随費用（新しいデータセットの取得や複数のモデルの管理など）が含まれます。Gartnerは、CIOの65％がAI投資で損益分岐点に達していないと推定しています。ITエグゼクティブは、主要なクラウドベンダーに焦点を当て、単純なAIチャットボットを超えて、サプライヤーと自律的に交渉できるインタラクティブエージェントを採用することを推奨しています。
続きを読む
昨年、Nova Launcherチームのほぼ全員がレイオフされた後、創設者のKevin Barry氏は、開発とオープンソース化の取り組みを停止するように求められた後、会社を退社しました。Novaのウェブサイトはダウンしており、人気のAndroidランチャーの未来は不透明です。Novaを買収したBranch Metricsは、以前、Barry氏が退社した場合、オープンソース化は契約上の義務であると述べていました。しかし、Barry氏と前CEOが退社したため、この約束は果たされず、オープンソース化を求めるコミュニティの嘆願書が出ています。
続きを読む
1年以上におよぶ努力を経て、クラシックなiPod Clickwheelゲームを保存するコミュニティプロジェクトがついに目標を達成しました。複数のiPodユーザーのiTunesアカウントを調整することで、AppleのFairPlay DRMを克服し、全54タイトルの公式ゲームを無事保存することに成功しました。数々の技術的な課題や挫折を乗り越え、最終的にReal Soccer 2009がユーザーから提供され、アーカイブが完成しました。
続きを読む
ストリーミングサーバーPlexは、ハッカーがデータベースにアクセスし、一部のユーザーのメールアドレス、ユーザー名、ハッシュ化されたパスワードを公開したセキュリティインシデントに見舞われました。パスワードは暗号化されていましたが、Plexは予防措置として、すべてのユーザーにパスワードのリセットと接続されているすべてのデバイスからのログアウトを要求しています。同社は脆弱性を修正し、さらなるセキュリティ対策を実施しており、ユーザーに2要素認証の有効化を強く推奨しています。
続きを読む