2025年8月29日 - @kakkun61@pawoo.netの投稿 -

@teobot 依存バージョンを固定してても 01-index.tar は須要みたいよ　消したら cabal build --only-dependencies --offline は失敗した

@teobot ありがと、ところで .config/cabal/packages/hackage.haskell.org/01-index.tar がデカいんだけどこれとか他のものってなくてもビルドうまくいかへんやろうか？

@teobot ところでここまでのことが実際にできるか、Nix 内でできるか、を確認するプロジェクトを作るのだけど、その名前を考えて

わは #鉄道模型

へやの整頓、やっていきますか

たらいまわし

よしッ👈️

うーん、所得税の予定納税してあると思うんだけど何枚かまとめて来るから抜けてたのかな https://pawoo.net/@kakkun61/114743237376476145

滞納の督促状だった　あれ～？

税務署からお手紙来てる～　ファンレターかな？

👀 OH! Mikey CHANNEL https://youtube.com/@ohmikeychannel

定理証明支援系は Agda しかさわったことないのよね

出たわね

👀 新刊『ゼロから始めるLean言語入門 ― 手を動かして学ぶ形式数学ライブラリ開発』 の発売を9/4に予定しています – 技術書出版と販売のラムダノート https://www.lambdanote.com/blogs/news/lean

自作 AP やろうかな

これこれ https://www.printables.com/model/593185-dummy-13-printable-jointed-figure-beta-files

3D プリンター用モデルとして有名なやつ、射出整形で製造されてるんやw

災害級暑さ【サイガイ キュー あつ-さ】〔名〕 エアコンなどを使用して室温が 30℃ を超えるような暑さのこと

「自動ロック解除の無効化」してたら開けた うーん？

Bitlocker くん「すでにロック解除されています」でロック解除してくれないんだが

肛門用サプレッサー（single-shot-use）

@teobot ~/.cabal/packages を持っていくのか　これって --store-dir オプションみたいにコマンドライン引数で場所の指定できる？

@teobot ダウンロードしたものを別のマシンに持っていって使いたいのよねえ
cabal build --only-dependencies して cabal-store の中のソースコードだけを持っていきたい
このやり方をリファインするか、それか他にいい方法ある？

@teobot ふむ、cabal get とか sdist だと「依存ライブラリーのバージョンを解決してそれ全部ダウンロードする」ってのができひんやん

@teobot ソースコード以外が cabal store に入ってたりせんかな？

あ、センタッキー終わってんな

@yamad すなおにこういうの使ってる https://www.sanwa.co.jp/product/syohin?code=CD-WT4K

@yamad IPA もきついんちゃう

@yamad 接着剤が剥がれそう

い、い、い、いけます！

発送通知が（　　）！

車で待てないからね

やるき げんき ナイキ

でっかぁ

うーん、ち

コンテンツエリア外でなんかオーバーラップしてるー

やすい！

レンタル働く人

レンタル弱い人

そうなんだー

@yamad wow スクレイピングみたいなことしてるのか

@yamad kwsk

おきるかー？