芳賀 雅樹 / Masaki Haga (@silasolla) の個人サイト / Trust, but verify.https://silasol.la/jahttps://silasol.la/posts/2026-06-14-01_sml-type-class/https://silasol.la/posts/2026-06-14-01_sml-type-class/HKT よりもっと具体的な話をします．Sun, 14 Jun 2026 00:00:00 GMTtechnewsdiaryhttps://silasol.la/posts/2026-06-01-01_ai-driven-development-reconsider/https://silasol.la/posts/2026-06-01-01_ai-driven-development-reconsider/これ LLM の性能や品質の問題じゃないわ．Mon, 01 Jun 2026 00:00:00 GMTtechdiaryhttps://silasol.la/posts/2026-05-30-01_ai-driven-development/https://silasol.la/posts/2026-05-30-01_ai-driven-development/生成 AI による開発について思うこと．Sat, 30 May 2026 00:00:00 GMTtechdiaryhttps://silasol.la/posts/2026-05-20-01_3-shake-ai-1/https://silasol.la/posts/2026-05-20-01_3-shake-ai-1/生成 AI 活用イベントで仕様駆動開発について話しました．スライドを公開します．Wed, 20 May 2026 00:00:00 GMTnewshttps://silasol.la/posts/2026-04-27-01_commutative-monoid-on-cloud-dataflow/https://silasol.la/posts/2026-04-27-01_commutative-monoid-on-cloud-dataflow/職場の Tech Blog に Dataflow の記事を投稿しました．Mon, 27 Apr 2026 00:00:00 GMTnewshttps://silasol.la/posts/2026-04-23-01_the-grain/https://silasol.la/posts/2026-04-23-01_the-grain/ショートショート書いてみた．Thu, 23 Apr 2026 00:00:00 GMTdiaryhttps://silasol.la/posts/2026-02-18-01_software-engineering-is-not-cs/https://silasol.la/posts/2026-02-18-01_software-engineering-is-not-cs/規範と事実は明確に異なるという話をしています．Wed, 18 Feb 2026 00:00:00 GMTtechdiaryhttps://silasol.la/posts/2026-01-16-01_least_fixed_point/https://silasol.la/posts/2026-01-16-01_least_fixed_point/不動点コンビネータと実践的な示唆について紹介します．Fri, 16 Jan 2026 00:00:00 GMTtechhttps://silasol.la/posts/2025-12-31-01_2025-reflection/https://silasol.la/posts/2025-12-31-01_2025-reflection/2025 年は何をやっていただろうかと silasolla が振り返るWed, 31 Dec 2025 00:00:00 GMTdiaryhttps://silasol.la/posts/2025-12-16-01_cloud-spanner/https://silasol.la/posts/2025-12-16-01_cloud-spanner/Cloud Spanner のコアアーキテクチャについて，職場の Tech Blog 補足と技術的な余談 (Paxos, CAP 定理, NewSQL) をまとめました．Tue, 16 Dec 2025 00:00:00 GMTtechnewshttps://silasol.la/posts/2025-12-05-01_alloy-db-and-spanner/https://silasol.la/posts/2025-12-05-01_alloy-db-and-spanner/AlloyDB と Cloud Spanner のアーキテクチャの違いやスケーラビリティの境界について解説します．Fri, 05 Dec 2025 00:00:00 GMTtechhttps://silasol.la/posts/2025-10-31-01_jimbocho/https://silasol.la/posts/2025-10-31-01_jimbocho/ひさしぶりのボンディ．Fri, 31 Oct 2025 00:00:00 GMTdiaryhttps://silasol.la/posts/2025-10-28-01_nagoya-station/https://silasol.la/posts/2025-10-28-01_nagoya-station/もう見た．Tue, 28 Oct 2025 00:00:00 GMTdiaryhttps://silasol.la/posts/2025-10-26-01_welcome/https://silasol.la/posts/2025-10-26-01_welcome/重い腰を上げて．Sun, 26 Oct 2025 00:00:00 GMTnewshttps://silasol.la/posts/2025-10-26-02_astro-sml/https://silasol.la/posts/2025-10-26-02_astro-sml/デフォルトでハイライトされない言語を TextMate を用いた拡張で認識させます．Sun, 26 Oct 2025 00:00:00 GMTtechhttps://silasol.la/posts/2024-07-24-01_onigiri-seven-eleven/https://silasol.la/posts/2024-07-24-01_onigiri-seven-eleven/物価高騰すごい．Wed, 24 Jul 2024 00:00:00 GMTdiary