この記事はえとるねん Advent Calendar 2023 7日目の記事です。 この記事ではフォント(特にターミナルやコーディングで使うのに適したもの)や、 それを実際に使うため...

動機 JuliaのLanguageServerはとても起動が遅い。 JuliaにはREPLから@editやAlt+Eなどエディタを使う機能がいく...

T: 「さあさあ、これは裁判で決まったことなんだ。 つべこべ言わず、さっさと買ってしまいな。」 U: 「そんな。 りんご一切れ100円だなんて法外な値段だ...

何とは言わないが鯖を立てた。

Pluto.jlはJuliaのノートブックの一つだ。 ノートブックといえばJupyterのノートブック(拡張子が.ipynbのやつ)が有名だ。...

日時 journalctlによると、2023/5/20の2 a.m.から始めてた。 動機 ManjaroでLinuxやArch系に慣れて、行けるんじ...

3行まとめ luapromptとlsqlite3を入れようとしたが失敗した パッケージ管理難しい luarocksは古臭い luarocksをインス...

draft外し忘れていた… 数日間溶かしてしまった。 主に設定したこと plugin managerの変更(packerからlazy.nvimに...