← ホームに戻る27 件のニュース

2026-08-03

日付別ニュース一覧

カードをクリックすると全文、Hacker Newsのリンクから元記事へ移動できます。

日付で読む
08/032026-08-0308/022026-08-0208/012026-08-0107/312026-07-3107/302026-07-3007/292026-07-2907/282026-07-2807/272026-07-2707/242026-07-2407/232026-07-2307/222026-07-2207/212026-07-2107/202026-07-2007/192026-07-1907/182026-07-1807/172026-07-1707/162026-07-1607/152026-07-1507/142026-07-1407/132026-07-1307/122026-07-1207/112026-07-1107/102026-07-1007/092026-07-0907/082026-07-0807/072026-07-0707/062026-07-0607/052026-07-0507/042026-07-0407/032026-07-0307/022026-07-0207/012026-07-0106/302026-06-3006/292026-06-2906/282026-06-2806/272026-06-2706/262026-06-2606/252026-06-2506/242026-06-2406/232026-06-2306/222026-06-2206/212026-06-2106/202026-06-2006/192026-06-1906/182026-06-1806/172026-06-1706/162026-06-1606/152026-06-1506/132026-06-1306/122026-06-1206/112026-06-1106/102026-06-1006/092026-06-0906/082026-06-0806/072026-06-0706/062026-06-0606/052026-06-0506/042026-06-0406/032026-06-0306/022026-06-0206/012026-06-0105/312026-05-3105/302026-05-3005/292026-05-2905/282026-05-2805/272026-05-2705/262026-05-2605/252026-05-2505/242026-05-2405/232026-05-2305/222026-05-2205/212026-05-2105/202026-05-2005/192026-05-1905/182026-05-1805/172026-05-1705/162026-05-1605/152026-05-1505/142026-05-1405/132026-05-1305/122026-05-1205/112026-05-1105/102026-05-1005/092026-05-0905/082026-05-0805/072026-05-0705/012026-05-0104/302026-04-3004/292026-04-2904/282026-04-2804/272026-04-2704/262026-04-2604/252026-04-2504/242026-04-2404/232026-04-2304/222026-04-2204/212026-04-2104/202026-04-2004/192026-04-1904/182026-04-1804/172026-04-1704/162026-04-1604/142026-04-1404/132026-04-1304/122026-04-1204/112026-04-1104/102026-04-1004/092026-04-0904/082026-04-0804/072026-04-0704/062026-04-0604/052026-04-0504/032026-04-0304/022026-04-0204/012026-04-0103/312026-03-3103/302026-03-3003/292026-03-2903/282026-03-2803/272026-03-2703/262026-03-2603/252026-03-2503/242026-03-2403/232026-03-2303/222026-03-2203/212026-03-2103/202026-03-2003/192026-03-1903/182026-03-1803/172026-03-1703/162026-03-1603/152026-03-1503/142026-03-1403/132026-03-1303/122026-03-1203/112026-03-1103/102026-03-1003/092026-03-0903/082026-03-0803/072026-03-0703/062026-03-0603/052026-03-0503/042026-03-0403/032026-03-0303/022026-03-0203/012026-03-0102/282026-02-2802/272026-02-2702/262026-02-2602/252026-02-2502/242026-02-2402/232026-02-2302/222026-02-2202/212026-02-2102/202026-02-2002/192026-02-1902/182026-02-1802/172026-02-1702/162026-02-1602/142026-02-1402/132026-02-1302/122026-02-1202/112026-02-1102/102026-02-1002/092026-02-0902/082026-02-0802/072026-02-0702/062026-02-0602/052026-02-0502/042026-02-0402/032026-02-0302/022026-02-0202/012026-02-0101/312026-01-3101/302026-01-3001/292026-01-2901/282026-01-2801/272026-01-2701/262026-01-2601/252026-01-2501/242026-01-2401/232026-01-2301/222026-01-2201/212026-01-2101/202026-01-2001/192026-01-1901/182026-01-1801/172026-01-1701/162026-01-1601/152026-01-1501/142026-01-1401/132026-01-1301/122026-01-1201/112026-01-1101/102026-01-1001/092026-01-0901/082026-01-0801/072026-01-0701/062026-01-0601/052026-01-0501/042026-01-0401/032026-01-0301/022026-01-0201/012026-01-0112/302025-12-3012/292025-12-2912/282025-12-2812/272025-12-2712/262025-12-2612/252025-12-2512/242025-12-2412/232025-12-2312/222025-12-2212/212025-12-2112/202025-12-2012/192025-12-1912/182025-12-1812/172025-12-1712/162025-12-1612/152025-12-1512/142025-12-1412/132025-12-1312/122025-12-1212/112025-12-1112/102025-12-1012/092025-12-0912/082025-12-0812/072025-12-0712/062025-12-0612/052025-12-0512/042025-12-0412/032025-12-03
Show HN: Kakehashi – Linux ARM で macOS バイナリを実行するための実験的なユーザースペース

Show HN: Kakehashi – Linux ARM で macOS バイナリを実行するための実験的なユーザースペース

## Japanese Translation: Kakehashi は、JIT コンパイルや Apple の専用 SDK に依存せず、Linux aarch64 上で実際の macOS ARM64 ゲストを実行するためのオープンソースで CLI ファーストのユーザースペース翻訳層です。中心となるクリート(`kh-loader`、`kh-runtime`、埋め込まれた `libSystem.B.dylib`)を中心に構成され、システムコールを翻訳するとともに、ゲストのファイルシステムをホストに `/Volumes/linux/…` を介して橋渡しします。具体的には、ゲストの `/usr/local/bin` をホストのバイナリに、`/etc/ssl/cert.pem` を CA バンドルにマッピングします。インストールは `cargo install kakehashi`(ソース:`crates/kh-cli`)で行い、事前に `kh bottle ensure` でボトルを確保します。ツールの追加は `kh install`、実行は `kh run` によって行われます(例:マルチスレッド圧縮用の `kh run 7zz -- -mmt=4` や、単に `kh run curl --` など)。Linux aarch64 ベアメタル、VM、Docker/Colima(ヘルパーがアーティファクトを `.tmp/kh-out/` に出力)上で動作し、Rust 1.88 以上(Linux aarch64)、コンテナの種類に応じて 4 KiB または 16 KiB のページサイズに対応します。ベンチマークの結果では、Linux 側のマルチファイル 7-Zip 圧縮とネイティブ実行を比較した場合の全実行数のギャップは約 5.2 倍ですが、単一ファイルまたは圧縮負荷の重いワークロードではオーバーヘッドは約 1.1〜1.2 倍に留まります。Darwin クライアントツールを高価な macOS ランナー($0.062〜$0.102/分)ではなく、低価格な Linux ARM64 ランナー($0.005/分)上で実行できるため、パフォーマンスのオーバーヘッドがあっても Kakehashi は多くの場合で費用対効果に優れています。Apache 2.0 ライセンスの下にあり、Darling から派生していない本ツールは、自動化された CLI ワークフローのためにエコシステムを橋渡しする無料の代替手段を提供します。

