日付別ニュース一覧

Inkling: Our Open-Weights Model

Grok Build

Show HN: Firefox in WebAssembly

Running Gemma 4 26B at 5 tokens/sec on a 13-year-old Xeon with no GPU

Duskers, the scary command line game, is getting a sequel

Brainless: Shadcn components that look like Claude Code, Codex and Grok

Voxatron

The End of Creativity

Book prizes don't work how you think

Mysteries of Telegram Data Centers (2022)

Show HN: misa77 - a codec that decodes 2x faster than LZ4 (at better ratios)

MITS: Rockets, Calculators, and Personal Computers

Prioritize mental health, and why communication is so important

Designing APIs for Agents

Show HN: Low-latency local LLM runner via OpenJDK Panama FFM (Java 22)

We don't use AI in any of our design or production processes

Towards a harness that can do anything

Twain Town, USA

Command Line Interface Guidelines

Open-source memory for coding agents, synced over SSH

Today I Rescued 7,234 Old GIFs

Show HN: Microcosm Industries – Simulation toys and software microcosms

Briar is in maintenance mode

My midlife crisis Corolla is fast, furious, and modded

SQLite に（Rust のような）エディション導入が必要です。

## 日本語訳: SQLite は lobste.rs など多くのプロジェクトで利用されている業界標準のデータベースですが、危険なデフォルト設定によりデータの安全性とパフォーマンスが損なわれています。特に重要な点として、外部キー制約はデフォルトで無視され、行 ID が再利用される際に無効な dangling リファレンスが発生します。同様に、列型も厳格に強制されず、並列での書き込みを行った場合、タイムアウト待ちを行う代わりに直ちに `SQLITE_BUSY` エラーを発生させます。さらに、パフォーマンス向上の重要な機能である Write-Ahead Logging（WAL）モードがそのままでは無効になっています。 この fragmentation を解消するため、記事では Rust の edition システムに類似した仮想的な `PRAGMA edition = 2026;` コマンドを提案しています。この単一行のコードは、自動で厳格なタイピングを有効にし、外部キー制約を強制し、WAL モードを起動し、適切な `busy_timeout` を設定し、同期挙動を調整します。このようなデフォルトを採用することで、参照エラーや型不一致を防ぎながら、複雑な手動構成をすべてのアプリケーションで管理する必要を迫られることなくパフォーマンスを向上させ、データ完全性を大幅に改善できます。

Mac ユーザーへの対抗心（1996年）

## Japanese Translation: 原文の要約は強い内容であり正確である。小幅な改善としては、「主要項目リストからの具体的事例を簡潔に言及する」（例：直接操作の制限のため PICT ファイルを変換すること、または「新しい情報がないことは良いニュース」というシステムフィードバック）などを盛り込んで concreteness を少し高めることは可能だが、これは必須ではなくオプションである。現状の品質を考慮すると書き換えは不要である： ## 要約： 記事は、従来の Macintosh インターフェースの原則がエキスパートユーザおよびネットワーク環境においては陳腐化していると論じている。代わりに、堅牢なメタファーと直接操作に代わり、言語ベースの相互作用、共有されたシステム制御、豊かな文脈手がかりを用いる「反 Mac（Anti-Mac）」のパラダイムを提唱する。この転換は不可欠であり、単純なモデルでは非表示オブジェクトの処理、膨大なデータ量の取扱い、あるいは単なる可逆性ではなく深い意図モデリングが要求されるタスクにおいてfails してしまうためである。 この提案は、かつて不慣れなユーザおよびスタンドアロンハードウェアの制約を正当化し、限られた一貫性を許容していた歴史的コンテキストに対する対応として機能する。しかしながら、現代の Web ダイナミクスおよび複雑なシナリオでは、可視的なアイコンへの依存ではなく、自然言語記述を通じて人間が理解を交渉するシステムが必要とされる。将来のインターフェースは、“ポスト・ニンテンドー世代”のシステムへ進化しそうだ。ここで、知的エージェントが反復的タスクを取り扱いながら、エキスパートユーザは時間経過とともに意欲的に複雑で言語ベースのツールを学習していくようになるだろう。したがって、ソフトウェア開発者は、共有制御および多様な表現を支援する環境を構築することで適応すべきである。産業側も、単なる「ゆるい」 forgiving な機能に依存するだけでは済みず、ユーザー履歴に対する深いモデルを構築して、高度なワークフローおよび動的相互作用を効果的に賄わねばならない。

