Hello 👋

この記事はえとねるん Advent Calendar 2024 5日目、およびえとねるん Advent Calendar 2023 23日目の記事です。 今日は、自分がちまちまと作っているバックアップ管理ツールxdbmの紹介をしたいと思います。 “バックアップ管理ツール"とは? xdbmは"cross device backup manager"と名乗っている通り、複数のデバイスでバックアップ(の状態)を管理するために作ったツールです。 ...

メモ(整理してない)。 ここと、ここを見る。 型の型 任意の値?xに対して、 @assert typeof(x) isa Type そして、 julia> subtypes(Type) 4-element Vector{Any}: Core.TypeofBottom DataType Union UnionAll 型の包含関係 演算子(関数)<:や>:で定義される。 値が持つのがConcrete Type、それ以外がAbstract Typeになる。 ...

GitLab CIの設定をミスって~1kのゴミブランチを生成してしまったのでそれを消した123。 基本 $ git branch -r $ git push --delete origin <branch> 問題点 ~1kのブランチを手動でやるのはしんどい。 Juliaの ...

概要 Misskeyでのノートに示したコンセプトを精査していく為の記事。 適宜更新したい。 何がほしい たとえば、集計したブラウザの閲覧履歴やテキストでとったメモやカレンダーに登録した予定やMisskeyの投稿を一つのタイムラインや検索機能で振り返られると、非常に嬉しいです ...

V:「ごはんはまだかのぅ」 W:「もう、おじいちゃん。 さっきアンキパン食べたでしょ。」

まとめ gitサーバー(forgejo)を立てた tailscaleのおかげでいろんな面倒を回避できた forgejoとは Giteaのフォーク。 codebergで使われている。 ActivityPubに対応しようとしてるらしい ...

tl;dr Asahi Linuxの公式インストーラーとArch Wikiを見ればインストールはできる。 ただし、パッケージが使い物にならない。 前提 Apple SilliconでLinuxを動かすプロジェクトとしてAsahi Linuxがあるが、 その公式ディストリビューションはFedoraである。 以前はArch Linux ARMだったが、Fedoraに変わった。 個人的に最も慣れてるディストリビューションがArch Linuxで、かついくつかのAURパッケージを管理してもいる1ので、できれば統一したかった。 ...

　自分は所謂出不精なのだが、その原因について考えたときに 一つずっと気になっていたことがあった。 それは外出したときのご飯、主に昼ご飯をどうするのかという問題だ。 最も完結に自分を説明しろと人間に聞かれたら、「けちである」と説明するのが最も適当であると考えるような人間である自分にとって、昼ご飯を外食ないしコンビニやスーパーで買って食べるのはとてもハードルの高い行為だ。 それならば家で予めご飯を用意して(すなわち弁当を作って)それを食べればいいとなるわけだが、今度はどこで食べるかが分からなくなる。 というわけで、「今日は外出して〇〇をするぞ。はて、昼ご飯はどうしようかな。」から上記の思考に至り、悩んだ挙げ句夕方になるということを散々(おそらく高校生の頃から)繰り返してきた。 このような思考を含めて出不精というのかもしれないが、少なくともこの悩みは外出における最も典型的なハードルの一つである。 昼ご飯問題を解決する手法を自力で探索するのは困難に思える為、他人に聞いたり共に行動をすることによってこの問題の解決策を探索していこう、と思った。 ...