わく

wak.bsky.social

30 octobre 2026 03:39

本当に凍結した……。

わく

wak.bsky.social

27 octobre 2026 06:27

久しぶりに私が愛してやまないスーパー銭湯に行ってきた。 ハブとマングースの剥製や甲冑、放し飼いのうさぎなどがいて、本当にここが東京都内のスーパー銭湯とは思えない。 あと五十年くらい、このままでいてほしい。

わく

wak.bsky.social

23 octobre 2026 15:05

確か荻窪で飲んでいた時だったと思うけど、「あれもインターネット、これもインターネット、どれもインターネットなんだよ…」とビールジョッキを指差して管を巻く酩酊おじさんが店内にいた時は、俺も酔っ払っていたから、「おじさんに指差されたら、俺もインターネットになってしまう！」と謎の恐怖があったな。

星 暁雄 (Akio Hoshi)

akiohoshi.bsky.social

23 octobre 2026 11:55

アンソロピックのBlog記事。たいへん興味深い内容。 「現在、LLM（大規模言語モデル）は大規模な形式証明を生成できるようになり、セキュリティが証明された保証を含む新たなソフトウェア開発ワークフローが可能となった」 「モデルの能力が向上し続けるにつれ、形式検証はセキュアなソフトウェア開発に不可欠な要素となることが期待される」 雑感： 深刻な脆弱性が毎日のように報告される現状を見ると、これは正攻法ではないかと思える。 形式検証に関しては次のポストで少し説明します。 www.anthropic.com/research/for...

人間が大好き(from X/Twitter)

hitohorobe.bsky.social

21 octobre 2026 03:31

"伝説のPCノベルゲーム『腐り姫 ~euthanasia~』のファンブックが復刊。 装画は中村哲也氏による描きおろし!" 腐り姫読本 ~赤雪腐爛草紙~ 再逢 [アダルト] - 2026/12/24 Liar-soft (著) https://link.amazon/B0afq6FIB