金属有機骨格、化学の新たな奇跡素材

## 日本語翻訳： 現在のサマリーは大きな方向性はよく捉えていますが、リストに記載された具体的な証拠や規模感が不足しています。以下に、欠けている具体性を統合しつつ流れを維持した改善版を示します： **改善サマリー** 金属–有機骨格（MOFs）は、「網目状化学（reticular chemistry）」と呼ばれる分野を 20 年以上前にカリフォルニア大学バークレー校の化学者オマル・ヤギが開拓したもので、超高孔隙結晶固体として開発されました。これらの物質は既知の物質の中で最大の内部表面積を有しており、1 グラムを平らに広げた場合、サッカー場の全域を覆うほどです。2014 年、ヤギ氏のチームはジルコニウムと adipic acid を用いて、太陽エネルギーのみを用いて極めて乾燥した空気から水を採取できる特定の MOF を作製しました。このシステムは夜間に湿気を捕捉し、凝縮のための蒸気として放出します。これにより、12 時間ごとに 1 ポンドあたり約 1.3 リットルの新鮮な水を収集でき、個人を維持するのに十分な量であり、MIT で設計された装置と組み合わせれば村単位に拡大させることができます。水補給のみならず、これらの骨格は発電所から CO₂を掘り起こし全球温暖化と戦うだけでなく、がん細胞へ直接ターゲティングされた化学療法薬を届けることで医療を、より安全で作用の遅い殺虫剤を放出することで農業を変革することでもあり、20,000 種以上のバリエントが存在します（関連する構造として COFs や ZIFs も含まれる）。MOFs は清潔な水へのアクセス、気候安定性、そしてヘルスケアを同時に進める画期的な材料発見を表しています。

Microtik で LLM をネットワーク化するには

## Japanese Translation: 大規模言語モデル（LLM）は、マイクロティクのネットワーク設定を大幅に効率化でき、ワイヤレスアクセスポイントへの CAPsMAN の展開など、タスクに対して強力だが予測困難な「乗数効果」をもたらします。しかし、その「混沌とした性質」のためには、人間の厳格な監督が必要であり、「緊密なリード」と不信感、そして厳格な検証の採用が求められます。ベストプラクティスとしては、Telnet、FTP、非安全な API ポート、www のような不安全なプロトコルを無効化し、SSH 上の REST/JSON API を採用してテキストパイピングの問題を回避することを含みます。プロフェッショナルは、デバイス間で RouterOS バージョンの一貫性を維持し、変更前後および中の設定ダンプを行いバージョン管理を行うこと、NTP の設定を行うこと、移行前に SSID、パスワード、DHCP 予約などを記載した復旧用のランブックを用意することを推奨します。IP コンフリクトまたは重複ネットワークを解決するには、「MAC-Telnet」（L2 telnet）を使用し、Homebrew フォーミュラやクロスプラットフォームな WinBox サポートなどのツールを活用します。合意確認のためには、複数の LLM（例：Antigravity、Codex、Opus、Fable）に相談し、出力を相互照査してください。LLM が重い作業を担う一方で、バージョン管理、CLI にの familiarity（MCP サーバーを持たずとも）、およびマルチモデル合意を組み合わせた堅牢なワークフローを構築することが、エラー削減と安定したビジネスネットワーク運用を確保するために不可欠です。

SQLite の文字列中のゼロ改行文字 (Null Character)

