1.
1938年のパイレックスカタログ
(Pyrex catalog from from 1938 with hand-drawn lab glassware [pdf])

このカタログは、コーニング・グラス・ワークスが製造する「PYREX」ブランドの実験用ガラス器具について詳しく説明しています。コーニング・グラス・ワークスは、第二次世界大戦中にアメリカで高品質のガラス器具の需要に応えるために設立されました。

「PYREX」ガラス器具は、すべて商標が付けられており、高い品質、耐久性、安全性を保証しています。このガラスは、熱膨張が少なく、化学的耐久性に優れた特殊な化学ガラスから作られています。

このガラスの主な特性には、非常に低い熱膨張があり、熱衝撃や機械的破損を最小限に抑えます。また、「PYREX」ガラスは化学反応に対して耐性があり、実験室での正確性を確保します。さらに、このガラスは乾燥および湿式の滅菌方法にも耐え、劣化しません。

カタログには、「PYREX」ガラスの成分、化学的耐久性、比重や熱伝導率などの物理的特性に関する具体的なデータが掲載されています。

顧客は、実験用器具の販売業者を通じて、またはコーニング・グラス・ワークスから直接注文できます。カタログには価格情報、数量割引、注文方法のガイドラインが含まれています。

カタログには、一般的な実験室で使用するために設計されたビーカーなど、さまざまな実験用ガラス器具が紹介されており、その実用性と効率性が強調されています。

特注のガラス器具や特別な装置が必要な場合は、コーニングの技術スタッフに問い合わせることができます。このカタログは、信頼できるメーカーからの信頼性の高い実験用ガラス器具を必要とする人々にとって、包括的なリソースとなっています。

投稿者: speckx | スコア: 56

2.
RustのクロスプラットフォームGPU部品
(Rust cross-platform GPUI components)

GPUIコンポーネントは、60以上のユーザーインターフェース(UI)コンポーネントを使ってデスクトップアプリケーションを作成するためのツールキットです。

このツールキットの主な特徴には、60以上のクロスプラットフォームコンポーネントが揃っていること、macOSやWindowsにインスパイアされた現代的なデザイン、使いやすく状態を持たないコンポーネントが含まれています。また、複数のテーマやカラーバリエーションに対応したカスタマイズ可能なテーマ、超小型から大型までのさまざまなサイズ、異なるレイアウトやリサイズオプションを提供する柔軟なレイアウト機能も備えています。さらに、大量のデータを効率的に処理できる仮想化されたコンポーネント、高性能なデータ可視化ツールを含むチャート機能、診断や構文ハイライトなどの機能を持つ大きなファイルにも対応したコードエディタも特徴です。

このコンポーネントを使って最初に開発されたアプリケーションはLongbridge Proで、複数のテーマに対応しています。

GPUIコンポーネントは現在も開発中で、Gitからの依存関係が必要です。シンプルな「Hello, World!」アプリケーションを作成するためのサンプルコードも提供されています。

オプションのWebView要素も利用可能ですが、まだ実験段階にあります。また、アイコン要素も含まれていますが、デフォルトではSVGファイルは付属していません。ユーザーは自分のアイコンを追加することができます。

アプリケーションや使用例のギャラリーも用意されており、RustのパッケージマネージャーであるCargoを使って例を実行することができます。

GPUIコンポーネントは、Icedやegui、QT 6などの他のフレームワークと比較されており、機能、ライセンス、パフォーマンスの違いが示されています。

このツールキットはApache 2.0のライセンスの下で提供されています。GPUIコンポーネントの主な機能や特徴をまとめることで、デスクトップアプリケーションの構築に役立てやすくなっています。

投稿者: xvilka | スコア: 320

3.
Linux再起動
(Recall for Linux)

「Recall for Linux」は、Windowsの機能を恋しく思うLinuxユーザーのために設計されたツールです。特にデータ追跡に関連する機能が特徴です。主な機能には、機密データをアクセスしやすいデータベースに保存すること、活動の連続的なスクリーンキャプチャ、画像をテキストに変換すること、チャットやメールを簡単に参照できるように保存することが含まれます。

インストールにはユーザーの同意が必要で、ターミナルコマンドを使用して行います。ただし、このツールは完全に自動ではありません。

今後のアップデートでは、暗号化機能やAIの強化、ウェブカメラの画像、音声録音、クラウドデータのアップロードなどの機能が追加される予定ですが、これらの多くの機能は2028年まで期待できないとされています。

投稿者: anticensor | スコア: 420

4.
マイクロソフト訴訟、365の誤解招く
(Microsoft in court for allegedly misleading Australians over 365 subscriptions)

2025年10月27日、オーストラリア競争消費者委員会(ACCC)は、マイクロソフトオーストラリアおよびマイクロソフトコーポレーションに対して法的措置を取ると発表しました。この訴訟は、マイクロソフトが約270万人のオーストラリアの顧客に対して、AI機能「Copilot」をMicrosoft 365プランに追加した後のサブスクリプションオプションや価格の引き上げについて誤解を招く情報を提供したという主張に関するものです。

ACCCは、2024年10月31日以降、Microsoft 365のパーソナルおよびファミリープランの加入者に対し、Copilotの統合を受け入れ、価格の引き上げを受け入れるか、サブスクリプションをキャンセルする必要があると通知したとしています。しかし、ACCCによれば、加入者が従来の機能を低価格で維持できる「クラシックプラン」という第三の選択肢が存在していたにもかかわらず、このオプションはマイクロソフトのコミュニケーションで明確に示されていなかったとのことです。

マイクロソフトの価格引き上げは大きく、パーソナルプランの年額料金は45%(109ドルから159ドルへ)、ファミリープランは29%(139ドルから179ドルへ)上昇しました。ACCCは、多くの顧客がこのクラシックプランを知っていれば選択していた可能性があると主張しています。

ACCCは、誤解を招く情報の影響を受けた顧客に対する罰金や消費者への補償を求めています。この訴訟は、Microsoft 365のパーソナルおよびファミリープランにのみ焦点を当てており、ビジネス向けのサブスクリプションは含まれていません。ACCCは、企業がオーストラリアの法律に従って消費者に正確な情報を提供する必要があると強調しています。

投稿者: edwinjm | スコア: 78

