satler
satler.dev
satler
@satler.dev
langs: ja, Rust, Nix, Elixir, (en, Haskell, CLisp)

https://keybase.io/satler
https://satler.dev
Pinned
satler @satler.dev · Nov 18
久しぶりにビルドを回して死ぬ人になってる
Emacs
September 14, 2025 at 1:13 PM
bsky、Nix結構盛り上がってる可能性がある(一部界隈)
July 6, 2025 at 10:41 AM
#nix_ja
来てます。
そこでNix
March 9, 2025 at 5:45 AM
まず、Nixを使う大きなモチベーションの一つに再現性を担保する(特にGitHubなどに上がっている情報だけで)ということがあります。

その上で、NixOSを使う場合、hardware-configurations.nixはそのマシンの固有の情報(filesystemの情報やCPU(GPU)ドライバなど)が含まれています。それをignoreすると再現性がなくなってしまうので追加しています。

Flakesも再現性を担保するための仕組みです。Flakesが導入される前の方法では、(チャンネルという仕組みにより)(マシン固有の)グローバルのnixpkgsが使われてしまったりして...続き
明らかに hardware-configuration.nix はignoreするべきであろうなのにgitに含めているサンプルばかりでよくわからん flaskも使うメリットがあまりわからない #nixos
February 20, 2025 at 11:42 AM
GitHub の検索スタイルめっちゃ好みなんだよな。ただ実装結構大変そう(フロントエンド何もわかんない人が言ってる)
February 11, 2025 at 11:52 AM
???「Nixはいいぞおじさん「Nixはいいぞ!」」
February 7, 2025 at 12:39 PM
jj workspace
nixos-rebuildで使ったら便利かな
February 6, 2025 at 12:49 PM
January 31, 2025 at 12:17 PM
久しぶりにosu!やってるけど下手すぎる。指の筋肉衰えてるし
January 29, 2025 at 8:57 AM
home-manager.sharedModules便利
January 25, 2025 at 9:01 AM
jj勢いがすごい
January 22, 2025 at 11:19 AM
LLMでicalendarを作るの良さそう何だよなちょっとだけ。

既存に似てるサービスはありそう(icalendar出力とかではないだろうけど)。
January 17, 2025 at 10:37 AM
まあまあほしいけど高いし英語
www.decision-procedures.org

まあどっちもなんとかはなる。やる気の問題
Decision Procedures -- An Algorithmic Point of View
www.decision-procedures.org
January 17, 2025 at 9:59 AM
いいね
January 16, 2025 at 11:29 AM
journalctlのいい感じのTUIないかな
January 14, 2025 at 12:30 PM
補完変えた
January 8, 2025 at 12:02 PM
ふと思ったけどnix runに補完つくと便利かもな。難しいかな
December 29, 2024 at 7:36 AM
December 28, 2024 at 9:14 AM
SQLクエリミスってただけ説出てきたんだが
December 28, 2024 at 7:09 AM
減らしても変わらないし、あとから考えよ
December 27, 2024 at 1:19 PM
う〜ん、スケジュールドのほうが時間超過してしまうな。リクエスト減らすか
December 27, 2024 at 1:11 PM
今はインストールするパッケージを基本は dotfiles の中の home-manager/pkgs.nix で管理してて、その中は

home.packages =
with pkgs;
[
age
alacritty
aria

bat
bibata-cursors
bottom

# ...
];

みたいな感じでアルファベット順になってるんだけど最近なんでこれ入れたんだっけで困るようになってきた。リファクタリングの一環(リファクタリングかこれ?)でパッケージの削除もしてるし
December 18, 2024 at 6:05 AM