All Posts
Articles written on external sites are collected on the About page.
キーバインドはつらいよ
AquaSKK の ASCII モード切替に使っている Ctrl+L が CLI と衝突して困ったので試行錯誤しました (オチあり)．
Standard ML のシンタクスハイライトが読みにくくて直した
最低限のハイライトは動いていたけれど，平坦で認知負荷が高かったので生成 AI に相談した．
HTTPS のはずなのに警告が出てめちゃ調べたけどよくわからなかった
このサイトを Workers に移してから警告が出るようになったので調査しました．対症療法は試しましたが根本的な理由は分かっていません．
職場の Tech Blog に記事を 3 本投稿し，顧客案件の事例も公開されました
職場の Tech Blog に分散システムに関する記事を 3 本投稿し，事業部の顧客案件の活用事例インタビューも公開されました．
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.
セブンイレブンの廉価版おにぎりを食べた
物価高騰すごい．