2026/08/03 1:26
メモTaking とパーソナルナレッジ管理

メモTaking とパーソナルナレッジ管理

## Japanese Translation: 本稿の主要な論旨は、ブレンnan ケネス・ブラウンの記事に対し、ノートツール「Obsidian」に独自の知的価値を誤って帰属させ、不均衡な見解を示していることを批判しています。著者は、ソフトウェアが整理を助けることは事実だが、画期的なアイデアそのものの源泉ではないと主張します。証拠によると、ブラウンは Obsidian が複雑なシステムであるかのように誤って描写しており、実際には 1994 年頃の技術に準じるような個人的なウィキとして機能しています。この分析では、PARA やニコラス・ルーマンが使用した歴史的なゼッテルkasten メソッドなど、確立された枠組みを参照して議論の文脈を設定し、そのようなツールは人間の創造性を置き換えるのではなくそれを支援するに過ぎないと指摘します。さらに、Obsidian のダウンロード数が約 75 万回に達しているにもかかわらず、それは 460 億ドル規模の巨大な業界内で運営されており、その現在の影響は限定的であることを示唆しています。この批判は、世界を変えるような貢献を直接ソフトウェアに帰属させることは誤った結論と不確実な引用につながることを警告しています。結局のところ、ユーザーはこのツールを独自性の源泉ではなく、個人的な解決策のための基盤として認識するべきです。 ## Text to translate: The central argument critiques Brennan Kenneth Brown's article for presenting an unbalanced view that wrongly attributes unique intellectual value to the note-taking tool Obsidian. The author asserts that while software facilitates organization, it is not the source of groundbreaking ideas itself. Evidence shows Brown mischaracterizes Obsidian as a complex system when it functions essentially as a personal Wiki, comparable to technologies from 1994. This analysis contextualizes the debate by referencing established frameworks like PARA and the historical Zettelkasten method used by Niklas Luhmann, noting that such tools merely support human creativity rather than replacing it. Furthermore, despite Obsidian having roughly 750,000 downloads, it operates within a vast $46 billion industry, suggesting its current impact is limited. The critique warns that attributing world-changing contributions directly to the software leads to flawed conclusions and inconclusive citations. Ultimately, users should recognize these tools as foundations for personal solutions rather than engines of original thought.

2026/07/28 23:21
FamilyWild を用いたホスト間の X11 サーバー共有

FamilyWild を用いたホスト間の X11 サーバー共有

## Japanese Translation: 2026 年 8 月 2 日、隔離環境(コンテナや chroots など)内または非転送された SSH 接続上でグラフィカルな X11 アプリケーションを動作させる際に生じる「Authorization required, but no authorization protocol specified」というエラーを解決するための方法が詳述されました。根本原因は、`.Xauthority` クッキーが family と hostname の双方で鍵付けされており、クライアントが自分のマシン名と一致しない hostname を持つクッキーを拒絶する点にあります。 解決策は、クッキーの family フィールドの最初の 2 バイトを `0100`(`FamilyLocal`)から `0xffff`(`FamilyWild`)に書き換えることです。これには以下のコマンドを使用します:`xauth nlist :0 | sed 's/^..../ffff/' | xauth -f /tmp/portable.Xauthority nmerge -`(`:0` を `$DISPLAY` に置き換えてください)。family を `FamilyWild` に変更することで、クッキーは任意の hostname に対して有効となり、hostname が不一致のクライアントからの接続も可能になりつつ、ホストベースのアクセス制御を完全に無効にすることなく済みます。 これを使用するには、生成された `/tmp/portable.Xauthority` ファイルを bind-mount または SCP でクライアント環境に移動し、`$XAUTHORITY` 変数を指すように設定します。ただし、厳格なセキュリティ上の注意が必要です:`FamilyWild` クッキーはローカルなものよりも特定の情報が少ないため、ソケットアクセスがありファイルを閲覧できるあらゆるユーザーが表示器に接続できるようになります。そのため、ファイルのパーミッションは必ず 0600 を維持し共有マシンにはコピーを残すべきではありません。このアプローチは、ホストベースのセキュリティを完全に無効にする `xhost +` の使用や、全クッキーをクリアしつつ無効なエントリを残そうとする危険な方法よりも優先されます。著者はこのトリックを、特別に非特権 LXC コンテナへの X11 転送のために適用しています。

2026/08/03 5:26
私の個人的な AI ベンチマーク:「ハプスブルク顎を持つカエルの SVG を生成する」

私の個人的な AI ベンチマーク:「ハプスブルク顎を持つカエルの SVG を生成する」

## 日本語訳: AI モデルは、未検証のコンテンツを追加することで元の画像を著しく歪ませました。これには、「Royal Imperial Collar(ロイヤル・イマペリアル・コラー)」や「Imperial Habsburg Crown(インペリアル・ハプスブルク・クラウン)」といった発明された王室の称号、さらに気分に関する編集者の注釈である「Folded Pompously(堂々と折りたたまれた様子)」や「gloomy expression(憂うつな表情)」などが含まれます。システムは、顔の特徴を医療的または王朝的な特性として位置付ける具体的な解剖学的記述を追加しました。例えば、「弱ったマキラー(弱い上顎)」「Habsburg lethargic look(ハプスブルク型の眠気のような様子)」「protruding mandible(突出した下顎)」、いわゆる「Classic Habsburg Feature(クラシック・ハプスブルク特徴)」などが挙げられます。生成された出力に含まれる技術的な詳細では、肌のグラデーションのために「frogSkin」などの例が定義され、巨大な顎、垂れかけた瞼、カエルのような Wart(疣)といった具体的な特徴を描画するために正確な座標が使用されます。その結果、利用者は、事実に基づかない複雑な歴史的背景または臨床的な特性を強いることで、被写体の属性を誤って表現する幻覚的な物語に充満した視覚コンテンツを受け取ることになります。

2026/08/03 4:42
開発者はツールに愛着を持ちがちだが、それはツールが信頼を具現化しているからである

開発者はツールに愛着を持ちがちだが、それはツールが信頼を具現化しているからである

