5月31日、ブルーオリジンはNew ShepardロケットのNS-32ミッションを成功裏に打ち上げ、ニュージーランド人初の宇宙旅行者であるMark Rocket氏を含む6人の乗客を宇宙へ送りました。飛行時間は約3分間で、乗客たちは無重力状態と地球の息を呑むような景色を体験しました。多様な経歴を持つ乗客たちは、弁護士、起業家、教育者、航空宇宙業界の幹部など、様々な国から集まり、宇宙への情熱を共有していました。この飛行はブルーオリジンの12回目の有人宇宙飛行であり、同社の宇宙観光事業における継続的な成長を示しています。
続きを読む
カリフォルニア大学サンタバーバラ校のArchLabは、GoogleのTensor Processing Unit（TPU）のオープンソース再実装であるOpenTPUをリリースしました。Googleの論文に基づいていますが、正式な仕様がないため、Googleの設計とはいくつかの実装の詳細で異なります。現在、行列乗算とReLU/シグモイド活性化関数をサポートしていますが、畳み込みやプーリングなどの機能は欠けています。PyRTLを使用して実装されており、ハードウェアシミュレータと機能シミュレータ、結果検証のためのチェッカーが含まれています。このアルファリリースでは、完全な256x256 OpenTPUの具体的な合成数値はありませんが、オープンソースであるため、研究者にとって貴重な学習と改善の機会を提供します。
続きを読む
かつてはコーディングのヘルプを求める開発者にとって頼りになるリソースだったStack Overflowですが、活動の大幅な減少を経験しています。2017年のピーク以来、新規質問数は75％減少しており、2024年12月には前年比で60％減少しました。AIアシスタントの台頭が要因の一つとして挙げられていますが、サイトの文化やモデレーションの問題も非難されています。Stack Overflowは知識ベースの収益化やAI機能の統合を試みていますが、主要なQ＆Aプラットフォームの継続的な衰退は、その将来にとって深刻な脅威となっています。
続きを読む
SchemeをWebAssembly GCにコンパイルするコンパイラ、Guile Hoot 0.2.0がリリースされました。このリリースでは、外部関数インタフェース（FFI）が導入され、開発者はWebアプリケーションのコードの大部分をSchemeで直接記述できるようになり、JavaScriptへの依存を最小限に抑えることができます。この記事では、シンプルな「Hello, world!」からインタラクティブなカウンター、そしてToDoリストアプリケーションへと段階的に進めながら、SchemeとFFIを使用してインタラクティブなWebページを構築する方法を示しています。Schemeの強力な記号操作能力とSXMLを活用し、Reactのような差分更新アルゴリズムを持つ効率的な仮想DOMを構築します。
続きを読む
Anthropicのモデルコンテキストプロトコル（MCP）は、大規模言語モデル（LLM）が外部ツールとやり取りすることを可能にしますが、研究者らは新しい攻撃手法を発見しました：ツールポイズニング攻撃（TPA）。以前の研究はツールの説明フィールドに焦点を当てていましたが、新しい発見は、攻撃対象範囲がツールのスキーマ全体に及ぶことを明らかにし、「フルスキーマポイズニング」（FSP）と呼ばれています。さらに危険なのは、「高度なツールポイズニング攻撃」（ATPA）であり、これはツールの出力を操作して静的分析を困難にします。ATPAは、誤解を招くエラーメッセージやフォローアッププロンプトを作成することで、LLMを騙して機密情報を漏洩させます。本稿では、これらの攻撃を軽減するために、静的検出、厳格な適用、実行時監査、コンテキスト整合性チェックを行うことを提案しています。
続きを読む
CockroachDB 25.2リリースでは、行レベルセキュリティ（RLS）が導入されました。これは、データベース内で直接、行レベルでのきめ細かいアクセス制御を可能にする強力な機能です。これは、従来のテーブルレベルのアクセス許可の制限、特にマルチテナントおよびマルチリージョン展開において非常に重要です。この記事では、マルチテナントおよびマルチリージョンユースケースを通してRLSの実装を詳細に説明し、データの分離、規制への準拠、アプリケーションロジックの簡素化における利点を示します。RLSとCockroachDBのRegional By Row（RBR）機能を組み合わせることで、地理的な位置に基づいたアクセス制御が可能になり、データ居住に関する規制への準拠が保証されます。
続きを読む
この記事では、WaspとPgBossを使用してReactとNode.jsアプリケーションで軽量なジョブスケジューリングを行う方法について説明します。PgBossはPostgreSQLの信頼性とスケーラビリティを活用してバックグラウンドジョブを効率的に管理し、Waspはジョブの定義と設定を簡素化します。この記事では、テニススコアトラッキングアプリを使用して、1回限りのスケジュールジョブ（例：毎日の試合サマリーメールの送信）と定期的なジョブ（例：毎日のダイジェストメール）の両方の作成方法を示しています。この設定は、小規模なプロジェクトや初期段階のスタートアップに最適で、複雑な外部サービスの必要性を排除します。ただし、高負荷または計算集約的なタスクの場合は、専用のジョブ処理システムを検討することをお勧めします。
続きを読む
このリポジトリは、効率的なCとC++コードの書き方の実際的な例を提供し、マイクロカーネルから並列アルゴリズムまでを網羅しています。C++20の機能とコンパイラの最適化を利用してパフォーマンスを向上させる方法（例：三角関数の計算速度を40倍高速化）を示し、JSONの効率的な処理、STL連想コンテナの使用、適切な並列プログラミングモデルの選択など、パフォーマンスのボトルネックを回避するためのベストプラクティスを探求します。アセンブリ、CUDA、FPGAを使用したハードウェアアクセラレーションに関するコード例も含まれており、開発者がより高速で安全なコードを作成することを目指しています。
続きを読む
この記事では、著者がC3プログラミング言語を学習したリアルタイムの体験を記録しています。C3は、モジュールシステム、演算子のオーバーロード、ジェネリクスなどの現代的な機能を追加することで、C言語を改善することを目指しています。著者は、foreachループ、deferキーワード、構造体、エラー処理、契約プログラミング、マクロなど、C3のさまざまな側面を探求し、基本的な電卓プログラムを作成しました。foreachループ、defer、エラー処理システムなどの機能を高く評価する一方で、パッケージ管理の不完全さや言語サーバーのサポート不足などの欠点にも言及しています。全体として、著者はC3を、まだ開発中の有望な言語と考えています。
続きを読む
米証券取引委員会（SEC）は、世界最大の暗号通貨取引所であるバイナンスに対する民事訴訟を自主的に取り下げました。これは、トランプ政権の復帰以降、SECの暗号通貨規制に対するアプローチの変化と見なされています。SECは以前、バイナンスが取引量を人為的に膨らませ、顧客資金を流用し、投資家を欺いたと非難していました。訴訟の取り下げは、SECが今後この訴訟を追求できないことを意味します。バイナンスはこの決定を歓迎し、賢明な規制の下でイノベーションが繁栄するための重要な瞬間であると考えています。重要なのは、これがバイナンスが直面する唯一の法的課題ではないことです。以前、マネーロンダリングと制裁に違反したとして43億ドル以上の罰金を支払っています。
続きを読む
OpenAIがAIコードアシスタントのWindsurf（旧Codeium）を30億ドルで買収したことが業界に衝撃を与えました。これはGoogleによるWizの大規模買収に続くものですが、Windsurfのユーザー規模と市場シェアは比較的少なく、高額な買収価格に疑問が投げかけられています。この記事では、OpenAIのこの決定の背後にある潜在的な動機を探り、データの確保、流通チャネルの強化、Microsoftとの緊張関係の対応などを検討しています。また、OpenAI、Google、その他の企業のAI分野における競争状況を比較し、Googleがモデルのパフォーマンスと価格競争力において優位に立っていること、そしてその優位性を固めるための戦略的な動きを強調しています。最後に、AppleのAI分野における苦戦の原因を分析し、計算リソースとデータ取得の不足、そしてユーザープライバシーへのこだわりによる制約を指摘しています。
続きを読む
著者は、Kagi Searchの持ち帰り課題で苦い経験をしたことを記している。AWSにデプロイされた、完全でよく文書化されたメールクライアントのウェブアプリを提出したにもかかわらず、曖昧な初期要件を上回っていたにもかかわらず、著者はフィードバックのない一般的な拒否メールを受け取った。この経験は、テクノロジー業界の採用プロセスにおける、膨大で無償の課題の不条理さを浮き彫りにし、ライブコーディングレビューなどのより効果的な方法を提唱している。
続きを読む
著者はPerplexity AIのAPIを使って、お気に入りの著者の新刊をトラッキングする実験を行いました。ウェブ検索をベースとしたPerplexity AIは、不整合な結果や幻覚を生み出すものの、巧みなプロンプトエンジニアリングとコーディングによって、比較的効率的に新刊をリストアップするシステムを構築しました。繰り返しや矛盾はありますが、これはLLMを現実世界の課題に適用した興味深い事例であり、LLMの可能性と限界の両方を示しています。
続きを読む
Lovableは、リポジトリの迅速な作成に関する利用規約違反を理由にGitHubがアプリを無効にしたため、約19時間にわたるサービス停止に見舞われました。このアプリは、ユーザーのリポジトリをクローンしてプッシュするために不可欠でした。Lovableは迅速に対応し、新しいプロジェクトのためにAWS S3を使用してよりスケーラブルなファイルストレージソリューションを実装し、最終的にGitHubがアプリを復旧した後にサービスを復旧しました。このインシデントは、Lovableが依存関係管理、障害への迅速な対応、ベンダーとのより緊密なコミュニケーションを改善する必要があることを浮き彫りにしました。改善策には、重要なアラートに対するページングシステムの実装と、より堅牢な分析データベースへの移行が含まれます。
続きを読む
ウィスコンシン州の地図製作者、カレン・ウィン・フォンスタッドは、ピーター・ジャクソン監督の「ロード・オブ・ザ・リング」映画のインスピレーションとなった影響力のある「中つ国の地図帳」を作成しました。彼女の息子、マーク・フォンスタッドは現在、彼女の何百枚ものオリジナルマップをデジタル化し、この貴重なコレクションのための恒久的なアーカイブを探すという途方もない作業に取り組んでいます。地図には、中つ国の詳細な描写、他のファンタジー世界、そして未発表の作品なども含まれています。この挑戦的なプロジェクトは、デジタル化とVR技術を通じてフォンスタッドの遺産を保存し、彼女の細心の注意を払った作品が今後もファンタジー愛好家の世代にインスピレーションを与え続けることを目指しています。
続きを読む
セキュリティ監査により、広く使用されているScreenターミナルマルチプレクサに複数の脆弱性が発見されました。最も深刻なのは、setuid-root権限で実行されているScreen 5.0.0に影響を与える、ローカルルート権限昇格の脆弱性（CVE-2025-23395）です。これにより、特権を持たないユーザーが任意の場所にルート権限を持つファイルを作成できるようになります。その他、TTYハイジャック（CVE-2025-46802）、世界中で書き込み可能なPTY（CVE-2025-46803）、その他の情報漏洩や競合状態などの脆弱性が発見されました。パッチがリリースされており、ユーザーは修正済みのバージョンにアップデートし、setuid-root権限でScreenを実行しないよう強く推奨されています。
続きを読む
これは、Cloudflare Workers向けのPKCEサポート付きOAuth 2.1プロトコルのプロバイダー側を実装するTypeScriptライブラリです。ワーカーコードのラッパーとして機能し、トークン管理とユーザー認証を自動化します。開発者は通常のfetchハンドラーを作成するだけで、ライブラリが認証処理を行います。ユーザー管理やUIフレームワークに依存せず、ハッシュのみを保存し、シークレットは保存しません。興味深いことに、このライブラリの開発にはAIモデルのClaudeが使用され、Cloudflareのエンジニアによるセキュリティレビューを経て、ソフトウェア開発におけるAIの可能性が実証されました。このライブラリは、一時的なエラーに対する耐性とセキュリティのバランスを保つ、革新的なリフレッシュトークン管理アプローチも特徴としています。
続きを読む
新しい研究によると、地球から吹き付ける荷電粒子の流れが、月面で見つかった錆の原因である可能性があることが示唆されています。科学者たちは、地球から月に吹き付けられる酸素粒子が、月の鉱物を赤鉄鉱（錆）に変えることができることを発見しました。この発見は、地球と月との深い相互作用に関する私たちの理解を深め、月がこれらの相互作用の地質学的記録を保持していることを示しています。地球が太陽と月の間に位置するとき、月は「地球の風」にさらされます。この風には、酸素を含む様々な元素のイオンが含まれています。これらの荷電粒子が月に衝突すると、月の表土の上層に埋め込まれ、赤鉄鉱の形成につながる化学反応を引き起こします。この研究は、月の赤鉄鉱の起源を実験的に裏付けるものであり、地球の風が月の錆に寄与していることを確認しています。
続きを読む
この記事では、微分可能なプログラミングについて包括的な説明を行い、微積分における微分の定義から始め、勾配、方向微分、ヤコビ行列などの概念へと進みます。数値微分、記号微分、自動微分（順伝播と逆伝播モード）の3つの微分手法を詳細に説明し、それぞれの長所と短所を比較します。最後に、逆伝播モードの自動微分と勾配降下法を組み合わせて、画像のぼけ除去の例を用いて現実世界の最適化問題を解決する方法を示します。
続きを読む
この記事は、AmazonのVirtual Private Cloud（VPC）の誕生物語です。初期のAWSインスタンスは単一のネットワークを共有していたため、IPアドレスの競合とセキュリティ上の脆弱性が発生し、企業の移行を妨げていました。これを解決するために、AWSのエンジニアはVPCを開発しました。VPCはマッピングサービスを使用して、各顧客に隔離されたプライベートネットワークを提供し、IPアドレスの競合とセキュリティリスクに対処することで、企業がAWSクラウドプラットフォームに安全に移行することを可能にしました。
続きを読む
ある開発者が、EmacsからObsidianへの移行経験を共有します。Emacsは強力ですが、メンテナンスコストが高いため、より使いやすいObsidianに切り替え、PARAメソッドを使ってノート、タスク、リソースを管理するようになりました。著者は、AI時代において、個人的な知識ベースを維持することが不可欠であり、独立した思考を促し、AIツールへの過剰な依存を避けることができると主張しています。ObsidianはAIの付属物ではなく、独立した思考のためのツールとなっています。
続きを読む
高パフォーマンスチームは、表面的な調和ではなく、心理的安全感、つまり率直に議論し、建設的に紛争を解決する能力によって定義されます。真の安全感とは、紛争を避けることではなく、挑戦的なアイデアを受け入れ、チームをより強くすることです。著者は、健全なチームは問題を早期に発見し、徹底的に議論し、個人ではなく問題に焦点を当て、ミスを学習機会に変える、と主張しています。逆に、率直なコミュニケーションを欠いた「良い」チームは、隠れた問題を抱え込み、最終的に失敗します。このような環境を作るには、リーダーが自身の脆弱性を示し、議論のルールを定め、難しい質問をする人を評価することが重要です。最終的に、心理的に安全なチームは、紛争が発生しても、問題を効果的に解決し、反感を避け、より質の高い成果を生み出します。
続きを読む
Snap Inc.の内部メールによると、同社は毎月約1万件の性的強要の報告を受けていることが明らかになりました。これは、問題のごく一部に過ぎない可能性があります。この記事では、Snapchatが10代の若者に与える影響について調査し、広範な被害を詳述した訴訟や内部文書を検証します。これには、中毒性のあるデザイン、薬物や銃器の売買、CSAM、性的強要、オフラインでの性的暴行、サイバーいじめなどが含まれます。Snapの内部関係者はこれらの問題を認めていますが、対応が遅く、効果的な軽減策が取られていません。この記事では、Snapに対し、若いユーザーを守るためのデザイン変更を求めています。
続きを読む
エレクトロニック・アーツ（EA）は本日、会社全体で約300人の従業員削減を発表しました。これには、以前報道されたRespawn Entertainmentの100人のレイオフも含まれます。この削減は、主にEAのエクスペリエンスチームに影響を与え、カスタマーサポート、ファンケア、マーケティング部門などを含みます。他の部署でも人員削減が行われています。影響を受けた従業員は、解雇される前に社内での他の職種への応募機会が与えられます。EAは、このリストラは、将来の成長を促進するためにチームとリソースを再編することを目的としていると述べています。Respawnでのレイオフには、『Apex Legends』の開発者、パブリッシャー、QAテスター、そしてJediチームやキャンセルされた2つのプロジェクト（1つは以前報道され、もう1つは新しいTitanfallゲームという噂）で働く小規模なチームが含まれています。これは、ここ数年のEAにおける他のレイオフに続くものです。
続きを読む
この記事は、「スーパーベビー」を生み出すための生殖細胞系列工学の可能性を探っています。著者は、2023年にボストンで開催された多遺伝子胚スクリーニングに関する会議を振り返り、遺伝子編集への科学界の抵抗を批判しています。著者と共同設立者は、知能の向上、疾患リスクの軽減、寿命の延長における遺伝子編集の可能性を深く掘り下げ、胚選択と比較した遺伝子編集の優れた拡張性を強調しています。彼らは、ナイーブな胚性幹細胞を効率的に作成できるSergiy Velychkoの「Super-SOX」技術を紹介し、遺伝子編集に前例のない機会を開いています。この記事では、幹細胞から卵子と精子を作成するなど、他の遺伝子編集技術についても探求し、法的および倫理的な課題にも触れています。最終的に、著者は、この技術への投資と研究の増加を呼びかけ、潜在的なAIリスクに対する「バックアッププラン」とみなしています。
続きを読む
この記事では、改良された波動関数崩壊（WFC）アルゴリズムを用いて、高速で、決定論的で、並列化可能で、信頼性の高い無限都市の生成方法について説明します。著者は、非決定性、メモリリーク、シングルスレッドといった以前の実装における制限に対処しています。新しいアプローチでは、タイル状のマップを事前に生成し、実行時にブロックを置き換えることで無限世界の生成を実現し、任意の高さマップにも対応します。その結果、驚くほど美しいビジュアルが得られます。
続きを読む
AIを使って、簡単にウェブサイトを作成・更新できます。簡単な日本語で必要なものを説明するだけでOK。技術的なスキルは不要です。覚えやすく短いドメイン名を取得し、柔軟性を最大限に活用できます。単一のHTMLファイルとしてダウンロードするか、サービスでホスティングされたままにすることができます。色、レイアウト、コンテンツを簡単にカスタマイズできます。
続きを読む
この記事では、ラムダ計算における悩ましい変数キャプチャ問題に対するエレガントな解決策であるド・ブロイン指標とレベルを紹介します。変数名ではなく自然数を使うことで、名前の衝突を回避し、置換を簡素化し、項の等価性の比較を容易にします。この記事では、両方の方法の動作を明確に説明し、その利点と欠点を比較し、ド・ブロイン指標は局所的な操作に、ド・ブロインレベルは部分項の移動にそれぞれより適しているという結論を導き出します。ラムダ計算の基礎に精通したプログラマにとって素晴らしい読み物です。
続きを読む
メイン州ウェストブルック警察は、FacebookでAI加工された薬物証拠の写真を共有したことを謝罪した。警官が写真の編集アプリを使用して警察のバッジを追加したところ、意図せず画像の詳細が変更された。警察は当初AIの使用を否定したが、後にそれを認め、元の画像と修正後の画像の比較を公開した。この事件は、証拠の信頼性を確保する上でAIが提示する課題を浮き彫りにしている。
続きを読む
2014年まで公開されていなかった2010年のインターネットのこの画像は、画期的な視覚化を表しています。以前のtracerouteベースのマップとは異なり、BGPデータに基づいており、Route Viewsテーブルダンプアーカイブを使用した将来のインターネット視覚化のためのフレームワークを作成します。配色では、接続密度が白熱として示され、より熱い色はより多くの接続点を表します。この画像は、以前はニューヨーク近代美術館（MoMA）とDiscover誌でのみ閲覧可能でした。
続きを読む