3-shake
Engineers' Blogs
RSS
Recruit
Company
Masaki Haga
Trust, but verify.
Masaki Haga
2 days ago
Standard ML のシンタクスハイライトが読みにくくて直した
silasol.la
NEW
Masaki Haga
11 days ago
HTTPS のはずなのに警告が出てめちゃ調べたけどよくわからなかった
silasol.la
Masaki Haga
2 months ago
Standard ML で一階の型クラスを作って遊ぶ (λ Kansai in Summer 2026 補足)
silasol.la
Masaki Haga
2 months ago
AI 時代は (誰かに責任を押し付ければ) コードを読まずに品質保証できるのかもしれない
silasol.la
Masaki Haga
2 months ago
AI 時代はコードを読まずに品質保証するだって??
silasol.la
Masaki Haga
5 months ago
ソフトウェア工学をコンピュータサイエンスとよぶのはおかしい
silasol.la
Masaki Haga
6 months ago
不動点コンビネータと無名再帰
silasol.la
Masaki Haga
7 months ago
Cloud Spanner の記事を書きました (+ 技術的な蛇足)
silasol.la
Masaki Haga
8 months ago
AlloyDB と Cloud Spanner (スケーラビリティの境界)
silasol.la
Masaki Haga
9 months ago
Astro で Standard ML のシンタクスハイライト
silasol.la