<?xml version="1.0" encoding="UTF-8"?><rss version="2.0"><channel><title>芳賀 雅樹 / Masaki Haga - 日記</title><description>日記のRSSフィード</description><link>https://silasol.la/</link><language>ja</language><item><title>キーバインドはつらいよ</title><link>https://silasol.la/posts/2026-08-06-01_ctrl-l-pty/</link><guid isPermaLink="true">https://silasol.la/posts/2026-08-06-01_ctrl-l-pty/</guid><description>AquaSKK の ASCII モード切替に使っている Ctrl+L が CLI と衝突して困ったので試行錯誤しました (オチあり)．</description><pubDate>Thu, 06 Aug 2026 00:00:00 GMT</pubDate><category>tech</category><category>diary</category></item><item><title>Standard ML のシンタクスハイライトが読みにくくて直した</title><link>https://silasol.la/posts/2026-07-29-01_sml-highlight-readable/</link><guid isPermaLink="true">https://silasol.la/posts/2026-07-29-01_sml-highlight-readable/</guid><description>最低限のハイライトは動いていたけれど，平坦で認知負荷が高かったので生成 AI に相談した．</description><pubDate>Wed, 29 Jul 2026 00:00:00 GMT</pubDate><category>tech</category><category>diary</category></item><item><title>HTTPS のはずなのに警告が出てめちゃ調べたけどよくわからなかった</title><link>https://silasol.la/posts/2026-07-20-01_quic-not-secure/</link><guid isPermaLink="true">https://silasol.la/posts/2026-07-20-01_quic-not-secure/</guid><description>このサイトを Workers に移してから警告が出るようになったので調査しました．対症療法は試しましたが根本的な理由は分かっていません．</description><pubDate>Mon, 20 Jul 2026 00:00:00 GMT</pubDate><category>tech</category><category>diary</category></item><item><title>Standard ML で一階の型クラスを作って遊ぶ (λ Kansai in Summer 2026 補足)</title><link>https://silasol.la/posts/2026-06-14-01_sml-type-class/</link><guid isPermaLink="true">https://silasol.la/posts/2026-06-14-01_sml-type-class/</guid><description>HKT よりもっと具体的な話をします．</description><pubDate>Sun, 14 Jun 2026 00:00:00 GMT</pubDate><category>tech</category><category>news</category><category>diary</category></item><item><title>AI 時代は (誰かに責任を押し付ければ) コードを読まずに品質保証できるのかもしれない</title><link>https://silasol.la/posts/2026-06-01-01_ai-driven-development-reconsider/</link><guid isPermaLink="true">https://silasol.la/posts/2026-06-01-01_ai-driven-development-reconsider/</guid><description>これ LLM の性能や品質の問題じゃないわ．</description><pubDate>Mon, 01 Jun 2026 00:00:00 GMT</pubDate><category>tech</category><category>diary</category></item><item><title>AI 時代はコードを読まずに品質保証するだって？？</title><link>https://silasol.la/posts/2026-05-30-01_ai-driven-development/</link><guid isPermaLink="true">https://silasol.la/posts/2026-05-30-01_ai-driven-development/</guid><description>生成 AI による開発について思うこと．</description><pubDate>Sat, 30 May 2026 00:00:00 GMT</pubDate><category>tech</category><category>diary</category></item><item><title>小箱</title><link>https://silasol.la/posts/2026-04-23-01_the-grain/</link><guid isPermaLink="true">https://silasol.la/posts/2026-04-23-01_the-grain/</guid><description>ショートショート書いてみた．</description><pubDate>Thu, 23 Apr 2026 00:00:00 GMT</pubDate><category>diary</category></item><item><title>ソフトウェア工学をコンピュータサイエンスとよぶのはおかしい</title><link>https://silasol.la/posts/2026-02-18-01_software-engineering-is-not-cs/</link><guid isPermaLink="true">https://silasol.la/posts/2026-02-18-01_software-engineering-is-not-cs/</guid><description>規範と事実は明確に異なるという話をしています．</description><pubDate>Wed, 18 Feb 2026 00:00:00 GMT</pubDate><category>tech</category><category>diary</category></item><item><title>2025 年の振り返り</title><link>https://silasol.la/posts/2025-12-31-01_2025-reflection/</link><guid isPermaLink="true">https://silasol.la/posts/2025-12-31-01_2025-reflection/</guid><description>2025 年は何をやっていただろうかと silasolla が振り返る</description><pubDate>Wed, 31 Dec 2025 00:00:00 GMT</pubDate><category>diary</category></item><item><title>神保町でごはんを食べました</title><link>https://silasol.la/posts/2025-10-31-01_jimbocho/</link><guid isPermaLink="true">https://silasol.la/posts/2025-10-31-01_jimbocho/</guid><description>ひさしぶりのボンディ．</description><pubDate>Fri, 31 Oct 2025 00:00:00 GMT</pubDate><category>diary</category></item><item><title>なごやいきまくり</title><link>https://silasol.la/posts/2025-10-28-01_nagoya-station/</link><guid isPermaLink="true">https://silasol.la/posts/2025-10-28-01_nagoya-station/</guid><description>もう見た．</description><pubDate>Tue, 28 Oct 2025 00:00:00 GMT</pubDate><category>diary</category></item><item><title>セブンイレブンの廉価版おにぎりを食べた</title><link>https://silasol.la/posts/2024-07-24-01_onigiri-seven-eleven/</link><guid isPermaLink="true">https://silasol.la/posts/2024-07-24-01_onigiri-seven-eleven/</guid><description>物価高騰すごい．</description><pubDate>Wed, 24 Jul 2024 00:00:00 GMT</pubDate><category>diary</category></item></channel></rss>