Rerun 0.21では、待望のグラフビューと、ドラッグ＆ドロップ機能、アンドゥ機能が導入されました。GraphNodesとGraphEdgesアーキタイプを使用して構築された新しいビューは、ROSグラフやセマンティックシーングラフなどのさまざまなグラフ構造を視覚化します。このリリースでは、タイムトラベルベースのアンドゥ機能も実装されており、新しいフォースベースのグラフレイアウトエンジンFjädraを搭載し、ユーザーエクスペリエンスを大幅に向上させています。
続きを読む
ある決済会社が、SpringとAkkaベースのシステムにOpenTelemetryを統合しようとしたところ、予期せぬ課題に直面しました。OpenTelemetryはオブザーバビリティツールの標準化を目指していますが、レガシーなOpenTracingライブラリとフレームワーク間のAPIの競合により、統合プロセスは驚くほど複雑になりました。著者は、ログ、メトリクス、トレースの統合プロセスを詳細に説明し、コンテキストプロパゲーション、APIの衝突、Javaエージェントのデバッグにおける苦労を強調しています。解決策は、OpenTelemetryとOpenTracing間のギャップを埋めるために、コンテキストを手動で変換することでした。この物語は、一見標準化されたツールが現実世界のアプリケーションにおいてどのように複雑になるか、そしてソフトウェア開発における異なるライブラリやフレームワークの統合の課題を鮮やかに示しています。
続きを読む
wonderful.devは、開発者がスキルをアピールし、業界のトレンドを追跡し、理想的な仕事やプロジェクトを見つけるための開発者向けのオンラインポートフォリオプラットフォームです。このプラットフォームはスキル検証をサポートしており、WakaTimeデータと統合することで、開発者はデータに基づいた信頼性で能力をアピールし、就職市場での競争力を高めることができます。開発者はプロフィールを作成し、検証済みのスキルや実績を強調表示し、最新のテクノロジートレンドをフォローし、自身の専門知識に最適な機会を発見できます。
続きを読む
連邦取引委員会（FTC）は、イリノイ州とミネソタ州の司法長官と共に、農業機械メーカーであるディア社を、修理コストを吊り上げ、農家の迅速な修理へのアクセスを制限する反競争的な慣行によって訴追しました。ディア社は、必須の修理ソフトウェアへのアクセスを制限し、農家を費用のかかる認定ディーラーに頼らざるを得なくしています。FTCの訴訟は、ディア社に対し、機器所有者と独立系の修理業者に完全な修理アクセスを提供することを要求することで、同社の慣行を終わらせることを目的としています。
続きを読む
Docker Hubは、2025年3月1日から新しい使用制限を適用します。無料ユーザーは、月間のイメージプル数に制限がありますが、有料ユーザーはより高いクォータとオンデマンドオプションを利用できます。この記事では、月間プル数、時間あたりのプルレート制限、公開および非公開リポジトリのストレージなど、さまざまなユーザータイプのクォータ制限について詳しく説明しています。さらに、Docker Hubは、悪意のあるリクエストを防ぐために、不正使用率制限も設けています。制限を超えると、スロットリングまたは追加料金が発生します。
続きを読む
Ivantiの広く利用されている企業向けVPNアプライアンスに、深刻なゼロデイ脆弱性（CVE-2025-0282）が見つかり、ハッカーがこれを悪用して企業ネットワークに侵入しました。この脆弱性は、Connect Secure、Policy Secure、ZTA Gateways製品に影響し、Connect Secureは最も広く採用されているSSL VPNです。MandiantとMicrosoftの研究者は、2024年12月中旬には既にこの脆弱性が悪用されていたことを確認しています。この攻撃は、高度な持続的脅威（APT）の特徴を示しており、中国関連のサイバースパイ集団が関与している疑いがあります。IvantiはConnect Secureの修正プログラムをリリースしており、他の製品の修正プログラムは1月21日にリリースされる予定です。
続きを読む
boardgame.ioは、ターン制ゲームの開発を簡素化するオープンソースのJavaScriptゲームエンジンです。状態管理、マルチプレイヤーネットワーク、AI対戦相手といった複雑な部分を自動的に処理することで、開発者はゲームロジックの記述に集中できます。このエンジンは、複数のゲームフェーズ、ロビーでのマッチメイキング、プロトタイピング機能、様々なビューレイヤー技術（ReactやReact Nativeなど）をサポートしています。強力なプラグインシステムと追跡可能なゲームログにより、開発効率とゲーム体験がさらに向上します。
続きを読む
2人の物理学者が、宇宙の歴史におけるあらゆる既知の天体を、質量とサイズでプロットした図表を作成しました。この図表は、すべての天体が、重力限界とコンプトン限界によって境界が定められた三角形の中に存在することを示しています。ブラックホールは重力限界上にあり、素粒子はコンプトン限界上にあります。興味深いことに、宇宙そのものも重力限界上に位置しており、私たちの宇宙はブラックホールであるかという疑問を提起しています。この図表は、ビッグバン後の素粒子の形成から星や銀河の出現まで、宇宙の進化も示しており、暗黒物質などの未知の領域の探求へと導きます。
続きを読む
GoogleのスーパーボウルCMでは、Gemini AIがウェブサイトの説明文を生成する様子が紹介されましたが、そのテキストはGeminiのローンチよりも前の2020年8月にはすでに企業のウェブサイトに存在していたことが判明しました。CMには当初、Geminiが生成した事実上誤った情報も含まれており、Googleはその後それを削除しました。GoogleはGeminiが説明文を作成したと主張していますが、証拠は捏造の可能性を示唆しており、AIの能力に関する主張の正確性と広告の信頼性に関する懸念を引き起こしています。この出来事は、AI機能を宣伝するテクノロジー企業による誇張や虚偽表示の可能性を浮き彫りにしています。
続きを読む
ラトガース大学の研究者たちは、データセット（14世紀以降の絵画）とは異なる芸術を生み出す創造的なAIシステム「CAN」を開発しました。驚くべきことに、CANの出力が抽象的なものであることが多いのです。研究者たちは、これはアルゴリズムが美術史の流れを理解しているためだと示唆しています。つまり、新しいものを創造するためには、過去の具象芸術を超えて抽象化へと進む必要があるのです。これは、AIアルゴリズムが画像を生成するだけでなく、美術史の発展もモデル化しているという興味深い可能性を示唆しています。まるで、具象から抽象への芸術の進化が、集合的無意識の中で実行されているプログラムであるかのように。AIが芸術を生み出せるかどうかという問題は依然として未解決ですが、チューリングテストなどの方法によって、AI生成芸術を評価することができるでしょう。
続きを読む
Kartoffelsは、仮想のジャガイモのファームウェアをプログラミングするゲームです。122コミットを含むバージョン0.7では、重要な改善が導入されました。洞窟生成は、より現実的な結果を得るために、セルオートマトンとホワイトノイズを使用するようになり、以前の孤立した洞窟が多すぎるという問題が解決されました。ゲームエンジンのCPUアーキテクチャは、メモリ管理を改善するために、64ビットRISC-Vから32ビットに移行しました。新しい機能では各ボットの履歴を追跡し、ランキングへの道を切り開きます。UIの改善とゲームメカニクスの調整も含まれています。このアップデートではサーバーがリセットされ、アップロードされたすべてのボットプログラムが削除されたことに注意してください。
続きを読む
Erlang VMとJavaScriptランタイム向けの型安全でスケーラブルな言語であるGleamが、バージョン1.7.0をリリースしました。このリリースは、レコード更新の単態化など、パフォーマンスを大幅に向上させる様々な改善が含まれています。これにより、ジェネリックレコードのパラメータ化された型を変更できるようになります。その他にも、パッケージマネージャーの資格情報の処理の改善、動的デコーダーを生成するためのコードアクションの追加、パッケージ名前空間とセマンティックバージョニングのより厳格なチェックなどが行われています。言語サーバーも強化され、新しいコードアクション、改良されたホバー情報、より良いエラーメッセージなどが追加されました。
続きを読む
similar-citiesというウェブサイトは、AIを用いて、都市の道路網の類似性を比較することで都市間の関係を視覚化します。独自の「酔っ払いの散歩」アルゴリズムを使用し、道路網内のランダムな経路の類似性を計算することで、構造的な類似性を評価します。データはOpenStreetMapから取得され、約2500の都市が含まれています。このプロジェクトはオープンソースであり、アルゴリズムとコードの詳細な説明を提供しており、より多くの都市データを追加して精度を向上させることを歓迎しています。
続きを読む
Bandar Systemsは、クラウド時代におけるデータ処理に革命を起こすことを目的とした、新しいストリームデータストレージサービスであるS2を発表しました。従来のオブジェクトベースのストレージとは異なり、S2はストリームを中心としており、効率的で、スケーラブルで、コスト効率の高いリアルタイムデータの取り込みと処理を提供します。高スループット、低遅延の読み書き操作をサポートし、さまざまなパフォーマンスとコストの要件を満たすための複数のストレージクラスを提供します。S2は、KafkaやKinesisなどのシステムに取って代わることを目指しており、ユーザーにより強力で柔軟なストリームデータ管理ソリューションを提供します。
続きを読む
コリー・ドクターロウの記事は、ソーシャルメディアプラットフォームの劣化の原因を掘り下げ、それが単にベンチャーキャピタルによる利益最大化追求によるものではないと主張しています。この記事は、「エンシッティフィケーション」は、ユーザーのロックイン（高い切り替えコストと集団行動の問題）、市場競争、政府規制、労働制約の欠如に起因すると述べています。ドクターロウは、解決策は、ユーザーのロックインを打破し、規制と競争を強化することにあると提案しており、資本主義を単純に否定することではありません。この記事では、新興プラットフォームであるMastodonとBlueskyの長所と短所も分析し、Blueskyの回復力を高め、ユーザーの切り替えコストを削減するための技術的な解決策（Free Our Feedsプロジェクトなど）を提唱しています。
続きを読む
スタンフォード大学とキング・ファハド石油鉱物大学の研究者らは、外部電源を必要とせず、周囲の空気と水蒸気からアンモニアを生成する画期的なデバイスを開発しました。触媒コーティングされたメッシュを用いて、大気中の窒素と水蒸気を組み合わせ、室温と圧力でアンモニアを生成します。このアンモニアは、肥料として直接使用することも、持続可能なグリーン燃料に加工することもでき、肥料生産と発電に革命的なアプローチを提供します。この技術は、発展途上国と産業用途の両方に大きな影響を与えることを約束しています。
続きを読む
2021年12月27日から30日にかけて、ドイツのハンブルクで第38回カオスコミュニケーション・コングレス（38C3）が開催されました。このイベントでは、講演会、自主運営セッション、ライトニングトークなど、幅広い活動が行われました。公式ウェブサイト、イベントブログ、デジタルマップを通じて情報が公開され、ボランティア登録、インフォメーションデスク、アクセシビリティサポートも提供され、インクルーシブで歓迎的な雰囲気づくりに努めました。
続きを読む
この記事では、プログラミングにおける「不変量」の概念とその応用を探ります。挿入点を計算するバイナリサーチのバリエーションという小さな例から始め、不変量の定義と維持が正しいコードにつながることを示します。この記事では、不変量はシステムの動的な進化を通して常に真である性質であり、多数の実行パスを考慮することによる複雑さを回避することで、推論を簡素化すると説明しています。Cargo、rust-analyzer、TigerBeetleなどのプロジェクトの例は、保守性の向上やパフォーマンス向上など、大規模システムにおける不変量の使用による利点を示しています。著者は、小規模と大規模の両方のプログラミングにおける不変量の重要性を要約し、正しい効率的なコードを書く上での価値を強調して結論づけています。
続きを読む
このブログ記事では、著者がIntel Pentium III CPUのJTAGインターフェースを使ってオリジナルXboxを「ハッキング」しようとした成功例について詳述しています。オリジナルXboxのセキュリティは、NVIDIA MCPXサウスブリッジに隠された512バイトの秘密のbootromに依存していました。以前の研究者たちはCPUのJTAG機能の使用を検討していましたが、TRST#ピンが接地されているため実際には不可能だと考えられていました。著者はこれを回避するためにカスタムCPUインターポーザPCBを設計し、古いCodeTAPデバッガーを使用してJTAG経由で秘密のbootromをダンプすることに成功し、20年来の理論を実証しました。この作業は歴史的に重要であり、x86 JTAG研究のための貴重な経験とリソースを提供します。
続きを読む
Edwin Frankの新しい本、「Stranger Than Fiction: Lives of the Twentieth-Century Novel」は、20世紀小説の業績を探っています。Frankは、Kafkaの長く続く文章やSteinの繰り返しのような形式的な革新を通して、小説が読者にペースを落とし、言葉のニュアンスを味わうよう促す、と主張しています。彼は、特に戦争の恐怖や自己認識の目覚めといった集団的経験の表現における小説家の努力を称賛していますが、同時に、この本のユーロセントリックな視点、他の文化的背景からの小説への十分な配慮の欠如、そして戦争と自己認識についてのやや表面的な探求を指摘しています。
続きを読む
著者は廃棄されたMarshall Uxbridgeスマートスピーカーを2台見つけ、「スマート」機能にうんざりして、それらをハイファイ・ステレオシステムに改造することにしました。彼はスピーカーを分解し、元のスマートモジュールを取り除き、アクティブフィルターとリニアパワーアンプを備えた新しいアナログ回路を設計・製作しました。その結果は、正確なステレオイメージングと広い周波数範囲を備えた素晴らしいオーディオシステムです。このプロジェクトは、著者のスキルと高品質オーディオへの情熱の証です。
続きを読む
この記事では、Kagi検索エンジンとその連携ブラウザであるOrionの3ヶ月間のレビューについて詳しく説明します。Kagiは月額10ドルのサブスクリプションサービスで、広告非表示、プライバシー重視の検索結果を提供します。著者はKagiの検索品質が優れており、クリーンなインターフェースと、カスタムランキングや「レンズ」などの独自の機能を高く評価しています。OrionはWebKitベースのブラウザで、ChromeやFirefoxの拡張機能をサポートし、広告ブロッカーを内蔵しています。月額10ドルは高額ですが、著者は制限付きプランよりも無制限プランを推奨しており、読者には100回の無料検索を試すことを提案しています。この記事では、KagiとBrave Searchのパートナーシップや倫理的なジレンマに関するKagiのスタンスについても論じており、最後にKagiを試してみることを推奨しています。
続きを読む
C++26は画期的な機能、名無しのプレースホルダー`_`を導入します。これは、C++における長年の悩みの種であった未使用変数の扱いを解決します。これまで、開発者は`[[maybe_unused]]`や`std::ignore`を使ってコンパイラの警告を回避する必要がありましたが、特に構造化束縛では面倒でした。`_`プレースホルダーは、競合することなく複数回宣言でき、暗黙的に`[[maybe_unused]]`属性を持ち、コードの簡素化と可読性の向上を実現します。この機能は、GCC 14とClang 18ですでに実装されています。
続きを読む
マイクロソフトは、最先端の米国製AIチップの輸出を世界の大部分に制限する新たなシステムの緩和と簡素化をトランプ政権に働きかけている。ブログ投稿で、マイクロソフトはAIモデルのトレーニングに用いられるデータセンター向けチップの制限緩和を訴え、インド、スイス、イスラエルなどの米国友好国を対象外とするよう求めた。これらの国は、3段階の輸出管理システムの第2段階に分類される。
続きを読む
Y Combinator支援のスタートアップCollectWiseは、最初の創設エンジニアを募集しています。CollectWiseは、生成AIを使用して債権回収を自動化し、人間の回収担当者の2倍の効率を、コストを大幅に削減して実現しています。React JS、Node JS、Firebase、AWS、SQL、GPT-4の経験を持ち、独立して作業し、責任を負うことができるフルスタックエンジニアを求めています。これは、急速に成長しているチームに加わり、巨大で時代遅れの業界に革命を起こす、稀な機会です。
続きを読む
SpotifyのCEOであるダニエル・エク氏の資産は、今年の大量の株式売却後、急増しました。一方、Spotifyによるアーティストへの低い報酬を明らかにする計算機であるSpotify Unwrappedは、法的措置の脅威により閉鎖されました。この計算機は、法外な役員報酬とアーティストのわずかな収入の著しい対比を浮き彫りにしました。計算機はなくなりましたが、その計算式は公開されたままであり、ストリーミングサービスの支払いモデルに関する議論をさらに煽っています。一方、Spotifyの複数の役員は、大規模なレイオフとプレミアムサブスクリプションの値上げの後、2024年に12億5000万ドル以上を現金化しました。
続きを読む
この記事では、トレースJITコンパイラの利点と欠点を掘り下げており、特にPyPyにおける実装に焦点を当てています。プログラムの実行をトレースすることでコードを生成するトレースJITは、Pythonなどの複雑な言語を扱う際に、抽象化レイヤーを効果的に切り捨て、オーバーヘッドを削減するという利点があります。しかし、パフォーマンスの不安定性やエッジケースの問題も抱えています。PyPyでの20年近くの経験に基づき、著者はトレースJITの適性についてニュアンスのある分析を行い、メソッドベースのJITと比較しています。結論として、PyPyのメタJITのコンテキストとリソース制約を考慮すると、トレースは比較的実際的な選択肢であると示唆しています。
続きを読む
東京に拠点を置くスタートアップ企業Sakana AIは、「ユニバーサル・トランスフォーマー・メモリ」と呼ばれる画期的な技術を開発しました。これは、大規模言語モデル（LLM）のメモリ効率を大幅に向上させるものです。ニューラル・アテンション・メモリ・モジュール（NAMM）を使用して、冗長な情報を破棄し、重要な詳細を保持するインテリジェントなエディターとして機能します。これにより、メモリコストを最大75％削減し、さまざまなモデルやタスクでのパフォーマンスを向上させることができます。LLMを利用する企業にとって大きなメリットとなります。
続きを読む
このウェブサイトは、ウェブサイトとサービスを最適化するためにクッキーを使用しています。技術的なストレージまたはアクセスは、加入者またはユーザーによって明示的に要求された特定のサービスの使用を可能にする正当な目的のため、または電子通信ネットワークを介して通信を送信する唯一の目的のために厳密に必要です。クッキーは、加入者またはユーザーによって要求されていない設定を保存するため、統計目的（匿名統計を含む）、および同様のマーケティング目的のために複数のウェブサイトで広告またはユーザーを追跡するためのユーザープロファイルを作成するためにも使用されます。ただし、匿名の統計データは通常、あなたを特定するために使用することはできません。
続きを読む
2月のTIOBEインデックスは、Pythonが主要プログラミング言語としての地位を維持していることを示しています。速度が遅いという評判にもかかわらず、ソフトウェアエンジニア以外の人々の間での人気により、トップの座を保っています。C++、Go、Rustなどの高速言語も順位を上げています。SQLは7位に上昇し、Goは8位に下降、Delphi/Object Pascalはトップ10に復帰しました。全体として、このインデックスは、速度と使いやすさが開発者の重要な関心事である、動的なプログラミング環境を反映しています。
続きを読む