Standard ML で一階の型クラスを作って遊ぶ (λ Kansai in Summer 2026 補足)
HKT よりもっと具体的な話をします．
AI 時代は (誰かに責任を押し付ければ) コードを読まずに品質保証できるのかもしれない
これ LLM の性能や品質の問題じゃないわ．
AI 時代はコードを読まずに品質保証するだって？？
生成 AI による開発について思うこと．
職場の Tech Blog に Dataflow の記事を投稿しました
職場の Tech Blog に Dataflow の記事を投稿しました．
小箱
ショートショート書いてみた．
ソフトウェア工学をコンピュータサイエンスとよぶのはおかしい
規範と事実は明確に異なるという話をしています．
不動点コンビネータと無名再帰
不動点コンビネータと実践的な示唆について紹介します．
2025 年の振り返り
2025 年は何をやっていただろうかと silasolla が振り返る
I Wrote an Article on Cloud Spanner (+ Technical Tangents)
A supplement to my company Tech Blog post on Cloud Spanner's core architecture, including technical tangents on Paxos, the CAP theorem, and NewSQL.
AlloyDB vs. Cloud Spanner: The Boundaries of Scalability
This post explains the architectural differences and scalability boundaries between AlloyDB and Cloud Spanner.
神保町でごはんを食べました
ひさしぶりのボンディ．
なごやいきまくり
もう見た．
Astro で Standard ML のシンタクスハイライト
デフォルトでハイライトされない言語を TextMate を用いた拡張で認識させます．
I've Relaunched This Site
Finally getting around to it.
セブンイレブンの廉価版おにぎりを食べた
物価高騰すごい．