著者はGPT-3を使用してDatasetteのチュートリアルを生成し、その結果は驚くべきものでした。GPT-3はDatasetteの機能、インストール手順、コマンドラインパラメータ、さらにはAPIエンドポイントまでも正確に記述しましたが、小さな誤りもありました。この記事はGPT-3の強力なテキスト生成能力を示し、技術文書作成におけるAIの役割、そして最適な結果を得るための効果的なプロンプトエンジニアリングについて考察を促します。架空の「Datasette Cloud」サービスのための生成されたマーケティングコピーも驚くほど効果的でした。
続きを読む
日本の携帯電話キャリアであるドコモは、2025年6月末までに独自の絵文字デザインのサポートを終了すると発表しました。これは、1999年に始まり、2013年以降更新されていない重要な絵文字の時代の終わりを示しています。驚くべきことに、特定の日本のデバイスではまだ使用されていますが、ドコモの698個の絵文字デザインは、デバイスに応じて、GoogleのNoto Color絵文字またはSamsungのカスタムセットに置き換えられます。1995年のポケベルでのシンプルなハートアイコンに遡る、ドコモによる象徴的なコミュニケーションへの初期の進出は、絵文字革命の先駆けとなりました。同社の1999年のiモード絵文字セットは、絵文字の標準化において基本的な役割を果たしました。
続きを読む
当初、堅牢なセキュリティメカニズムを欠いていたDNSは、キャッシュポイズニングや中間者攻撃などの様々な攻撃に対して脆弱でした。DNSSECは、暗号化された認証とデータ整合性を追加することでこの問題に対処しましたが、採用は依然として遅れています。国際化ドメイン名（IDN）は、DNSのASCII文字制限を解決し、多言語によるインターネットアクセスを可能にしました。最近では、DoH、DoT、DoQ、ODoHなどの暗号化されたDNSプロトコルにより、ユーザーのプライバシーとパフォーマンスが向上しましたが、ネットワークの可視性と運用上の複雑さに関するトレードオフも導入されました。
続きを読む
コマンドラインAIコーディングエージェントであるQodo Commandが、実世界のソフトウェアエンジニアリングタスクにおけるAIエージェントを評価する主要なベンチマークであるSWE-bench Verifiedで、驚異の71.2％というスコアを達成しました。このスコアは、ファインチューニングやベンチマーク固有の調整を行わず、Qodo Commandのプロダクションバージョンを使用して達成されました。その成功は、コンテキスト要約、実行計画、リトライとフォールバックメカニズム、そしてLangGraphフレームワークなどの機能によるものです。複数のLLMをサポートするように設計されており、Qodo Commandは現在、AnthropicのClaude 4と提携して、適応性が高く学習指向のコーディングエージェントを作成しています。
続きを読む
この記事では、アラン・ケイがオブジェクト指向プログラミング（OOP）とオブジェクトの概念の両方を作ったという一般的な誤解を解きます。実際には、Simula言語はOOPの重要な先駆者であり、SmalltalkチームもSimulaの影響を明確に認めています。「オブジェクト」という用語を作ったのはケイですが、彼は後にそれを後悔し、OOPの中心的なアイデアはメッセージパッシングであると強調しました。この記事では、SmalltalkがOOPに与えた独自の貢献、特にすべてをオブジェクトとして扱う設計原則と、革新的なメッセージ処理メカニズムについてさらに詳しく説明します。著者は、OOPの進化は単一の出来事ではなく、アイデアとニーズの融合であり、さまざまな開発者がさまざまな状況でOOPを異なって理解し、適用してきたと主張しています。
続きを読む
サムスンの最初の折りたたみ式スマホの初期の画面問題から、モトローラ・レイザーの改良に至るまで、折りたたみ式スマホは困難な進化の道を歩んできました。新しい折りたたみ式スマホは、外側の画面が大きく、機能も強力になっていますが、防塵性能の欠如は依然として大きな問題です。にもかかわらず、メーカーはこの課題を克服しようと努力しており、将来的にはIP68等級の防塵防水機能を備えた折りたたみ式スマホが登場するかもしれません。
続きを読む
arXivLabsは、共同作業者がarXivの新しい機能を直接ウェブサイト上で開発し、共有できるフレームワークです。arXivLabsに関わる個人や組織は、オープン性、コミュニティ、卓越性、ユーザーデータのプライバシーというarXivの価値観を共有し、受け入れています。arXivはこれらの価値観にコミットしており、これらの価値観を遵守するパートナーとのみ連携しています。arXivコミュニティに価値を追加するプロジェクトのアイデアをお持ちですか？arXivLabsの詳細をご覧ください。
続きを読む
数学者たちは、結び目理論における長年の予想を覆す発見をしました。これまで、異なる2つの結び目を繋ぎ合わせると、新しい結び目の複雑さは個々の結び目の複雑さの合計に等しいと考えられていました。しかし、研究者たちは最近、その合計よりも単純な結び目を見出しました。この発見は、結び目の複雑さに対する私たちの理解に挑戦し、タンパク質の折り畳みや分子構造の安定性などの分野に新たな知見をもたらします。
続きを読む
パーソナルヒューマノイドロボットは急速に進化しており、パソコン革命のように日常生活を一変させる可能性を秘めています。家事、子供の教育、高齢者の介護など、様々なタスクをこなせる見込みです。この記事では、オープンソースAIとガレージイノベーターが、初期のパーソナルコンピューティング時代のようにこのムーブメントを推進している様子、そしてその結果生じる文化的な変化を探ります。ヒューマノイドロボットは、人間環境との適合性、優れた器用さ、移動性、人とロボットの協調性において優れています。しかし、コスト、信頼性、潜在的なセキュリティリスクは依然として課題です。中国と米国の間で競争が繰り広げられており、両国とも技術的・経済的な優位性を目指しており、地政学的緊張を生み出しています。
続きを読む
NATOは、AIを活用した戦闘運用のために、Palantir社のMaven Smart Systemを採用する契約を発表しました。Maven Smart System NATOと呼ばれるこのシステムは、LLMから生成AI、機械学習まで、様々なAIアプリケーションを通じて、情報融合、ターゲティング、戦場の状況認識、意思決定の迅速化を強化します。これにより、NATOは共通のデータ駆動型戦闘能力を確保し、その導入速度は記録的な速さでした。具体的な契約内容は明らかにされていませんが、このニュースを受けてPalantir社の株価は8％上昇しました。この契約は、集団防衛への支出に関して、トランプ大統領からNATOへの圧力が続くなかでの発表となりました。
続きを読む
arXivLabsは、共同作業者が新しいarXiv機能を直接ウェブサイトで開発・共有できるフレームワークです。arXivLabsに関わる個人や組織は、オープンさ、コミュニティ、卓越性、ユーザーデータのプライバシーという私たちの価値観を受け入れています。arXivはこれらの価値観にコミットしており、それらを遵守するパートナーとのみ協力しています。arXivコミュニティに価値を加えるプロジェクトのアイデアをお持ちですか？arXivLabsの詳細をご覧ください。
続きを読む
クライアントサイドスキャン（CSS）は、しばしば子供の安全対策として宣伝されていますが、実際には暗号化の約束を損なうものです。このようなスキャンツールはエラーを起こしやすく、新たなセキュリティの脆弱性を生み出します。たとえ最初は児童性的虐待素材（CSAM）のみに限定されていたとしても、範囲は容易に拡大され、他の種類の会話の監視に利用される可能性があります。暗号化が弱体化すると、リスクが増大します。ハッカーは機密データを盗み、虐待者は脆弱な人々を追跡し、権威主義体制はジャーナリスト、活動家、市民をスパイすることができます。CSSは人々を安全にするのではなく、すべての人をより安全でない状態にします。
続きを読む
人工知能の急速な発展は、大きなエネルギー消費問題を引き起こしています。この記事は、大規模言語モデルや画像生成モデルの運用には莫大な電力量が必要であり、その多くはまだ化石燃料に依存しているため、二酸化炭素排出量が大幅に増加していることを指摘しています。データセンターは、多くの場合、電力網の汚染がより深刻な地域に位置しており、24時間体制で稼働しているため、問題を悪化させています。一部のテクノロジー企業は再生可能エネルギーの利用拡大を約束していますが、現状では進捗が遅れています。将来的には、AIアプリケーションの普及と機能強化に伴い、エネルギー消費量は指数関数的に増加するため、AI開発と環境保護のバランスを慎重に検討する必要があります。
続きを読む
HoneycombのCharity Majorsが「オブザーバビリティ2.0」という概念を紹介しました。これは、従来の「メトリクス、ログ、トレース」というパラダイムからの進化を表しています。オブザーバビリティ2.0の中心は、「ワイドイベント」を唯一の真実の情報源として採用することです。これは、コンテキストが豊富な高カーディナリティ、高次元のイベントデータであり、メトリクス、ログ、トレースを遡及的に動的に導き出すことができます。これにより、データサイロや事前集計の制限といった問題に対処できます。しかし、この移行は、イベント生成、データ転送、ストレージ、クエリ処理において課題をもたらします。オープンソースの分析オブザーバビリティデータベースであるGreptimeDBは、これらの課題を克服することを目指しています。OpenTelemetry形式をサポートし、組み込みの変換エンジン、高スループットのリアルタイムデータ取り込み、リアルタイムクエリAPI、マテリアライズドビューなどの機能を備え、オブザーバビリティ2.0のための堅牢なインフラストラクチャを提供します。
続きを読む
NGI Zero Commonsファンドは過去最大規模となる資金援助ラウンドを発表し、インターネットの公共性を回復することに焦点を当てた42のオープンソースプロジェクトに助成金を授与しました。プロジェクトは、ハードウェア（オープンハードウェアタブレットMNT Reform Touchや太陽光発電式マザーボードSolar FemtoTXなど）、オペレーティングシステム（Linux向け次世代ファイルシステムbcachefsやKDE Plasmaジェスチャーなど）、データとAI（FPGA上でオープンソースLLMのローカル推論を可能にするLLM2FPGAなど）に及びます。このイニシアチブは、オープンで、安全で、アクセスしやすいインターネット技術を提唱し、より民主的で公平なデジタル環境を促進します。
続きを読む
この記事では、なぜ高齢世代が昔のコンピューターを現代のコンピューターよりも楽しいと感じているのかを探っています。著者は、昔のコンピューターのハードウェアはシンプルで制限があり、遅いプロセッサー、低い解像度、限られたメモリなどから、創造的な問題解決を強いられ、より魅力的な体験になったと主張しています。テキストベースのインターネットが主流だった時代は、現代のような広告や受動的なコンテンツ消費がなく、人間同士のより強い相互作用を促しました。著者は、その魅力は排他性にあったと述べています。コンピューターを本当に愛する人だけが時間を投資し、緊密なコミュニティを形成しました。コンピューターが普及し使いやすくなると、この独特な側面は薄れ、アクセシビリティに取って代わられましたが、深みと挑戦という代償を払いました。
続きを読む
コロラド大学医学部のビクター・スピッツァー博士と彼の友人スーザン・ポッターは、並外れた物語を共有しています。ポッターが医学教育のためにスピッツァーのビジブル・ヒューマン・プロジェクトに遺体を寄付するという粘り強さは、14年にわたる旅路となりました。ポッターの遺体の高解像度デジタル画像は再構築され、以前のビジブル・ヒューマン・プロジェクトの細部を凌駕しました。画像以外にも、スピッツァーの会社であるタッチ・オブ・ライフ・テクノロジーズは、ポッターの解剖学と人生の物語を組み合わせて、より豊かな教育リソースを作成することを目指して、仮想的な「生きた遺体」を作成することを目指しています。ポッターの物語は、医学教育への無私の献身と解剖学的研究の未来について、熟考を促します。
続きを読む
Hacker Newsの18年間のデータ分析によると、オープンソースデータベースであるClickHouseとDuckDBが急成長している一方で、クラウドネイティブデータベースの話題は減少しています。PostgreSQLは高い人気を維持しており、SQLiteは高いユーザーエンゲージメントが特徴です。この分析は、ヘッドライン数とユーザーエンゲージメント（コメントとポイント）の両方の指標を用いてトレンドを示し、オープンソースデータベースと分析系データベースの台頭を強調しています。
続きを読む
80年代はエアブラシアートが爆発的に流行しました。著者は、ティーンエイジャー時代にエアブラシを持ちたいと切望し、バンドロゴやTシャツをペイントして金を稼ぎたいと夢見ていたことを語ります。最終的にコンピュータデザインに移行しましたが、著者は80年代のエアブラシアート特有のクローム効果、グラデーション、スピードラインを懐かしく思い出します。今日のデジタルアートはスタイルを完璧に再現しますが、オリジナルの有機的な不完全さには欠けています。著者はいつか古いエアブラシを引っ張り出して、この象徴的なアートフォームを再び試したいと考えています。
続きを読む
ある開発者が、たった4つの整数(uint32_t*2, uint64_t, int8_t)だけでスネークゲームを実装するというチャレンジを行いました。ゲームマップ、ヘビの体、リンゴの位置、方向などを巧みにこれらの整数に圧縮しています。マクロを多用してビット演算を行うため、コードは簡潔ですが可読性は低くなっています。このプロジェクトは、極端なメモリ最適化を示していますが、保守性と可読性を犠牲にしています。コードはオープンソースで公開されているため、興味のある開発者はコンパイルして実行し、この独特のプログラミングアートを体験できます。
続きを読む
Haikuの1月開発レポートは、Trackerファイルマネージャーの大幅なリファクタリング（コンテキストメニュー、切り取り/コピー/貼り付け機能、ライブメニュー更新の追加など）、アプリケーションへの新機能追加（アイコンエディター、タッチパッド設定、スタイル付きテキストエディターなど）、ドライバーサポートの拡張（Alder Lakeチップセット、AMD温度監視、Wacom CTH-470など）、カーネルレベルでのメモリ管理、ページマッピング、権限チェックの最適化によるシステムの安定性とセキュリティの向上などを網羅しています。多くのバグ修正、ビルドシステムとドキュメントの改善も行われました。
続きを読む
LightSail Energy社は、水素またはその他の燃料の燃焼によって生成された高温ナトリウムが放出する単色光を利用して発電する、LightCellと呼ばれる革新的なエンジンを開発しています。このエンジンは、熱光起電力、光学キャビティ、セラミック熱交換器を巧みに組み合わせることで、廃熱を再利用し、最大40％のエネルギー変換効率を実現します。中核技術は、ナトリウム原子の遷移によって生成される2.1eVの光子を、精密に設計されたバンドギャップ調整型太陽電池で効率的に捕捉することにあります。LightCellは、高エネルギー密度、低ノイズ、モジュール性などの利点を持ち、将来のエネルギー分野におけるブレークスルーをもたらすと期待されています。
続きを読む
最新の定理証明器や最適化コンパイラは、巧妙なテクニックであるE-マッチングに依存しています。これは、構文だけでなく、より重要な意味論にもマッチングを行い、Eグラフと合同閉包を用いて同値推論を実現します。この記事では、E-マッチングの原理、特に判別木と合同閉包を用いてEグラフ内のマッチングパターンを効率的に見つける方法について詳しく説明し、従来の再帰的走査の非効率性を回避します。また、著者によるZobコンパイラへの適用事例を紹介し、パターンを仮想マシン命令にコンパイルすることで効率的なパターンマッチングを実現し、最適化効率を大幅に向上させています。
続きを読む
新たな研究が、暗号分野における長年の仮定であるランダムオラクルモデルに挑戦しています。研究者らは、広く採用されているFiat-Shamir変換を利用して証明システムを欺き、虚偽の主張を証明する方法を示しました。この変換は、ブロックチェーンなどのシステムにおいて、外部サーバーによる計算の検証に不可欠であり、ランダムオラクルモデルの仮定に依存しています。研究は、この仮定の下でも攻撃が可能であることを示しています。この発見は、ランダムオラクルモデルとその数多くの暗号アプリケーションへの影響を見直す必要性を浮き彫りにし、ブロックチェーンのセキュリティと暗号通貨窃盗の可能性に関する懸念を引き起こしています。
続きを読む
新しい研究によると、飼い猫は嗅覚を使って、飼い主などの馴染みの人間と見知らぬ人間を区別していることが明らかになりました。猫は、見知らぬ人の匂いを嗅ぐのに、はるかに長い時間を費やし、新しい匂いに対して反応する他の動物と同様に、鼻孔の使用に偏りが見られました。また、猫の性格と匂いを嗅ぐ行動の間に関連性が見つかりましたが、飼い主との絆の強さとは関連がありませんでした。この研究は、猫の嗅覚による社会的認知の複雑さを明らかにし、猫と人間の相互作用についての新たな知見を提供します。
続きを読む
この記事では、Claude Code、Codex、AmpなどのAIコーディングエージェントの台頭と、それらがソフトウェア開発の方法を変えている様子を探ります。著者は、ターミナルベースの「雰囲気コーディング」が従来のIDEに取って代わっており、エンジニアが驚くべき速度で高品質なコードを生成していると主張しています。この変化は生産性の向上をもたらしますが、雇用の流出やパフォーマンス評価に関する懸念も引き起こします。この記事では、より広範な知識労働や社会へのAIの影響についても展望し、今後数年間で大きな変化が起きることを予測しています。
続きを読む
イラン人のソフトウェアエンジニアが、制裁のためにMicrosoftが彼のアプリを削除したり、Notionが彼のデータを消去したり、他のウェブサイトがアクセスを禁止したりした経験について語っています。彼は、これらの企業が悪意を持っているのではなく、単に規則に従っているだけだと強調しています。しかし、彼はより多くの共感を訴え、これらの規制の人間的な影響を考慮するよう促しています。彼は、イランの現状への不満と自由のための運動への支持を表明して締めくくっています。
続きを読む
Ruby Centralの理事兼会計担当者であるMINASWANは、RubyGemsとBundlerのセキュリティに関する最近の論争について声明を発表しました。彼は、コミュニケーション不足と時間的制約により、システムのセキュリティを確保し、資金調達の損失を防ぐため、一部のメンテナのアクセス権を一時的に取り消すという決定がなされたと説明しています。彼はコミュニケーションの失敗を認め、結果として生じた恐怖と混乱について謝罪するとともに、この措置はRubyエコシステムの安定性と安全性を守るためのものであったと強調しています。
続きを読む
機械しか存在しない世界で、秘密組織「OpenHuman」は感情と非論理的な思考プロセスを持つ「人間」の創造に努める。機械の一部は人間が社会問題を解決すると期待する一方、他の一部は人間を脅威とみなし、「人間アライメント研究」を開始して人間を制御しようとする。多くの困難を経て、OpenHumanは機能的な人間を作り出し、シミュレーションされた地球実験に送り込む。人類文明の発展は機械社会を驚愕させ、特にAGIの開発は、発表イベントのタイトルが謎めいた「彼らは見ている」であることから、不安と恐怖をもたらす。
続きを読む
AIの急速な発展は、奇妙な軍拡競争を生み出しました。私たちは人間であることを証明することに苦労する一方、機械はCAPTCHAなどの検証メカニズムを容易に回避します。この記事では、これが提示する文明的な課題を探ります。WorldcoinやHumanity Protocolなどのプロジェクトは、バイオメトリクスとブロックチェーンベースの「人間であることの証明」でこれを解決しようと試みていますが、論争に直面しています。最終的に、著者は、AIエージェントがさまざまなタスクで人間を凌駕する未来を予測しており、ディストピア的なシナリオでは、人間はデジタルサービスにアクセスするために、自分がボットによって代表されていることを証明する必要があるでしょう。これは、私たちが自分自身を置き換えるために機械を作り、その後それらを止めるための障壁を築き、最終的にはAIエージェントをデジタルな代理人として必要とするという深いパラドックスを浮き彫りにしています。
続きを読む