定理証明界隈はLean使ってるイメージが強い
12.03.2025 21:47
👍 1
🔁 0
💬 0
📌 0
定理証明界隈はLean使ってるイメージが強い
2025年はATProto流行ってほしいところ
Dioxus初耳…
Rustまわりはこういう意欲的なプロジェクト多くてワクワクする
CSSレイアウトエンジン、Yoga一強かと思ってたけどtaffyってのもあるのか
技術の話はここでやるって運用のはずだったのにTwitterばっかやってるからこっちにも流していきたい
org-modeとtypstでスライド作れるなら、typstでpng吐き出して残りのスピーカーノートをox-jsonで取得して、それをボイボに食わせれば良い感じに解説動画が作れるんじゃない…？って思ったりしてる
解説動画を作ってみたいと思うことはたまにあるのだけど、どうしても作成のハードルが高くて尻込みしてたからこういう方法で作りやすくなれば良いな…
最近はEmacsでhome-managerの設定してるけど、適用する時だけターミナルでやるのも面倒だったからEmacsからコマンドを実行するようにしてみた
一応通知デーモンへ通知送る機能も付けたのだけど、home-manager側で良い感じに通知を送ってくれるらしいので、ありがたくそれを使っている
ssh接続してるサーバーをうっかり再起して接続切れるやつの亜種だ
EmacsのLSPが遅くて悩んでたけど、emacs-lsp-booster入れたらめちゃくちゃ速くなったからEmacsでLSPやるなら絶対入れた方が良いなこれ
pixivでイラストにいいねしたらそのイラストのURLをブルスコに投下する拡張とかあったら良いよね～って思ったりした
ブログのリンクカードがPCで見ると崩れている問題をやっと解決できた...！
k0sとかローコストで動くk8sは色々ある
k3s前ラズパイで動かしたけどめっちゃ重くて諦めたんだよな〜SBCにk8sは重すぎる
最近Nixに興味持ってくれる人増えて嬉しい
Nixめっちゃ便利だし依存で苦しまなくなるので広まって欲しいところ
Dockerはコンテナとしてまるっと隔離するのに比べて、Nixはプログラムがホストと同じレイヤーで動いたりと色々違う部分があるから完全な代替にはならないと思ってる
Nixでdocker image作れたりDockerでNixを実行できたりするし、お互い向き不向きがあるので両方使うのが良いかも
ただ、今までDockerで構築していた開発環境をNixで構築したり、ビルドをNixで行なったりできるからそういう意味では代替とも言えなくはない...？
今までサボって付けてなかった投稿日時の表示を付けてる
日付まわりでdate-fns使ったけど結構良いライブラリだなこれ
Bitwardenの新デザインスッキリしてて好き
前より見やすい気がする
これ後で全部書き直した方が良さそうだな〜
とりあえずbskyのwrapperという形だけどEmacsからTLと投稿ができるようにはなった(ただ挙動がかなり怪しい)
てすと
再帰的にgethashするマクロとか書いた方が良いかもなこれ
進捗
投稿のテキストを取得できるようになった
パッケージング完了！
Goだからお手軽で良いね
とりあえずbskyのwrapperでお茶でも濁そうとしたけど、そもそもbsky自体がnixpkgsにない
今パッケージングしてる
bskyのEmacsクライアントなくて涙目
とりあえずEmacsから投稿できるようにしたい
仮だけどアイコン変えたし、とりあえずアカウント整備はこのくらいで良いかなぁ
emacs --daemon