1.
AI・機械学習
Qwen3.8-Max: コーディングと共同作業の新たな基準(qwen.ai)
Qwen3.8-Max: A New Bar for Coding and Cowork
Alibaba Cloudが開発した大規模言語モデル「Qwen3.8-Max」が発表されました。このモデルは、特にコーディングタスクにおいて、以前のバージョンよりも大幅に性能が向上し、開発者やAIアシスタントとしての活用が期待されています。
2件の記事が翻訳待ちです（30分以内に自動翻訳されます）
2.
Web開発
Show HN: Isopolis – SFのアイソメトリックピクセルマップ(sf.isopolis.city)
Show HN: Isopolis – isometric pixel map of SF
Isopolisは、サンフランシスコのアイソメトリックピクセルマップを表示するプロジェクトです。OpenStreetMapのデータを利用しており、インタラクティブに都市の景観を探索できます。
3.
プログラミング
CP/M-386 – 386保護モード向けのCP/M、CP/M-68Kから派生(github.com)
CP/M-386 – CP/M for 386 protected mode, derived from CP/M‑68K
CP/M-386は、CP/M-68Kを基に開発された、386プロセッサの保護モードで動作するCP/Mオペレーティングシステムです。現在開発初期段階にあり、32ビット保護モード実装、フロッピーディスクまたはGRUBからのブート、VGAテキストモードとシリアルコンソールをサポートしています。コンパイルにはAWK、GCC、NASMなどのツールが必要で、NetBSD、FreeBSD、LinuxなどのOS上でビルド可能です。
4.
プログラミング
Karpathy’s Pelican(twitter.com)
Karpathy’s Pelican
Andrej Karpathy氏が自身のウェブサイト「xcancel.com」で公開したPelicanというプロジェクトに関するツイートです。このツイートは、Pelicanプロジェクトへのリンクを含んでおり、技術的な詳細や進捗状況が共有されている可能性があります。
5.
Web開発
Show HN: ssh.place(ssh.place)
Show HN: ssh ssh.place
ssh.placeは、SSH経由でアクセスできるインタラクティブな共同描画キャンバスサービスです。サインアップは不要で、SSHキーがあれば誰でも参加できます。矢印キーやWASDキーでカーソルを操作し、数字キーで色を選択して、15秒のクールダウンタイマーを待ってから描画します。このサービスは色のみをサポートし、テキストの書き込みはできません。
6.
Web開発
Show HN: 手書きブログプラットフォーム(handwritten.blog)
Show HN: A Handwritten Blogging Platform
このプラットフォームは、美しい手書き風のノートやブログ投稿を作成・共有するための場所を提供するというアイデアに基づいています。URLに示されている例のように、パーソナルなコンテンツを表現するのに適した環境を目指しています。
7.
オープンソース
Book Corners が OpenStreetMap に貢献を同期しない理由(andreagrandi.it)
Why Book Corners won't sync contributions back to OpenStreetMap
Book Corners は、ユーザーが追加した公共の書架情報を OpenStreetMap (OSM) に貢献する機能を検討しましたが、実装を見送りました。OSMへのデータ寄贈には、詳細な計画の公開、コミュニティとの協議、ライセンスの確認、継続的な運用責任など、小規模プロジェクトにとって過大な負担が伴うことが判明したためです。著者は、技術的な側面だけでなく、組織的・社会的な契約の重要性を強調し、現時点ではこの機能の実装がプロジェクトの目的と釣り合わないと結論づけました。
8.
AI・機械学習
6502プロセッサ上の自己回帰言語モデル(mattbeton.com)
Autoregressive Language Model on the 6502 Processor
著者は、8ビットの6502プロセッサ（RAM 32KB）上で動作する、Mambaベースの自己回帰言語モデルを訓練し、推論エンジンを開発しました。限られたメモリ（25KB）内に9KBの推論コードと13KBのモデル重みを収めることに成功しました。6502プロセッサは乗算命令を持たないため、-1、0、1の三項値（ternary）重みを持つBitNetモデルは、行列乗算を加算・減算操作に置き換えられるため、この環境に適しています。
9.
プログラミング
Show HN: Kakehashi – Experimental userspace to run macOS binaries on Linux ARM(github.com)
Show HN: Kakehashi – Experimental userspace to run macOS binaries on Linux ARM
Kakehashiは、Linux ARM上でmacOSバイナリを実行するための実験的なユーザー空間翻訳レイヤーです。Darwin Mach-Oバイナリをロードし、libSystemをマッピングしてBSDシステムコールを翻訳することで、clangや7-Zip、curlなどの実際のゲストプログラムを実行できます。これは、高価なmacOSランナーの代わりに安価なLinux ARMランナーでmacOSツールを実行することを目的としており、CIでのコスト削減に貢献します。
10.
その他
ノートテイキングとパーソナルナレッジマネジメント(unattributed.cc)
Note-Taking and Personal Knowledge Management
この記事は、パーソナルナレッジマネジメント（PKM）システム、特にObsidianに関するBrennan氏の論考に疑問を呈しています。著者は、ツール自体が貢献を生み出すのではなく、人々が貢献できるようにするものであると主張し、PKMシステムの価値やその貢献度を測るBrennan氏の問いかけ方を批判しています。PKMシステムは個人の活動を支援するものであり、その有効性は個々のユーザーのシステム構築能力に依存すると論じています。
11.
プログラミング
開発者がツールに愛着を持つ理由：ツールは信頼をエンコードするから(stackoverflow.blog)
Developers are attached to tools because tools encode trust
開発者は長年使い慣れたツールに強い愛着を持つ傾向があり、それは単なる慣れ以上の、ツールがエンコードする信頼に根差しています。新しいAIコーディングツールが登場する中で、開発者はその予測可能性と信頼性を重視しており、ツールとプロセス、そして文化の連携が新たな信頼構築の鍵となります。
12.
プログラミング
SwiftUI 7年後: 平凡さの物語(ykvm.com)
SwiftUI After 7 Years: A Story of Mediocrity
この記事は、SwiftUIがリリースから7年を経て、その進化と現状について考察しています。著者はSwiftUIを「平凡」と評価し、その長所と短所、そして将来の展望について論じています。特に、開発者コミュニティにおけるSwiftUIの受け入れられ方や、今後の改善点に焦点を当てています。
13.
セキュリティ
RFC 9851: TLS 1.2はフィーチャーフリーズに入ります(rfc-editor.org)
RFC 9851: TLS 1.2 is in Feature Freeze
RFC 9851は、TLS 1.2プロトコルのフィーチャーフリーズ（機能凍結）を宣言する文書です。TLS 1.3への移行が進む中、TLS 1.2への変更は、緊急のセキュリティ修正、新しいTLS Exporterラベル、および新しいALPNプロトコルIDを除き、承認されなくなります。これはTLSにのみ適用され、DTLSには適用されません。
14.
翻訳待ち
OpenAI's super PAC is funding AI-generated news site attacking industry critics(modelrepublic.org)
OpenAI's super PAC is funding AI-generated news site attacking industry critics
15.
科学・技術
スノーレパードの神話(rubenerd.au)
The Myth of Snow Leopard
2010年にリリースされたMac OS Xのバージョンである「スノーレパード」は、「新機能ゼロ」を謳い、システムの洗練、効率向上、バグ修正に焦点を当てたことで知られています。しかし、筆者は当時、Finderの深刻な安定性問題やハードウェア互換性の問題に直面し、OSをダウングレードした経験を語っています。スノーレパードが安定性と洗練の象徴であったという神話は、現代でも多くのユーザーが新機能よりも安定性を求める声として残っていますが、その実態はバグ修正を要する複雑なリリースでした。
16.
AI・機械学習
心の計算理論 (2015)(plato.stanford.edu)
The Computational Theory of Mind (2015)
心の計算理論（CTM）は、心、特に思考、推論、問題解決などの精神プロセスが、計算システム、つまり機械のように機能するという考え方です。この理論は1960年代から70年代にかけて認知科学の中心的な役割を果たしましたが、近年は競合するパラダイムからの圧力に直面しています。CTMの支持者は、心がどのように「計算」するのか、その計算がどのように神経生理学や意図的な記述と関連するのかを説明する必要があります。
17.
その他
小説を読み、それ以外は忘れよ(hedgehogreview.com)
Read the Novels and Forget Everything Else
作家パトリック・オウブライアンは、その歴史小説が高く評価される一方で、自身の経歴を偽っていたことが発覚し、文学界に衝撃を与えました。しかし、読者は彼の芸術と人格を切り離し、作品に没頭することを推奨しました。この記事は、芸術と伝記、そして作家の人格との間の複雑な関係を探求しています。
18.
Web開発
Show HN: Mu – エージェントのためのツール(github.com)
Show HN: Mu – Tools for Agents
Muは、エージェントが日常的なインターネットリソース（ニュース、ウェブ検索、メール、市場、天気、動画、場所、画像、ファイル、カレンダー、連絡先など）をツールとして利用できるようにするプラットフォームです。67種類のツールが単一のエンドポイントで提供され、個別にサーバーを構築する必要がありません。MuはAPIのラッパーではなく、メールサーバーや検索インデックスなどを自身で実行します。オープンソース（AGPL-3.0）で、ホスト版（micro.mu）または単一のGoバイナリでのセルフホストが可能です。
19.
20.
その他
Show HN: Framework 12をきしむドアのように鳴らす(github.com)
Show HN: Make your Framework 12 sound like a creaky door
このプロジェクトは、Framework 12ラップトップに搭載されているヒンジ角度センサーを利用して、ラップトップを開閉する際にきしむようなドアのような音を生成するものです。Linux上で動作し、既存のLidAngleSensorプロジェクトをFramework 12用にカスタマイズしたものです。
21.
その他
英語学習者に教える単語はどのように変化したか(pudding.cool)
How the words we teach English language learners changed
1953年版と2023年版の英語学習者向け必須単語リスト（General Service List）を比較すると、70年間で社会の変化が浮き彫りになる。具体的な物や行動を表す単語が減少し、抽象的な概念やシステム、自己管理に関する単語が増加しており、私たちの生活や思考様式の変化を示唆している。
22.
プログラミング
F*: 一般目的の証明指向プログラミング言語(fstar-lang.org)
F*: A general-purpose proof-oriented programming language
F*は、純粋関数型プログラミングと効果的プログラミングの両方をサポートする、一般目的の証明指向プログラミング言語です。依存型とSMTソルバーや戦術ベースの対話型定理証明に基づいた証明自動化を組み合わせ、OCaml、F#、C、Wasm、アセンブリなどへの抽出が可能です。Microsoft Research、Inria、コミュニティによって活発に開発されており、HACL*、ValeCrypt、EverCrypt、EverParseといった高信頼性ソフトウェア開発プロジェクトで利用されています。
23.
AI・機械学習
私の個人的なAIベンチマーク：「ハプスブルク顎を持つカエルのSVGを生成する」(frogs.vaguespac.es)
My personal AI benchmark: "Generate an SVG of a frog with a Habsburg jaw."
AIモデルが「ハプスブルク顎を持つカエルのSVGを生成する」という指示にどのように応答するかを評価する個人的なベンチマークについて論じています。複数のAIモデルの実行結果を比較し、生成されたSVGの構造的ラベルや、顎の突出、上唇の後退、下歯の突き出しといった解剖学的特徴に関する注釈の質を分析しています。AIが指示をどの程度正確に解釈し、創造的かつ詳細な描写を生成できるかの能力を測るための興味深いテストケースとなっています。
24.
インフラ・DevOps
Show HN: NixOS-DGX-Spark – DGX Spark上のNixとNixOS(github.com)
Show HN: NixOS-DGX-Spark – Nix and NixOS on the DGX Spark
NVIDIA DGX Spark上でNixとNixOSを利用するためのリポジトリが公開されました。DGX OS上でNixを使用するプレイブックの試用や、NixOSをDGX SparkにインストールしてNixの完全な体験を得ることができます。USBイメージとNixOSモジュールが提供されており、Asus Ascent GX10でも動作します。
25.
その他
TinyNESレビュー – 超ニッチなNESコンソール(blog.lon.tv)
TinyNES Review – A Super Niche NES Console
TinyNESは、オリジナルのNESハードウェアと最新のオープンソースデザインを融合させた、非常にニッチな用途向けに設計されたコンソールです。オリジナルのNESのCPUとPPUチップを使用しつつ、新しいコンポーネントでクリーンな映像と音声出力を実現しています。現代的な映像出力はありませんが、エミュレーターやFPGAに満足しない、オリジナルのハードウェア体験を求める層に訴求する製品です。
26.
科学・技術
When transit passes were designed by hand(letterformarchive.org)
When transit passes were designed by hand
1930年代から1960年代にかけて、ミルウォーキーのエレクトリック鉄道＆ライトカンパニー（TMER&L）が発行していた、手書きの文字と鮮やかな色彩が特徴的な週刊交通パスに関する記事です。これらのパスは、単なる実用的なチケットから、地域イベントや歴史を描いた芸術作品へと進化し、1992年まで手作業で制作されていました。現代のデジタル化された交通システムとは対照的に、これらのパスはデザインと地域文化の融合を示しています。
27.
ビジネス・スタートアップ
カリフォルニア住民のデータ削除要求、DROP、8月1日から執行可能に(nbcsandiego.com)
Californians' data deletion requests, DROP, become enforceable Aug. 1
カリフォルニア州のプライバシー法であるカリフォルニア州消費者プライバシー法（CCPA）に基づき、住民がオンライン企業に自身の個人データの削除を要求できる権利が、8月1日から執行可能になります。この権利は、カリフォルニア州民がオンラインで提供する個人情報の収集と販売を制限するCCPAの「DROP」（Data Rights Optimization Program）と呼ばれる条項の一部です。企業は、削除要求があった場合、その要求を第三者に開示または販売しないことを保証する必要があります。
28.
プログラミング
Show HN: Shitty – 高速なターミナル。メモリ安全性はないが、あなたのものより高速(github.com)
Show HN: Shitty – fast terminal. Memory-unsafe and faster than yours
Shittyは、低遅延、高速起動、予測可能なリソース使用量を目指して開発された、メモリ安全性を持たない高速なターミナルエミュレータです。CPU上にターミナル状態を保持し、VulkanやMetalといったネイティブバックエンドでレンダリングを行います。パフォーマンス比較では、多くの既存ターミナルを上回る結果を示しています。
30.
セキュリティ
TP-Link TL-841Nのroot化、ファームウェア解析、および永続的な認証情報(blog.juni-mp4.com)
Rooting, firmware analysis and persistent credentials of TP-Link TL-841N
TP-Link TL-841Nルーターのroot化、ファームウェアの解析、および永続的な認証情報の取得に焦点を当てた技術的な分析記事です。セキュリティ研究やデバイスの内部構造への理解を深めるための情報を提供します。