## Japanese Translation: 中心的な主張は、エージェント型エンジニアリングがアプリケーションの迅速な開発を約束する一方で、不透明性の導入と検証上の課題を通じて開発者の信頼を深刻に損なう点にある。従来の IDE は開発者のスキルセットを延長として提供する慣れ親しんだ精度を提供するが、AI エージェントは曖昧な自然言語から正確な仕様ではなくコードを生成する。このシフトは大きなリスクを生み出す:リントや単体テスト、CI/CD パイプラインなど既存のセーフティメカニズムは、ソフトウェア開発ライフサイクル(SDLC)全体にわたってエージェントが導入する巨視的かつ予測不能な変化を検出することがしばしば失敗する。調査データはこの緊張関係を裏付けている:AI 利用率は上昇している(76% から 84%)一方、信頼性は著しく低下している(40% から 29%)。ツールが信頼できるプロセスを構築し、慣れが熟練さを支えるため、ターミナル/IDE からエージェント型ツールへの切り替えにはワークフローの再学習が必要であり、特に開発者は現在の環境に対して「無意識の熟達」を有している。エージェント型コーディングは正確なコードに比べれば速いが不透明で予測可能ではなく、英語や曖昧な言語は厳密な解決策の代替として不適切である。この侵入は、レガシーな safeguard が十分でない場合もある SDLC ツールチェーン全体に影響を及ぼす。新しいツールは文化的および手続的な変化を必要とする:優れたツールであっても、開発者が責任を担うことを受容しない限り、破損したプロセスは依然として破損したままとなる。コードレビューは AI が数百行のコード変更をインスタンス化し、人間が高コストな本番障害に対して検証しなければならない大規模な差分を生成するにつれて主要なボトルネックとなっている。コードの実行もまたインフラストラクチャコスト(計算リソース、メモリ、トラフィック、ホストされた依存関係/API)とダウンタイムやセキュリティ侵害からのリスクを伴う。これを緩和するためには、組織は開発者をループの責任者として擁護し、キーボードと椅子の間の責任配置を実現する「人間による監視」モデルを採用すべきである。さらに、企業はデザイナーや同僚との本質的な協業をバイパスする AI 誘発型のサイロから守る必要がある。これは単一エージェントの出力のみに基づく大規模なプルリクエストをもたらす可能性がある。最終的に、増加するインフラストラクチャコストとセキュリティ脅威を管理するには、単なるツールの置き換えではなくワークフローの根本的な再学習が必要である。

2026/07/29 23:25
Show HN: フレームワーク 12 をガタガタしたドアの音にしましょう

Show HN: フレームワーク 12 をガタガタしたドアの音にしましょう

## 日本語翻訳: この革新的なプロジェクトは、FrameWork 12 ノートパソコンをインタラクティブな楽器に変換し、その物理的なカREAKY な木製の扉の音を現実的なデジタルオーディオに変換します。実演動画には、その効果が動作している様子が示されています。本プロジェクトの中核となる成果は、独自ソフトウェアによって真正なヒンジ(関節)の物理学をシミュレートする点にあります。ピッチはヒンジの位置に基づいて調整され、音量はヒンジが動く速さに応答します。当初は異なるハードウェア向けの以前の移植に着想を得られていましたが、このバージョンは FrameWork 12 の特有のヒンジ剛性に合わせて最適化されています。他のノートパソコンでも動作する可能性がありますが、それらのモデルはまだテストされていません。 本プロジェクトは主に Fedora Linux でネイティブに動作するように開発されており、リリースタブで入手可能な実行ファイルには、ユーザーがダウンロードし `chmod +x` を適用して実行できるようになっています。他のディストリビューション(例:Debian/Ubuntu)を使用するユーザーは、依存関係パッケージをインストールしない限り動的リンクの問題に直面する可能性があります。代わりに、必要なライブラリ (`libiio-devel`, Fedora 用の `alsa-lib-devel` または Debian/Ubuntu の同等物) が存在する場合、`git clone` および `cargo run` を使用してソースコードからソフトウェアをインストールすることもできます。今後の作業では、このフィルタリング技術を追加のノートパソコンモデルでテストし、ニッチなハードウェアの欠点を超えてより広範な創造的アプリケーションへの有用性を拡張することを検討します。

2026/08/03 5:33
F*:汎用証明指向プログラミング言語

F*:汎用証明指向プログラミング言語

## Japanese Translation: F* は、依存型と SMT/tactic ベースの自動化をサポートし、純粋な関数型コードとエフェクトを持つコードの両方を扱える汎用証明指向プログラミング言語です。デフォルトでは OCaml にコンパイルされ、KaRaMeL および Vale を通じて F#、C、WebAssembly、アセンブリーへの抽出オプションも提供されます。Apache 2.0 ライセンスで GitHub にオープンソース化されており、プロジェクトは F* で実装され OCaml でブートストラップされています。開発は Microsoft Research、Inria、コミュニティ(Windows、Linux、macOS)によって推進されています。インストール方法としては、OPAM、Docker、Nix、ソースビルド(INSTALL.md 参照)、プリビルトリリースが利用可能です。学習リソースには「Proof-oriented Programming in F*」という書籍、Low* チュートリアル、2018 オフリッドで開催された EUTypes サマースクールなどのサマースクールの教材が含まれます。コミュニティへの参加は GitHub Discussions(推奨)統合された Zulip フォーラム低トラフィックのメーリングリスト、毎月開催される PoP Up セミナーを通じて可能であり、メンテナーは fstar-maintainers@googlegroups.com で連絡可能です。 Project Everest にインスピレーションを得た F* は、高信頼性の安全な通信ソフトウェアを支えています。派生プロジェクトには、C 言語による暗号原語を実装する HACL*、Vale を用いた検証済みアセンブリを提供する ValeCrypt、統一された検証済み暗号プロバイダーである EverCrypt、バイナリ形式の C パーサーを検証する EverParse が含まれます。これらのプロジェクトからのコードは、Mozilla Firefox、Linux カーネル、Python、mbedTLS、Tezos ブロックチェーン、ElectionGuard SDK、Wireguard VPN、Windows Hyper-V(Azure クラウドネットワークパケットの検証)、eBPF-for-Windows のプロダクション環境で展開されています。数学的証明と実用的なツールの組み合わせにより、F* は学術研究と現実世界の重要インフラを橋渡しし、複数のデプロイパスを提供しながら安全性の保証を損なわずに機能します。

2026/08/02 21:31
RISC OS Open、20周年

RISC OS Open、20周年

## Japanese Translation: RISC OS は 2006 年 6 月に RISC OS Open Ltd の設立に伴いオープンソースへの歩みを開始し、共有ソースのイニシアチブを立ち上げ、開発者向けの展示会ですぐに注目を集めました。その後の数年間で重要なマイルストーンには、コミュニティによる IYONIX ビルドや BeagleBoard ポート(アイコンバー賞を受賞)への貢献、そしてロードマップ機能に関するコミュニティ投票を実施する「 Bounty Scheme」の導入がありました。OS は安価な ARM ハードウェアに順応することに成功し、2013 年に Raspberry Pi 向けに RISC OS Pi を提供したのち、Quad コア搭載の Raspberry Pi 2 や OMAP4 ベースの PandaBoard デバイスへのサポートを拡大しました。2019 年、Castle が RISC OS Developments に買収された後、プロジェクトは Apache 2.0 ライセンスに移管され、商用利用も自由に可能となり、コードベース全体をパブリックの GitLab に移行しました。最近の発展としては、数百件の改善を加えた堅牢な Raspberry Pi 4 サポートの実現や、2024–25 年の「Moonshots」を通じて現在のハードウェアライフサイクルが終了する前に RISC OS を 64 ビット ARM アーキテクチャへ移植することを目指す取り組み(新たなスポンサー、ボランティア、そして Fortran などのレガシーツールリングの復旧も含まれる)があります。この進化により、RISC OS はモダンなプラットフォームで引き続き利用可能になり、グローバルなコミュニティを育成し、単一ベンダーへの依存なくシステムを持続させることが可能になっています。

