シニアエンジニアのMichael Gibsonは、めったに使われない3つのC++機能の組み合わせから生じたclang++コンパイラバグを発見した経緯を語っています。C++ SDKでREACHABLEアサーションを実装する際に、静的初期化、非型テンプレートパラメータ、匿名名前空間を使用しました。しかし、clang++ 17以降の新しい最適化パイプラインがこの組み合わせと衝突し、シンボルの重複除去エラーが発生しました。これは、複雑なシステムにおける珍しい機能の相互作用から生じる、隠れたバグのリスクを浮き彫りにし、このような問題を発見する際の自動テストの威力を示しています。
続きを読む
この記事では、コマンドラインインターフェースの構築において、ZigがRustよりも実用的な利点を持つことを詳しく説明します。著者は、簡単なメモ管理CLIツールを使用して、2つの言語のメモリ管理の違いを示しています。Rustのborrow checkerはメモリセーフティを保証しますが、単純なCLIツールを扱う際には、その複雑さと儀式的な側面が煩雑になります。一方、Zigはより直接的なメモリ管理アプローチを提供し、`defer`ステートメントとアロケーターを組み合わせて、コンパイラのオーバーヘッドを削減しながら、効率的で安全なコードを簡単に作成できます。小規模なCLIツールの場合、Zigの軽量性、速度、直接的な性質により、より実用的になります。メモリセーフティは重要ですが、保守可能なコードと開発者の効率も同様に重要です。
続きを読む
ロックフェラー大学の研究者らは、土壌中に存在する培養不可能な細菌の遺伝的可能性にアクセスするための新しい手法を開発しました。土壌から直接大きなDNA断片を抽出することにより、彼らは実験室での培養の必要性を回避し、これまで見たことのない数百の細菌ゲノムをシークエンシングしました。これにより、2つの有望な新しい抗生物質候補が得られ、そのうちの1つであるエルータシジンは、薬剤耐性菌に効果的に作用します。このスケーラブルなアプローチは、新薬発見の新時代を開き、私たちの環境を形作る広大で未開拓の微生物の世界への洞察を提供します。
続きを読む
この記事では、磁気エンコーダと3.5mmジャックを巧みに組み合わせた、革新的なEurorackモジュールノブのデザインについて説明しています。このハイブリッドにより、ノブは従来の制御のように機能するだけでなく、パッチケーブルのようなプラグアンドプレイの利便性も提供し、Eurorackモジュールの接続とレイアウトを簡素化します。著者は、ハードウェアの選択、回路設計、最終的な組み立てテストを含む設計プロセスを綿密に説明しています。著者は商業的な課題を認識していますが、このデザインはEurorackモジュールの設計に新しい視点をもたらし、将来のモジュラーシンセサイザーのデザインへの想像力を刺激します。
続きを読む
超音速飛行に関する長年の禁止を解除する超党派法案が提出されました。地上にソニックブームが発生しないことを条件に、米国本土上空での超音速飛行が52年ぶりに解禁される可能性があります。イーロン・マスク氏などの支持を受け、NASAの技術的進歩も背景にあります。この法案は、超音速航空分野における中国との競争の高まりを示唆しており、より速い航空旅行とアメリカの航空におけるリーダーシップへの期待が高まっています。過去に行われたソニックブームのテストや、その結果として課せられた禁止についても触れられています。
続きを読む
Google元CEOのエリック・シュミット氏が、カリフォルニア州ロングビーチに拠点を置くロケット企業Relativity Spaceの支配権を獲得しました。Relativity Spaceのこれまでの資金調達が枯渇した後、シュミット氏は10月末から同社を密かに支援してきました。Relativity Spaceは、中型ロケットTerran Rを開発しており、SpaceXのFalcon 9と競合することを目指しています。シュミット氏の関与により、Relativity Spaceの共同創設者兼CEOであるティム・エリス氏がCEO職を辞任することになりますが、共同創設者および取締役会メンバーとしての地位は維持します。これはRelativity Spaceにとって大きな転換期であり、新たな発展段階への幕開けとなります。
続きを読む
機械翻訳を用いた日本人ユーザーが、「ヤギの時間」と呼ばれるランタイムエラーについて助けを求めました。エラーメッセージは奇妙で、「嘔吐」、「風、棒、龍」などの言葉が含まれており、皆を困惑させています。「嘔吐」は例外、「木材」はログ、「ヤギの時間」はランタイム環境を指している可能性があります。「お尻を叩く」は「実行する」の誤訳、「スキル」は「経験」の誤訳であると推測されています。「父の石への侮辱」はソフトウェアの依存関係を示唆しているかもしれません。「風、棒、龍」は謎のままです。これは機械翻訳によって生じた謎であり、解決にはさらなる情報が必要です。
続きを読む
Commodore OS Vision 3.0は、Commodoreコンピュータからインスピレーションを得た、無料のファンメイドCommodore風のLinuxディストリビューション（Debian Bookwormベース）です。200以上の無料Linux互換ゲームと、多くのクラシックなCommodoreゲームやデモを搭載しており、懐かしのゲーム愛好家にとって夢のようなディストリビューションです。Commodore OS BASIC V1という、3Dグラフィックスと物理エンジンを搭載した最新のBASIC実装も備えています。新しいリソースハブであるCommodore OS Centralは開発中で、ゲームインストーラとコミュニティプラットフォームになる予定です。レトロ風の設定マネージャーにより、ROM、エミュレーション、起動オプションなどを簡単に設定できます。
続きを読む
Armは、従来のヒューリスティックベースの時間的アンチエイリアシング（TAA）に代わる、次世代のAI搭載アップスケーリングソリューションであるNeural Super Sampling（NSS）を発表しました。NSSは、トレーニングされたニューラルネットワークを活用して画像データから学習し、さまざまなシーンやコンテンツに適応することで、従来の方法でよく見られるゴーストや不安定性の問題を効果的に解決します。再帰的学習と時空間損失関数を使用してトレーニングされ、PyTorchとSlangで最適化されたNSSは、4レベルのUNetアーキテクチャを採用しています。出力パラメータは、効率的なリアルタイムアップスケーリングのための後処理段階を推進します。パフォーマンステストでは、NSSは画像品質と速度の両方において既存のテクノロジーを上回り、モバイルハードウェアでのリアルタイムパフォーマンスを約束しています。
続きを読む
Wasmer Edgeベータ版は、WebAssemblyとWASIXによって強化された、完全なPythonサポートを提供するようになりました。このリリースは、以前のリリースよりもはるかに高速で、py2wasmプロジェクトをも上回っています。FastAPI、Streamlit、Django、LangChainなどのフレームワークを、WasmerとWasmer Edge上で直接実行できるようになりました。これは、動的リンクの追加、libffiサポートの追加、ソケットとスレッドサポートの改善、そして多くの一般的なネイティブライブラリを含むカスタムPythonパッケージインデックスのリリースによって実現されました。Cloudflare WorkersやAWS Lambdaと比較して、Wasmer Edgeは速度、互換性、価格において優れたパフォーマンスを提供し、エッジでのAIワークロードやAPIに最適です。
続きを読む
DayflowはmacOSネイティブアプリで、1秒間に1フレームの速度で画面活動を記録し、AIを使用して15分ごとに分析し、要約付きのクリーンなタイムラインを生成します。軽量でプライバシー重視の設計で、Gemini（独自のAPIキー）またはローカルモデル（Ollama/LM Studio）をAIプロバイダーとして選択できます。シンプルで信頼できるタイムラインを求めて開発され、Dayflowは管理する必要があるもう一つのダッシュボードではなく、静かで丁寧なアシスタントを目指しています。
続きを読む
赤外線天文衛星（IRAS）とAKARIのデータを分析した新たな研究で、仮説上の第9惑星候補が特定されました。軌道や特性はさらなる検証が必要ですが、この発見は深宇宙探査への関心を再燃させました。この研究は、特に広大な距離を考慮すると、ミッション設計と推進における課題と機会を浮き彫りにしています。また、他の恒星の周りに木星のような軌道を持つスーパーアースが驚くほど多いことを示唆しており、将来のミッションの潜在的なターゲットを広げています。
続きを読む
SonShellは、ソニーの公式Camera Remote SDKをベースにしたLinux専用ユーティリティです。ソニーA6700カメラ（Wi-Fi/イーサネット）に接続し、新しい写真を自動的にダウンロードし、オプションでダウンロードされた各ファイルに対してスクリプトを実行できます。自動接続（列挙または直接IP/MAC）、自動再接続、安全なファイル名など、多くの機能を備えています。開発者は作成中にChatGPTを多用しており、クリーンで分かりやすいコードとなっています。写真ワークフローを効率化したいLinuxユーザーに最適です。
続きを読む
開発者が、ビンテージDOS PCで巨大言語モデル（LLM）を実行することに成功しました！Andrej Karpathyのllama2.cプロジェクトを活用し、MetaのLlama 2モデルをDOSに移植、Thinkpad T42（2004年）やToshiba Satellite 315CDT（1996年）といった古いマシンでデモを行いました。メモリマッピングや浮動小数点演算といった課題がありましたが、Open WatcomコンパイラとDOSエクステンダを使用して克服しました。速度は遅いものの、この成果はレトロコンピューティングの可能性を示す驚くべきものです。
続きを読む
新しい研究によると、ChatGPTやGeminiなどのAIツールが、低品質で重複した科学論文を大量生産するために利用されていることが明らかになりました。研究者たちは、112のジャーナルで400以上のそのような論文を発見し、それらは公開されている健康データとAIによる書き換えを利用して、剽窃チェックを回避していることが示されました。これは、科学文献の完全性と、AIが悪用されて学問上の不正行為が行われる可能性に関する深刻な懸念を引き起こします。低品質の論文の氾濫は、研究結果の信頼性を脅かし、堅牢な解決策の緊急性を強調しています。
続きを読む
この記事は風洞の世界に深く入り込み、その巨大な規模と多様な種類を探ります。風洞の仕組みを説明し、開放型と閉鎖型、低速型と高速型の違い、航空宇宙、自動車、スポーツ産業などにおける様々な用途を明らかにします。レイノルズ数やマッハ数といった重要なパラメータの詳細を説明し、これらのパラメータを調整することで、様々な飛行条件と空力特性をシミュレートする方法を示します。最後に、シミュレーションと現実の世界をつなぐ橋として風洞を例え、実験的検証の重要性を強調する哲学的な考察で締めくくります。
続きを読む
オーストラリアの主要ニュースメディア25社のFacebook投稿を分析した結果、ヒドロキシクロロキンに関する虚偽の主張や選挙不正の陰謀論など、誤情報が継続的に拡散していることが明らかになりました。この研究は、健康被害や国民の信頼低下など、現実世界における深刻な影響を示しています。事実確認の取り組みにもかかわらず、誤情報は「粘着性」があり、選挙時などに繰り返し出現します。著名人が問題を悪化させています。この研究は、信頼できるリーダーからの反論、メディアの関与、デジタルリテラシーキャンペーンなど、誤情報対策のための多角的なアプローチの必要性を強調しています。
続きを読む
自称ed(1)愛好家のArtyom Bologovは、彼のed(1)実装とスクリプトのコレクションを共有しています。彼はed(1)をGitエディタ、sudoエディタ、さらには静的サイトジェネレータとして幅広く使用しています。彼のツールボックスには、GNU ed、OpenBSD ed (oed)、改良版のwed(1)、よりユーザーフレンドリーなaed(1)、そしてスクリプト用のxed(1)が含まれています。これらのツールは、スクリプトサポートの不足やユーザーフレンドリー性の欠如など、ed(1)の制限に対処し、さまざまなシステム間での移植性を維持しています。彼は、Brainfuck、BASIC、Modalでed(1)の実装を作成したほどです。Bologovは、読者にed(1)を受け入れ、愛することを促して締めくくっています。
続きを読む
シニア開発者は自分の役割をこう振り返る。技術専門家ではなく、チーム間の橋渡し役だ。バックエンドの複雑な問題を製品に優しい言葉で伝え、チーム間のコミュニケーションを調整し、チーム目標の一致を確保する。リーダーシップとは、最も多くの知識を持つことではなく、効果的なコミュニケーションと調整、問題の明確な定義、チームを解決策へと導くこと、そしてチームメンバーが能力を発揮できるようにすることだ。結局のところ、優れたリーダーシップとは、専門家が協力して成功できる環境を作り出すことであり、部屋で一番賢い人物になろうとすることではない。
続きを読む
アップルは、iPhoneアプリのサイドローディングを義務付けるEUのデジタル市場法（DMA）に追随しないよう、オーストラリア政府に警告を発しました。アップルは、サイドローディングによってマルウェアや詐欺のリスクが高まり、ユーザーのセキュリティとプライバシーが脅かされると主張しています。EUではDMAに準拠し、App Store以外からのアプリインストールを許可していますが、これによりポルノアプリや著作権侵害アプリが増加したとされています。アップルは、自社の審査プロセスがユーザー保護に不可欠であると強調し、30％のApp Store手数料についても、高収益アプリに主に適用され、多くの開発者は低い手数料または無料であると弁明しています。オーストラリア政府は、まだ提案を検討中で、最終決定には至っていません。
続きを読む
この記事は、生命と計算の深い繋がりを探求しています。アラン・チューリングとジョン・フォン・ノイマンの初期の洞察、つまり生命の論理とコードの論理は同一である可能性があるという考えに基づいて、フォン・ノイマンの自己複製セルオートマトンモデルを検証します。この記事では、DNAがプログラムである本質を説明し、生物学的計算とデジタル計算の類似点と相違点を比較検討します。生物学的計算は、大規模並列処理、分散型、ノイズが多いという特徴を持つ一方、デジタル計算は集中型で逐次的な命令実行に依存しています。最後に、この記事では、現代的なニューラルネットワーク、チューリングの形態形成、フォン・ノイマンのセルオートマトンを組み合わせたニューラルセルオートマトンを紹介し、細胞の挙動をシミュレートすることで、計算が様々なスケールで生命のような挙動を生み出す方法を示しています。
続きを読む
マイクロソフトは、データセンターにおける増大する熱問題に対処するため、画期的なチップ冷却技術であるマイクロ流体技術を開発しています。従来の空冷やコールドプレート冷却では、将来の高性能AIチップの熱負荷に対応できません。マイクロ流体技術は、冷却液をチップ表面に直接供給することで冷却効率を大幅に向上させ、エネルギー消費を削減し、より高いサーバー密度と高度な3Dチップアーキテクチャを可能にします。この技術は、計算性能の向上だけでなく、データセンターのエネルギー消費量の削減、環境への配慮にもつながり、業界標準となり、チップ技術の革新を推進することが期待されています。
続きを読む
kdlfmtはRustベースのKDL（Key-Data-List）ドキュメントフォーマッターコマンドラインツールです。Cargo、Homebrew、npm、およびプリコンパイル済みバイナリによる柔軟なインストールに対応しています。フォーマット用の`format`コマンド、検証用の`check`コマンド、シェルオートコンプリート用の`completions`コマンドを提供します。`.kdlfmtignore`ファイルによる除外も可能で、KDLバージョンやログレベルなどのオプションも設定できます。パイプライン入力でもファイルの直接処理でも、kdlfmtはKDLコードを効率的にフォーマットし、可読性と一貫性を向上させます。
続きを読む
2023年末、映画『ウォンカ』は、配布者の証明書期限切れのため、一部の映画館で再生できませんでした。これがきっかけで、ある映画館の運営者が、デジタルシネマ・イニシアチブ（DCI）規格とその映画暗号化を深く掘り下げました。この記事では、DCIのワークフロー、DCPファイル形式、KDM/DKDMキー配布、MXFファイルの暗号化について詳しく説明しています。復号化はAES-128、RSA署名、一意のIVなどを含む複雑なプロセスですが、著者はDCI規格自体が安全であり、一意のキーと保護された秘密鍵に依存していると信じています。オープンソースライブラリやツール、配布者がコンテンツ保護のために信頼できるデバイスリストを使用する方法についても説明しています。
続きを読む
この記事では、ガウス求積法、特にチェビシェフ・ガウス求積法という強力な数値積分技法について解説します。これは、特定の節点で関数を評価し、重み付けされた値を合計することで、定積分を近似する手法です。従来の方法と比較して、少ない節点数で高い精度を実現し、特に[-1,1]区間での積分に有効です。この記事では、一般的な区間と関数形式をチェビシェフ・ガウス求積法に適合させる方法を説明し、例を用いてその応用と利点を示します。この技法は、海面上昇率の推定にも応用されています。
続きを読む
Googleは、インストール済みのパッケージ、スタンドアロンバイナリ、ソースコードの脆弱性をスキャンするための、拡張可能なソフトウェア構成分析（SCA）ライブラリであるOSV-SCALIBRをリリースしました。多くのプログラミング言語とパッケージマネージャーをサポートし、ソフトウェア部品表（SBOM）を生成します。OSV-SCALIBRはGoogle内部で使用されている主要なSCAエンジンであり、現在はオープンソース化され、より堅牢なコマンドラインインターフェースを提供するためにOSV-Scannerに統合される予定です。
続きを読む
インドの大手ソフトウェア企業Zohoは、技術的な不確実性と資本集約的な産業の性質を理由に、7億ドルを投じた半導体工場建設計画を棚上げしました。この決定は、技術的なハードル、人材流出、地政学的リスクなど、インドの半導体産業が抱える大きな課題を浮き彫りにしています。Zohoの決定は、継続的な研究開発投資、戦略的パートナーシップ、より現実的なアプローチの必要性を強調しており、インドの半導体開発への野心と政府支援の重要性を再考する契機となります。
続きを読む
Stratolaunch社は、Talon-A2機を用いた超音速飛行試験を2回成功裏に実施しました。巨大な輸送機Rocから発射されたTalon-A2は、太平洋上空で超音速に達した後、無事着陸しました。この成果は、アメリカの超音速技術における大きな進歩を示し、軍事および商業利用への道を切り開きます。試験では、ノースロップ・グラマン社の高度超音速技術慣性計測装置が使用され、将来の開発に役立つ貴重なデータが収集されました。これらの飛行試験は、Leidos社との提携の下、米軍のMACH-TBプログラムを支援するものでした。
続きを読む
科学者たちは、50年前に汚染されたヒト成長ホルモン（HGH）治療を受けた58歳の女性における、まれなクロイツフェルト・ヤコブ病（CJD）の症例を報告しています。これは、この致死的な疾患における最長の潜伏期間の可能性があります。この症例は、プリオン病の悪質な性質、つまり長い潜伏期間と標準的な殺菌方法への耐性を浮き彫りにしています。死体由来のHGHは禁止されていますが、発症が遅れる可能性のある症例の可能性は懸念事項として残っています。
続きを読む
海洋研究開発機構（JAMSTEC）の研究チームが、植物セルロースから作られた厚手の透明紙を開発した。この紙は、微生物によって水と二酸化炭素に分解され、ポリカーボネートプラスチック並みの強度を持つ。厚さ0.7ミリでも高い透明度を維持する。深海757メートルでも4ヶ月でほぼ分解されることが確認された。プラスチック包装の代替として、海洋汚染問題解決に繋がる可能性があるが、大量生産にはコストと技術的な課題が残る。
続きを読む