Hologram v0.5.0 がリリースされ、大幅なパフォーマンス向上と新機能が追加されました。クライアント側の主要な操作はミリ秒からマイクロ秒に高速化され、リアルタイムインタラクションが可能になりました。このリリースには、包括的なセッションと Cookie の管理、新しい HTTP ベースのトランスポートレイヤー、ライブリロード機能、インクリメンタルコンパイルなどが含まれています。また、高性能なビットストリング実装、基礎的な CRDT のサポートなども導入され、将来的な分散機能の基盤が築かれました。950 を超えるコミットにより、開発者エクスペリエンスとランタイムパフォーマンスが向上しました。
続きを読む
この記事は、AIコーディングアシスタントであるClaude Codeを6週間使用した経験を振り返っています。Claude Codeは著者のコーディング方法を劇的に変えました。コードベースの移行やテスト戦略の構築など、通常数ヶ月から数年かかるタスクを数多く完了しました。Claude Codeは「先にコードを書いてから決める」というアプローチを可能にし、チームのゲームプロトタイピング効率を大幅に向上させました。著者はその欠点を認めつつも、Claude Codeがプログラミングのパラダイムを根本的に変えたと考えており、それは写真が絵画に革命を起こしたことに例えられます。
続きを読む
新しい研究で、2型糖尿病の治療薬として広く用いられているメトホルミンの正確な作用機序が明らかになりました。研究者たちは、メトホルミンが細胞のエネルギー源であるミトコンドリアに干渉することで血糖値を下げることを発見しました。具体的には、細胞のエネルギー産生機構におけるミトコンドリア複合体Iを阻害します。Science Advances誌に掲載されたこの研究は、遺伝子操作されたマウスを用いて、メトホルミンが疾患に寄与する細胞を標的とする一方で、正常な健康な細胞には大きな害を与えないことを示しました。これは、この「魔法の薬」の作用メカニズムをより深く理解するためのものです。
続きを読む
4人のボランティアが、NASAのジョンソン宇宙センターで1年間の火星ミッションシミュレーションに参加し、3Dプリントされた居住施設で378日間生活します。このCHAPEA（クルーの健康とパフォーマンス探査アナログ）ミッションは、資源の制限、機器の故障、通信遅延、隔離など、長期の宇宙探査が人間の健康とパフォーマンスに与える影響を評価します。クルーは、火星探査のシミュレーションや野菜栽培など、科学研究や運用上のタスクを実行します。このシミュレーションは、将来の有人アルテミスミッションと火星への最終的な着陸に向けた重要なステップであり、月、火星、そしてそれ以上の場所における人類の探査のための貴重なデータを提供します。
続きを読む
このドキュメントは、新しいプログラミング言語の文法規則を詳細に定義しており、型、式、パターン、関数定義、型定義など、様々な側面を網羅しています。一連のコンテキストフリー文法規則（BNF表記）によって、言語の構造を正確に記述し、コンパイラやインタプリタの実装のための堅牢な基盤を提供します。この強力な言語は、関数型プログラミング、パターンマッチング、型推論などの高度な機能をサポートしています。
続きを読む
新しい研究により、ジャガイモの起源の謎が解明されました。研究者たちは、ジャガイモが約900万年前に、現代のトマト植物の祖先とEtuberosumと呼ばれる別の近縁種との交雑によって生まれたものであることを発見しました。このハイブリッドは地下に塊茎を形成する能力を持っており、それが急速な多様化と、現在私たちが知っている100種類以上のジャガイモへとつながりました。重要なことに、この研究では、塊茎の形成には両方の親種からの特定の遺伝情報が必要であることがわかりました。Cell誌に掲載されたこの研究は、植物の進化と、気候変動の課題に対処するために野生ジャガイモの遺伝的多様性をどのように活用できるかについての新たな知見を与えてくれます。
続きを読む
PlanetScaleは本日、Vitessのチームによる経験に基づいて構築されたシャード化されたPostgresデータベースであるNekiを発表しました。MySQLを活用するVitessとは異なり、NekiはPostgresのために最初から設計されており、VitessのスケーラビリティをPostgresエコシステムにもたらすことを目指しています。現在、大規模な設計パートナーと共同で開発中で、完成後にはオープンソースとして公開され、最も要求の厳しいPostgresワークロードに対応します。
続きを読む
C# 14は画期的な機能、Null条件付き代入演算子を導入します。これにより、長年C#開発者を悩ませてきたNullReferenceException問題がエレガントに解決されます。以前はNull値の確認に複数のif文が必要でしたが、今では1行で代入が完了し、コードの可読性が大幅に向上し、冗長性が減少します。例えば、`config?.Settings?.RetryPolicy = new ExponentialBackoffRetryPolicy();` は煩雑なif文によるチェックに取って代わります。インクリメント/デクリメント演算子はサポートされておらず、過剰な使用は避けるべきですが、.NET 10リリース後に検討する価値のあるC# 14の貴重な改善点です。
続きを読む
科学機械学習（SciML）は、勾配ベースの最適化のために自動微分（AD）に大きく依存しています。しかし、この講演では、特に常微分方程式（ODE）と偏微分方程式（PDE）への適用におけるADの数値的な安定性と堅牢性に関する課題を明らかにします。JaxとPyTorchの例を用いて、単純な線形ODEにおいてさえ、ADの不正確さが60％以上の大きな誤差につながる可能性があることを示します。講演者は、これらの問題に対処するためにJulia SciMLライブラリに実装された非標準的な修正と、必要なエンジニアリング上のトレードオフについて説明します。
続きを読む
Goプログラミング言語の開発に長年携わってきたGoogleのベテランエンジニアが、19年間の勤務を経て退社しました。この記事では、コンパイラのフロントエンドへの貢献から、ジェネリクスなどの言語機能の改良、プロジェクト全体の方向性への影響まで、14年にわたるGo言語開発への取り組みを振り返っています。著者は、Go言語はまだ発展の余地が大きく、将来再び貢献したいと考えています。
続きを読む
Earthly社は、大規模なエンジニアリングチームにとって最大の課題はCI/CDの速度ではなく、マイクロサービスとコンテナ化から生じるテクノロジースタックの多様性によって引き起こされる混沌であることを発見しました。チームはそれぞれ全く異なる設定を持っており、プラットフォームチームは常に火消しに追われ、アプリケーションチームは何度も同じ作業を繰り返すことになり、セキュリティチームは見通しがなくなり、リーダーシップは品質と標準を維持することに苦労します。EarthlyのソリューションはLunarです。これは、CI/CDだけでなく、SDLC（ソフトウェア開発ライフサイクル）全体を監視するプラットフォームです。Lunarは、コードの構築、テスト、スキャン、デプロイの方法に関するメタデータを収集および分析し、カスタムポリシーに基づいて標準を適用することにより、開発者の速度を犠牲にすることなく、エンジニアリングの品質とコンプライアンスを向上させます。
続きを読む
数千年もの間、ろうそく職人はフリッカーのないろうそくを作ろうと努力してきました。しかし、3本のろうそくを束ねると、驚くべきことに約9.9Hzの周波数で自然に振動し始めます。この周波数は主に重力と炎の直径によって決まります。著者は、炎の中に吊るされたワイヤーを使って、炎のイオン化ガスによって引き起こされる静電容量の変化を感知し、この周波数を検出して1Hzに分割するという独創的な方法を用いています。その結果、単純なマイクロコントローラーとLEDを用いて、3本のろうそくのゆらぎを動力源とする1Hzクロックが実現しました。
続きを読む
本エッセイは、小説の章の分割とその進化の歴史を探求します。15世紀のマロリーの『アーサー王の死』における章の区切りが、マロリー自身によるものではなく、印刷工カクスによって追加されたものであるという事実から始まります。これは、テキストのリズムと緊張感を変化させました。エッセイは、中世から18世紀にかけての章の進化をたどり、その機能が単純なテキストの分割から、叙述のペースと読者の経験を形作る複雑なツールへと変化したことを示しています。スターン、フィールディング、イクイアーノ、ゲーテなど、さまざまな著者の章の使用を分析することで、章の形式、叙述戦略、社会の変化、そして読者の主観性との相互作用を明らかにしています。最終的に、章の分割は単なる技術的な手段ではなく、時間と物語の経験を深く構築したものだと主張しています。
続きを読む
DeskHogは、ESP32-S3 Reverse TFT Featherを搭載した小型ゲーム機です。240x135カラーTFTディスプレイ、10時間バッテリー駆動時間、WiFi、そしてかわいいLEDを備えています。PongやFlappy Birdなどのゲームをプレイでき、Doomのサポートも開発中です。ゲーム以外にも、PostHogデータのデスクトップターミナルとして機能し、I²C拡張ポートも備えています。驚くほど多用途な携帯型デバイスです。
続きを読む
Tilusは、GPUプログラミングのための強力なドメイン特化言語（DSL）です。テンソルを主要なデータ型として、スレッドブロックレベルの粒度、共有メモリとレジスタテンソルの明示的な制御、任意のビット幅（1〜8ビット）の低精度型を提供します。自動チューニング、キャッシング、Python風のインターフェースにより、GPUカーネル開発を簡素化します。"Tilus: A Virtual Machine for Arbitrary Low-Precision GPGPU Computation in LLM Serving"という研究論文に基づいており、Hidet、TVM、Triton、Hexcuteなどのプロジェクトからの知見を活用しています。
続きを読む
ウクライナの大胆な「スパイダーウェブ作戦」は、4つのロシア空軍基地への協調的なドローン攻撃を含んでおり、70億ドルと推定される損失で41機の戦闘機が損傷または破壊されたと伝えられています。商業的に入手可能なドローンを使用して、目標の近くに偽装して輸送され、攻撃はロシアの防空システムを圧倒しました。この革新的な戦術は、ウクライナの非対称戦争能力を示しており、ロシア、そして潜在的にNATOの空軍基地の脆弱性を浮き彫りにしています。この事件は、将来の紛争におけるドローンの役割の増大を強調し、グローバルな軍事戦略に関する重要な疑問を提起しています。
続きを読む
OpenAIのGPT-5ハッカソンで3位を獲得したArchonは、自然言語で制御されるコンピューターコパイロットです。階層的なアプローチを採用しており、GPT-5がアクションを計画し、微調整されたモデルであるArchon-miniが実行します。巧妙な画像処理とキャッシングにより、コストとレイテンシを最小限に抑えています。今後の開発は、ストリーミング制御と自己学習に焦点を当て、真の自動運転コンピューターを目指します。
続きを読む
このPLOS ONEの研究では、非侵襲的な分析手法を用いて、世界的に有名なアレクサンドロス・モザイクを徹底的に調査しました。研究者らは、ポータブル顕微鏡、赤外線サーモグラフィ、マルチスペクトルイメージング、ポータブルX線蛍光、フーリエ変換赤外線分光法、ラマン分光法を用いて、モザイクの構成材料、鉱物成分、そして古い保護材料を特性評価しました。その結果、モザイクに使用されている10種類の色の地質学的起源が明らかになり、修復作業にとって重要な科学的知見が得られました。この研究は、文化遺産保存における非破壊分析の計り知れない可能性を強調しています。
続きを読む
地球への最初の火星岩石・堆積物サンプルの帰還成功確率を最大化するため、NASAは火星サンプルリターン計画(MSR)への新しいアプローチを発表しました。既存の空中クレーン技術と新たな商業的可能性を活用し、二つの並列着陸システム設計を進めます。この二本立て戦略は、コストと時間を削減し、ミッションの成功確率を高めることを目指しています。最終目標は、火星の謎を解き明かし、過去の生命の可能性を調査し、将来の人類探査への道を開くことです。プログラム設計に関する最終決定は、2026年後半に予定されています。
続きを読む
この記事では、著者が1980年代のBBC Masterマイクロコンピューターを再発見した経験について詳述しています。65C12プロセッサ、128KBのRAM、5 1/4インチフロッピードライブを搭載したこのマシンは、英国政府がコンピューター教育を統合するという野心的なプログラムの中心的な役割を果たしました。著者は、コンピューターリテラシーへの政府の投資、学校におけるBBC Masterの役割を振り返り、コモドールPETやApple IIなど、他の国の学校で使用されていたコンピューターと比較しています。高価であるにもかかわらず、BBC Masterの優れたBASICと拡張機能により、永続的な遺産となりました。
続きを読む
30年以上の執筆、編集、出版経験を持つベテランが、101の貴重な人生訓を共有します。仕事、人間関係、お金、精神性など、あらゆる側面を網羅し、「時間通りに仕事をする」「残酷な人から離れる」「他人を尊重する」「前向きな姿勢を保つ」など、哲学的な人生の指針を提供します。これらの教訓は、個人的な生活だけでなく、キャリアの成功にも役立ちます。
続きを読む
大規模言語モデル（LLM）がトレーニングデータを入手する方法の進化は、激しい著作権争いを引き起こしました。当初、データスクレイピングは倫理的および法的考慮事項を欠いていました。しかし、ChatGPTなどのアプリケーションの商業化に伴い、著作権問題はますます顕著になり、著者や出版社はAI企業を訴訟しました。OpenAIなどの企業は、データへのアクセスを得るために出版社と契約を結び始めましたが、データスクレイピングは止まらず、さらに大胆になりました。このデータの悪用に対抗して、Cloudflareなどの企業はアンチスクレイピングツールを導入し、RSL標準が登場し、ウェブサイトがデータアクセス料金を設定できるようになりました。これは、ウェブサイト所有者による積極的な反撃の始まりであり、将来的にはAI企業はデータの支払いを行わざるを得なくなる可能性があり、データ取得エコシステムを変革します。
続きを読む
今後のLinuxカーネル6.17では、Bcachefsファイルシステムのサポートが削除されます。これは、BcachefsのメンテナであるKent Overstreet氏とLinus Torvalds氏の間でエスカレートした緊張状態によるものです。この対立は、コードの提出方法とタイミングに関する意見の相違に端を発し、コミュニティの確立されたルールに違反しています。論点の中心は、リリース候補段階で提出された新しい「journal-rewind」機能であり、他の開発者から懸念が表明されました。Overstreet氏のユーザーデータの整合性に関する主張にもかかわらず、Torvalds氏は最終的にBcachefsを完全に削除することを決定し、Linuxカーネル開発の歴史における注目すべき出来事となっています。
続きを読む
400年前、ガリレオの望遠鏡による観測は科学界に衝撃を与えました。木星の衛星の発見は論争を引き起こし、一部の学者はそれを信じようとせず、他の人々は検証できませんでした。当時適切な望遠鏡を持っていなかったケプラーだけが彼を支持しました。ガリレオの発見が広く受け入れられるようになったのは、他の天文学者たちが独立して彼の発見を確認した後でした。この時代は近代科学の誕生を意味し、テキスト解釈に頼るのではなく、実験と観測を通じて事実を確立することを強調しました。ガリレオは科学を探検と結びつけ、事実を基盤とする科学の新時代を開拓しましたが、後にコペルニクスの地動説を支持したことで宗教的迫害を受けました。今日、私たちは科学の客観性と権威を当然のことと考えていますが、それはガリレオによって開始された発見の時代からの遺産です。
続きを読む
このレポートは、EDRデータを利用して脅威アクターのサイバーアクティビティを分析し、その行動を追跡した詳細な分析を示しています。このアクターは、自動化されたワークフロー、データ生成と文章作成のためのAIツールを使用し、Evilginxなどのツールを悪用して中間者攻撃を試みました。調査対象は銀行から不動産会社まで多様な業種に及び、CensysやBuiltWithなど、複数のツールを使用して情報収集とターゲット特定を行いました。さらに、このアクターは、悪意のある活動を隠蔽するために住宅プロキシサービスを使用し、Google翻訳を使用してメッセージを翻訳しました。最終的に、このアクターはVoltage_Office356botというプロジェクトによる攻撃を試み、著名なセキュリティ研究者であるDirk-Jan Mollemaのブログから取得したスクリプトを利用していることが観察されました。このケーススタディは、現代の脅威アクターの洗練さと、さまざまなツールや技術への習熟性を示しており、セキュリティ防御のための貴重な洞察を提供しています。
続きを読む
この記事では、Pythonのf-stringによる文字列フォーマットに関するチートシートを紹介します。数値、整数、文字列に対する様々なフォーマットオプション（埋め込み、幅、グルーピング、精度、タイプなど）を網羅しています。さらに、すべてのオブジェクトで共通の修飾子（!s、!r、!aなど）と、それらを他のフォーマット指定子と組み合わせる方法についても説明します。数値、整数、文字列のいずれを扱う場合でも、このチートシートを活用することで、Pythonのf-stringの力を簡単に使いこなせるようになり、コードの可読性と効率性が向上します。
続きを読む
この記事では、機密データがログに漏洩するという永続的な問題に取り組んでいます。著者は、単一の解決策はないが、多層防御戦略が重要であると主張しています。直接ログ記録や秘密を含むエラーオブジェクトなど、6つの一般的な原因が特定されています。そして、アーキテクチャの変更やデータ変換から、カスタムデータ型、一度読み取り専用のオブジェクト、ログフォーマッタ、単体テスト、機密データスキャナ、ログプリプロセッサ、汚染チェック、チームトレーニングまで、10個のソリューションが提案されています。著者は、堅牢な保護のための多層アプローチを強調しています。
続きを読む
この記事は、AIがエンジニアの生産性を10倍、あるいは100倍にも向上させるという広く流布している主張を否定しています。著者は様々なAIコーディングツールを試した後、AIは定型コードには優れていますが、複雑なプロジェクト、大規模なコードベース、マイナーなライブラリには苦労し、しばしばセキュリティ上の脆弱性を導入することを発見しました。著者は、AIによる生産性向上は漸進的で、線形にスケールしないことを主張しています。真の生産性向上は、不要な作業を避けることから生じ、単なるコーディングの高速化だけではありません。著者は、AIによる10倍の生産性向上という主張は、誤解、既得権益、または経営陣からの圧力に起因する可能性が高いと結論づけ、エンジニアはそうした誇張された主張に不安を感じるべきではないと述べています。
続きを読む
危険なアポロ13号ミッションを指揮したNASAの伝説的な宇宙飛行士ジム・ラベルが、97歳で亡くなりました。地球から32万2000キロ離れた地点で酸素タンクの爆発により中止されたことで有名なこのミッションは、人間の創意工夫と回復力の証となりました。映画「アポロ13」で不滅のものとなったラベルの冷静さと機転は、乗組員の安全な帰還を保証しました。彼の経歴には、ジェミニ7号、ジェミニ12号、アポロ8号のミッションが含まれており、アポロ8号では初めて2回も月を間近で見た人物となりました。ラベルの功績は英雄的な宇宙飛行を超えており、彼の生涯は探検の精神と、一見不可能に見える課題を克服するための揺るぎない献身を体現しています。
続きを読む
この記事では、単語カウントプログラムの最適化における著者の取り組みを詳細に説明し、494倍もの驚異的な高速化を実現しています。ナイーブなPython実装（89.6秒）から始まり、CPythonの`re`モジュール（13.7秒）、C言語のスカラーループ（1.205秒）、そして最後にSIMD命令とマルチスレッド（181ミリ秒）を使用することで、段階的にパフォーマンスを向上させています。各最適化ステップでは、C拡張の活用、効率的なCループ、マルチコアCPUの活用などが説明されています。マルチスレッドによる高速化は期待ほどではなかったものの、最終バージョンでは5.52 GiB/sという驚異的な処理速度を達成しています。著者は、さらなる最適化の提案を呼びかけています。
続きを読む