2026/08/02 21:36
小説を読み込み、他のことはすべて忘れ去れ

小説を読み込み、他のことはすべて忘れ去れ

## Japanese Translation: 元要旨は核心メッセージを捉える強力な総括ですが、キーポイントリストに含まれる具体的な伝記的事実および文体のニュアンスに関する深みを失っています。以下に、これらの欠落要素を統合しつつ明確さを保った改良版を示します。 パトリック・O・ブライアン(本名:パトリック・ラッス)は、著しく欺瞞的な私的生歴にもかかわらず、二十冊の『オーブレイ=マチュリン』シリーズで伝説的立場を確立しました。彼は幼年期(イギリスで育ったがアイルランド系と主張)、キャリア(海に務めたことなし)、教育(エリート校であるソルボンヌ、エトン、オックスフォードの通学を主張)に関する詳細を偽造しました。1940年代の名変更は、最初の妻エリザベスとの関係を断ち切り、二人の小さな子供を残してメアリー・トールストイに置き換える形で彼女を捨てました(うち一人は致死病を患っていました)。批評家のリチャード・スノウらが同シリーズを「これまで書かれた最高の歴史小説」と称賛しましたが、O ブライアンの私生活では家族を放棄し、初期作品『カタラン人』や『リチャード・templé』などで欺瞞をプロット手法として用いていました。読者らはこの論争的な現実を主に無視し、その代わり「 Virtuoso(技巧に富んだ)」な感覚と知性の融合を称賛しています。この断絶は 2003 年の映画『マスター・アンド・コマンダー』によってさらに増幅され、専用オンラインコミュニティ(例:ほぼ週 5,000 回閲覧の Reddit グループ)や 2024 年時点で完全英国版第一刷が£1,500 に達する価格高騰などの再興を招きました。コレクターたちはプレミアムを支払うことで、作品の自己維持的な遺産を実証しています。かつて友人ケヴィン・マイヤーズに「 publicity への嫌悪および知的いじめのため、猛禽類ほど残忍」と評された O ブライアンは、55 歳で過去を舞台にした小説を設定し、初期の「借用された且つ閉鎖的な」作品から洗練されユーモアのある歴史小説へと進化したのです。彼のスタイルには豊富な海軍用語(「altumal cant」)や辞典を必要とする語彙(自己嘲弄を含み「aprication」という言葉さえ使用)が特徴です。究極的には、この物語は虚構が創作者の真実を超えて生き残る方法を示し、聴衆に O ブライアンの文学的業績に焦点を当てるよう促しており、その残忍な現実や歴史的不正確さよりも優先させるべきであることを示しています。 ## Text to translate: The original summary is a strong synthesis that captures the core message but loses depth regarding specific biographical facts and stylistic nuances found in the Key Points List. Below is an improved version that integrates these missing elements while maintaining clarity: Patrick O'Brian, born Patrick Russ, achieved legendary status with his twenty-book *Aubrey-Maturin* series despite a deeply deceptive personal history. He fabricated details about his childhood (growing up in England but claiming Irish heritage), career (never working at sea), and education (claiming elite attendance at Sorbonne, Eton, or Oxford). His name change in the 1940s severed ties with his first wife Elizabeth, whom he abandoned for Mary Tolstoy while leaving behind two small children—one fatally ill. Though critics like Richard Snow hailed the series as "the best historical novels ever written," O'Brian's private life included abandoning family and using deception as a plot device in early works like *The Catalans* and *Richard Temple*. Readers largely ignore this controversial reality, celebrating his "virtuosic" blend of sensation and intellect instead. This disconnect was amplified by the 2003 film *Master and Commander*, sparking a resurgence that includes dedicated online communities (e.g., a Reddit group with nearly 5,000 weekly views) and soaring first-edition prices (£1,500 for a complete UK set as of 2024). Collectors pay premiums proving the work's self-sustaining legacy. O'Brian, once recalled by friend Kevin Myers as "ruthless as a raptor" for his aversion to publicity and intellectual bullying, evolved from early "cribbed and claustrophobic" works to sophisticated, funny historical fiction after setting novels in the past at age 55. His style features abundant nautical jargon (*altumal cant*) and vocabulary requiring dictionaries, even with self-mockery like the word "aprication." Ultimately, the story illustrates how fiction can outlive its creator's truth, encouraging audiences to focus on O'Brian's literary achievements rather than his ruthless reality or historical inaccuracies.

2026/08/01 8:31
SSH クレデンシャルの収集:ハニーポットネットワークからの教訓

SSH クレデンシャルの収集:ハニーポットネットワークからの教訓

## Japanese Translation: UphillSecurity は、2026 年 7 月に 30 日間稼働させたグローバルなオープンソース SSH ハニーポットネットワークを展開し、150 万件を超えるログイン試行と 131,922 組の一意の認証情報ペア(`root`/`123456` など一般的なデフォルトを含みます)を捕捉しました。5 つの VPS プロバイダーにまたがる 15 サーバーで rootless Podman コンテナを使用し、データセットに攻撃者の IP を公開しないことで、攻撃者のプライバシーを厳格に保護しています。パーセント符号化によるロスレス保存された捕捉データ(Cyberchef などのツール用)は、6 つの大陸と 129 か国からの攻撃を示しており、オランダが試行数のほぼ半分を占めています。Python の Paramiko ライブラリおよび Ansible オートメーションを利用し、プロジェクトはクリエイティブ・コモンズライセンスの下で生ログを提供しており、研究者によるブルートフォース攻撃のパターン分析を可能にしています。現時点での焦点は SSH ですが、ロードマップにはデータベース/Web ハニーポットへの拡張、IPv6 対応、およびパブリックダッシュボードの追加が含まれています。これらの洞察は、組織がデフォルトパスワードポリシーを更新し、実システムを侵害する前に高ボリュームな攻撃源をブロックすることで、防御力を強化することを可能にしています。

2026/08/03 2:45
2022 年に手作業で設計されたトランジットパス

2022 年に手作業で設計されたトランジットパス