## Japanese Translation: SQLite はテキストカラム内に埋め込まれた NUL 文字（ASCII 0x00）を許可していますが、その使用は推奨されていません。SQLite の内部関数は、そのようなデータを最初の NUL までの文字列として扱い、`length()` および `quote()` はその点までの字符数を数え/表示し、CLI 上の `.dump` コマンド（`.mode quote` が設定されていると仮定）は最初の NUL 以降のすべてを省略します。その結果、`SELECT * FROM t1 WHERE b='abc'` といった検索では、カラムの値が `'abc'||char(0)||'xyz'` で、実際に 7 文字保持されていても、行が返却されないことがあります。SQLite は完全な長さを知っていますが、CLI の出力や一部の関数は、ユーザーに文字列が早期で終わっていると誤認させる可能性があります。真の内容を確認するには、カラムを BLOB にキャストします（例：`CAST(b AS BLOB)`）。埋め込まれた NUL を検出するには、`instr(X, char(0))` を使用し、これが最初の NUL の位置を返すか、存在しない場合は 0 を返します。NUL を含む行を特定するには、`SELECT count(*) FROM t1 WHERE instr(b,char(0))>0`を使用します。必要であれば、`UPDATE t1 SET b=substr(b,1,instr(b,char(0))) WHERE instr(b,char(0));` で NUL とその後のすべての文字列を削除できます。これらの手順は、沈黙するロジックエラーを防ぎ、本番環境での信頼性の高いテキスト処理を保証します。（コンテンツは 2022-05-23 に最終更新）

Show HN: E--（イーン）── イングリッシュとピソンの間で切り替えられる言語

## Japanese Translation: E--（英字表記：e-minus-minus）は、PyPI で利用可能な新しいプログラミング言語であり、`pip install e-minus-minus` コマンドでインストールできます。この言語は、スタンドアロンの Python コードに決定論的にコンパイルすることを目的としています。動作モデルは二段階のパイプラインを採用しており、まず（オプションとして）大規模言語モデル（LLM）がノーマライザーとして機能し、自由な英語入力を処理するとともに、トランスパイル時に値スロットを解決します。次に、決定論的なコンパイラーが正規化された形を純粋な Python コードに変換します。E-- は閉じた文法によって曖昧さを排除し、創造的な作者作業と実行プロセスを分離することで、生成された最終プログラムが自己完結型で再現可能であることを保証し、ランタイム時にネットワークへのライブアクセスや API キーの依存を必要としません。特定のファイルタイプ（`.emm` 拡張子）に対応しており、キャッシュされたバージョン（`.emm_cache.json`）が存在すれば不要なノーマライゼーションをスキップするように自動的に検出されます。生成ツール自体は Apache License 2.0 の元ですが、生成された Python 出力はライセンス上の制約から解放されています。現在初期設計段階にある E-- は、柔軟な自然言語入力と堅牢なソフトウェア展開の両方を統合し、詳細な仕様については `docs/spec.md` に記載されています。

田原設備

## Japanese Translation: このテキストでは、Tambara モジュールに関連付けられた profunctor オプティクスを通じてトラバーサルオプティクスがどのように表現されるかを説明しています。中心的な洞察は、オプティクスがモノイダル作用と Tambara モジュールの交点に位置し、Tannakian 再構成理論との関連性を持っていることです。Mateusz Stroiński の論文「Module categories, internal bimodules and Tambara modules」に従い、Tambara モジュールは双圏（proarrow equipment）における水平矢印として扱われます。その指導的なスローガンは、「Tambara モジュールはモノイダルフルンクターに対して、profunctors はフルンクターのようになる」というものです。 豊潤化された圏論的設定において、Tambara モジュールは actegories（0-cell）間の接続役を果たし、1-cell は余 end を通じて合成される Tambara モジュールで、2-cell は自然変換によって構成される双圏を形成します。この枠組みでは、モノイダルフルンクターに沿った Tambara モジュールの持ち上げと制限を通じて、追加の 2-cell を定義することで proarrow equipment が拡張されます。Endo-Tambara モジュールは、profunctor 合成をテンソル積、ホム関数を単位とするモノイダル双圏を与えます。 実用的には Haskell の場合、Tambara モジュールはモノイダル圏内の左作用の互換性を表す typeclass としてモデル化されることができます。オプティクスは可表な profunctors に対する自由な Tambara モジュールとして定義され、Yoneda 簡約を通じて導出可能です。余関手のようなアジュンクションの活用（特に右副関手）と Yoneda 簡約を組み合わせることで、構造を積分する効果的に機能させながら、乗法オプティクスと加法オプティクスの実装を効率よく導出でき、車輪の再発明なしに実現できます。したがって、トラバーサルにおいて使用される多項式関手から構築された抽象は、直積とカリーアのアジュンクションを通じて具体的に Haskell コードとして直接変換されます。この仕事は理論的な圏論を実用的な関数型プログラミングと統合し、次世代のデータ操作ライブラリのための堅牢な基盤を提供します。