TeruKatsu's Blog

ロト6の公開データ、AI、IT、Computer Science、個人開発に関する感想などをまとめています。

タグ: Pull Request · タグ解除

LaravelのIssue禁止方針を示す画面
IT

Issue禁止・PRのみ——そして史上最長の数学プログラム

LaravelがIssueを禁止しPRのみにした合理性と、Claudeが费马の最終定理をLeanで形式化した史上最長の数学プログラム。AI時代の貢献と検証を紹介します。

約 4 分
  • Laravel
  • Pull Request
  • オープンソース
  • Claude
  • 数学
  • Lean
  • 形式検証
続きを読む
Paul Grahamや田舎暮らしを連想させるイメージ
IT

10億ドルの稼ぎ方と、「PRは無料ではない」という話

Paul Grahamの「10億ドルを稼ぐ方法」講演の要点と、SQLite作者が外部PRを拒否する理由。成長率とメンテコストという二つの現実を整理します。

約 4 分
  • スタートアップ
  • Paul Graham
  • SQLite
  • オープンソース
  • Pull Request
  • 起業
  • ソフトウェア開発
続きを読む