「審美眼こそが真実」〜DHHが語るAIエージェント時代の技芸論 kuranuki.sonicgarden.jp/archives/36034
「審美眼こそが真実」〜DHHが語るAIエージェント時代の技芸論 | Social Change!
AI時代に問われるのは、コードを書く速さではなく、美しさと正しさを見抜く眼。DHH本人公認のインタビュー翻訳記事。
kuranuki.sonicgarden.jp
August 24, 2026 at 1:02 PM
「審美眼こそが真実」〜DHHが語るAIエージェント時代の技芸論 kuranuki.sonicgarden.jp/archives/36034
あなた Kit っていうのね
blog.mozilla.org/en/firefox/m...
blog.mozilla.org/en/firefox/m...
Meet Kit, your companion for a new internet era | The Mozilla Blog
The web shouldn’t feel like it’s working against you. Yet so much of it now is designed to pull you off course: endless feeds, pop-up windows and conte
blog.mozilla.org
August 10, 2026 at 4:33 AM
あなた Kit っていうのね
blog.mozilla.org/en/firefox/m...
blog.mozilla.org/en/firefox/m...
published.
zenn.dev/finatext/art...
zenn.dev/finatext/art...
形式手法ツール TLA+ でモデル検査を試してみた
zenn.dev
June 24, 2026 at 12:15 PM
published.
zenn.dev/finatext/art...
zenn.dev/finatext/art...
Vericoding というワードが2025年後半に提唱されてから広まってきているらしい
May 31, 2026 at 1:44 PM
Vericoding というワードが2025年後半に提唱されてから広まってきているらしい
大々的にLeanだ
zen.ac.jp/zmc/topics/j...
zen.ac.jp/zmc/topics/j...
LANA プロジェクト発表にあたって | ZMC
2026年3月31日に行われたLANAプロジェクト発表に際しての各員のコメントを掲載いたします。
若山正人：ZEN 大学学長
学長の若山です。
本日はお忙しいなか、本学ZEN数学センター（ZMC）の「LANAプロジェクト」発表の場にお越しいただき感謝申し上げます。AI時代に入った現在、純粋数学においても本質的な場面でのコンピュータ証明の有効性や可能性の広がりが現実味を帯びています。今日は、...
zen.ac.jp
March 31, 2026 at 2:59 PM
大々的にLeanだ
zen.ac.jp/zmc/topics/j...
zen.ac.jp/zmc/topics/j...
Ghosttyについにcmd+fが実装された39
ghostty.org/docs/install...
ghostty.org/docs/install...
1.3.0 - Release Notes
Release notes for Ghostty 1.3.0, released on March 9, 2026.
ghostty.org
March 11, 2026 at 12:35 PM
Ghosttyについにcmd+fが実装された39
ghostty.org/docs/install...
ghostty.org/docs/install...
関数の集合も型として使えると聞いて、関数列の話をはじめて聞いたときのことを思い出した
March 1, 2026 at 11:12 AM
関数の集合も型として使えると聞いて、関数列の話をはじめて聞いたときのことを思い出した
> AWSのナレッジを生成AIで参照できる「AWS Knowledge MCP Server」正式版が登場。公式のドキュメントやAPIリファレンス、アーキテクチャガイダンスなど情報源に － Publickey
www.publickey1.jp/blog/25/awsa...
www.publickey1.jp/blog/25/awsa...
AWSのナレッジを生成AIで参照できる「AWS Knowledge MCP Server」正式版が登場。公式のドキュメントやAPIリファレンス、アーキテクチャガイダンスなど情報源に
Amazon Web Servicesは、生成AIでAWSのさまざまなナレッジを参照できる「AWS Knowledge MCP Server」正式版のリリースを発表しました。 生成AIを用いて目的の情報をすぐに参照できる AWS Knowl...
www.publickey1.jp
October 5, 2025 at 6:55 AM
> AWSのナレッジを生成AIで参照できる「AWS Knowledge MCP Server」正式版が登場。公式のドキュメントやAPIリファレンス、アーキテクチャガイダンスなど情報源に － Publickey
www.publickey1.jp/blog/25/awsa...
www.publickey1.jp/blog/25/awsa...
iPhone の Shortcuts で時間で Wallpaper が変わるようにしてみた。いい感じ
September 1, 2025 at 12:40 PM
iPhone の Shortcuts で時間で Wallpaper が変わるようにしてみた。いい感じ
Cloud Native Maturity Model
maturitymodel.cncf.io
maturitymodel.cncf.io
maturitymodel.cncf.io
February 8, 2024 at 2:31 PM
Cloud Native Maturity Model
maturitymodel.cncf.io
maturitymodel.cncf.io