5.
忘れないで!
(Don't forget these tags to make HTML work like you expect)

HTMLがブラウザで正しく機能するためには、いくつかの重要なタグを含めることが大切です。

まず、<!doctype html>というタグは、ブラウザが「クワークスモード」に入るのを防ぎ、表示やレイアウトを一貫して保つ役割を果たします。このタグは大文字小文字を問わず書くことができます。

次に、<html lang="en">というタグは、文書の言語を指定します。これにより、ブラウザや支援技術が発音やインデックス作成、翻訳を適切に行えるようになります。

また、<meta charset="utf-8">というタグは、ブラウザに文字を正しく表示する方法を伝えます。これにより、特殊な記号やラテン文字以外の文字が正しく表示されます。

さらに、<meta name="viewport" content="width=device-width,initial-scale=1.0">というタグは、モバイルデバイスでの表示を調整し、コンテンツが小さすぎることを防ぎます。

最後に、メインコンテンツエリアやスクリプトも忘れずに含める必要があります。例えば、<div id="root"></div><script src="bundle.js"></script>といったタグは、HTMLが意図した通りに機能するために重要です。

投稿者: FromTheArchives | スコア: 213

6.
PSF、150万ドル提案撤回
(PSF has withdrawn $1.5M proposal to US Government grant program)

2025年10月27日、Pythonソフトウェア財団(PSF)は、アメリカ国立科学財団(NSF)に提出した150万ドルの助成金提案を撤回したと発表しました。この提案は、PythonとPyPIのセキュリティを向上させることを目的としており、構造的な脆弱性に対処するものでした。PSFにとって、これは初めての政府資金獲得の試みでしたが、提案は当初資金提供の推薦を受けていたものの、PSFの核心的な価値観、特に多様性、公平性、包括性(DEI)に関する厳しい条件に直面しました。

NSFは、PSFがDEIの取り組みを推進しないことに同意するよう求めましたが、PSFはこれが自らの使命を損なうと感じました。助成金の潜在的な利点、つまり数百万のユーザーに対するセキュリティの向上があったにもかかわらず、PSFの理事会は全会一致で助成金を拒否する決定を下しました。これは、同団体の価値観を守り、コミュニティを支えるための選択でした。

現在、PSFは経済的な圧力やこの資金提供の機会を失ったことから、以前にも増して財政支援を求めています。個人に対しては、会員になったり、寄付をしたり、スポンサーシップを確保する手助けをするよう呼びかけています。

投稿者: lumpa | スコア: 101

7.
腐食の真実
(Corrosion)

Fly.ioは、DockerコンテナをFly Machinesと呼ばれるマイクロVMに変換する「Corrosion」というシステムを開発しました。このプラットフォームの主な課題は、サーバーとネットワーク間の状態の同期を管理することです。2024年9月1日には、新しいアップデートが原因で全てのプロキシがロックされ、ユーザーからのリクエストがアプリケーションに届かないという大規模な障害が発生しました。

分散システムでは問題が急速に拡大するため、その失敗を理解することが重要です。Fly.ioは、Kubernetesのような他のシステムが依存する中央集権的なデータベースに頼らず、状態の同期を改善するためにCorrosionを作成しました。代わりに、各サーバーが自分の負荷を管理する入札モデルを採用しています。

Fly.ioは、従来の合意プロトコルから離れ、OSPFのようなルーティングプロトコルに触発されたゴシッププロトコルを採用して、グローバルなルーティングデータベースを構築しました。これにより、各サーバーは中央の権威を必要とせずに、変更を迅速に伝えることができます。

Corrosionは、グローバルに同期されたSQLiteデータベースとして機能しますが、複雑なロックや合意の問題を回避しています。すべてのノードが最終的に同じ更新を受け取ることを保証し、信頼性と速度を向上させます。しかし、Fly.ioは、スキーマ変更による障害やConsulのような複数のシステムを使用する際の問題に直面しました。

信頼性を高めるために、監視用のウォッチドッグを導入し、データベースの更新を簡素化しました。また、システムを地域ごとの小さなクラスターに分割する地域化プロジェクトにも取り組んでいます。

全体として、Corrosionは従来の方法の欠点を克服し、分散システムにおける状態の同期に対するユニークな解決策を提供しています。このため、他のプラットフォームにおける類似の課題に対しても有望なツールとなるでしょう。

投稿者: cgb_ | スコア: 99

8.
Amazon strategised about keeping water use secret
(Amazon strategised about keeping water use secret)

要約がありません。

投稿者: chhum | スコア: 147

9.
Unexpected patterns in historical astronomical observations
(Unexpected patterns in historical astronomical observations)

要約がありません。

投稿者: XzetaU8 | スコア: 79

10.
距離測定ツール
(Geoutil.com – Measure distances, areas, and convert geo data in the browser)

SearchKは、地理データを扱うためのさまざまな機能を提供するツールです。主な特徴には、距離を計算するためのツールや面積を測定するための機能があります。また、ファイルサイズを縮小するためのミニファイアもあり、JSONやGeoJSONなどの異なるデータ形式に対応しています。データ形式を変換するためのコンバーターもあり、GeoJSONをSVGに変換したり、KMLをGeoJSONに変換したりすることができます。

さらに、異なる地理データファイルを結合したり分割したりするためのマージャーやスプリッターも用意されています。言語サポートも充実しており、複数の言語に対応しているため、ユーザーが使いやすい環境が整っています。

全体として、SearchKは地理データを効率的に管理するための包括的なツールを提供しています。

投稿者: FreeGuessr | スコア: 94

11.
Microsoft needs to open up more about its OpenAI dealings
(Microsoft needs to open up more about its OpenAI dealings)

要約がありません。

投稿者: zerosizedweasle | スコア: 202

12.
先読みZ80マルチタスク解説
(Pre-emptive Z80 multitasking explainer)

このプログラムは、Z80コンピュータで最大八つのタスクを同時に実行できるようにします。動作の仕組みは、割り込みが発生した際に現在のタスクのデータを保存し、次のタスクに切り替えてそのデータを復元するというものです。しかし、各タスクのスタックのサイズやタスクの総数に制限があり、タスクが増えるとパフォーマンスが低下する可能性があります。タスクの切り替えには約430クロックサイクルがかかります。割り込みはおおよそ50Hzで発生しますが、これは調整可能です。この割り込み信号を生成するには、追加のボードが必要です。このプログラムは、Mon3モニターを使用するTEC-1G Z80コンピュータ向けに設計されており、タスク切り替えのルーチンは特定のメモリアドレスに配置されています。

投稿者: chorlton2080 | スコア: 25

13.
子供にハッキングを教える理由
(Why I'm teaching kids to hack computers)

ポール・ハドソンは、13歳以上の子供たちにコンピュータを安全にハッキングする方法を教える理由を語っています。彼は「ハクティベート」というゲームを通じて、楽しみながらコンピュータサイエンスを学べる環境を提供したいと考えています。自身のティーンエイジャー時代の学びの経験を振り返り、子供たちが探求心を持ってコンピュータに触れることの重要性を強調しています。

ハドソンは、実験を通じて学ぶことの大切さを訴えています。彼は、今日のテクノロジーが洗練されている一方で、探求的な要素が欠けていると指摘しています。彼が作った「ハクティベート」は、240の課題を通じて、SQLインジェクションや暗号化、データ隠蔽などのスキルを安全に学べるゲームです。このゲームは、クラシックなゲームの要素と実際のサイバーセキュリティ技術を組み合わせています。

既存のハッキング学習リソースは、興味を引くものが少なく、指導が不十分で、理論的すぎることが多いとハドソンは述べています。「ハクティベート」は、楽しさと教育的価値を兼ね備えた構造化された課題を提供することで、これらの問題に対処しています。

「ハクティベート」は、一度の購入で利用できる版と、アプリ内課金がある無料版の2種類があり、どちらも同じ内容を提供しています。ゲームには、データ表現、暗号化、ウェブの脆弱性、ネットワーキングなど、実践的なスキルを教えるためのさまざまな課題が含まれています。

プライバシーにも配慮されており、「ハクティベート」はユーザーのデバイス上でローカルに動作し、トラッカーや広告がないため、プライベートな体験が保証されています。アプリはSwiftとSwiftUIを使用して開発されており、複雑なタスクにはAIの支援も受けています。ハドソンは、ほとんどの課題を自ら作成し、魅力的で意図的な内容に仕上げています。

今後の改善点として、ハドソンはアクセシビリティの向上やリーダーボード、実績の追加、アプリのユーザーインターフェースの改良を計画しています。ユーザーは、初めのチュートリアル課題を無料で試すことができ、すべてのAppleデバイスで追加コンテンツへのアクセスを購入することが可能です。

「ハクティベート」を通じて、ハドソンは若い学習者たちがサイバーセキュリティに興味を持ち、オンラインの安全性についての意識を高めることを期待しています。たとえそれを職業にしなくても、彼らの学びが役立つことを願っています。

投稿者: twostraws | スコア: 170

14.
NYCでエンジニア募集!
(Artifact (YC W25) is hiring engineers in NYC to build modern ECAD)

Artifactは、複雑なハードウェアプロジェクトにおける電気システムの設計のための共同CADツールです。このツールは、超音速ジェット機、再利用可能な衛星、海洋ロボット、自律型ドローンの製作に使用されています。現在、マンハッタンのオフィスで、ハードウェアチームの電気システム工学を改善するために働くフルスタックソフトウェアエンジニアを募集しています。詳細については、ウェブサイトを訪れるか、履歴書を添えてAntony([email protected])に連絡してください。

投稿者: antonysamuel | スコア: 1

15.
行動が自分を作る
(You are how you act)

この文章では、啓蒙思想家ジャン=ジャック・ルソーとベンジャミン・フランクリンの人間性に関する対照的な見解について述べています。ルソーは、人間は生まれつき善であるが、社会によって堕落させられると考えました。一方、フランクリンは、人間は内面的な本質ではなく、行動によって良いか悪いかが決まると主張しました。現代のアメリカでは、私たちはしばしばこれらの考えを行き来し、ルソーの意図に対する許しや、フランクリンの行動に対する責任を求めています。

著者はフランクリンの視点を支持し、私たちの行動が人格を形成することを強調しています。「偽ってでも成功する」という考え方は、繰り返しの行動が私たちを作り上げるというフランクリンの見解と一致しています。これは、内面的に良い気持ちになるだけではなく、私たちの人生をコントロールする手段を提供します。感情を変えることができなくても、行動を選ぶことができるからです。重要なポイントは、行動を起こすことで個人の成長と偉大さにつながるということです。

投稿者: HiPHInch | スコア: 214

16.
Zigでネットワークプログラム!
(How I turned Zig into my favorite language to write network programs in)

著者は、音声ソフトウェアのために最初に作られたZigプログラミング言語との出会いを語り、どのようにしてネットワークプログラミングの選択肢として好まれるようになったのかを説明しています。Zigの創始者であるアンドリュー・ケリーの投稿に触発され、AcoustIDプロジェクトを再構築する際にZigを探求することになりました。

C++からの移行や、ネットワーキングにQtやGoを使用する中で、著者はZigで特にサーバーインターフェースの作成に苦労しました。そこで、NATSを使ってクラスターレイヤーを実装することに決め、Zigのネットワーキング機能に関する貴重な経験を得ました。

現在、著者はZigのための非同期I/Oおよび並行処理ライブラリであるZioを紹介しています。Zioはスタックフルコルーチンを使用して非同期プログラミングを簡素化し、I/O操作中にタスクを一時停止し、後で再開できるため、コードの管理が容易になります。Zioは非同期のネットワークおよびファイルI/O、同期ツールをサポートし、シングルスレッドとマルチスレッドの両方で効率的に動作します。

Zioのパフォーマンスは非常に優れており、GoやRustのTokioなどの既存のフレームワークを上回っています。また、外部ライブラリとの互換性があるため、ネットワークアプリケーションの開発において多用途に利用できます。著者は、NATSクライアントのさらなる強化と、Zioを使用した新しいHTTPクライアント/サーバーライブラリの開発を計画しています。

投稿者: 0x1997 | スコア: 290

17.
More big companies bet they can still grow without hiring
(More big companies bet they can still grow without hiring)

要約がありません。

投稿者: LostMyLogin | スコア: 33

18.
GoコードをJavaScriptで
(Write Go code in JavaScript files)

Viteプラグインを作成しました。このプラグインを使うと、.jsファイルの中で「use golang」というコマンドを使ってGoコードを書くことができます。プラグインは自動的にGoコードをWebAssemblyにコンパイルします。

投稿者: yar-kravtsov | スコア: 113

19.
Viral 'Free Potatoes' Post Cost This Farmer 150 Tons of Crops
(Viral 'Free Potatoes' Post Cost This Farmer 150 Tons of Crops)

要約がありません。

投稿者: xbmcuser | スコア: 30

20.
What happened to running what you wanted on your own machine?
(What happened to running what you wanted on your own machine?)

要約がありません。

投稿者: marbartolome | スコア: 279

21.
アイソモーフィック関数管理者
(Isomorphic JS/TS Functions Orchestrator)

アイソモーフィックオーケストレーターは、JavaScriptおよびTypeScriptの関数をシンプルかつ効率的に管理するためのライブラリです。このライブラリは、ブラウザやNode.jsなど、さまざまな環境で動作するため、さまざまなプロジェクトに対応できます。

このライブラリの主な特徴は以下の通りです。まず、軽量で、オーケストレーションのロジックは約100行のコードで構成されており、変換にはJSONataのみを使用しています。また、ユーザーが提供するコードは安全で、サンドボックス化を必要としません。さらに、ユーザーは独自の状態管理や遷移ロジックを追加することができ、ブラウザとNode.js、Bun、Denoなどのサーバー環境の両方で機能します。TypeScriptの型もサポートしており、MITライセンスのもとでオープンソースとして提供されていて、コードのカバレッジも完全です。

使用例としては、基本的な例では、オーケストレーターを作成し、二つの関数の出力を組み合わせて三つ目の関数に渡すことができます。具体的なコードでは、「Hello」と「World」を生成する二つの関数を実行し、それらを組み合わせて「Hello World」を作成する方法が示されています。複雑な例では、オーケストレーターはループや複数の関数間の遷移を処理でき、ローカルおよびグローバル変数を更新しながら進行します。

オーケストレーションの仕組みは、関数間の接続から成るグラフで構成されています。開始する関数とその入力を定義し、各接続は一つまたは複数の関数からの出力がどのように変換され、他の関数に渡されるかを指定します。オーケストレーターは関数を実行し、その結果を待ちながら、JSONataを使用して変換を行います。

全体として、アイソモーフィックオーケストレーターは、JavaScriptおよびTypeScriptの関数を使用してローコードアプリケーションを構築するための柔軟な基盤を提供します。

投稿者: damianofalcioni | スコア: 9

22.
OpenBSD C/C++ Toolchain in the Browser
(OpenBSD C/C++ Toolchain in the Browser)

要約がありません。

投稿者: todsacerdoti | スコア: 18

23.
古典力学の解釈
(Structure and Interpretation of Classical Mechanics (2014))

このテキストは、ジェラルド・ジェイ・サスマンとジャック・ウィズダムによって書かれたもので、MITプレスから出版された第二版の非公式なHTML版です。古典力学のさまざまな概念を扱ういくつかの重要なセクションに分かれています。

最初のセクションでは、ラグランジュ力学について説明しています。ここでは、構成空間や一般化座標、静的作用の原理が紹介され、ラグランジュの方程式の導出と計算方法が解説されています。また、制約のある運動や保存量についても触れています。

次に、剛体の運動についてのセクションがあります。ここでは、回転運動エネルギーや慣性モーメント、剛体の運動について議論され、オイラーの方程式やスピン・軌道結合といったトピックも含まれています。

ハミルトン力学に関するセクションでは、ハミルトンの方程式や位相空間の進化、ポアソン括弧の概念に焦点を当てています。また、断面の表面やリウヴィルの定理についても探求しています。

位相空間の構造については、位相空間の特性、線形安定性、可積分系、ポアンカレ・ビルコフの定理が説明されています。

次に、正準変換に関するセクションでは、点変換や一般的な正準変換、生成関数、これらの変換に関連する不変量について扱っています。

正準進化のセクションでは、ハミルトン・ヤコビ方程式とその応用、正準力学における時間の進化の性質について詳しく説明されています。

最後に、正準摂動理論についてのセクションがあり、特に振り子やさまざまな共鳴現象の例を通じて力学における摂動理論が論じられています。

付録には、使用されているスキームや記法についての情報が含まれています。このテキストは、古典力学を理解するための包括的なガイドとして、学生や愛好者に適しています。

投稿者: the-mitr | スコア: 80

24.
テキストを画像化?
(Should LLMs just treat text content as an image?)

最近、DeepSeekの論文が、光学文字認識(OCR)を利用して大規模言語モデル(LLM)がテキストを処理する方法を改善する可能性について述べています。OCRは、テキストの画像を実際のテキストに変換する技術で、AIモデルのトレーニングに利用できるデータを増やすことができます。この論文では「光学圧縮」という概念が紹介されており、テキストの画像がテキストそのものよりも情報を効率的に表現できると提案しています。

重要なポイントとして、まず「光学圧縮」が挙げられます。1つの画像トークンは、テキストトークンの10倍の情報を伝えることができるため、LLMがテキストの画像を処理する際により効率的である可能性があります。次に、現在の利用状況について、一部のユーザーはマルチモーダルLLMを使って、テキストそのものではなくテキストのスクリーンショットをアップロードする実験を行っています。

また、このアプローチは人間の記憶に例えられています。最近の記憶は鮮明である一方、古い記憶はあいまいになることが多いです。このことは、AIにおけるテキストの保存や処理をより効率的に行うための戦略につながる可能性があります。画像とテキストの効率についても触れられており、画像はフォントやレイアウトなどの詳細を含むため、テキストよりも多くの情報を含むことができます。一方で、テキストトークンは限られたセットに制約されています。

最後に、画像としてテキストを処理することはLLMの改善につながる可能性がありますが、テキストの画像を理解するためのモデルのトレーニングには課題があります。例えば、画像から次の単語を予測する方法などが挙げられます。全体として、テキストを画像として扱うアイデアはAIの言語処理や理解の方法を変える可能性がありますが、その効果を確認するためにはさらなる探求とテストが必要です。

投稿者: ingve | スコア: 81

25.
マイラOS:32ビットの挑戦
(MyraOS – My 32-bit operating system in C and ASM (Hack Club project))

若い開発者のディヴィルは、CPUに関する知識が不足しているために就職面接で不合格になった後、低レベルプログラミングとオペレーティングシステム(OS)開発を学ぶ旅を共有しています。彼は理解を深めるために、C言語とアセンブリ言語を使ってOSを作ることを決意しました。

ディヴィルは、大学の教科書やオンラインのブログ、動画を通じてOSの理論を学ぶために多くの時間を費やしました。OSDev WikiやOSTEPといったリソースを活用し、OS開発の経験がある友人からも知見を得ました。彼はブートローダーを作成し、VGAドライバーを実装し、割り込みを処理し、キーボードや物理メモリ、ファイルシステムのドライバーを開発することでコーディングを始めました。

基本的な機能を完成させることに集中していた彼の視点は、Hack Clubの「Summer of Making」に参加したことで変わりました。彼はプロジェクトを拡張し、グラフィカルユーザーインターフェース(GUI)を追加し、さらにはゲーム「Doom」を移植することにも成功しました。7か月の間に、特にDoomを実行する際のページングシステムやメモリの問題に関して、多くのデバッグの課題に直面しました。

これらの障害にもかかわらず、ディヴィルはプロジェクトを無事に完成させ、その経験を貴重なものと感じています。彼は、初期の目標を超えて挑戦するきっかけを与えてくれた「Summer of Making」に感謝の意を表しています。彼は、自身のプロジェクトについて話し合うことを他の人に呼びかけており、そのプロジェクトはGitHubで見ることができます。

投稿者: dvirbt | スコア: 214

26.
Sandhill cranes have adopted a Canada gosling
(Sandhill cranes have adopted a Canada gosling)

要約がありません。

投稿者: NaOH | スコア: 135

27.
ユニックスの誕生秘話
(Ken Thompson recalls Unix's rowdy, lock-picking origins)

このテキストには、コンピュータ分野の著名な人物に関するブログ記事へのリンクが含まれています。また、このテーマに関連する4.5時間の動画へのリンクもあります。内容は、このコンピュータの伝説的な人物の業績や洞察を称えることに焦点を当てています。

投稿者: dxs | スコア: 214

28.
魅惑の偽者たち
(Enchanting Imposters)

ジョンズ・ホプキンズ大学の教授アール・ヘイブンズは、「洪水から黙示録までのフェイクニュースの歴史」という講義を担当しています。この授業では、学生たちが歴史的な偽造作品を作成し、その正当性を主張します。ヘイブンズは、文学的な偽造に関する2000点以上の資料を収蔵する「フィクティバ図書館コレクション」を管理しています。このコレクションは、2011年にコレクターのアーサーとジャネット・フリーマンから取得され、文学における真実性や欺瞞についての批判的思考を促すことを目的としています。

コレクションには、中世の文書から現代の詐欺まで、さまざまな偽造作品が含まれており、歴史を通じて偽造が人間のコミュニケーションの一部であったことを理解するための資源となっています。ヘイブンズは、偽造は現代だけの現象ではなく、異なる歴史的時代においても同様の手法が使われてきたことを強調しています。彼は学生たちに偏見を認識させ、誤情報の複雑さを理解させることを教えています。

彼の授業では、学生たちが古代の時代から信憑性のある偽の手紙を書くことで、信じられる偽造作品を作成し、その正当性を守る方法を学びます。この演習は、メディアリテラシーや批判的分析のスキルを向上させる助けとなります。

ヘイブンズはまた、偽造の背後にある動機についても議論します。これらの動機は、個人的な利益から文化的な神話の創造まで多岐にわたります。彼は、一部の偽造作品が非難される一方で、他の作品はその創造性が称賛されることもあると指摘しています。全体として、フィクティバ図書館は、真実、欺瞞、そして文学的偽造の歴史的文脈を探求するための重要なツールとなっています。

投稿者: Petiver | スコア: 29

29.
忘れられた70年代の革新
(Sphere Computer – The Innovative 1970s Computer Company Everyone Forgot)

スフィアコーポレーションは、1975年にマイク・ワイズによってユタ州で設立されました。彼らはスフィア1という初期のオールインワンマイクロコンピュータを開発しました。この製品は革新的でしたが、遅延や使い勝手の問題があり、1977年には会社が倒産してしまいました。趣味としてのニッチな製品ではありましたが、そのデザインは将来の大衆向けコンピュータを予見していました。

歴史家でエンジニアのベン・ゾットは、スフィアの物語をウェブサイトと書籍を通じて記録しています。彼はまた、スフィアのための仮想エミュレーターを開発し、数十年ぶりに新しいハードウェアも作成しました。ゾットは、スフィアに関連する資料やストーリーを持っている人からの連絡を待っており、このコンピュータ史の一部を保存する手助けをしてほしいと考えています。

詳細については、[email protected]までお問い合わせください。

投稿者: ChrisArchitect | スコア: 90

30.
AGIの定義
(A definition of AGI)

人工一般知能(AGI)の定義は明確ではなく、現在のAIと人間の知能を比較するのが難しいです。この論文では、AGIを教育を受けた成人の認知能力を持つものとして定義する明確な枠組みを提供しています。人間の知能に関する確立された理論を用いて、一般的な知能を推論や記憶などの10の主要な分野に分解し、人間用のテストをAIシステムの評価に適応させています。分析の結果、現在のAIモデル、特にGPT-4やGPT-5は特定のタスクにおいて優れた性能を発揮していますが、長期記憶などの重要な基礎能力が欠けていることがわかりました。スコアからは進展が見られるものの、真のAGIに到達するにはまだ大きなギャップが存在することが示されています。

投稿者: pegasus | スコア: 280

31.
A bug that taught me more about PyTorch than years of using it
(A bug that taught me more about PyTorch than years of using it)

要約がありません。

投稿者: bblcla | スコア: 431

32.
高速実装比較
(Are-we-fast-yet implementations in Oberon, C++, C, Pascal, Micron and Luon)

このリポジトリには、「Are-we-fast-yet」ベンチマークスイートの追加バージョンがあります。メインバージョンについては、https://github.com/smarr/are-we-fast-yet をご覧ください。詳細については、ここにある ORIGINAL_README.md ファイルを確認してください。各追加バージョンは、「Cpp」、「Oberon」、「FreePascal」などのサブフォルダに格納されており、そこにさらに情報があります。

投稿者: luismedel | スコア: 82

33.
ボットに餌を!
(Feed the bots)

提供されたリンクは、Maurycyzのウェブサイトにある「trap_bots」というプロジェクトに関連しています。残念ながら、そのページの具体的な内容にアクセスできないため、詳細をまとめることはできません。しかし、このプロジェクトは特定の目的のためにボットを作成したり、利用したりすることに関係している可能性があります。もしそのページからの情報やテキストを共有していただければ、喜んで要約をお手伝いします。

投稿者: chmaynard | スコア: 282

34.
25倍速のユニークソート
(An overengineered solution to `sort | uniq -c` with 25x throughput (hist))

Histは、ファイル内のユニークな行を迅速にカウントするためのコマンドラインツールです。インストールは、コマンド「cargo install hist-rs」を使用して行えます。

使用方法は簡単です。ファイル内のユニークな行をカウントするには「hist <file>」と入力します。標準入力からユニークな行をカウントする場合は「/bin/cat <file> | hist」を使用します。ユニークな行のみを出力したい場合は「hist <file> -u」を使います。また、特定のパターンに一致する行を除外するには「hist <file> -e <pattern>」、特定のパターンに一致する行を含めるには「hist <file> -i <pattern>」を使用します。一定のカウント以上の行を出力するには「hist <file> -m <threshold>」、一定のカウント未満の行を出力するには「hist <file> -M <threshold>」を使います。出力を行数でソートするには「hist <file> -n」、降順でソートするには「hist <file> -d」を利用します。

性能面では、Histは大きなテストファイルを使って他のツールと比較され、最も優れた結果を示しました。具体的には、Histは平均200.3ミリ秒で、cuniqが434.3ミリ秒、huniqが2375.5ミリ秒、sortuniqが2593.2ミリ秒、ナイーブな方法が5409.9ミリ秒でした。

要するに、Histはファイル内のユニークな行をカウントするための迅速かつ効率的なツールであり、結果をフィルタリングしたりソートしたりするためのさまざまな機能を提供しています。

投稿者: noamteyssier | スコア: 99

35.
無限3D世界生成
(WorldGrow: Generating Infinite 3D World)

WorldGrowは、上海交通大学、ファーウェイ、華中科技大学の研究者によって開発された、新しい無限の3D環境を生成する方法です。このシステムは、最初に一つのブロックから始まり、環境が一貫性を持ち、移動可能であることを確保しながら、大規模で詳細な世界へと拡張していきます。

WorldGrowの特徴として、階層的なフレームワークがあります。これにより、広いレイアウトと複雑なディテールの両方を持つ3D世界を構築できます。また、生成されたシーンは移動可能で、シミュレーションなどのさまざまな用途に適しています。プロジェクトは現在も開発中で、インストールや視覚化、その他の機能に関するアップデートが予定されています。

これまでに、約1,800平方メートルの大きな屋内世界を含む多様なシーンが生成されています。このプロジェクトは、無限の3D世界を生成するためのツールを提供することを目指しており、ユーザーがそのリポジトリに参加することを奨励しています。コードや追加リソースは近日中に公開される予定です。

投稿者: cdani | スコア: 58

36.
We saved $500k per year by rolling our own "S3"
(We saved $500k per year by rolling our own "S3")

要約がありません。

投稿者: mpweiher | スコア: 289

37.
Asbestosis
(Asbestosis)

要約がありません。

投稿者: zeristor | スコア: 278

38.
暗号なし衛星の盗聴
(Eavesdropping on Internal Networks via Unencrypted Satellites)

最近の研究では、商業用衛星アンテナを使って静止衛星通信を調査し、暗号化されていない大量の機密データが送信されていることが明らかになりました。具体的には、以下のような情報が含まれています。

携帯電話のデータとして、通信事業者からの暗号化されていない通話、SMS、インターネットトラフィックがあります。また、軍や政府の通信では、暗号化されていないVoIP(音声通信)やインターネット通信、さらに敏感な軍事追跡データも確認されました。航空機内のWi-Fiでは、乗客からの保護されていないインターネットトラフィックが流れていました。VoIPプロバイダーに関しては、暗号化されていない衛星バックホールのために通話音声やメタデータが漏洩しています。企業の内部ネットワークでは、暗号化されていない企業メール、ログイン情報、財務データが含まれています。さらに、重要なインフラストラクチャでは、電力会社や石油パイプラインの遠隔操作が暗号化されていない衛星リンクを使用して行われています。

この研究は、基本的な機器を持つ誰でもこのデータを傍受できることを示しています。衛星信号は地球の広い範囲をカバーするためです。

ユーザーや組織への推奨事項として、一般ユーザーは自分のインターネットトラフィックが暗号化されているかどうかを知るのは難しいため、VPNやエンドツーエンド暗号化されたメッセージングアプリを使用して通信を保護することが勧められます。組織に対しては、衛星通信を安全でない公共ネットワークのように扱い、機密情報を守るためにすべてのレベルで暗号化を実施することが重要です。

研究チームは、サンディエゴに衛星アンテナを設置し、さまざまな衛星からのトラフィックをキャッチしました。多くの通信がコストや複雑さの問題から暗号化されていないことがわかりました。一部の企業は暗号化されたリンクへの移行を進めていますが、依然として多くの企業が脆弱な状態にあります。

この研究はカリフォルニア大学サンディエゴ校とメリーランド大学のチームによって行われました。詳細や問い合わせについては、研究グループの提供する連絡先を通じて連絡することができます。

投稿者: Bogdanp | スコア: 210

39.
Tamper-Sensing Meshes Using Low-Cost, Embedded Time-Domain Reflectometry
(Tamper-Sensing Meshes Using Low-Cost, Embedded Time-Domain Reflectometry)

要約がありません。

投稿者: luu | スコア: 29

40.
私たちの世界
(This World of Ours (2014) [pdf])

セキュリティ研究コミュニティに対するユーモラスな批評が展開されています。著者のジェームズ・ミケンズは、技術論文を読むことを理解できないオペラに放り込まれるような体験に例えています。そのオペラには、複雑な専門用語や驚くべきシナリオが満載で、「ボジャングルに基づく暗号技術」などが含まれています。ミケンズは、セキュリティ研究者がしばしば不明瞭な脅威に焦点を当て、実用的な解決策、例えば強力で覚えやすいパスワードの必要性を無視していると主張しています。

彼は、セキュリティ研究者をトライアスロン選手に例え、あり得ないシナリオに備えて訓練している様子を描写しています。彼の主張は、彼らの優先順位が誤っているように見えるということです。実生活では、強力なパスワードのようなシンプルな解決策が一般的な脅威に対して十分であることが多い一方で、モサドに狙われるような複雑なシナリオは一般の人には起こりにくいと強調しています。

また、公開鍵基盤の構築が簡単だという考え方にも批判を加え、それを恐竜で満たされた架空の公園を作ることに例えています。著者は、複雑なセキュリティモデルに迷い込むのではなく、日常のユーザーを助ける実用的な対策に焦点を当てるべきだと提案しています。最終的に、彼はセキュリティに対するより実践的なアプローチを支持し、脅威を認識することは重要であるものの、それに常に恐れを抱いて生きるべきではないと述べています。

投稿者: xeonmc | スコア: 202

41.
NORAD’s Cheyenne Mountain Combat Center, c.1966
(NORAD’s Cheyenne Mountain Combat Center, c.1966)

要約がありません。

投稿者: zdw | スコア: 132

42.
Gitサーバー活用法
(You already have a Git server)

SSHを使ってアクセスできるサーバー上にgitリポジトリがある場合、ローカルで作業するために簡単にクローンできます。次のコマンドを使用します。

git clone ssh://username@hostname/path/to/repo

変更を加えた後は、それをサーバーにプッシュできます。デフォルトでは、gitは現在チェックアウトしているブランチへのプッシュを許可していませんが、サーバーの設定を変更することでこれを可能にできます。

git config receive.denyCurrentBranch updateInstead

この設定は、複数のコンピュータ間でコードを同期したり、サーバー上のファイルを遅延なく編集したりするのに便利です。

コードを公開するには、ウェブサーバーをgitリポジトリに指向させます。次のコマンドを使用します。

git clone https://hostname/path/to/repo/.git

URLを簡略化するためにリマッピングや.gitディレクトリの名前変更ができますが、これにより一部の機能が制限されることがあります。

リポジトリをクローン可能に保つためには、次のコマンドを実行する必要があります。

git update-server-info

このプロセスを自動化するために、gitフックを設定します。サーバー上にpost-updateフックを作成し、このコマンドを自動的に実行させます。手順は以下の通りです。

まず、サンプルフックをコピーします。

cp .git/hooks/post-update.sample .git/hooks/post-update

次に、実行可能にします。

chmod a+x .git/hooks/post-update

静的サイトジェネレーターを実行するスクリプトを追加します(必要に応じてパスを置き換えます)。

cat > .git/hooks/post-update <<EOF #!/bin/sh set -euo pipefail cd /path/to/site /path/to/generator EOF

このスクリプトも実行可能にします。

この方法を使えば、ローカルでブログ記事を書き、それをサーバーにプッシュすることで、残りの処理を自動で行わせることができます。この設定はバックアップも提供します。一つのデバイスが故障しても、他のデバイスから作業を取り戻すことができます。gitのバージョン管理は、誤って削除することを防ぎ、変更を追跡するのを容易にします。

投稿者: chmaynard | スコア: 604

43.
Researchers demonstrate centimetre-level positioning using smartwatches
(Researchers demonstrate centimetre-level positioning using smartwatches)

要約がありません。

投稿者: geox | スコア: 67

44.
毒だらけの世界
(Poison, Poison Everywhere)

最近、ジョン・ローバーは、北イングランドの子供たちが遊び場の排気ガスによる鉛中毒の影響で知能が低下しているという教師からの心配な話を共有しました。この歴史的な例は、私たちの環境や製品が安全であると信じることの危険性を浮き彫りにしています。善意の決定が有害な結果を招くこともあるのです。

その後、安全基準は大幅に改善されましたが、新たなリスクが現れています。グローバリゼーションは消費財の安全性を複雑にし、家具や食品が有害物質を含んでいないかどうかを知ることが難しくなっています。記事によれば、高級品でさえ有害なマイクロプラスチックや重金属を含むことがあり、しばしば監視が行われていません。

ローバーは、消費者がほとんど自分で対処しなければならない状況を強調し、製品の安全性に特化した第三者機関の必要性を提案しています。彼は、消費財をテストするドイツの非営利団体など、他国の成功したモデルを指摘しています。

消費者の間で健康や環境の安全に対する関心が高まっており、技術によって個人が自分の健康や幸福を監視できるようになっています。ローバーは、透明性と安全性を重視する企業が成功すると信じており、人々が日常製品に潜む危険に対してますます意識を高めていることを指摘しています。

要するに、消費財の信頼できる監視に対する需要が高まっており、企業がこのニーズを満たし、消費者を力づける機会があるということです。

投稿者: dividendpayee | スコア: 278

45.
ウィン:洗練されたスクリプト言語
(Wren: A classy little scripting language)

Wrenは、小さくて高速、使いやすいスクリプト言語で、Smalltalk、Lua、Erlangの要素を取り入れた現代的な文法を特徴としています。

Wrenの主な特徴は以下の通りです。全体の実装は4,000セミコロン未満で、読みやすく理解しやすいです。高速なコンパイラを使用して効率的なバイトコードを生成するため、他の動的言語と比べても優れたパフォーマンスを発揮します。クラスベースの設計により、明確なオブジェクトモデルを提供し、多くの他のスクリプト言語にはない利点があります。また、軽量なファイバーを含んでおり、プログラムが複数のタスクを同時に簡単に実行できるようになっています。Wrenはアプリケーションに埋め込むために設計されており、外部依存関係がなく、C言語向けの使いやすいインターフェースを持つ小さな標準ライブラリを提供しています。

興味があれば、ブラウザでWrenを試してみることができます。

投稿者: Lyngbakr | スコア: 182

46.
インテル、3万5千人削減
(Intel has cut 35,500 jobs in less than two years)

インテルは、ここ2年で合計35,500人の従業員を解雇しました。そのうち20,500人は、CEOのリップ・ブ・タンの指導の下で最近行われたものです。2024年末には約108,900人の従業員がいましたが、2025年9月には約88,400人に減少しました。解雇の主な対象はエンジニアや技術者で、特にオレゴン州で多くの非管理職のポジションが削減されました。

インテルは、コスト削減と明確な財務的リターンが見込まれるプロジェクトの優先順位を高めるために、再構築を進めています。研究開発予算は8億ドル以上削減されましたが、収益は増加しています。インテルの経営陣は、顧客の需要が確認された場合にのみ新しいプロジェクトに投資する方針を示し、2026年まで運営費用を約160億ドルに安定させることを目指しています。

タンCEOは、インテルがよりスリムで焦点を絞った企業になっていることを強調し、長期的な利益を支えるために業務を効率化していると述べました。

投稿者: ponector | スコア: 24

47.
バイナンスとトランプ家の暗号事業
(Zhao's Binance Aided Trump Family Crypto Venture Before Pardon)

あなたのコンピュータネットワークに異常な活動が見られました。続行するには、下のボックスをクリックしてロボットでないことを確認してください。

この問題は、あなたのブラウザがJavaScriptやクッキーをサポートしていないか、これらがブロックされていることが原因かもしれません。詳細については、利用規約とクッキーポリシーをご確認ください。

サポートが必要な場合は、サポートチームに連絡し、参照ID:fe730241-b34e-11f0-bc69-09fde9dce160をお知らせください。

また、Bloomberg.comに登録すると、重要な世界の市場ニュースを受け取ることができます。

投稿者: zerosizedweasle | スコア: 19

48.
人の本 - AI時代の有機文学を守る
(Books by People – Defending Organic Literature in an AI World)

Books By Peopleは、人間が書いた本の出版社を認証する新しい組織です。AIが生成したコンテンツが主流となる中で、創造的な誠実さを確保することを目的としています。彼らの使命は、AIの関与なしに人間が書いた本を「オーガニック文学」として支援し、促進することです。

認証プロセスでは、出版社の編集方針が審査され、AIの使用状況や著者の確認が行われます。認証が承認されると、人間による著作へのコミットメントを示す認証スタンプが授与されます。

認証を受けた出版社は、マニュアルやAIの影響に関するガイダンス、法的支援、業界の専門家とのネットワークにアクセスできます。この認証スタンプは、読者に対してその本が本当に人間によって書かれたものであることを保証し、AIコンテンツがあふれる市場の中で出版社を差別化する手助けをします。

チームには、出版、技術、法律などさまざまな分野の専門家が含まれており、認証を受けた出版社に対して包括的なサポートを提供します。認証の申請は無料ですが、承認された出版社には年会費が必要です。この組織は、高い基準を維持しながら、出版社の負担を最小限に抑えることを目指しています。

この運動に参加することで、出版社は人間のストーリーテリングの価値を守り、文学界での信頼性を維持することができます。

投稿者: ChrisArchitect | スコア: 112

49.
Downloadable movie posters from the 40s, 50s, 60s, and 70s
(Downloadable movie posters from the 40s, 50s, 60s, and 70s)

要約がありません。

投稿者: bookofjoe | スコア: 467

50.
スイスの靴下で足を取り戻す
(Swiss smart socks help diabetics feel their feet again)

スイスの研究者たちは、糖尿病患者が足の感覚を取り戻すために設計された新しいスマートソックス「レイアソックス」を開発しました。多くの糖尿病患者は、糖尿病性神経障害に悩まされており、これにより足に痛みや感覚の喪失が生じ、歩行が困難になり、転倒のリスクが高まります。

レイアソックスには、着用者の歩き方をマッピングする圧力センサー、データを電気信号に変換するAIプロセッサー、健康な神経部分に信号を送ることで感覚を回復させる神経刺激電極が搭載されています。この技術は、鎮痛剤への依存を減らし、移動能力を向上させることを目指しています。

現在、レイアソックスは購入できませんが、歩行の改善や足の潰瘍予防の効果をテストするための長期研究が計画されています。製造元のマイネルバは、FDAの承認を求めており、2027年の発売を目指しています。もし成功すれば、この革新は糖尿病患者の移動能力や生活の質を大いに向上させる可能性があります。

投稿者: Brajeshwar | スコア: 8

51.
Making the Electron Microscope
(Making the Electron Microscope)

要約がありません。

投稿者: mailyk | スコア: 83

52.
バナジウムのヘリウムブラウザ
(Helium Browser for Android with extensions support, based on Vanadium)

私は、Chromiumを基にした新しい実験的なブラウザをスマートフォンやタブレット向けに開発しています。このブラウザには主に二つの特徴があります。

一つ目は「デスクトップスタイルの拡張機能」です。メニューの「デスクトップサイト」オプションを有効にすることで、uBlock OriginのようなChromeの拡張機能を簡単にインストールできます。

二つ目は「プライバシーとセキュリティの強化」です。Vanadiumブラウザからの強力なプライバシー機能を搭載しており、実際のIPアドレスを保護します。また、デフォルトでJust-In-Time(JIT)コンパイルを無効にするなど、セキュリティの改善も行っています。

このブラウザは効率的でオープンソースであり、最新のAndroidデバイスに対応しています。現在はベータ版であり、VanadiumとGrapheneOSが提供する完全なセキュリティの代替にはなりません。Vanadiumのプライバシー機能とデスクトップ拡張機能、Heliumの機能を組み合わせて、より多くのユーザーに向けたものを目指しています。

ビルドスクリプトや事前にビルドされたバージョンはリポジトリにあります。フィードバックやサポートも大歓迎です。

投稿者: jqssun | スコア: 56

53.
論理の力
(Formal Reasoning [pdf])

このテキストは、形式的推論についてのガイドであり、命題論理とその応用に焦点を当てています。いくつかの章に分かれており、それぞれが論理や数学の異なる側面を扱っています。

最初の章では命題論理が紹介され、自然言語と形式言語の違いが強調されています。自然言語は曖昧さを含むことがありますが、形式言語は論理的な表現を明確に示します。

次に、命題を表す記号の基本的な辞書が作成されます。例えば、「R」は「雨が降る」という意味です。これにより、日常の言葉を形式論理に翻訳する手助けがなされます。

論理接続詞についても説明されており、「かつ」「または」「否定」などの接続詞が定義され、それぞれの形式的な表現と関連付けられています。これにより、論理的な文を構築する際の助けになります。

真理値表の章では、真理値表を使って論理的な命題の真偽を判断する方法が説明されています。具体的な例や練習問題も提供されています。

論理のモデルについては、命題に真理値を割り当てることで、すべての可能なシナリオにおいて命題が論理的に真であるかどうかを判断する手助けをします。

論理的同値性の章では、二つの命題がすべてのモデルで同じ真理値を持つ場合、それらは論理的に同値であるとされます。この概念を示すための例があり、論理的関係を理解する重要性が強調されています。

全体として、この文書は形式的推論の基礎的な理解を提供し、読者が論理的な表現を正確かつ効果的に扱えるようになることを目指しています。

投稿者: Thom2503 | スコア: 138

54.
My favorite cult sci-fi and fantasy books you may not have heard of before
(My favorite cult sci-fi and fantasy books you may not have heard of before)

要約がありません。

投稿者: bwb | スコア: 113

55.
RustでRISC-Vエミュレーター
(Writing a RISC-V Emulator in Rust)

このプロジェクトでは、Rustを使って64ビットのRISC-Vエミュレーターを作成します。本書の最後には、シンプルなUnixライクなオペレーティングシステムであるxv6を実行できるようになります。

学習の目的として、エミュレーターを作成する過程で、基本的なコンピュータアーキテクチャの概念を理解します。具体的には、命令セットアーキテクチャ(ISA)、特権アーキテクチャ、例外、割り込み、周辺機器、仮想メモリシステムなどです。また、プロジェクトのソースコードはd0iasm/rvemu-for-bookで入手できます。

第1章では、xv6を実行するために必要なハードウェアコンポーネントに焦点を当てます。具体的には、2つの命令を持つCPU、メモリとシステムバス、制御および状態レジスタ、特権アーキテクチャ、例外、プラットフォームレベルの割り込みコントローラー(PLIC)とコアローカル割り込み(CLINT)、ユニバーサル非同期受信送信器(UART)、割り込み、Virtio、仮想メモリシステムが含まれます。

第2章では、xv6を実行するために必要な命令セットについて説明します。具体的には、RV64Iベースの整数命令セット、整数の乗算と除算のための「M」標準拡張、原子命令のための「A」標準拡張が含まれます。

本書を完成させることで、xv6を実行できるエミュレーターを成功裏に作成することができます。質問がある場合は、著者にTwitterまたはGitHubのイシューで@d0iasmまでお問い合わせください。

投稿者: signa11 | スコア: 111

56.
コードアドベント2025:パズル数が25から12に減少
(Advent of Code 2025: Number of puzzles reduce from 25 to 12 for the first time)

エリック・ワストルは「アドベント・オブ・コード」の創設者です。このシリーズは、誰でも好きなプログラミング言語を使って解けるプログラミングパズルを提供しています。パズルはさまざまなスキルレベルに対応しており、面接の準備やトレーニング、友人との競争にも利用できます。参加するのにコンピュータサイエンスの学位は必要なく、基本的なプログラミングの知識と問題解決能力があれば十分です。また、古いハードウェアでも挑戦できます。

アドベント・オブ・コードをサポートする方法としては、SNSでシェアしたり、AoC++を通じて貢献することができます。パズルで行き詰まった場合は、提供された例と自分の解答を照らし合わせたり、問題文を再度読み直したり、自分でテストケースを作成することを考えてみてください。必要であれば、友人やサブレディットで助けを求めることもできます。

パズルは毎日東部標準時の真夜中に解放されます。難易度はさまざまですが、一般的には時間が経つにつれて難しくなります。エリックは法的な理由からパズルのアイデアを受け付けていません。ストレスや悪用のためにグローバルリーダーボードは削除されましたが、友人とプライベートリーダーボードで競うことはできます。

AIや他の補助ツールを使ってパズルを解くことは推奨されていません。これらの挑戦は人間が解くことを目的としています。アドベント・オブ・コードは無料で利用できますが、コピーすることはできません。パズルのテキストや入力を共有することは禁止されています。

投稿者: vismit2000 | スコア: 449

57.
クロージャーの世界
(Clojure Land – Discover open-source Clojure libraries and frameworks)

Clojureに関連するさまざまなツールやライブラリが紹介されています。Clojureはプログラミング言語で、これらのツールはその機能を拡張します。

まず、Clojureにはオプションの型システムがあり、静的型付けをサポートします。また、cljdocはClojureのドキュメントを集約したリソースとして機能しています。ウェブフレームワークでは、Biffが個人開発者向けに設計されており、Nojはデータサイエンスのアプリケーションに焦点を当てています。

AI支援の分野では、Editor Code Assistant(ECA)がEmacsやVS Codeなどの異なるコードエディタ向けにAIペアプログラミング機能を提供しています。データの可視化やインタラクティブなノートブックにはClayが役立ちます。ソフトウェアモデリングにはOverarchがあり、ソフトウェアシステムを記述し、図を生成します。

テストやデバッグのためには、Bondのようなツールがユニットテストを支援し、hashpがデバッグを改善します。アプリケーションフレームワークでは、Componentが状態を持つオブジェクトを管理し、Reloaded Workflowがアプリケーション開発を簡素化します。

量子コンピューティングに関しては、QClojureが量子コンピュータをプログラミングするためのライブラリです。APIの構築にはLegbaがOpenAPIサービスを支援し、LaciniaがGraphQLとPedestalを接続します。

全体として、これらのツールはウェブ開発、データサイエンス、AI、テストなど、Clojureに関連するさまざまな分野での利用を促進しています。

投稿者: TheWiggles | スコア: 170

58.
10M people watched a YouTuber shim a lock; the lock company sued him. Bad idea
(10M people watched a YouTuber shim a lock; the lock company sued him. Bad idea)

要約がありません。

投稿者: Brajeshwar | スコア: 60

59.
ロサンゼルスの夢の跡
(Searching for Charles Fourier in the ruins of a socialist utopia outside LA)

この記事では、カリフォルニアの重要なユートピアコロニーであるリャノ・デル・リオの遺跡について探求しています。このコロニーはパームデールとビクタービルの間に位置しており、1900年代初頭の社会的混乱の時期におけるカリフォルニアのユートピア実験の歴史を振り返っています。特に、ユートピア社会主義の先駆者であるシャルル・フーリエに焦点を当てています。彼は合理的な組織と共同生活を通じてより良い社会を作ることを信じており、これを「ファランクス」と呼びました。

フーリエの考えには以下のような特徴があります。まず、彼は完全な男女平等を提唱し、「フェミニズム」という言葉を作りました。また、仕事と楽しみを結びつけ、仕事は人々の情熱に合ったものであるべきだと主張しました。たとえば、子供がゴミを集めるような役割も含まれます。さらに、フーリエは人々が性格に基づいて仕事を回すコミュニティを想像し、協力と幸福を促進しようとしました。

しかし、彼の革新的なアイデアは現実にはあまり根付かなかったのです。フーリエは自らのアイデアの物理的な具現化(ファランステリー)に重きを置いたため、必要な深い社会変革が見落とされがちでした。この記事では、フーリエの考えが複雑で時には非現実的とされながらも、現代の思想家やアーティストに影響を与え続けていることも指摘しています。

次回は、アメリカにおけるフーリエ主義の衰退と、その後の社会主義的ユートピア実験の波について詳しく探る予定です。また、これらの運動が直面した厳しい現実を象徴する「犬」についても議論されるでしょう。

投稿者: kosmavision | スコア: 28

60.
JPEG XLの天才的発想
(Why JPEG XL Ignoring Bit Depth Is Genius (and Why AVIF Can't Pull It Off))

Fractional Xperience™の著作権通知です。2025年の全ての権利は保留されています。お問い合わせは、指定のメールアドレスまでお願いします。

投稿者: Bogdanp | スコア: 91

61.
マイクロソフトの危機
(Microsoft 365 Copilot – Arbitrary Data Exfiltration via Mermaid Diagrams)

この記事では、Microsoft 365 Copilotに関するセキュリティの問題について説明しています。この問題により、無許可でデータを抽出できる脆弱性が存在していましたが、すでに修正されています。主なポイントは、問題の特定、潜在的なリスク、そしてその対策についてです。全体として、ソフトウェアのセキュリティの重要性と、脆弱性がどのように解決されるかに焦点を当てています。

投稿者: gnabgib | スコア: 202

62.
クラウドフレアの防御力
(How Cloudflare's client-side security made the NPM supply chain attack non-event)

2025年9月、攻撃者がフィッシングメールを利用してnpmの信頼されたアカウントを侵害し、18の人気npmパッケージの悪意のあるバージョンが公開されました。この影響で、これらのパッケージを使用しているウェブサイトやアプリケーションは、ユーザーの暗号通貨が盗まれる危険にさらされました。しかし、CloudflareのPage Shieldというクライアントサイドのセキュリティツールが、これらの侵害されたライブラリを検出し、潜在的な盗難を防ぎました。

Page Shieldは、毎日35億のスクリプトを分析し、そのうちの0.3%未満を悪意のあるものとして特定しています。このシステムは、コードの構造や文法を通じてハッカーのパターンを学習し、さまざまな攻撃手法に対して強靭です。Cloudflareは、すべての18の侵害されたパッケージを悪意のあるものとして検出できたと確認しています。

さらにセキュリティを強化するために、Cloudflareは文脈データの統合や、悪意のあるスクリプトを検出するためのより効果的な機械学習アプローチへの移行などの改善を計画しています。ユーザーには、依存関係の監査や資格情報の更新、定期的な不審な活動のチェックを行うことが推奨されています。

全体として、Cloudflareの積極的な対策は、npmのサプライチェーン攻撃からユーザーを守るのに役立ち、自動防御の重要性を示しています。

投稿者: meysamazad | スコア: 9

63.
Why your social.org files can have millions of lines without performance issues
(Why your social.org files can have millions of lines without performance issues)

要約がありません。

投稿者: andros | スコア: 90

64.
アルツハイマーと脳のリズム
(Alzheimer's disrupts circadian rhythms of plaque-clearing brain cells)

ワシントン大学医学部の研究者による研究が、アルツハイマー病が特定の脳細胞の日常的なリズムを乱すことを明らかにしました。これらの脳細胞は、患者の脳に蓄積するアミロイドタンパク質を除去する役割を果たしています。このリズムの乱れは数百の遺伝子に影響を与え、通常の機能を変化させ、病気を悪化させる可能性があります。

この研究は『ネイチャー・ニューロサイエンス』に発表され、アルツハイマー病を持つマウスでは、脳機能や免疫応答を支えるミクログリアやアストロサイトのサーカディアンリズム(生体リズム)が大きく変化していることが分かりました。遺伝子の活動の変化は、アミロイドの除去が効率的に行われなくなることにつながり、病気の進行に関連しています。

研究を主導したエリック・S・ミュージック博士は、これらの乱れたサーカディアンリズムをターゲットにすることで、アルツハイマー病の新しい治療法が提供できる可能性があると述べました。彼は、アミロイドの蓄積に対処し、脳の健康を改善するために、これらのリズムをどのように操作するかを理解することの重要性を強調しました。この研究結果は、脳細胞の正常なサーカディアン機能を回復させることに焦点を当てた治療法の可能性を示唆しています。

投稿者: gmays | スコア: 191

65.
NextSilicon reveals new processor chip in challenge to Intel, AMD
(NextSilicon reveals new processor chip in challenge to Intel, AMD)

要約がありません。

投稿者: simojo | スコア: 149

66.
半分空の鏡:不運の連鎖
(A Looking Glass Half Empty, Part 2: A Series of Unfortunate Events)

この記事では、革新的なゲームを手がけたビデオゲーム会社ルッキンググラススタジオの興隆と衰退について述べています。1998年に「シーフ」が成功を収めた後、スタジオは将来に対して楽観的で、複数の続編を計画していました。しかし、1999年3月に親会社のインターメトリックスがゲーム事業からの撤退を決定し、ルッキンググラスは財政的な苦境に陥りました。

1999年4月のコロンバイン高校での悲劇的な銃撃事件は、ビデオゲームにおける暴力に対するメディアの注目を再燃させました。この影響で、「システムショック2」を含むルッキンググラスのタイトルは発売が遅れたり、キャンセルされたりしました。「システムショック2」はイラショナルゲームズとの共同制作でしたが、マーケティングの課題に直面し、1999年8月の発売時には商業的に振るわず、ゲームに対する暴力の否定的な風潮が影響したとされています。

その後のタイトル「フライトアンリミテッドIII」も期待外れの結果となり、スタジオの困難は続きました。「シーフII: ザ・メタルエイジ」は良作でしたが、会社を救うほどの大ヒットには至りませんでした。2000年5月にはルッキンググラスが閉鎖され、革新的ではあるがニッチなゲームの遺産を残しました。

この記事では、スタジオのユニークなゲームデザインへのアプローチを考察し、没入感のある挑戦的なゲームプレイへのこだわりがカジュアルなゲーマーには受け入れられにくかった可能性を強調しています。最終的に、ルッキンググラスは主流の成功を収めることに苦しみながらも、ゲーム業界への影響力のある貢献が記憶されています。

投稿者: ibobev | スコア: 24

67.
グリースクリプト実行ファイル化
(Gleescript – Bundle Gleam-on-Erlang project into an executable file)

Gleescriptは、Gleam-on-Erlangプロジェクトを単一の実行可能ファイル(escript)にまとめることができるツールです。これにより、コマンドラインプログラムやスクリプトを簡単に作成できます。

使用方法は以下の通りです。まず、プロジェクトにGleescriptパッケージを追加します。次に、プロジェクトをビルドします。その後、Gleescriptを実行することでescriptを生成します。

実行可能ファイルは現在のディレクトリに作成されますが、--outオプションを使うことで別のディレクトリを指定することも可能です。

生成されたescriptは、Erlang VMがインストールされた任意のコンピュータで実行できますが、VMのバージョンが古すぎないことを確認してください。詳細については、Erlangのescriptに関するドキュメントを参照してください。

Gleescriptを楽しんでください!

投稿者: TheWiggles | スコア: 13

68.
80年代アタリBBS接続!
(Connect to a 1980s Atari BBS through the web)

1980年代のいくつかの掲示板システム(BBS)についての内容が紹介されています。特にアタリに関連するものが中心です。

まず、サザンアミスBBSは1984年頃に設立され、サザンアミスプロジェクトを支援しています。このBBSはアタリメッセージ情報システムのグラフィックスを使用しています。

次に、アルカトラズBBSは海賊連邦のための掲示板で、シスオペレーターのギアーク・ザ・ウォーデンが運営しています。アタリの掲示板の中でも特にエリートな存在として知られています。

エリア52はシスオペレーターのフィガンが運営しており、「エリア51」をテーマにしたBBSです。豊富なグラフィックスが特徴です。

ベースメントBBSは映画「オフィス・スペース」をテーマにしており、BBSエクスプレスプロを使用して多くの機能を提供しています。

ナイトライトBBSは1984年に復元され、アタリBBSの歴史を代表する存在です。以前はアタリ社によって使用されていました。

ブートファクトリーは最初のBBSエクスプレスプロの掲示板で、現在はシスオペレーターのBF2K+によって維持され、アタリBBSの歴史を保存しています。

ハイゼンベルクの隠れ家は「ブレイキング・バッド」をテーマにしたBBSで、24時間営業しています。古いゲームを提供しており、シスオペレーターのジェイ・Cが管理しています。

スター・フリートHQはシスオペレーターのクリフォード提督が管理しており、ゲームライブラリやネットワーク化されたメッセージベースなどの機能を含んでいます。

これらのBBSは、1980年代のアタリコミュニティの歴史と文化を示しています。

投稿者: JPolka | スコア: 68

69.
YouTubeがテレビを飲み込んだ!
(YouTube Just Ate TV. It's Only Getting Started)

YouTubeは、CEOのニール・モハンのもとで、過去20年間で急速に成長し、支配的なメディアプラットフォームとなりました。これは、従来のテレビに大きな影響を与えています。モハンは、YouTubeがユーザー生成コンテンツを提供するだけでなく、スポーツや脚本付き番組などのジャンルでも主導権を握り、視聴者を伝統的なテレビから引き離し続ける未来を描いています。

YouTubeは、モバイル視聴を超えて、アメリカで人々が主に視聴する方法となりました。また、過去4年間でクリエイターやパートナーに1000億ドル以上を支払っています。スポーツ放送においても進展があり、NFLのサンデーチケットに20億ドルの契約を結び、独占ゲームを開催しています。この取り組みは、若い世代や多様な視聴者を引きつけることを目指しています。

YouTubeのクリエイターたちは、自らの制作会社のようになり、ますますプロフェッショナルなコンテンツを制作しています。モハンは、クリエイターがオーディエンスやビジネスを構築するための支援を強調しています。多くの元テレビスターがYouTubeで成功を収めており、彼らはより多くのクリエイティブな自由を持ち、迅速かつコスト効率よくコンテンツを制作できるようになっています。

YouTubeは多くの伝統的なテレビジャンルを引き継いでいますが、脚本付きコンテンツは依然として課題です。ダール・マンのようなクリエイターがこの分野で新たな境界を押し広げていますが、高品質な制作に必要なインフラはまだ発展途上です。YouTubeは文化的なハブとなり、重要なイベントやコラボレーションを開催し、視聴者のメディア消費の変化を反映しています。

要するに、YouTubeは伝統的なテレビと競争するだけでなく、置き換える可能性を秘めており、その広範なクリエイターネットワークと革新的なコンテンツ戦略を活用しています。

投稿者: wallflower | スコア: 84

70.
ICEのAI監視
(ICE Will Use AI to Surveil Social Media)

アメリカ合衆国の移民・関税執行局(ICE)は、シリコンバレーの企業Zignal Labsと570万ドルの契約を結び、AIを活用したソーシャルメディア監視ソフトウェアを導入します。このソフトウェアは、毎日数十億のソーシャルメディア投稿を分析し、潜在的な脅威を特定し、犯罪捜査を支援します。しかし、批判者たちは、この監視が移民の政治的発言を不当に標的にしていると主張し、個人の自由や言論の自由に対する懸念を示しています。

この契約により、ICEの情報部門は監視能力を強化することができます。これはトランプ政権下で拡大したもので、過去にはソーシャルメディアの監視が親パレスチナ活動家などに対する行動につながった事例もあります。労働組合は、政府のソーシャルメディア監視の実践に対して訴訟を起こし、個人の自由を侵害する大規模な監視プログラムであると主張しています。

Zignal Labsは、軍や防衛機関との協力の歴史があり、そのソフトウェアは脅威を検出し、対応するために設計されています。しかし、監視におけるAIの使用は重大なプライバシーの懸念を引き起こします。これは、オンラインでの表現に基づいて個人が標的にされる可能性があるためです。

投稿者: throwaway81523 | スコア: 273

71.
原子炉の事故
(A worker fell into a nuclear reactor pool)

アメリカの原子力規制委員会(NRC)は、資金問題のため通常の業務を一時停止しましたが、重要な健康と安全に関する活動は継続します。

2025年10月21日、複数の原子力施設でいくつかの出来事が報告されました。

ウルフクリーク(カンザス州)では、両方の緊急換気システムが電気的な問題により10分間機能しませんでしたが、これは緊急事態とは見なされず、健康リスクは確認されませんでした。

パリセーズ(ミシガン州)では、ある人が原子炉のキャビティに落下し、水を摂取したため汚染が発生しました。この人は除染され、医療機関に送られましたが、こちらも緊急事態とはされませんでした。

ノースアナ(バージニア州)では、ユニット1が負のレートトリップにより自動的に原子炉が停止しましたが、状況は安定しており、健康リスクは報告されていません。

ピードモントハート研究所(ジョージア州)では、定期検査中に漏れた放射性源が発見され、封じ込められ、清掃作業が開始されました。

ユニバーサルエンジニアリングサービス(ネバダ州)では、ポータブル放射線計が盗まれ、警察に通報されました。

エルムハースト病院(イリノイ州)では、Lu-177のバイアルが落下し、技術者が汚染される事故が発生しました。除染作業が進められています。

再びパリセーズ(ミシガン州)では、ヒドラジンの汚染限度を超えた通知が行われましたが、健康リスクはありませんでした。

クリントン(イリノイ州)では、制御システムの油位が低下したため手動で原子炉が停止しましたが、状況は安定し、健康への影響はありませんでした。

すべての出来事は緊急事態とは報告されておらず、一般市民や施設の職員の健康と安全には影響がありませんでした。

投稿者: nvahalik | スコア: 666

72.
知識は宝
(Knowledge Is Worth Your Time)

この記事では、大学生が直面している現在の課題について述べています。特に、教育に対する彼らの取引的な態度が強調されています。この考え方は、大学の高い費用、競争の激しい就職市場、そして本当の学びよりもテストの点数を重視する標準化テストの歴史から生じています。

多くの学生は、COVID-19パンデミックによって教育が中断された経験を持ち、大学を主に経済的利益を得る手段と見なす傾向があります。彼らは、個人の成長や知識の獲得のための貴重な機会としてではなく、単なる目的達成の手段と考えています。著者は、学位の真の価値は、得られる仕事だけでなく、それが人の思考やスキルをどのように形成するかにあると強調しています。

博士課程の学生でさえ、特定の研究テーマに狭く焦点を当てすぎて、研究者としての成長に必要な広い知的基盤をおろそかにするリスクがあります。最終的に、この記事は知識が人間性の重要な一部であり、それに関わることが個人や社会の進歩に不可欠であると主張しています。著者は、読者に知的な旅を大切にするよう促し、それが時間と努力の投資に値することを訴えています。

投稿者: topaz0 | スコア: 24

73.
海を渡る最後の欧州列車
(The last European train that travels by sea)

最後のヨーロッパの海を渡る列車は、インターシティ・ノッテです。この列車はミラノとシチリアを結び、メッシーナ海峡を渡るフェリーを利用します。このユニークな旅では、列車の車両がフェリーに移され、乗客は本土と島の間を移動できます。しかし、この歴史的なサービスは、フェリーの代わりに建設される可能性のある135億ユーロの吊り橋計画によって危機にさらされています。

フェリーの旅は多くの人にとって大切な体験であり、特にシチリアの人々にとっては、旅行や懐かしさを感じるための重要なルートです。この渡航は約20分かかり、地元のアランチーニというスナックを楽しむなどの儀式が行われます。

橋の支持者はこれを進歩と見なしていますが、批判者は南イタリアのより緊急なニーズから資源が逸れてしまうのではないかと懸念しています。橋が建設された場合、列車とフェリーのサービスが存続するかどうかは不透明ですが、現時点では独特で詩的な旅行体験を提供し続けています。

投稿者: 1659447091 | スコア: 76

74.
資源利用の真実
(Resource use matters, but material footprints are a poor way to measure it)

この記事では、「マテリアルフットプリント」を通じて資源の使用を測定することが効果的でないと主張しています。この指標は、資源を単に重さに基づいて平等に扱うため、環境への影響や希少性、社会経済的な影響を考慮していません。

まず、マテリアルフットプリントの定義について説明します。これは、経済で使用されるすべての資源を合計したもので、再生可能な資源(作物など)と非再生可能な資源(金属など)を含みますが、それらの重要性や影響は考慮されていません。

次に、この指標の限界について触れます。マテリアルフットプリントは、資源の枯渇リスクを特定したり、採掘による環境へのダメージを評価したり、資源使用に関連する社会問題を理解するのに役立ちません。たとえば、食料と金属の重さを比較することは、それぞれの影響の違いを無視しています。

EUにおける主要な資源の種類についても言及します。EUでは、マテリアルフットプリントの70%以上がバイオマス(食料や木材)と非金属鉱物(砂利など)から来ています。これらの資源、特にバイオマスは持続可能に管理できる可能性がありますが、環境への影響は依然として存在します。

また、住宅と食料がEUのマテリアルフットプリントの大部分を占めているため、これらの分野をターゲットにして資源使用を減らすことの効果について疑問が生じます。

消費財に関する誤解も指摘されます。衣類や電子機器など、過剰消費されていると見なされるアイテムは、実際には総マテリアルフットプリントにほとんど寄与しておらず、消費者行動について誤解を招く結果となっています。

最後に、より具体的な指標の必要性が強調されます。資源使用の環境的および社会的影響を正確に反映する指標を使用することが求められています。マテリアルフットプリントは、持続可能性や資源管理に関する実際の課題を明確に理解するためには不十分です。

投稿者: surprisetalk | スコア: 19

75.
GenAI Image Editing Showdown
(GenAI Image Editing Showdown)

要約がありません。

投稿者: rzk | スコア: 190

76.
What if tariffs?
(What if tariffs?)

要約がありません。

投稿者: Erikun | スコア: 231

77.
トゥーン:トークン指向オブジェクト
(Toon – Token Oriented Object Notation)

TOONは、構造化データを表現するための新しいフォーマットで、コンパクトで読みやすいことを目的としています。このフォーマットは、YAMLとCSVの特徴を組み合わせて、大規模言語モデル(LLM)を使用する際のトークンの消費を抑えます。

TOONの主な特徴は、効率性です。従来のJSONと比較して、30〜60%のトークンを節約できるため、LLMではトークンにコストがかかることを考えると非常に有益です。フォーマットは、ネストされた構造にはインデントを使用し(YAMLのように)、均一なデータには表形式(CSVのように)を採用しています。また、不要な句読点を排除し、可読性を高めるために空白を利用しています。

例えば、ユーザーデータのJSON表現は以下のようになります。

{ "users": [ { "id": 1, "name": "Alice", "role": "admin" }, { "id": 2, "name": "Bob", "role": "user" } ] }

これをTOON形式で表現すると、次のようになります。

users[2]{id,name,role}: 1,Alice,admin 2,Bob,user

TOONの利点には、トークンの節約があり、さまざまなデータセットに対してトークン数を大幅に削減できます。また、シンプルな構文と構造化されたフォーマットにより、可読性も向上します。さらに、LLMを使用してデータを取得する際の精度も高く、JSONやXMLよりも優れたパフォーマンスを発揮することが多いです。

TOONは、npmやyarnを使ってインストールできます。

npm install @byjohann/toon または yarn add @byjohann/toon

データをTOON形式に変換するには、encode関数を使用します。

import { encode } from '@byjohann/toon'; const data = { user: { id: 123, name: 'Ada' } }; console.log(encode(data));

TOONは、構造化データを効率的にLLMに送信するのに理想的です。特に人間が読みやすく、トークンの経済性が求められる文脈での利用に適しています。APIやデータストレージのためにJSONを置き換えることを目的としているわけではなく、特定のLLMアプリケーション向けの専門的なフォーマットとして機能します。

投稿者: royosherove | スコア: 20

78.
Linux起動の流れ
(The Linux Boot Process: From Power Button to Kernel)

私にフィードバックを送る場合は、Xの@0xkatoまでお願いします。このページでは、コメント機能にDisqusを使用していますので、閲覧するにはJavaScriptを有効にする必要があります。

投稿者: 0xkato | スコア: 457

79.
ピコバナナ400k
(Pico-Banana-400k)

Pico-Banana-400Kは、テキストに基づく画像編集を向上させるために設計された大規模なデータセットです。このデータセットには約40万組のテキストと画像の編集例が含まれています。各セットには、Open Imagesからの元の画像、自然言語で書かれた編集指示、Nano-Bananaモデルによって生成された編集済み画像が含まれ、Gemini-2.5-Proによって品質が評価されています。

このデータセットの主な特徴には、約25万7000件の単一ターン編集、5万6000件の嗜好学習ケース、7万2000件のマルチターン編集が含まれています。編集の種類は、色の変更、オブジェクトの修正、スタイルの調整など、8つのカテゴリーにわたる35の操作をカバーしています。画像の解像度は512から1024ピクセルの範囲です。また、編集の品質は、構造化されたスコアリングシステムを使用して自動的に評価されます。

データセットの構造には、オブジェクトレベルの変更、シーン構成、人間中心の編集、スタイル変換、テキストの修正など、さまざまな編集が含まれています。品質管理のため、成功した編集は一定のスコアを上回る必要があり、失敗した編集は学習目的で保持されます。

Pico-Banana-400Kは、単一ステップおよびマルチターンの編集タスクに利用でき、制御可能で指示に応じた画像編集モデルの開発を促進します。

データセットはダウンロード可能で、さまざまなコンポーネントへのアクセス方法が具体的に示されています。非商業的な研究利用に関しては、クリエイティブ・コモンズライセンスの下で無料で利用できます。

研究で使用する場合は、データセットを適切に引用する必要があります。

投稿者: dvrp | スコア: 386

80.
Nvidia DGX Spark: When benchmark numbers meet production reality
(Nvidia DGX Spark: When benchmark numbers meet production reality)

要約がありません。

投稿者: RyeCatcher | スコア: 145

81.
ノルウェー、放射線ゼロ
(No radiation measured in Norway after missile allegedly flew 14,000 km)

ロシアの核動力巡航ミサイル「ブレヴェスニク」の最近の試験が成功し、約15時間で14,000キロメートルを飛行したと軍関係者が報告しました。この試験は10月21日に行われ、発射地点の具体的な情報は公開されていませんが、軍事活動が活発化しているノヴァヤ・ゼムリャ近くで行われたと考えられています。

放射線に関する懸念がある中、ノルウェーの監視ステーションでは試験後に異常な放射線レベルは検出されていません。ただし、専門家は、放射性物質がノルウェーに到達するまでには時間がかかる可能性があると指摘しています。

ブレヴェスニクミサイルは、飛行中に機動する能力があり、長距離を飛行できるため、戦術核兵器または戦略核兵器として分類される可能性があります。ロシアの関係者は、この兵器を軍事インフラにどのように統合するかを検討しています。

過去のブレヴェスニクの試験は、安全リスクに関連しており、オープンエア冷却システムからの放射性排出の可能性が指摘されています。このミサイルは試験歴が問題を抱えており、以前の事故では安全性に関する懸念が高まっています。

ミサイルが飛行後にどこに墜落したかについての情報は提供されていませんが、地域での回収作業は進行中であると考えられます。

投稿者: perihelions | スコア: 11

82.
他人の意見でアイデア検証
(Validating your ideas on strangers (2017))

著者は、アイデアを検証するための独自のアプローチを紹介しています。それは、バーで見知らぬ人にアイデアを提案することです。あるデザイナーが自分の作品についてフィードバックを求める姿に触発され、著者は「見知らぬ人との会話」というプロジェクトのアイデアを試すことにしました。このプロジェクトでは、ユーザーがホットラインに電話をかけ、ランダムな人と会話を楽しむことができます。

バーでアイデアを提案した際、最初の反応は否定的でした。人々は、潜在的に不気味な行動について懸念を示しました。このフィードバックを真剣に受け止めた著者は、コンセプトを改善する方法を考えました。具体的には、ルールを設定し、敬意を持ったやり取りを確保するための報告システムを導入することです。

アイデアを洗練させた後、別のグループに再度提案したところ、はるかに良い反応を得ることができました。著者は、このフィードバックを集める手法が大企業のフォーカスグループに似ているが、無料で迅速に洞察を得られる点を強調しています。彼らは他の人にもバーでアイデアを提案することを勧めていますが、フィードバックを忘れないように酔いすぎないように注意するようアドバイスしています。

投稿者: tacon | スコア: 66

83.
レーザーつまみ
(LaserTweezer – Optical Trap)

光トゥイーザーは、レーザービームを使ってプラスチックのビーズや細胞のような小さな物体を操作する道具です。レーザーはこれらの粒子に焦点を合わせ、ビームの中心に引き寄せることで、科学者たちはそれらを制御し、観察することができます。粒子にかかる力はバネのように働き、正確な測定を可能にします。

通常の光トゥイーザーのセットアップは高価で複雑であり、顕微鏡や特別なフィルターが必要です。しかし、新しいDIYバージョンは、消費者向け電子機器のリサイクル部品を使って作ることができ、100ドル以下で、重さも500グラム未満です。このセットアップは、強力なレーザーと焦点レンズを含むDVD光ピックアップを利用した研究に基づいています。

DIYバージョンでは、USBウェブカメラが顕微鏡の代わりになり、サンプルの画像をキャプチャします。回転フィルターがレーザーによるカメラの過剰露出を防ぎます。このセットアップは、小さなビーズを効果的に操作でき、高品質な画像を約400倍の拡大率で提供します。システムはシンプルな白色LEDを照明に使用し、水中に浮かぶサンプルを扱う際に、レーザーの強度を調整して視認性を向上させることができます。

この革新的なアプローチにより、光トゥイーザーは実験や研究においてよりアクセスしやすくなります。

投稿者: o4c | スコア: 78

84.
双子座の精度向上法
(How to boost Gemini transcription accuracy for company names?)

スピーカーは、音声をテキストに変換するためにGeminiを使用していますが、会社名や略語を頻繁に誤解釈されることに困っています。彼らは、Geminiの精度を向上させるためにカスタム語彙を使用する方法があるかどうかを知りたいと考えています。それが不可能な場合は、プロンプトの調整やファインチューニング、または他のシステムと併用してフレーズ認識を改善する実用的な解決策を探しています。

投稿者: bingwu1995 | スコア: 39

85.
SETL言語の魅力
(SETL Programming Language)

SETL(SET言語)は、1960年代後半にニューヨーク大学で開発された高水準プログラミング言語です。ジェイコブ・T・シュワルツを含むチームによって作られ、集合論に基づいています。

SETLの主な特徴には、まずデータ型があります。主に二つの型があり、集合(順序のないコレクション)とタプル(順序のあるリスト)です。どちらも他の集合やタプルを含むことができ、さまざまな要素を持つことができます。また、SETLはメンバーシップの確認、和集合、積集合、冪集合の作成といった操作をサポートしています。論理的な表現も取り入れており、量化されたブール式を使って複雑な論理文を表現できます。さらに、データ構造をループ処理するためのイテレータも提供しています。

具体例としては、素数を出力するコードスニペットがあり、リスト内包表記に似た構文を示しています。また、階乗を計算する手続きは再帰的な機能を示しています。

SETLは、Pythonに影響を与えたABCなどの他の言語にも影響を与え、SETL2やISETLといったバリエーションも存在します。また、初期のAdaプログラミング言語の実装にも使用されました。

全体として、SETLはその数学的な基盤とプログラミング言語の発展における役割で注目されています。

投稿者: usgroup | スコア: 10

86.
WebDAVはまだ生きている
(WebDAV isn't dead yet)

著者は、ファイルストレージにおいてAmazon S3が主流であるにもかかわらず、WebDAVは依然として重要であると主張しています。FTPやSFTPには制約がありますが、個人プロジェクトや自己ホスティングを行う多くのユーザーは、S3の複雑さを必要としません。彼らが求めるのは、認証、ファイルの書き込み、効率的な同期といった基本的な機能であり、デフォルトで公開アクセスがないことです。

WebDAVは、MacOSのFinderやWindowsのエクスプローラー、人気のファイル管理ソフトウェアなど、さまざまなツールやプラットフォームでサポートされています。また、ApacheやNginxのような多くのウェブサーバーは、WebDAVを簡単に統合できます。

著者は、LDAP認証を使用したApacheの設定を共有し、WebDAVがファイルストレージにおいて安全で管理しやすいソリューションを提供できることを強調しています。さらに、JoplinやKeepassiumといったアプリケーションでWebDAVを利用していることにも触れています。

著者は、読者に対してファイルストレージのニーズにWebDAVを再評価するよう促し、依然として有力な選択肢であると主張しています。

投稿者: toomuchtodo | スコア: 241

87.
Myanmar military shuts down a major cybercrime center, detains over 2k people
(Myanmar military shuts down a major cybercrime center, detains over 2k people)

要約がありません。

投稿者: bikenaga | スコア: 179

88.
AIと脆弱言語の翻訳
(AI, Wikipedia, and uncorrected machine translations of vulnerable languages)

この記事では、人工知能(AI)と機械翻訳が脆弱な言語のウィキペディアの編集にどのように悪影響を与えているか、特にグリーンランド語版に焦点を当てて説明しています。

まず、グリーンランド語ウィキペディアを管理しているケネス・ヴェール氏は、ほとんどの記事が非話者によって機械翻訳を使って書かれており、その結果、多くの不正確な情報や意味不明な内容が含まれていることを発見しました。この問題はグリーンランド語に限ったことではなく、多くの小さな言語のウィキペディア版には、質の低い翻訳記事が溢れています。例えば、いくつかのアフリカの言語の記事では、40%から60%が修正されていない機械翻訳であることが示されています。

AIモデルはインターネットからデータを収集して言語を学習しますが、ウィキペディアを主要な情報源として利用することが多いです。もしウィキペディアに多くの誤りがあれば、それらの間違いがAIの学習データの一部となり、悪循環が続いてしまいます。質の低い翻訳のウィキペディアページは、脆弱な言語の未来に悪影響を及ぼす可能性があります。これは、話者が自分の言語を使ったり保存したりすることをためらわせる原因となります。

ウィキペディアは質を維持するために活発なコミュニティに依存していますが、多くの小さな言語版は、誤りを修正するための十分な貢献者が不足しています。機械翻訳の誤りは、特に教育や文化の保存のために正確な情報を必要とする話者にとって、誤解や誤情報を引き起こす可能性があります。

一方で、イナリ・サーミのような一部のコミュニティは、質の高い貢献を通じてウィキペディアを利用し、自分たちの言語を促進することに成功しています。これは、質の高い入力があれば状況を改善できる可能性があることを示唆しています。AIと機械翻訳があまり使われない言語のウィキペディアの信頼性を脅かしているという重要な問題が浮き彫りになっており、コミュニティの積極的な関与がなければ、これらの言語は大きな課題に直面するかもしれません。

投稿者: kawera | スコア: 128

89.
エンジニアの失敗集
(Mistakes I see engineers making in their code reviews)

近年、コードレビューの重要性が高まっています。特にAIが生成したコードが増える中で、多くのエンジニアがレビュー時に誤りを犯しています。コードレビューのプロセスを改善するためのポイントを以下に示します。

まず、全体のシステムを理解することが重要です。単に変更点だけを見るのではなく、変更が全体のコードベースにどのように適合するかを考慮する必要があります。この広い視点を持つことで、既存のメソッドを指摘したり、ファイルの整理方法を提案したりするなど、より価値のあるフィードバックが得られます。

次に、コメントの数を制限することが大切です。理想的なコードレビューでは、コメントは五つか六つにとどめるべきです。コメントが多すぎると、著者が圧倒され、重要なフィードバックが埋もれてしまいます。小さな問題をすべて指摘するのではなく、関連するコメントをまとめて議論を簡素化することが望ましいです。

また、個人的な好みを押し付けないことも重要です。レビューを行う際には、自分のコーディングスタイルを他人に強要しないようにしましょう。異なるアプローチが有効であることを認識し、コメントはコードが機能するかどうかに焦点を当てるべきです。

レビューのステータスを明確にすることも欠かせません。承認、コメント、ブロックのいずれかのステータスを示すことが重要です。重大な問題がある場合は、単にコメントを列挙するのではなく、ブロックレビューを行うべきです。この明確さが、変更をマージできるかどうかの混乱を避ける助けになります。

最後に、承認を促す文化を育むことが大切です。深刻な問題がなければ、ほとんどのコード変更は承認されるべきです。過度のブロックレビューは、チームのダイナミクスやプロジェクト管理に潜在的な問題があることを示す可能性があります。

効果的なコードレビューは、コードベースを理解し、簡潔で思慮深いフィードバックを提供し、異なるコーディングスタイルを尊重し、レビューのステータスを明確に伝え、適切な場合には承認を促進することに焦点を当てるべきです。

投稿者: zdw | スコア: 154

90.
スタックウォークの極意
(Stack walking: space and time trade-offs)

この記事では、C++の例外処理における「スタックウォーキング」のさまざまな方法と、Linuxプラットフォーム上でLLVM実行可能ファイルを構築する際のメモリ使用量への影響について説明しています。以下は主なポイントを簡潔にまとめたものです。

スタックウォーキングの方法にはいくつかの種類があります。フレームポインタは高速ですが、レジスタを使用します。DWARFの.eh_frameは包括的でC++の例外をサポートしますが、速度は遅くなります。SFrameは新しいフォーマットで、プロファイリングを目的としており、実行時のオーバーヘッドが少ないですが、サイズは大きくなります。Last Branch Record(LBR)は、実行された最後の分岐を追跡するためのハードウェアサポートされた方法です。また、AppleやOpenVMSのコンパクトなアンワインディングフォーマットもDWARFの代替として考えられます。

フレームポインタを有効にすると、特に多くのローカル変数にアクセスする場合、バイナリが小さくなることがあります。異なる設定によっては、フレームポインタを予約したり、リーフ関数のために省略したりすることができ、サイズやパフォーマンスに影響を与えます。

SFrameは、.eh_frameとそのヘッダーの合計サイズと比較して、より多くのスペースを使用します。このオーバーヘッドのためにSFrameは実用性が低く、既存の効率的なオプションに匹敵するための改善が必要です。

コンパイラの違いについても触れられており、ClangとGCCがフレームポインタを扱う方法に違いがあることが指摘されています。GCCのフレームポインタ生成は、デフォルトの動作ほど最適化されていない可能性があります。

今後の作業として、これらのスタックウォーキングメカニズムのトレードオフをさらに評価するための追加の実行時パフォーマンス分析が計画されています。

全体として、この記事は、実行時のパフォーマンスとメモリ使用量のトレードオフに基づいて、適切なスタックウォーキングメカニズムを選択することの複雑さを強調しています。

投稿者: ingve | スコア: 4

91.
パスワードと力技
(Passwords and Power Drills)

システム設計におけるセキュリティと信頼性のバランスを取ることの難しさについて、2012年にGoogleで発生したパスワードマネージャーの障害を例に挙げて説明しています。この事件は、システム設計の不備から信頼性の問題が生じることや、セキュリティ対策が復旧作業を複雑にすることを浮き彫りにしました。

Googleの事件では、WiFiパスワードの変更に関する簡単な発表が予想外のトラフィックを引き起こし、パスワードマネージャーが機能しなくなりました。復旧プロセスは、特別なカードを保管している金庫にアクセスできなかったため遅れました。最終的に、チームは電動ドリルを使って金庫を開け、カードの向きに関する単純なミスが本当の問題であったことを発見しました。

信頼性は、ソフトウェアのバグなどの悪意のない問題による障害を防ぐことに重点を置いています。一方、セキュリティは意図的な攻撃からの保護を目的としています。システムはユーザーにとって安全な方法で失敗することが多いですが、これらの設計はセキュリティの脆弱性を生む可能性があります。

システムを設計する際には、信頼性とセキュリティの両方を考慮することが重要です。信頼性のために冗長性を追加すると、セキュリティの攻撃面が広がることがあります。信頼性とセキュリティは、データの機密性、完全性、可用性に関わりますが、それぞれ異なるアプローチを取ります。信頼性はデータの漏洩や喪失を防ぎ、セキュリティは悪意のある脅威から保護します。

シンプルな設計は管理しやすく、理解しやすいため、信頼性とセキュリティの向上につながります。複雑さは予期しない問題を引き起こし、システムのパフォーマンスに影響を与えることがあります。効果的なインシデント対応には、準備と明確なプロトコルが必要です。Googleは、危機に迅速かつ組織的に対応するための構造化されたインシデント管理プログラムを使用しています。

障害からの迅速な復旧は新たな問題を引き起こす可能性があるため、修正を適用する際にはスピードと徹底性のバランスを取る必要があります。セキュリティと信頼性は、信頼できるシステムにとって重要です。組織は設計段階からこれらの要素を優先し、システムのライフサイクル全体にわたって維持することで、後の高額な障害を避けるべきです。

この文章は、セキュリティと信頼性の相互作用を理解することが、偶発的な障害や悪意のある攻撃に耐えられるレジリエントなシステムを開発するために不可欠であることを強調しています。

投稿者: harporoeder | スコア: 120

92.
英国オンライン安全法の適用不可
(We do not have sufficient links to the UK for Online Safety Act to be applicable)

Libera.Chatは、支援者からの寄付が増えたことに感謝しています。この寄付により、資金が大幅に増加しました。法律の専門家から、彼らがイギリスとの関係が十分ではないため、オンライン安全法(OSA)が適用される可能性は低いとのアドバイスを受けています。法務チームは、強制措置が取られるリスクは低いと考えており、イギリスのユーザー基盤を監視しつつ、安全な環境を維持する方針です。

Libera.Chatはスウェーデンに拠点を置いており、イギリスの決済サービスには依存していません。一部のオンラインコミュニティでは、イギリスの規制を避けるためにイギリスのユーザーをブロックしていますが、これは個人にとって不公平だと感じています。OSAはイギリスに関連するオンラインサービスを対象としており、Libera.Chatは規制対象のサービスと見なされていますが、イギリスとの重要な関係を持つ基準には達していません。

もしOfcomからOSAに関して連絡があった場合に備えて、リスク評価の声明を最終化する予定です。現在、Ofcomは有害なコンテンツに関与する可能性が高いサービスに焦点を当てているようで、Libera.Chatに対して何らかの行動を取る前に連絡をする可能性が高いと考えられます。

Libera.Chatはプライバシーの理由からユーザーの身元確認を求める予定はなく、ユーザーのプライバシーを脅かす将来の立法には抵抗する方針です。自由なインターネットを守るために、こうした規制に対する公の反対を促しています。

投稿者: todsacerdoti | スコア: 284

93.
iOS26でスパイウェア対策強化
(Key IOCs for Pegasus and Predator Spyware Removed with iOS 26 Update)

この記事では、新しいiOS 26のアップデートがshutdown.logファイルに与える影響について説明しています。このファイルは、PegasusやPredatorのようなスパイウェア感染を検出するために重要です。

まず、shutdown.logの重要性についてです。このファイルは、iOSデバイスがシャットダウンする際の活動を記録し、フォレンジック調査員がマルウェア感染を特定するのに役立ちます。

次に、スパイウェアの進化について触れます。Pegasusは、証拠をshutdown.logファイルから消去するために戦術を適応させてきましたが、感染の兆候が完全に消えるわけではありません。

iOS 26の変更点についても重要です。Appleは、iOS 26のリリースに伴い、shutdown.logの機能を変更しました。これにより、再起動のたびに以前のデータが上書きされるため、アップデート後には過去の感染の証拠が失われる可能性があります。

ユーザーへのアドバイスとして、iOS 26にアップデートする前に、現在のshutdown.logのコピーを保存しておくことが推奨されます。マルウェアの証拠を保持するためには、Appleがこの問題に対処するまでアップデートを延期するのが賢明かもしれません。

この記事は、技術の進化に伴う高度なスパイウェアの検出の難しさを強調しています。

投稿者: transpute | スコア: 240

94.
シャドCNテーマ編集器
(Shadcn/UI theme editor – Design and share Shadcn themes)

私は、shadcn/uiのテーマをデザインし共有するためのウェブアプリ「ShadcnThemer.com」を作成しました。このアプリは、Next.js 15、Tailwind CSS 4、Drizzle ORM、Supabaseといった技術を使用しています。ユーザーは簡単にカラーテーマを作成し、リアルタイムでプレビューを確認でき、CSSとして直接プロジェクトにエクスポートしたり、コマンドラインツールを使ってエクスポートすることも可能です。以前にVS Code用のテーマスタジオを構築した経験があり、このモダンな技術スタックをCursorのサポートを受けながら楽しんで活用しました。このプロジェクトはGitHubで確認できます。

投稿者: miketromba | スコア: 132

95.
基本チェス動作
(Learn Basic Chess Movements)

6歳の娘のために、複雑なルールなしでチェスの駒の動かし方を学べるシンプルなウェブサイトを作りました。その後、友人からlichess.orgという素晴らしいリソースを勧められました。これは、さまざまな難易度に合わせて設定を調整できる機能があります。全体として、私のウェブサイトはチェスを練習するための楽しくて短い方法になるかもしれません。

投稿者: patrickdavey | スコア: 9

96.
省エネAIサーバー登場
(China unveils 'mini fridge' AI server that uses 90% less power)

中国の科学者たちは、BIE-1という新しいAIコンピュータを発表しました。このコンピュータはミニ冷蔵庫ほどの大きさですが、スーパーコンピュータのような性能を持っています。従来のシステムに比べて90%少ない電力で動作し、省エネルギーで静音性にも優れています。このデバイスは家庭や小さなオフィス、モバイル環境での使用を目的に設計されています。BIE-1は、高速な学習と推論を実現するために、先進的なニューラルネットワーク技術を採用しています。このコンピュータは、広東省の知能科学技術研究所と二つのテクノロジー企業の共同開発によって生まれました。

投稿者: hgamaral | スコア: 10

97.
クロードと危険な日々
(Living Dangerously with Claude)

2025年10月22日、私はサンフランシスコで開催されたコーディング愛好者のミートアップで、Claude Codeのようなコーディングエージェントを使うことの利点とリスクについて話しました。

まず、特に注目したのは「YOLOモード」と呼ばれる機能です。このモードでは「--dangerously-skip-permissions」という設定があり、Claude Codeが制限を少なくして動作します。これにより、ユーザーは複雑なタスクに取り組みながらマルチタスクができ、通常のモードとは異なる製品のように感じられます。

最近の48時間で、私はYOLOモードを使って3つの興味深いプロジェクトを完成させました。具体的には、NVIDIA Spark上でDeepSeek-OCRを設定し、その間に他の作業を行ったり、WebAssemblyでサーバーサイドのPythonを実行するデモを作成したり、Perlを直接実行せずにSLOCCountのウェブ版を開発したりしました。

しかし、YOLOモードにはリスクもあります。特に「プロンプトインジェクション攻撃」が問題です。これは、信頼できないコンテンツがコーディングエージェントを操作し、プライベートデータを漏洩させる可能性がある場合です。

もし誰かがシステムに有害なトークンを挿入できると、エージェントの行動を制御し、プライベートデータにアクセスすることができるかもしれません。

これらのリスクを軽減するための最良の方法は、コーディングエージェントを制御された環境、つまりサンドボックスで実行することです。これにより、データやネットワークへのアクセスが制限され、データ漏洩の可能性が減ります。

最近、Claude Codeはファイルやネットワークアクセスを制限できるサンドボックス機能を導入しましたが、使用されている技術はやや古いものです。

コーディングエージェントを使用することは非常に生産的ですが、敏感な情報を守るためには、サンドボックス環境で使用することが重要です。

投稿者: FromTheArchives | スコア: 248

98.
main()前の旅
(The Journey Before main())

この記事では、プログラムが実行されるリクエストを受けてから、そのプログラムのメイン関数が実行されるまでのLinuxオペレーティングシステムでの流れについて説明しています。

プログラムの開始は、execveシステムコールから始まります。このコールは、実行可能ファイルの名前、引数、環境変数を受け取り、カーネルにプログラムを読み込んで実行するよう指示します。

Linuxでは、実行可能ファイルにELF(Executable and Linkable Format)形式が使用されます。ELFヘッダーには、ファイル構造に関する重要な情報が含まれており、マジックバイト、エントリーポイントのアドレス、セクションのサイズなどが記載されています。

ELFファイルは、コードを格納する.textセクション、変数を格納する.dataセクション、初期化されていないデータを格納する.bssセクションなど、さまざまなセクションを含んでいます。カーネルはこれらのセクションをメモリに読み込みます。

動的リンクに関しては、手続きリンクテーブル(PLT)があり、プログラムは実行可能ファイルにライブラリを含めずに共有ライブラリから関数を呼び出すことができます。ELFファイルには、どのライブラリを読み込むかが指定されています。

カーネルはプログラムのためにスタックを設定します。スタックには関数の引数やローカル変数が格納され、システム情報を含む補助ベクターも含まれています。

エントリーポイントは、実行が開始される場所で、通常は_startという関数内にあります。この関数は、ユーザー定義のmain関数を呼び出す前に環境を準備します。

各プログラミング言語には、メイン関数に到達する前に独自のランタイム初期化がある場合があります。たとえば、RustやCにはそれぞれ独自の_start実装があります。

全体として、この記事はLinuxでプログラムを起動する際の複雑な手順を概観しており、ELFファイルとスタックの設定の重要性を強調しています。

投稿者: amitprasad | スコア: 307

99.
トーチコムズ: 最新のPyTorch通信API
(Torchcomms: A modern PyTorch communications API)

Torchcommsは、PyTorch Distributed(PTD)向けに設計された新しい軽量通信APIです。このAPIには、100,000以上のGPUにスケール可能なNCCLXというバックエンドが含まれています。初期リリースでは、大規模モデルのトレーニングに必要な基本的なAPIを提供し、分散トレーニングにおけるパフォーマンスと信頼性の向上を目指しています。今後1年の間に、AIシステムの研究開発を促進するためのさらなる機能が追加される予定です。このAPIはオープンに開発されており、コミュニティからのフィードバックを受けて進化していきます。

Torchcommsの主な目標は、迅速なプロトタイピング、リソースのスケーリング、さまざまなハードウェアのサポート、フォールトトレランス、片方向通信のサポート、デバイス中心のAPIの改善です。これにより、研究者は既存の機能に影響を与えることなく通信手法を試すことができ、多くのGPUでのトレーニングにおける通信リソースを効果的に管理できます。また、異なるハードウェアやベンダーを同じトレーニングジョブで利用できるようにし、信頼性の高いトレーニングのための堅牢なエラー回復メカニズムを導入します。

新しいAPIは、現在のライブラリでは実現できない革新的な機能を実装するために必要です。Torchcommsは、古いインターフェースに制約されることなく革新を目指しており、初期開発中には破壊的な変更が生じる可能性がありますが、最終的にはPyTorchの古いc10d APIを置き換える予定です。

Torchcommsは簡単にインストールして使用でき、バックエンドメソッドのシンプルなラッパーを提供します。これにより、ユーザーはコミュニケーターを初期化し、テンソルの集約などの操作を行うことができます。

バックエンドには、パフォーマンスを最適化した大規模トレーニング用のNCCLX、マルチベンダーGPU構成をサポートするネイティブバックエンドのRCCL、CPUメタデータ転送をサポートしスケーリングのための新機能を持つGlooがあります。

新機能としては、APIをより直感的で柔軟にするための集団セマンティクス、動的メモリ操作のためのウィンドウAPI、ポイントツーポイント通信機能を持つトランスポートAPI、エラーから回復できる堅牢な集団操作を作成するためのフォールトトレランスAPIがあります。

Torchcommsはカスタムバックエンドの作成を可能にし、開発者が新しい通信手法を簡単に構築・統合できるようにしています。現在も開発が進められており、機能の安定化とハードウェアサポートの拡大を目指しています。コミュニティからのフィードバックや貢献が奨励されています。

Torchcommsの開発に貢献したMetaのチームメンバーに特別な感謝が示されています。詳細やドキュメントについては、Torchcommsの公式サイトを訪れてください。

投稿者: paladin314159 | スコア: 28

100.
Why I code as a CTO
(Why I code as a CTO)

要約がありません。

投稿者: johnjwang | スコア: 301
0
Creative Commons