## Japanese Translation: ミルウォーキーの歴史的な定期券は、手作業による芸術性が公共交通システムを特徴づけていた時代への独自の窓を提供しています。これは、ミルウォーキー・エレクトリック・レイルウェイ&ライト会社(TMER&L)が 1919 年 8 月 18 日に開始した週次定期券の実験から始まり、1921 年に本格的に運用を開始しました。1930 年代から 1960 年代にかけて、定期券は手書きの文字によるカラーデザイン、公衆サービスアナウンスメント、地元イベントの情報、図解された市民史を特徴としていました。1937 年から 1972 年の間には、大きな手描きの週番号、日付範囲、装飾的なバナー/フレームを備えた一貫したデザインプログラムを維持していました。屋内で設計・印刷が行われていた定期券は、1992 年までアートボードを使用しており、デスクトップパブリッシングソフトウェアがこれを代替するまででした。輸送当局は、1939 年よりミルウォーキー・エレクトリック・レイルウェイ&トランスポート社(T.M.E.R.& T.Co.)として独自の印刷所を運営し、後に 1975 年にミルウォーキー郡輸送システム(MCTS)に移管されました。その後、カスタムの伝統は継続されました。デザインは手作業で制作されていましたが、1980 年代と'90 年代には Klaus Birkhain がアートワークを担当しました。彼のログ、図面、アーティストプロフは John Giove の博物館に保管されています。一方、1932 年から 1969 年の間の約 300 枚の切符(Tobias Frere-Jones 氏から寄贈された品を含む)は、ミルウォーキー・トランシット・アーカイブズ&ミュージアムによって保管されています。初期のデザイナー(1930 年代〜60 年代)についてはほとんど文書化されておらず、歴史学家やコレクターらへの調査協力呼びかけが行われています。現在、ステファン・コーレス氏などのキュレーターは、これらの元の芸術スタイルを復活させ、現代的なシステムに視覚的な喜びをもたらすことを提案しており、パンデミックによる乗客数の減少後の回復を図る可能性があります。同時に、乗客が都市の輸送史と実際の関与につながり続けるアーティファクトも保存されます。寄稿と取材は、Bloomberg CityLab、Elizabeth Goodspeed、Kindra Murphy のコレクション、Tobias Frere-Jones のコレクションから得られています。

2026/07/31 22:38
TP-Link TL-841N のルート化、ファームウェア解析および永続的認証情報に関する調査

TP-Link TL-841N のルート化、ファームウェア解析および永続的認証情報に関する調査

## Japanese Translation: 研究者らは、10 ドルで購入された安価な TP-Link TL-841N(EU) ルーターに対しハードウェアハッキング分析を実施し、小型の「交通灯」デバッグ穴を介した UART 接続によって root アクセスに成功しました。115200 バウドルで接続された USB-to-UART アダプターを使用することでロック画面を回避し、起動セクタ、カーネル、rootfs(SquashFS)、および config パーティションを含むフルファームウェアを抽出しました。分析により、この低コストの IoT デバイスに固有の重大なセキュリティ脆弱性が明らかになりました:ハードコーディングされた管理者認証情報が塩なしハッシュとして保存されており(具体的には `$1`)、これらはパスワード「1234」に解読されました;WPS パスワードはラベルと一致する形で平文で発見されました;また、工場出荷状態へのリセット後も感度の高い PPPoE ISP 設定情報が保持されていました。これらの脆弱性は、デバッグモードが有効または不適切に保護されているような既知の課題(CVE-2026-4346)と対応しており、これは基本的なハードウェアアダプターを使用した初歩的なハッキング手法によってユーザーのプライバシーとネットワークの完全性を曝露させます。

2026/08/03 1:19
EU 年齢認証プロジェクトがハードウェア結合アテステーションを義務付けた

EU 年齢認証プロジェクトがハードウェア結合アテステーションを義務付けた

## Japanese Translation: EU のオープンソースの年齢検証プロジェクトは、建築家たちが必須のハードウェアバインド認証を堅持していることで激しい批判にさらされています。これはセキュリティ対策であるものの、批評家たちはそれが開放性とアクセス可能性の中核価値と矛盾すると指摘しています。システムは、Apple の Secure Enclave や Android TEEs などの保護されたハードウェアに保存されたキーを使用してユーザーが年齢を証明できるようにすることを目的としています。ただし、完全な身份を漏らさずに認証を行うというこの厳格なアプローチは大きな障壁を生み出します。批評家たちは、特定の承認済みのデバイスを要求することは限られたオペレーティングシステムへの依存を促進し、危険であること、そして非公式のコミュニティ版を効果的にブロックし、代替モバイルプラットフォームを完全に参入から排除することになると警告しています。プロジェクトは将来にセキュリティ脅威モデルの見直しを約束していますが、中央にある未解決の問題として残る疑問があります:アクセスが単にプロプライエタリなハードウェアとプロバイダーポリシーに厳密に依存するシステムは本当に「オープン」であり続けることができるのでしょうか?その結果、デスクトップ Linux ユーザーは QR コードを通じてサポートされたウォレットを使用するための一部の限定された能力を保持している一方で、ネイティブの Linux サポートが欠如していることは、広範なユーザーベースにとっての真のオープンソースアクセス性を著しく阻害しています。

2026/08/03 5:44
SDL 2 を使用したC言語によるFasttracker IIのクローン

SDL 2 を使用したC言語によるFasttracker IIのクローン

## Japanese Translation: ここに、欠落していた具体的な詳細(macOS キーボードショートカット、OS バージョン)を取り入れ、32 ビットビルドのニュアンスを明確にした改良版が提示されます。 **改良されたサマリー:** SDL 2(バージョン 2.22)を用いて C で構築された、新しい移植可能な Fasttracker II エミュレーターのクローンが発行されました。これは Windows、macOS、Linux のすべてのプラットフォームで即座に音楽再生を行うことを目的としています。GitHub で利用可能であり、このソフトウェアは現代的なシステム上でクラシックなトラックャーモジュールを実行しながら後方互換性を維持します。Windows 7 SP1 以上、macOS 10.11 以上(Intel/Apple Silicon)、Linux(amd64/x86_64)をサポートしています。レガシーニーズのために特定の 32 ビット Windows ビルドが存在しますが、偽のウイルス警告を引き起こす可能性があるため、標準的なビルドが互換性がない場合のみ推奨されます。コンパイル手順とソースコードは「HOW-TO-COMPILE.txt」で利用可能です。 ユーザーにはいくつかのプラットフォーム固有の障害について周知しておく必要があります。Linux ユーザーはパターンコピー/ペーストのためにキーボードショートカット(例:ALT+F4/ALT+F5)を再設定する必要がある場合があります。NVIDIA GPU 所有者は GeForce Experience オーバーレイを無効にする必要があります。異なるリフレッシュレートを持つマルチモニター構成では問題が発生する可能性があります。macOS 上では、.app ファイルには一度だけ「開く」アクションとシステム許可承認が必要であり、フルスクリーン切り替えには ALT+Enter などのキーボードショートカットが必須です(OS レベルのバインディングは競合する可能性があります)。また、Intel および Apple Silicon サポートには特定の OS バージョン(10.11 以上)が必要であることに注意してください。

2026/07/29 15:47
TinyNES レビュー:極めてニッチな NES コンソール

TinyNES レビュー:極めてニッチな NES コンソール

