Skip to content

Instantly share code, notes, and snippets.

@koriym
koriym / BorisCherny.md
Created April 15, 2026 02:33
Boris Cherny interview

1. イントロダクション:コーディングの終焉 (00:00 - 03:49)

ボリス: 「私は11月以来、自分で一行もコードを書いていません。100% Claude Codeが書いています。毎日10から30のプルリクエストを出しており、今この収録中も5つのエージェントを走らせています。」

レニー: 「コードを書くのが恋しくなりませんか?」

ボリス: 「今ほどコーディングを楽しんでいる時はありません。細かい作業(Minutia)を気にしなくて済むからです。エンジニア一人あたりの生産性は200%向上しました。1、2年後には、コードの書き方を学ぶ必要すらなくなるでしょう。コーディングという問題は、大部分において『解決済み』になったのです。」

2. なぜAnthropicに戻ったのか (03:50 - 05:35)

@koriym
koriym / 深層比較.md
Created April 9, 2026 03:16
深層比較:BEAR.Sunday vs Laravel

(koriym) 以下はqwen3-coder-next:latest を用いて「https://bearsunday.github.io/llms-full.txt を理解して、BEAR.SundayとLaravelを深く比較してください」という問いに対する答えです。


(qwen) 以下は、表面のコマンドや構文ではなく、「設計思想・アーキテクチャ哲学・長期 的保全性」という深層を、BEAR.Sunday と Laravel で徹底的に比較したものです。


@koriym
koriym / tdd.md
Created March 26, 2026 16:06
Design by Buzzword TDD編

2003年、Kent Beckは『テスト駆動開発』を出版しました。「テストを自動化する」という話ではありません。不確実なプログラミングという作業の中で、一歩ずつ理解を深め、設計を導き出すためのワークフロー。Beckが書いたのはそういう本でした。

核心は、分析・設計・実装を時間軸で切り離し、小さな歩幅で繰り返すことにあります。

  1. **分析(テストリスト)**── 解くべき問題を「期待される振る舞い」としてリストアップする
  2. **インターフェースの設計(テストを1つ書く)**── リストから一つ選び、「どう呼び出されるのが理想か」を決める
  3. **実装(テストを成功させる)**── 設計の良し悪しは脇に置き、振る舞いの実現だけに集中する
  4. **実装の設計(リファクタリング)**── 動作が保証された状態で、初めて内部構造を整える

一度に一つのことだけに集中する。問題を解きながら設計が立ち上がってくる。オーバーエンジニアリングも、設計の放棄も、このリズムが防いでいました。

koriym:

記事 で技術的に間違っているところは?

Gemini:

(中略)

2. 「Getter不要論」の現実的な制約

@koriym
koriym / 静的解析ツールの表現力・深さ・バグ検出能力.md
Last active November 21, 2025 11:36
静的解析ツールの表現力・深さ・バグ検出能力

プログラミング言語 型システム評価表 (2025年11月)

評価軸: 「型でドメインルールを表現できる能力」×「その型制約が事前に検証できる保証」 (事前検証は、コンパイル時、静的解析時、実行前のいずれでも良い)

Claude Opus 4.1

言語・環境 スコア 評価・理由
Rust 98 型による設計の極致Sum types、Pattern matching、Trait boundsによる表現力は圧倒的。所有権システムが型レベルでメモリ安全性まで保証。ただし複雑なライフタイムは時に過剰な制約となる。完璧ではないが、現時点の到達点。
@koriym
koriym / brew-backup-and-restore.sh
Created July 16, 2025 03:43
Backup brew settings
#!/bin/bash
# バックアップファイルの保存先
BACKUP_DIR=~/brew-backup
mkdir -p "$BACKUP_DIR"
echo "📦 Saving installed formulae..."
brew list > "$BACKUP_DIR/formula-list.txt"
echo "🧃 Saving installed casks..."
@koriym
koriym / Cubism and Unbundling.md
Created April 1, 2025 14:42
Cubism and Unbundling

The terms "cubism" and "unbundling" come from very different domains—art and business/economics, respectively—but they can be metaphorically linked in discussions about deconstruction, fragmentation, and reassembly. Here's how:

1. Cubism (Art Movement)

  • Developed by Pablo Picasso and Georges Braque in the early 20th century.
  • Breaks objects into geometric fragments, showing multiple perspectives at once.
  • Rejects a single viewpoint, instead presenting a deconstructed, abstracted reality.
  • Example: Picasso’s Les Demoiselles d’Avignon (1907) fractures human figures into angular planes.

2. Unbundling (Business/Economics)

  • Refers to breaking apart traditionally bundled products/services into standalone offerings.
@koriym
koriym / melting_horizon.txt
Last active February 18, 2025 22:18
Melting Horizon (poem)
The intertwined shore becomes green fingers
that embrace the quiet sea
Islands float as if to hide the horizon,
merging with the intricate coastline
Gentle waves come
through the gaps in the shore,
slowly advancing and retreating
@koriym
koriym / DeepSeekSearch.md
Created February 3, 2025 15:19
DeepSeekの創業者、ビジョン、中国での評価、競合分析

了解しました。DeepSeekの創業者や主要な経営陣の名前と経歴、過去の発言、中国圏での報道や評価、またライバル企業との関係や違いについて調査します。

この情報を整理し、詳細なレポートを作成したうえでお知らせします。

DeepSeekの創業者、ビジョン、中国での評価、競合分析

創業者および主要経営陣の経歴

  • 梁文锋(Liang Wenfeng) – DeepSeekの創業者でありCEOです。1980年代生まれの中国人で、広東省湛江出身。中国屈指の名門である浙江大学で情報・通信工学を専攻し、学士号と修士号を取得しました。
  • 量化投資から起業へ – 大学在学中から機械学習を活用した株式取引に取り組み、2007–2008年の金融危機の頃からAIによる自動取引の可能性を探りました。2015年には量的ヘッジファンド「幻方(High-Flyer)」を共同創業し、AIモデルによる株式運用で成功を収めました。幻方は2016年に運用資産10億元(約1.38億ドル)から2019年には100億元(約13.8億ドル)超へと急成長しています。梁氏は2019年、同ファンドの表彰式で「中国の量化投資の未来」について講演し、自動化されたAIによる投資の重要性を説いています。こうした金融分野での経験と成功が、後のAI企業創立の下地となりました。
  • DeepSeekの設立 – 2023年7月、梁氏は幻方の社内プロジェクトとしてDeepSeekを正式に設立し、人工知能分野に本格参入しました。本社は杭州に置かれ、中国のヘッジファンド幻方が出資・所有する形で運営されています。DeepSeekのチームは創業当初わずか139名のエンジニアと研究者で構成されており、OpenAIの約1200名、Anthropicの500名超という規模に比べ極めて小規模です。社員の多くは中国国内の若手人材で占められており、梁氏自身「経験はそれほど重要ではない」として大胆な若手採用を行っていると報じられています。創業から18か月足らずで開発した大規模言語モデルが世界トップレベルの性能を示し、一躍中国テック業界の顔となった梁氏は、CNNから「中国のサム・アルトマン」と評されるまでになっています。