Andes Technologyの子会社であるCondor Computingは、Hot Chips 2025で高性能RISC-VコアCuzcoを発表しました。Cuzcoは8幅のアウトオブオーダ実行エンジン、最新の分岐予測器、そして革新的な時間ベースのスケジューリング方式を備えており、SiFiveのP870やVeyronのV1と同等の性能を実現します。その独自の方法は、バックエンドで主に静的スケジューリングを使用することで、省電力化と複雑さの軽減を実現し、最適なパフォーマンスを得るためにISAの変更やコンパイラの調整は不要です。Cuzcoは高度に構成可能で、顧客の様々なニーズに合わせてカスタマイズでき、マルチコアクラスタをサポートします。
続きを読む
この記事では、地理ポリゴン、特にその凸包を簡素化するアルゴリズムについて考察しています。現在の方法は、Douglas-Peuckerアルゴリズムとポリゴンオフセットを組み合わせたものです。まずポリゴンを外側にオフセットして詳細を削除し、次にDouglas-Peuckerアルゴリズムを使用して簡素化し、最後に内側にオフセットします。しかし、この方法は凸状の特徴には最適ではありません。著者は、同じサイズでより高品質のジオメトリを実現する、または品質を損なうことなくサイズをさらに削減する、より効率的なアルゴリズムを探しています。
続きを読む
著者は脳腫瘍との闘いを語る。手術前夜、彼は並外れた体験をし、時間、生命、愛について深い理解を得る。手術後、苦しい回復過程を経るも、彼は生命をより大切にし、「意識」は単なるニューロンの活動ではなく、愛情、愛、生命の認識でもあると悟る。この物語は、人生の意味についての深い考察と、繊細な愛情描写に満ちている。
続きを読む
この記事では、不可解なデバッグの話を紹介します。動的ライブラリを`dlclose`でアンロードする際に、libAは正常にアンロードされましたが、その依存ライブラリであるlibBは予期せずメモリに残りました。調査の結果、根本原因はlibBに登録されたスレッドローカルストレージ（TLS）のデストラクタであることが判明しました。スレッドが終了しなかったため、これらのデストラクタは実行されず、libBのアンロードが妨げられました。ロギングを有効にすると問題が解決しましたが、これはロギングライブラリもTLSを使用していたため、libAもアンロードされず、libAとlibBの共有状態の一貫性が維持されたためです。このケースは、`dlclose`の動作とTLSデストラクタの影響を理解することの重要性を強調しており、動的ライブラリのデバッグには`LD_DEBUG`環境変数の使用を推奨しています。
続きを読む
AnthropicのAIチャットボット、Claudeがサービス利用規約を密かに変更しました。ユーザーの会話は、ユーザーが積極的にオプトアウトしない限り、デフォルトでモデルのトレーニングに使用されるようになりました。この変更は、ユーザーとプライバシー擁護者の怒りを買っています。この記事では、AIツールを使用する際にデータプライバシーを積極的に管理することの重要性を主張し、ユーザーに設定の確認、アップデートの確認、データ共有に関する意識的な選択を行うよう促しています。著者は、デフォルト設定に依存することはリスクが高いことを強調しており、設定は予告なく変更される可能性があります。この変更は、消費者ユーザーに不均衡に影響を与える一方で、エンタープライズクライアントには影響がありません。これは、データ駆動型のAIエコシステムの優先順位を示しています。
続きを読む
インテルは、「ソフトウェア定義スーパーコア」（SDC）と呼ばれる技術の特許を取得しました。これは、シングルスレッドのパフォーマンスを大幅に向上させることを目的としています。SDCは、複数の物理コアを仮想的な「スーパーコア」に融合させ、単一のスレッドの命令を分割して並列実行します。特殊な命令によってプログラムの順序が維持され、クロックあたりの命令数（IPC）が最大化されます。クロック速度やコアの幅を上げる必要はありません。現時点では特許申請段階ですが、成功すれば、将来のインテルCPUにおける特定のアプリケーションでのシングルスレッドパフォーマンスが劇的に向上する可能性があります。この技術は、非常に幅広いコアを構築することの限界に対処するために、ソフトウェアと小さなハードウェアモジュールを使用して同期とデータ転送を管理しています。
続きを読む
BlueskyのATプロトコル上に構築された分散型ソーシャルネットワークであるBlackskyは、オーガニックに200万ユーザーに急成長し、分散型プラットフォームの可能性を示しました。黒人の声とコミュニティの安全性を優先し、Blackskyは独自開発のオープンソースツールとコミュニティベースのモデレーションシステムを使用して、Blueskyから独立した独自のアイデンティティを維持しています。その成功は、包括的で自己統治型のオンライン空間を促進する分散型インフラストラクチャの力を浮き彫りにしています。
続きを読む
このウェブサイトは、Herfindahl-Hirschman Index（HHI）を使用して、フェディバースやアトモスフィアなどの分散型ソーシャルネットワークにおけるユーザーデータの集中度を測定しています。HHI値が0に近いほど競争が激しく、10000に近いほど高度に集中していることを示します。このサイトは現在、アクティブユーザーのサーバー（フェディバース）またはデータリポジトリ（アトモスフィア）への分布を分析し、同じエンティティによって制御されているサーバーを集計することでHHIを計算しています。データの場所以外にも、ネットワーク構造、アイデンティティ管理、インフラストラクチャ、法的管轄区域、社会的な力の分布など、分散化の重要な側面を強調しています。コードとデータはGitHubで公開されています。
続きを読む
spaCy 3.8がリリースされました！PythonとCython向けの高度な自然言語処理（NLP）ライブラリで、最新の研究に基づいており、実製品での使用を目的として設計されています。70以上の言語のトークン化とトレーニングをサポートし、NER、テキスト分類など、最先端の速度とニューラルネットワークモデルを備えています。BERTなどの事前学習済みトランスフォーマーによるマルチタスク学習、本番環境対応のトレーニングシステム、モデルのパッケージ化、デプロイ、ワークフロー管理の容易さも特徴です。改善の詳細については、リリースノートをご覧ください。
続きを読む
Ultrassemblerは、GNU asよりも10倍以上、llvm-mcよりも20倍以上高速な、超高速RISC-Vアセンブラライブラリです。この驚異的なパフォーマンスは、C++例外処理（理想的なケースではゼロオーバーヘッド）、効率的なデータ構造の採用、システムコールのオーバーヘッドを排除するための事前割り当てメモリプールの使用、そして値の推測、巧妙な検索アルゴリズム、コンパイル時テンプレート、コード生成といった最適化技術の組み合わせによるものです。これらの最適化は、ユーザーエクスペリエンスの向上だけでなく、ゲームやJITコンパイラなどのアプリケーションにおける低コストなRISC-Vスクリプティングの可能性も開きます。
続きを読む
このガイドは、定義と表現におけるよくある間違いに焦点を当て、明確で簡潔な数学論文の書き方に関する実践的なアドバイスを提供します。定義における余分なコンマの回避、表記が同時に導入され使用される二重定義の防止、曖昧さを避けるための表現の単位としての扱いなど、多くの例と代替表現が示されています。これにより、可読性と正確性が向上します。
続きを読む
この記事は、1970年代初頭にIBMがソフトウェアを無料から有料へと戦略転換した経緯を説明しています。当初、IBMはコンピュータの有用性を高めるためにソフトウェアを無料で提供していましたが、反トラスト法の圧力や、役員報酬と将来の継続的収益のバランスといった内部要因により、ソフトウェアとハードウェアの価格を分離し、システムエンジニアのサービスに料金を課すようになりました。この転換は、若手エンジニアの研修制度の見直しにもつながりました。また、24時間365日体制のオンラインサービスを支えるために、IBMは課金システムの最適化技術を開発しました。そして、「フューチャーシステム」プロジェクトの失敗後、IBMは370ハードウェアとソフトウェアに焦点を絞り直し、最終的にカーネルソフトウェアの有料化を決定しました。これは、IBMのソフトウェア戦略における大きな転換点となりました。
続きを読む
この記事は、マイクロサービスの一般的な考え方に異議を唱え、今日の強力なサーバーは、多くの場合、単一の巨大なサーバーアーキテクチャの方が費用対効果が高いことを主張しています。現代のサーバーの能力を詳細に説明し、クラウド、自己ホスティング、レンタルオプションの費用を比較しています。著者は、ほとんどのWebサービスでは、高性能サーバー（バックアップ付き）で十分であり、極めて高いQPSやバースト性の負荷がない限り、複雑なクラウドネイティブアーキテクチャによる追加コストとメンテナンスの複雑さはメリットを上回ることが多いと主張しています。垂直スケーリング（サーバーのアップグレード）は、水平スケーリング（サーバーの追加）よりも多くの場合効率的であり、従来の常識の再評価を促しています。
続きを読む
このエッセイは、科学理論が単に「正しい」か「間違っている」かではなく、正確さのスペクトル上に存在することを主張しています。地球の形についての進化した理解（平らなものから球状のもの、扁平な回転楕円体、そしてわずかに洋梨のような形をしたモデルまで）を例として用いて、アシモフは、科学的進歩は置き換えではなく洗練のプロセスであることを示しています。不完全ではあるものの、古い理論はしばしば、より洗練された後のモデルに持続する貴重な真実を含んでいます。著者は、現在の科学的理解を祝うことは、その本質的な不完全さを認めたとしても正当化されると結論づけています。
続きを読む
LLM（大規模言語モデル）の能力向上とMCPなどの拡張メカニズムにより、安全で信頼性の高いAIアプリケーションの構築はますます複雑になっています。本稿では、Java仮想マシン（JVM）と同様のAIモデル仮想マシン（MVM）の概念を提案します。MVMは、AIモデルにセキュリティ、分離、拡張性、移植性などを提供します。MVMはモデル開発と統合ロジックを分離し、プラグアンドプレイ式のモデル交換を可能にし、AIアプリケーションのセキュリティとプライバシーを保護するための組み込みセキュリティ制御とアクセス制御メカニズムを組み込んでいます。さらに、透過的なパフォーマンスとリソースの追跡、および検証可能なモデル出力の可能性も提供します。この革新は、AIアプリケーション開発における多くの課題に対処し、より安全で、信頼性が高く、効率的なAIエコシステムを構築するための道を切り開くことを約束します。
続きを読む
メモアプリ「Bear」の開発者Hermanは、アプリのオープンソースライセンスをMITからElastic Licenseに変更すると発表しました。これは、他の開発者がBearをフォークして競合サービスを作成し、開発者の利益を損なう事例があったためです。Elastic LicenseはMITライセンスとほぼ同じですが、ソフトウェアをホスト型またはマネージドサービスとして提供することを禁止する条項が追加されています。開発者は、AIによるコーディングの台頭により競合製品の作成が容易になったことを理由に、この変更を行い、自身の仕事の保護とアプリの長期的な持続可能性を優先しています。
続きを読む
ウクライナとの紛争により宇宙開発協力が崩壊した後、ロシアは新型ソユーズ5ロケットの開発を加速させています。NASAスペースシャトルのメインエンジンよりも3倍以上の推力を誇る強力なRD-171MVエンジンを搭載し、ウクライナ製の部品を使用しないソユーズ5は、ゼニットとプロトンMロケットの後継を目指しています。ロシアは商業打ち上げ市場における地位向上を狙っています。しかし、さらに重要なのは、再利用可能な第1段と新型の液体酸素・メタンエンジンを搭載したソユーズ7（アムール）ロケットです。これは将来的にソユーズ2ロケットに取って代わる予定ですが、初飛行は2030年以降に延期されています。
続きを読む
Nginx-CGIプラグインは、NginxとAngie WebサーバーにCGIサポートを追加し、低頻度アプリケーション、リソース制約のあるシステム、プロトタイプの構築を容易にします。Linux、macOS、BSDなど、さまざまなオペレーティングシステムをサポートしています。この記事では、インストール、構成、使用方法の詳細を説明し、CGIスクリプトを実行する複数の方法（chroot、Docker、FreeBSD jailsなど）を示します。また、CGIスクリプトの記述規則とHTTPリクエストおよびレスポンスの処理についても説明します。
続きを読む
YouTubeチャンネルTalking Sasquachは、多くの現代車のローリングコードセキュリティシステムを破る、Flipper Zeroのカスタムファームウェアを実演しました。この攻撃は、キーフォブからのボタン押下を一度記録するだけで、ドアやトランクのロック解除など、すべての機能を複製し、元のキーフォブを無効にすることができます。影響を受けるブランドには、クライスラー、ダッジ、フィアット、フォード、ヒュンダイ、ジープ、キア、三菱、スバルが含まれます。現在、簡単な解決策はなく、大量の車両リコールが必要になる可能性があります。攻撃のメカニズムは、ローリングコードシーケンスのリバースエンジニアリング、または特定の順序でキャプチャされたコードを再生して同期システムをリセットする「RollBack」攻撃のいずれかである可能性があります。
続きを読む
「サンダークラッパー」と呼ばれたルイスとクラーク探検隊の巨大な下剤ピル600錠は、安定した化合物である水銀を含んでいました。これらのピルの痕跡が、考古学者による探検隊のキャンプ地の特定に役立っています。土壌中の水銀レベルが高いことは、古いトイレの穴を示しており、軍隊の手引書がキャンプレイアウトの再構築に役立っています。この発見は、19世紀初頭の医療慣習の限界を浮き彫りにしています。当時流行した「英雄的医学」は、効果があった場合もある一方で、多くの場合、害の方が大きかったのです。
続きを読む
2022年のC64ベースのテルミン製作に続き、作者はQwereminを開発しました。これは、古典的なテルミンとQWERTYキーボードを融合させた革新的な楽器です。Qwereminは、テルミンの演奏困難さを克服し、外部DACを用いて音量制御の精度と応答性を向上させています。記事では、伝説的なゲーム音楽作曲家Rob Hubbardとの偶然の出会い、そして彼のサイン入りクランプについても触れられています。
続きを読む
Laravelの創設者であるTaylor Otwellは、世界で最も人気のあるWebフレームワークの1つを構築し、維持してきた14年間の道のりを振り返ります。PHP 5.3からの始まりから、70人の従業員を抱える繁栄している会社へと成長する過程で、彼はコードの保守性、開発者の経験、そして複雑化させずに進化する方法についての洞察を共有します。彼はデザインにおけるシンプルさ、慣例に従うことの長期的メリット、そしてオープンソースプロジェクトの規模を拡大することの課題を強調しています。インタビューでは、Laravelの資金調達ラウンドと、チームと文化の進化についても取り上げています。
続きを読む
Haskellプログラマーは、特に多くのフィールドを持つレコード型を扱う際に、データモデリングに苦労することがよくあります。この記事では、Template Haskellを活用して、型変換器とIs型クラスを使用して構造的部分型付けをシミュレートするHaskellライブラリであるtype-machineを紹介します。これにより、レコード型の操作が簡素化され、コードの効率が向上します。このライブラリは、pick、omit、recordなどの関数を提供し、レコードフィールドの簡単な操作を可能にします。ベンチマークテストでは、他のアプローチと比較したパフォーマンス上の利点が示されています。
続きを読む
RedはRebolに強くインスパイアされたプログラミング言語ですが、ネイティブコードコンパイラのおかげで、システムプログラミングから高レベルスクリプティングまで、幅広い用途に使用できます。また、コンカレンシーとマルチコアCPUに対する最新のサポートを提供します。RedはDSL指向のアプローチ（方言と呼びます）を使用して、ソフトウェア構築の複雑さを軽減します。組み込みの方言には、Red/System（Cレベルのシステムプログラミング言語）、Parse（強力なPEGパーサー）、VID（シンプルなGUIレイアウト作成方言）、Draw（ベクター2D描画方言）、Rich-text（リッチテキスト記述方言）などがあります。Redは独自の完全なクロスプラットフォームツールチェーンを備えており、エンカプレーター、ネイティブコンパイラ、インタープリター、リンカーが含まれており、サードパーティライブラリに依存しません（アルファ段階を除く）。主な機能には、人間にとって分かりやすい構文、同像性、マルチタイピング、強力なパターンマッチングマクロシステム、豊富な組み込みデータ型、静的およびJITコンパイル、クロスコンパイル、1MB未満の小さな実行ファイル、強力なコンカレンシーと並列処理サポート、低レベルシステムプログラミング機能、強力なPEGパーサーDSL、高速でコンパクトなガベージコレクター、組み込みのインストルメンテーション、クロスプラットフォームネイティブGUIシステム、JVMブリッジング、高レベルスクリプティング、REPL GUIおよびCLIコンソールなどがあります。現在アルファ段階であり、32ビットのみをサポートしています。
続きを読む
毎年、何百万人ものハイカーが自然地域に人間の排泄物を残しており、これは公衆衛生と環境に大きなリスクをもたらしています。調査によると、施設があっても、多くのハイカーは、意識の欠如、不明確な規制、または重要性の認識不足のために、自然の中で排泄しています。「Leave No Trace」の原則を推進する研究者たちは、ワッグバッグの使用や適切なトイレ穴の掘削を提唱し、脆弱な生態系を守るために、敏感な環境で排泄物を持ち帰る必要性を強調しています。
続きを読む
この記事では、ADHDの管理方法について論じており、「戦略」と「戦術」の2つのセクションに分かれています。「戦略」は、薬物療法、記憶管理、エネルギー配分、内省などの高度な制御システムに焦点を当てています。「戦術」は、タスクの選択、視覚的なフィールド管理、プロジェクトの定期的なチェックイン、受信トレイの管理など、ミクロレベルの改善策をリストアップしています。著者は、ADHDの一線治療として薬物療法を強調し、個人的な経験に基づいた実践的なヒントを共有することで、読者が効率的な自己成長システムを構築し、最終的にADHDを克服する手助けをします。
続きを読む
Anthropicは、ユーザーが9月28日までにオプトアウトしない限り、Claudeを含むAIモデルを、ユーザーのチャットログやコーディングセッションを使用してトレーニングすることを開始します。これは、すべてのコンシューマー向けプランに適用され、データ保持期間は5年に延長されます。アップデート通知における目立つ「同意する」ボタンは、ユーザーが内容を完全に理解せずに同意してしまうリスクがあります。Anthropicはデータ保護対策を講じていると主張していますが、うっかり同意してしまったユーザーは設定で変更できますが、既に使用されたデータはアクセスできなくなります。
続きを読む
この記事では、Linux の TTY サブシステムについて包括的に説明します。19 世紀後半の株価情報伝達装置から現代の仮想端末まで、その歴史をたどり、UART ドライバ、ラインディシプリン、TTY ドライバ、シグナル処理の役割を詳細に説明します。プロセス状態、ジョブとセッションの管理、フロー制御、ブロッキング I/O も、明確な図と例を用いて解説します。Linux コンソールの複雑さを解き明かし、開発者や上級ユーザーに深い洞察を提供します。
続きを読む
Piccalilliサイトが、ソフトウェア開発におけるAIツールの強制利用の暗い側面を暴く記事を発表しました。複数の開発者が匿名で、ネガティブな経験を共有しています。AI生成コードのバグが多くデバッグが困難、技術リーダーがAIを意思決定ツールとして使用し、プロジェクトの質が低下、企業がAIスキルを評価基準とし、従業員の不安が高まっているといった内容です。著者は、開発者に対し、ネガティブな結果を記録し、自身の権利を守り、AIツールへの過剰依存と潜在的なリスクに警戒するよう促しています。
続きを読む
Chronicleは、Go言語で書かれた実用的で型安全なイベントソーシングツールキットです。`aggregate.Base`を埋め込むことでバージョン管理を簡素化し、sum typeを使用することで型安全性を確保します。様々なバックエンド（インメモリ、SQLite、PostgreSQL）をサポートし、楽観的ロックによる並行処理、スナップショットによるパフォーマンス向上、イベントメタデータやトランスフォーマーによる暗号化やデータ変換などの機能を提供します。この堅牢なライブラリは、Goアプリケーションにおける最新のイベントソーシングを効率化します。
続きを読む