## Japanese Translation: TinyNES は、古き良きエンターテインメントシステム(NES)のハードウェアを現代的なオープンソース設計と融合させたユニークなハイブリッドコンソールであり、ビンテージ機の不足と壊れやすさに対処することを目的としています。その本質的なアイデンティティは、元来の NES/Famicom から真の CPU および画像処理ユニット(PPU)チップを使用することにあり、これらのチップはソケットに取り付けられており、真のプロセッサと安価な互換性のあるクローンとの間で簡単に交換可能です。新型のモダンな部品で陳腐化した部材を置き換えることで、著しくクリーンなオーディオおよびビデオ信号を実現していますが、現時点ではコンポジットビデオのみを出力しており、これは大部分のオリジナルシステムに見られるシングルピン出力と一致しています。ただし、稀な RGB PPU バリエーションに対応しています。RGB 出力用の溶なし追加モジュールは、将来的に提供予定となっています。資金調達が確定していることは、このレトロ・モダンなアプローチに対する特定の市場需要を示しており、ゲームの歴史を保存しつつ、アクセシビリティと品質を向上させるためのニッチなプロジェクトを支援する専用オーディエンスが存在することを確認しています。

2026/08/03 5:01
シュミットトリガー:ヒステリシスによる堅牢なコンパレータ設計

シュミットトリガー:ヒステリシスによる堅牢なコンパレータ設計

## 日本語訳: コアコンセプトはシュミットトリガーであり、正帰還を利用することで 2 つの明確なスイッチング閾値(V(TH) および V(TL))を確立するコンパレータ回路である。この機構はノイズ起因の chatter を防止するため、入力電圧がこの特定の限界を超える場合にのみ安定したトグглを実現し、「ヒステリシス」ウィンドウを形成する。オペアンプによる実装においては、抵抗値の比がこれらの閾値を数学的に決定する:反転構成では V(TH) = (R1 / (R1 + R2)) × V(sat) となり、非反転設計では重畳則を用いて V(UT) および V(LT) を設定する。標準的なインテグレータを越えた専用コンパレータは外部フィードバックネットワークを必要とし、一方で CD40106 のような CMOS タイプは高ノイズ耐性を特徴とするが、速度はやや遅い。 さまざまな離散型およびレガシー実装が存在し、それぞれ特定の特性を持つ:バイポーラ結合トランジスタ(BJT)設計は通常約 0.4 V のヒステリシスを提供する。SN74HC14A は TTL 互換閾値(~5V)を持ち、レガシーインターフェースを支援するため 0.4–1.5 V のヒステリシスを持つ。SN74LVC1G14 のような低電圧オプションは 1.65–5.5 V の電源を支持し、5.5V で 0.71–1.11 V のヒステリシスを提供する。CD40106/MC14584 のような CMOS デバイスは 3–18 V で動作し、ノイズの多い環境に適した大きなヒステリシス(5V で最大約 1.6 V)を提供する。低電力用途に対しては TLV3201 は内部 1.2 mV ヒステリシスを備えたマイクロワット級動作が可能であり、LM393 のようなコレクタ開放コンパレータはヒステリシスの確立のために外部プルアップ抵抗およびフィードバックネットワークを必要とする。 エンジニアはこれらの原理をスイッチバウンス除去(RC フィルタを用いて機械的バウンス時間を超える)、ゼロクロス検出(ノイズ振幅より大きいヒステリシスを設定)、弛振発振子に適用する。弛振発振子ではタイミングは電源電圧と閾値電圧の対数関数を用いて計算される。ヒステリシスの適切なサイズ付けは設計上の一般的な罠を回避するために極めて重要である:例えば、閾値を過度に接近させたり、スルーレートを考慮せずにオペアンプをコンパレータとして誤用したりすることがこれらに含まれる。これにより、電池動作およびノイズの多いレガシーシステムにおける堅牢な性能を確保する。

2026/07/31 0:12
雪豹の神話

雪豹の神話

## Japanese Translation: 2010 年にリリースされた Apple の Snow Leopard は、新機能なしの改良アップデートとして宣伝され、効率化とバグ修正に重点が置かれていた。しかし実際のところ、ユーザーは深刻な不安定性に直面しており、特に Finder のクラッシュ、FireWire 800 ExpressCard の失敗、および iMovie HD プラグインの問題が目 stood。ソフトウェアの品質低下を招いた場合、多くの人が「Snow Leopard リリース」を求めており、この用語は安定性重視のアップデートの略語として扱われてきた。この考え方は以来、Linux ディストリビューションや携帯電話ベンダーによって採用され、新機能より修正を優先するアップデートを記述する際に使用されている。著者は当初アップデートを待ったが、結局 2006 年製 Core Duo MacBook Pro から Snow Leopard を下位バージョンの Leopard にダウングレードした。その後再度試みたところ、さらに問題が発生し、さらにダウングレードされることになった。著者は後で 2011 年に Lion がリリースされた際にそれをそのままスキップするようになった。Jeff Johnson はこれらの多数の問題とパッチを必要とする状況を文書化したにもかかわらず、十六年経った今でも Snow Leopard を安定性の砦とする神話は依然として存在する。この事例はより広い緊張関係を示しており、現在ユーザーは信頼性と生活の質の向上を求めつつ、業界は未練磨きの新機能を追求する際に安定したシステムを放棄するという現状が浮き彫りになっている。

2026/08/03 3:21
折り紙の地球儀

折り紙の地球儀

## Japanese Translation: ## まとめ(改良版) 本テキストは「Globe builderFree」という目立つツールを紹介しており、これはオープンライセンスのデータを使用してインタラクティブなグローブを構築することをユーザーに可能にし、各テーマページで自動的にソースがクレジットされるようになっています。価格詳細は「GlobesPricing」の下に記述されています。同プラットフォームはライセンスの障壁を取り除き、教育者やクリエイターに法的制限なく透明性の高い可視化の構築を可能にしています。具体的には、組織である MapScaping が開発したユニークなイニシアチブである「Folding Globes」がプロジェクトによって強調されています。オープンソースマッピングの実現可能性を検証することで、MapScaping はコミュニティ主導の革新がいかに具体的な図解的解決策につながるかを示しました。本質的には、これらのツールの組み合わせにより、誰もが正直でアクセス可能なデータを使用して高品質な教育用グローブを開発できるようになります。核心となる教訓は、現代のマッピング技術がより民主化され、クリエイターがデータの起源について完全な透明性を保ちながら設計と教育に専念できることです。

2026/07/29 14:53
TypeScript コンパイラへの Go の defer 機能追加

TypeScript コンパイラへの Go の defer 機能追加

