この記事では、AnthropicのModel Context Protocol (MCP)を使用して、大規模言語モデル(LLM)の記号数学における限界を克服する実験について説明しています。MCPは、LLMが外部ツールを呼び出すことを可能にします。著者は、減衰調和振動子の式を解くために、LLMとコンピュータ代数システムであるSymPyを統合しました。MCPエコシステムはまだ発展途上であり、セキュリティリスク（ローカル実行！）も存在しますが、この統合の成功は、このアプローチの可能性を示しています。SymPyのような専門ツールとLLMを組み合わせることで、複雑な数学計算とのインタラクションに革命を起こす可能性があります。
続きを読む
SQLite-JSは、JavaScriptを使用してカスタムSQLite関数、集約関数、ウィンドウ関数、照合順序を作成できる強力な拡張機能です。これにより、SQLiteデータベース内で柔軟で強力なデータ操作が可能になります。単一行を処理するスカラー関数、複数行を処理する集約関数、完全なデータセットにアクセスするウィンドウ関数、カスタム照合順序（ソート順序の定義）をサポートしています。単純なSQL文で、計算、テキスト操作、データ変換を実行する関数を生成できます。年齢、中央値、移動平均などの計算を行う関数の例があります。複雑なタスクには、JavaScriptコードの直接評価もサポートされています。sqlite-syncと併用すると、カスタム関数はSQLiteクラウドクラスタ全体に自動的に複製されます。
続きを読む
Forge は、AWS 上でエフェメラルな GitHub Actions ランナーを実行するための、スケーラブルで安全、そして完全に自動化されたマルチテナント プラットフォームです。プラットフォーム エンジニアによってプラットフォーム チーム向けに設計されており、GitHub Actions のデプロイと管理を簡素化します。EC2 と EKS にまたがるエフェメラルな GitHub Actions ランナーのプロビジョニングとライフサイクル管理を自動化し、マルチテナントの分離、ドリフトの修復、組み込みの可観測性などを提供します。さまざまな OS、GitHub Cloud、GHES をサポートし、コストを意識したスケジューリング、柔軟なインフラストラクチャ、マルチランナー デプロイメントなどを特長としています。包括的なクイックスタート ガイドにより、ユーザーは Forge を迅速に展開し、ニーズに合わせて構成できます。
続きを読む
著者は、iPadアプリを使った4年間のピアノ楽譜視奏練習の自動化経験を共有しています。Pythonistaでインターフェースを作成し、キーの選択と練習データの追跡を自動化、D3.jsで進捗状況を視覚化しました。ランダム化とデータ視覚化が視奏能力を大幅に向上させたこと、音名に頼らずパターン認識を優先すること、そして体系的な練習ルーチンの利点を発見しました。
続きを読む
Googleが最近リリースしたGemini Diffusionは、その驚異的な速度で注目を集めています。デモをゆっくり再生しないと何が起きているのかわからないほどです。この記事では、拡散モデルがなぜこれほど高速なのか、従来の自己回帰モデル（GPT-4、Claudeなど）と比較しながら詳しく解説します。拡散モデルは一度に全体の出力を生成し、トークン単位で生成するのではなく、正しい部分を並列で生成し、反復回数を減らすことで速度を向上させます。しかし、長いコンテキストの処理では効率が悪く、推論能力についても疑問が残ります。拡散モデルは内部的にトランスフォーマーを使用する場合がありますが、全体的なアーキテクチャにより、自己回帰モデルとは根本的に異なる動作をします。
続きを読む
この記事では、ロベルト・ムジルが劇場に深く関わっていた時期に書いた2つの戯曲、『ユートピアの人々』（1921年）と『ヴィンツェンツと重要な男たちの愛人』（1923年）を考察します。これらの作品は、ムジルが当時の演劇に抱いていた不満と、ユートピア的理想の探求を反映しています。ムジルのユートピアは固定されたシステムではなく、硬直した慣習への抵抗と創造的な開放性の追求であり、未完の小説『特性のない男』のテーマと共通しています。登場人物たちの苦闘は、無限の可能性の世界における個人の孤独と不安定さを象徴しており、ムジルが芸術の社会的役割について深く考えていたことを示しています。
続きを読む
three.jsを用いて作成されたGLSLシェーダーで、4D回転と立体投影を用いて3Dモデルを4D単位球面に投影することで、曲面空間をシミュレートします。元々はUnityゲームSferaのためにHLSLで書かれていましたが、このシェーダーを使用することで、ユーザーはズーム、回転、カメラの視点制御を行い、曲面空間を移動するアニメーションモデルを体験できます。オンラインデモとビデオチュートリアルがあります。モデルはthree.jsリポジトリからランタイムでロードされます。
続きを読む
Rustで記述されたAV1デコーダーrav1dとCで記述されたdav1dの性能を比較することで、サンプリングプロファイラーを用いて2つの性能ボトルネックを特定しました。1つ目は、ARMアーキテクチャにおけるrav1dでの不要なバッファのゼロクリアで、パフォーマンスの低下につながっていました。2つ目は、rav1dにおける構造体比較の実装の非効率性です。`MaybeUninit`を使用して不要なゼロクリアを回避し、構造体比較を最適化することで、rav1dのパフォーマンスを約2%向上させました。
続きを読む
この記事では、著者がOpenAIのo3モデルを使ってLinuxカーネルのゼロデイ脆弱性（CVE-2025-37899）を発見した方法を説明しています。ksmbdを監査する際に、著者はo3モデルを使用してコードを分析し、SMBの'logoff'コマンドハンドラーにuse-after-freeの脆弱性を発見しました。o3モデルは、同時接続とオブジェクト共有の複雑なロジックを理解し、脆弱性を特定しました。さらに、o3モデルは別の脆弱性であるCVE-2025-37778も再発見しました。著者は、o3モデルはコード推論能力において著しい進歩を示しており、脆弱性研究者にとって効率を大幅に向上させる強力な新しいツールになると主張しています。
続きを読む
この記事は、かさばる真空管から集積回路、そして巨大な現代のSoCに至るまでの半導体スケーリングの歴史をたどります。ベル研究所でのトランジスタの発明から始まり、シリコン材料、プラナープロセス、MOSFETなどの画期的な技術、そしてムーアの法則によって推進されたチップ集積度の急激な向上について詳細に説明します。しかし、この記事では、SoCが製造、コスト、歩留まりに関して直面する課題を強調し、チップレットがどのようにこれらの限界を克服できるかについての将来の議論の土台を築いています。
続きを読む
マイクロソフトの従業員は、「パレスチナ」や「ガザ」などの単語を含むメールが一時的にブロックされていると報告しています。No Azure for Apartheid (NOAA)グループは、数十人の従業員が影響を受けていると主張しています。マイクロソフトは、「政治的なメール」を減らすためだと説明していますが、この措置は表現の自由に関する懸念を引き起こしています。これは、マイクロソフトとイスラエル政府との契約に対する継続的な抗議の中で起こっており、複数の従業員がマイクロソフトのBuildカンファレンスを妨害し、少なくとも1人が解雇されています。
続きを読む
Refact.aiは、主要なオープンソースAIプログラミングエージェントであり、SWE-bench Verifiedベンチマークで69.8％という素晴らしいスコアを達成し、500件の現実世界のGitHubの問題のうち349件を自律的に解決しました。この成功は、堅牢なアーキテクチャによるものです。中核となるClaude-3.7モデル、デバッグとコード修正のためのdebug_script()サブエージェント、最適化された問題解決のためのstrategic_planning()ツールです。Refact.aiのパイプライン全体はオープンソースであり、現実世界のアプリケーションでは開発者の生産性の大幅な向上を実証しています。
続きを読む
Pieces社は、スクリーンショットからコードを正確に認識するOCR技術を改良しました。Tesseractエンジンをベースに、様々なプログラミング環境（ライト/ダークモード）、ノイズの多い背景、低解像度の画像に対応するため、前処理と後処理のステップを追加しました。暗いモードの反転、ノイズ除去、解像度向上などの画像前処理と、コードのインデント復元を行う後処理により、精度が大幅に向上します。彼らはLevenshtein距離を使用してモデルの性能を評価し、実験的に効率的な画像アップサンプリング方法を選択しました。この技術により、開発者はコードのスクリーンショットを簡単に編集可能なコードに変換でき、開発効率が向上します。
続きを読む
全電気式自律飛行開発企業のWisk Aeroは、NASAとの5年間の研究パートナーシップを更新したと発表しました。この協力は、自律飛行機を国家空域システム（NAS）に統合するための高度なエアモビリティ基準を確立することを目指しています。NASAのシミュレーションとLVC（Live Virtual Constructive）環境を活用し、第6世代自律システムの開発を加速し、2030年までに安全で効率的な自律旅客飛行を実現することを目指します。
続きを読む
このブログ記事は、著者がVAX/VMSシステムで働いた時のユーモラスな経験と、そこから得られた人生の教訓について語っています。軽妙な筆致で、著者は大学時代のコンピュータラボの技術者およびオペレーターとしての逸話を共有しており、学生のメール問題の独創的な解決策や、メールシステムクラッシュによる解雇寸前の出来事などが含まれています。特に面白いのは、VAX/VMSシステムを2年間枕にしていたという話です。この記事は、過去のテクノロジーへのノスタルジアと、プログラマーとしてのキャリアに関するユニークな洞察を融合したもので、テクノロジーのカテゴリーに分類されます。
続きを読む
ベテランの地図製作者が、シド・マイヤーのアルファ・ケンタウリにおけるキロンという惑星の地図を、ゲーム内のデータを用いて何年もかけて丹念に再現しました。彼は、低解像度のゲームマップから標高、降雨量などの属性を注意深く抽出し、GISとフォトショップの技術を利用して、惑星の地形のリアルで高解像度の表現を生み出しました。このプロジェクトは、データの取得や投影の調整から最終的なレンダリングまで、多くの技術的な課題を克服するものであり、地図製作者のスキルと詳細へのこだわりを示しています。結果として得られた地図は、ゲームの永続的な遺産と、綿密な地図作成の技の両方を証明するものです。
続きを読む
ロンドンのチャリングクロス鉄道橋の建設工事によって、奇妙な古代の法律が発動されました。足場のために橋の下のクリアランスが低くなったため、請負業者は、川を航行する船舶への警告として干し草の俵を吊るす必要があります。これは中世にまで遡る要件です。干し草の俵と、夜間の警告灯は、数年にわたる保守プロジェクトの進行に伴い、橋に沿って移動します。
続きを読む
14人のエンジニアリングチームは、コミュニケーション不足と低い効率性に苦しんでいました。非同期スタンドアップやチーム分割など様々な解決策を試みましたが、根本的な原因に対処できませんでした。最終的に、彼らは専門化を放棄し、ジェネラリストモデルを採用しました。チームメンバーは複数のスキルを習得し、製品のあらゆる側面の責任を共有するようになりました。この変化は、予想外のプラスの効果をもたらしました。より円滑な協力、大幅に改善された効率、より迅速なデリバリー、より高い品質、最適化されたリソース活用です。しかし、ジェネラリストモデルは、一部のメンバーの退職や増加したワークロードなど、いくつかの課題も提示しました。著者は、普遍的に最適なプラクティスはないと主張しています。あなたのチームに適したものが最適であり、継続的な改善と実験が重要です。
続きを読む
JEP 519により、実験的な機能である「コンパクトオブジェクトヘッダー」がJavaの正式な製品機能に昇格しました。オブジェクトヘッダーレイアウトの最適化とパフォーマンス向上を目的としてJDK 24で導入され、OracleとAmazonで広範なテストを経て、その安定性とパフォーマンス向上が実証されました。有効化のための`-XX:+UnlockExperimentalVMOptions`オプションは不要になります。将来的には、より多くのオブジェクトヘッダービットが必要になった場合、Project ValhallaとLilliputがソリューションを提供します。
続きを読む
KDABは、パフォーマンスデータ分析のためのスタンドアロンGUIであるHotspotを開発しました。最初は、KCachegrindに似たインターフェースでLinux perfデータを視覚化することに焦点を当てています。グラフィカルな視覚化、タイムラインのフィルタリング、アプリケーションのプロファイリングのためのperfの起動機能を提供します。クロスディストリビューションでの容易な使用のためにAppImageとして、またはパッケージマネージャー（AUR、Debian、Ubuntu、Fedora）を介して利用可能であり、Hotspotを使用すると、ユーザーはCPU時間とCPU非使用時間を分析し、データをエクスポートして共有できます。まだすべての機能が実装されているわけではありませんが、HotspotはLinuxのパフォーマンス分析を簡素化します。
続きを読む
デシベル（dB）は、一見すると単純な音の測定単位ですが、驚くほど複雑で混乱を招きます。従来の意味での単位ではなく、大きさを変化させることを表す対数スケールです。この記事では、ベルとデシベルの歴史と用途を掘り下げ、文脈依存的な性質から生じる曖昧さを強調しています。さまざまな分野でdBは異なる方法で使用されており、矛盾や誤解につながっています。著者は、マイクロフォンの感度を例に、本質的な混乱を示し、この広く使用されている単位に対するより標準化され、曖昧性の少ないアプローチを求めています。
続きを読む.jpg)
中国の宇宙ステーション「天宮」で、新種のバクテリアNiallia tiangongensisが発見されました。この桿状で胞子形成を行うバクテリアは、これまで知られている地球上の種とは異なります。微小重力下で生育し、栄養が乏しい環境で生き延びるためにゼラチンを分解する能力や、放射線損傷に耐えるなど、独特の適応能力を持っています。この発見は、宇宙旅行の潜在的な危険性を浮き彫りにし、将来の長期間ミッションのための衛生プロトコルの改善に役立ちます。地上の近縁種は敗血症を引き起こす可能性がありますが、宇宙飛行士への潜在的なリスクはまだ不明です。
続きを読む
チューリング賞受賞者エドガー・ダイクストラは、Adaプログラミング言語の4つの提案（赤、緑、青、黄）をレビューしました。彼は赤の提案を「前衛的で後進的な、不整合なほどに困惑する」と評しました。緑の提案は「技術的不能力、おそらく不正行為によって増幅されている」とみなされました。青の提案は「許容できないほど複雑」であり、文書は「技術文書とセールストークの解きほぐせない混合物」と表現されました。最終的に、ダイクストラは、勝利した緑の提案に西側の安全保障が依存することに懸念を表明し、ソビエト赤軍がそれを採用した方が安全だとさえ示唆しました。この逸話は、ダイクストラのソフトウェアエンジニアリングにおける厳格な技術基準と明確な設計への揺るぎないコミットメントを浮き彫りにしています。
続きを読む
清華大学のチームが、PalmPadという革新的な混合現実インタラクション技術を開発しました。RGBカメラとArduinoのみを使用し、ユーザーの手のひらに仮想キーボードを投影します。ユーザーは反対の手の親指で仮想キーをタップして入力します。このシステムは、従来技術の指先トラッキングの不安定性とタッチ検出の精度不足という問題を、高度なビデオ処理とCNNによる高精度な指先位置特定によって克服しています。Arduino UNOはインピーダンスの変化を用いて指と手のひらとの接触を検知し、97％のタッチ認識精度を実現しました。PalmPadは、混合現実インタラクションにおいて、便利で革新的なアプローチを提供します。
続きを読む
1年半前に「なぜDebianはこういう形をしているのか？」という記事を書きましたが、それからDebianがパッケージするソフトウェアを変更する理由について多くの質問を受けました。この記事では、その理由を簡単に説明します。Debianポリシーマニュアルに記載されているポリシーに従うこと（例えば、システム全体の構成が/etcにあること、ドキュメントが/usr/share/docにあることなど）、プログラムが互いに連携して動作するために変更が必要になること（例えば、Unixドメインソケットが存在する場所や、どのUnixユーザーアカウントで実行するべきかなど）、プライバシーとセキュリティの理由から、ソフトウェアを「外部に連絡する」コードやDebianパッケージシステムをバイパスしてソフトウェアを更新しようとするコードを削除すること、上流で修正される前にバグを修正したり、以前のバージョンのバグ修正をバックポートしたりすること（ユーザーエクスペリエンス向上のため）、合法的に配布できないものはメインパッケージアーカイブに含めないこと（Debianフリーソフトウェアガイドラインに従って）、マニュアルページがない場合は追加することなどです。要約すると、これらの変更は、システムの安定性、セキュリティ、およびフリーソフトウェア原則の遵守を保証するために行われています。
続きを読む
この記事は、高等教育における人工知能の応用を探求しています。著者はAI教育ワークショップに参加し、AIに関する様々な学者の見解を観察することで、教育におけるAIの革命的な地位に疑問を呈しています。著者は、多くのAI支持者がAIの能力を過大評価し、万能薬として提示しながら、環境コストや学生の学習習慣への悪影響を無視していると主張しています。著者は、AIは現在、教師と学生の直接的な交流や深い思考を置き換えることができない、単なる「ギミック」であると結論付けています。真の教育には教師の指導と生徒の積極的な参加が必要であり、これはAIでは再現できません。
続きを読む
ある企業がCiscoファイアウォールで問題に遭遇しました。TLS 1.3によってサーバー証明書が暗号化されるため、ファイアウォールは証明書の内容に基づいてURLやアプリケーションへのアクセスルールを適用できませんでした。これを解決するために、CiscoはTLSサーバーID検出機能を導入し、追加のTLS 1.2ハンドシェイクを使用して平文で証明書を取得します。しかし、これはPostgresデータベースの期待される動作と矛盾していました。実際の問題はTLS 1.3の非互換性ではなく、ファイアウォールが未知のアプリケーションをブロックするように構成されていなかったことです。ファイアウォールは3秒間証明書の学習を試みた後、諦めて接続を許可しました。
続きを読む
オーストラリアの科学者たちは、約３億５０００万年前の爬虫類の足跡を発見しました。これは、これまで知られていた最古の足跡よりも３２００万年古く、脊椎動物が海から陸へ移行した速度が、従来考えられていたよりもはるかに速かったことを示唆しています。この足跡は、鉤爪のある足を見せており、この動物が完全に陸生に適応していたことを裏付けています。なぜなら、鉤爪は完全に陸生になった動物にのみ進化した特徴だからです。この爬虫類は、体長約８０センチメートルで、現代のオオトカゲに似ていたと考えられます。この驚くべき発見は、初期の脊椎動物の進化に対する我々の理解を大きく変え、地球上の生命の歴史に関する重要な洞察を提供します。
続きを読む
十代の若者による放火事件が「キーワード捜索令状」をめぐる議論を引き起こしています。警察はこの方法を用いて、検索エンジンのキーワードから容疑者を追跡し、プライバシーと法執行の効率性に関する懸念を引き起こしました。この記事では、事件の詳細、有罪判決を受けた者たちの服役後の生活、そしてデジタルアイデンティティとオンライン上の足跡の複雑な関係を探ります。この事件は、米国最高裁判所によるキーワード捜索令状の合法性に関する審査の事例にもなっています。
続きを読む
1994年からコンピュータグラフィックスの学習と知識共有に尽力するベテラン、イニゴ・キレス。彼のウェブサイトには、SDFやレイマーチングからフラクタルや数学的手法まで、幅広いトピックを網羅した膨大なコンピュータグラフィックスチュートリアルが掲載されています。簡潔なコードスニペットと分かりやすい説明が特徴で、様々なスキルレベルに対応。ビデオチュートリアルやその他の資料も提供しており、コードはMITライセンスで自由に再利用できます。
続きを読む