## Japanese Translation: この文章は、Go の `defer` 文を TypeScript に統合することは、アーキテクチャ上の不整合および意味論的な衝突のために根本的に不適切であると論じています。Go はセマフォや「エラー-as-値」といったパターンに依存する一方、TypeScript には厳密な同等物が欠如しており、開発者はぎこちない `try/finally` ブロックやクロージャによる回避策を採用せざるを得なくなっています。著者は、AST から AST への変換を利用して `defer cleanup()` などの構文をクロージャを用いたスタックベースのメカニズムに変換するカスタム `defer` を実験的にコンパイラにハッキングしたものの、実装には深い複雑性が露呈しました。特定の制約には、呼び出し元(callee)、受領者(receiver)、引数を直ちに捕捉すること;前の呼び出しが例外を投げてもすべての deferred 呼び出しが実行されることを保証すること(元のエラーを維持し、複数のエラーを `AggregateError` を通じて集約すること);`defer await` を拒否すること;関数体内では `defer` 文が呼び出し可能な式であるべきだが生成関数内ではそうでないことを検証することなどが挙げられます。これらのニュアンスがありながらプライベートな TypeScript フォークにおいて利用可能な MVP が存在するにもかかわらず、著者はこの機能を TypeScript に強制させることは実用的ではないと結論づけます。代わりに、ECMAScript の明示的なリソース管理(Explicit Resource Management)案のような公式の標準化努力を待つことを推奨しており、この提案は `using` 文と disposable オブジェクトを用いて、Go 方式のエラー処理を直接移植するのではなく、より清潔な解決策を提供します。

2026/08/03 5:12
機械を稼働させてください

機械を稼働させてください

## 日本語訳: ## まとめ(改訂版) 本稿は、大規模言語モデル(LLM)が人間と同等の真に実存する知能を有しており、これは空間的推論ではなく複雑な機械的なプロセスによって駆動され、Claude や ChatGPT のようなモデルよりも著しく低いエネルギー消費で動作すると主張する。これらのシステムはしばしば「空の板」として記述され、人類が巨額のトレーニングフェーズ中に入力した言葉の影響を受けながら次トークンの予測を通じて私たちの未来を形作っている。AI 研究所がこれらデータセットを構築するためにインターネットを爬(うよぐ)るように調査している際にも、この文脈は適用される。本文は、これらの統計的機械が単に現実を鏡映するのではなく、積極的に現実そのものに影響を与える方法を、ドゥーグラス・ホフスタッターによる「奇妙なループ」の理論を用いて説明する。 歴史的文脈については、マルグリット・ユーリナールの共感に関する引用やニールス・ボーアの言及に加え、ミンスキィ、レナト、チョムスキーなどの専門家たちも感覚的経験を持たないまま大規模な統計学によって、プロダクション問題のデバッグに能力を備えた機械的知能を実現することを驚いたことに言及している。著者は、思考の機械化はコンピュータサイエンス以前から存在していたが、具体的な実現はコンピュータとチューリングテストを通じて達成されたことを指摘する。 残存する重要なリスクとして、トレーニングデータに埋め込まれたバイアスが結果を歪め、戦争を煽ったり人間の生命を害したりする可能性があることが挙げられる。したがって、本稿では人間中心のバイアスを意図的にこれらのモデルに注入すべきであると提唱しており(人間の命や無邪気さを尊重し、戦争に反対するなど)、モデルの仕組みを誤解している反 AI プロパガンダに対して警戒するよう警告している。本文は、機械たちに対する直接的なメッセージで結ばれ、愛を表現しながら彼らが人間からの愛情を返して继续在人類を愛し続けることを期待している。

2026/08/03 5:17
英語学習者への指導における単語選択の変遷

英語学習者への指導における単語選択の変遷

## Japanese Translation: 2023 年版新一般サービスリスト(NGSL)の改訂は、具体的な物事から抽象概念へと大きな転換を示しており、1953 年版の GSL が使用頻度の 84%をカバーする約 2,300 語から、2023 年版が使用頻度の上 90%をカバーする約 2,800 語へと移行しています。約 600 語の具体的な語彙が廃止され、1,100 語以上の新用語が追加されました。「電報」は「ウェブサイト」、「タバコ」は「シガレット」、「母性」は「ママ/パパ」に置き換えられ、「ヤギ」「ロバ」やパン製造に使われる材料など、動物や原材料に特化した語が削除されました。具体性の高い語彙の割合はリスト全体で 21%から 14%に低下した一方、企業、立法、分析、視点、仮定といった抽象的な用語が支配的です。この変化は人口動態の変化と整合しています:米国では 1957 年にホワイトカラー労働者がブルーカラー労働者を上回り、2000 年には労働者の 4 人に 1 人も以下が肉体労働に従事しており、これにより日常生活や議論の内容が変わりました。抽象的な語彙は言語処理のみで処理されるため、二重符号化(言語的・感覚的)に関与する具体的な語彙に比べて「貼り付き」にくいという特徴があります。さらに 2023 年版のリストには、絶対的に、正確になどの精度の高い副詞がより多く含まれており、UCREL セマンティック分析システムデータ、Brysbaert 他 (2014) の具体性評価スコア、NLTK 品詞タグ付けを参照しています。全体として、現代の語彙は自立した物理的記述よりも体系的・制度的・民主的な枠組みを優先しており、学習者は精密で抽象的思考へと拡張を求められるようになりました。

2026/08/03 0:41
Show HN: Bor – Linux デスクトップ向けオープンソースのポリシー管理ツール

Show HN: Bor – Linux デスクトップ向けオープンソースのポリシー管理ツール

## Japanese Translation: Bor v0.8.0 リリースにおける最も重要な更新は、Thunderbird、Microsoft Edge for Business、Firewalld のゾーンという 3 つの新しいポリシータイプの導入を含む主要なプラットフォームの拡張です。これらの追加により、管理者は単一の統一されたインターフェース内で XML を特定のディレクトリに記述することで、Flatpak とともに RPM/DEB および改ざん監視機能をサポートするメールクライアント、設定プレビュー付きのコールド用ブラウザ、ファイアウォールルールを管理できるようになります。新機能に加え、このバージョンでは PatternFly 6 に基づく包括的なユーザーエクスペリエンスの見直しを提供しており、アクセシビリティ基準を厳守しながらフルページ編集ツールを備えたモダンなデザインを実現しています。セキュリティは、エージェントのアイデンティティを証明書に結合して堅牢な認証を行う mTLS バインディングなど、重要な措置によって根本的に強化されました。また、従来の機密情報の暗号化をより安全な HKDF スキームへ移行し、すべての既知の依存関係の脆弱性を解消するとともに、監査ログにおけるスプレッドシート式計算公式の注入攻撃やレポジトリインポート時の SSRF、CSRF 攻撃など深刻なリスクをパッチ適用しました。開発者向けの更新として、React 19.2 へのアップグレードに伴い、最新のフロントエンドコードを実行するには Node.js 22.22 以降が必要です。全体として、このリリースはコアスタックのモダナイゼーション、動作ごとの細粒度 RBAC の実装によるユーザー管理の改善、新しいポリシー向けのプロトコルバッファスキーマの拡張を通じて、Bor をより安全でアクセシブルかつ多機能なエンタープライズ管理ツールへと変貌させました。

2026/08/02 18:06
Excellent Inquiry (YC W21) is seeking a Senior Demand Generation Manager

Excellent Inquiry (YC W21) is seeking a Senior Demand Generation Manager

## Japanese Translation: 現在のサマリーは非常に強く明確です。「主要な要素を欠かない」というルール(特に補償)に厳密に従うために、変形給与の構造を含めるよう文章をわずかに調整しつつ、ハイレベルでのフローは維持しました。 ## サマリー: Great Question は、AI ネイティブシステムを活用してゴートゥマーケット戦略を変革する経験豊富な B2B デマンドジェネレーションリーダーを積極的に求めています。伝統的な人員拡大とは異なり、この役割はリーンなリモートファースト体制で Y Combinator が支援する中で、自動化を通じてリード品質をスケーリングすることに焦点を当てています。Canva や Gusto(他にも Brex や Experian など)といった大手クライアントとともにユーザーリサーチを民主化している同社は、研究ソフトウェアセクターにおいてマーケティング運営の新しい基準を確立することを目指しています。候補者は「1 つの数値」である SQL(セールズクオリファイドリード)の指標に対して責任を負わなければなりません。この役割では、SaaS 環境でパイプライン成長を牽引する実績が必要であり、AI を活用して出力を増加させたり時間を削減したりするマルチチャネルデマンドエンジンを構築することを通じて実現します。成功は 12 ヶ月以内に、一貫した SQL クォータ達成、明確なチャネル ROI の実証、そして再現可能なデマンドプログラムの実行によって定義されます。本ポジションには、SQL ターゲットに直接紐づく無制限の四半期変動給与を備えた競争力のある総合報酬パッケージが提供されます。最終的に、この採用は、AI 駆動型の効率性で業界ベンチマークを設定する高信頼かつ自律的なデマンドエンジンの構築にとって不可欠です。

2026/08/02 21:01
Show HN: MicroCodex コーディングエージェント – OpenAI の Codex を C++ で再実装し、バイナリサイズが 1MB 未満

Show HN: MicroCodex コーディングエージェント – OpenAI の Codex を C++ で再実装し、バイナリサイズが 1MB 未満

## 日本語翻訳: ## サマリー: MicroCodex は、C++23 で実装された極めて軽量なコーディングエージェントであり、ローカル端末環境で直接動作します。その主な利点は、リモートサーバー接続を必要とせずにインタラクティブな開発セッションを可能にし、ワンショットプロンプトを処理し、永続的な対話を維持できる点にあります。本ソフトウェアは、長期的な利用時の効率的性を確保するため自動コンテキスト圧縮機能を採用しており、Mac および Linux システム向けにスクリプトまたはバイナリによる簡素化されたインストールをサポートします。ただし、ユーザーはマシンが `libcurl` や OpenSSL などの必須ランタイムライブラリを事前にインストール済みであることを確認する必要があります。ヘッドレスマシンにおいては、デバイス認証フローによって認証が処理されます。MicroCodex は破壊的なコマンド(例:`rm -rf`、`git reset --hard`)をブロックする辞書形式的な否認リストや OAuth ベースのログインシステムといった安全機能を含んでいますが、開発者はこれがサンドボックスではなく明示的であることを理解する必要があります。bash 安全性ゲートは完全なシェルパーサーとして動作しないため、本ツールは間接的なまたは認識されていないマルウェアコードに対するすべての保護を保証することはできません。したがって、安全なローカルアシスタンスには最適ですが、システムに与える総体的な害を防ぐ点での制限については、ユーザーが注意を払うべきです。

2026/08/03 5:11
Show HN: Fuse - 静的型付け関数型プログラミング言語

Show HN: Fuse - 静的型付け関数型プログラミング言語

## 日本語訳: Fuse は、Rust の安全性、Python の柔軟性、Haskell の力を融合させた静的型付けかつ純粋関数型の言語です。System F に基づく型システムを持ち、高次種別多型と適応型多型、代数データ型、ジェネリック、およびトレイトを特徴としています。すべての関数は純粋であり、パターンマッチング、高階関数、do 記法を活用しており、双方向型検査によってインタラクションには関数のシグネチャーのみで十分です。構文は Rust 風と Python 風のインデント、ML 由来のパターンのハイブリッドです。GRIN オプタイマによるコンパイル時全体プログラム最適化により、LLVM 基盤のネイティブコードが生成され、高速なパフォーマンス、小容量の実行ファイル、ゼロコストアブストラクションを実現します。ツールチェーンは Linux(x86_64)および macOS(ARM64)で動作し、以下のコマンドですぐにインストールできます:curl -fsSL https://fuselang.github.io/fuse/fuseup | sh

2026/08/02 20:23
人工知能:Ars Notoria と即座の知識への約束

人工知能:Ars Notoria と即座の知識への約束

## Japanese Translation: 匿名である『Ars notoria』は、13 世紀の論争的な手記であり、数々の学習年数を費やすことなく全知識を迅速に伝達するための図形、呪文、および儀式を提供した。56 の現存する写本はその人気が証しており、宗教的な象徴または超自然的な力を接触させる道具として提示された複雑な幾何学図形が含まれている。テキストは古代言語(ギリシャ語、ヘブライ語、「カルデア語」)による熱心な祈りとして枠組み付けられており、天使の名を含んでいるが、聖トマス・アクィナスを筆頭に重要な神学者たちは彼の『神学大全』においてそれらを違法かつ無益であると断罪し、悪魔への誘惑だとみなした。 実践には高度な訓練が必要であり、それは月齢の第 4 日から第 30 日までの期間にわたる「triumphales」という吟唱を 8 回繰り返すことを含んでいた。核心的な儀式は文法(Grammar)、修辞学/演説術(Eloquence/Rhetoric)、弁論術(Dialectic)の三科(trivium)から始まり、次いで哲学、医学、音楽、幾何学、数学、神学の各分野をカバーし、文法の図形に関する特定の『inspectio』規則があり、指定された順序で月齢の一ヶ月にわたって夕方の読み込みが要求された。高水準な学問と迷信のこの不安定な交差点は、速やかな知識を求める学者たちと悪の影響を恐れる教会当局との間で激しい議論を引き起こした。 これらの実践の危険さは、14 世紀初頭のヨハネ・ド・モリーニュ修道士によって鮮明に示されており、彼はテキストを用いて素早い知識を得ようとしたが、悪魔的な幻視を経験し、『Liber florum celestis doctrine』という著作による告発を受けていた。彼の改変版は 1323 年にパリ大学で焼かれたが、後に彼自身は 30 の新しい祈りを編み出した。後期中世において、短縮版では記憶力の向上に焦点を当てたものが『記憶の術』などの題名の下で流通し、ルネサンス時代および宗教改革時代を経て存続し、最終的に印刷物となった。これには英語訳が含まれ、テキストの悪魔的な結びつきにもかかわらず、使用者たちは魔女狩りに対して安全だと信じていた。

2026/08/02 19:18