そろそろClaspは1.0が出そうだが、着実にバージョンアップが依存ライブラリの方も上がっており、 Claspをビルドする2020-05 - gos-k’s blog 従来の手順をなぞってもビルドできない。 なので再びビルドに挑戦する。 ビルド手順としての主な変更は恐らくLLVM 1…

今度はVSCodeの前回とは別のCommon Lisp拡張である Alive - Visual Studio Marketplace を使ってみる。 前回のは現状インストール数6kくらいなのに対してこれはインストール数600くらいで少ないが、Using VSCode with Alive を見るかぎり機能的にはこちらの…

結果的に現状GNOME使ってるのでショートカットキーを覚える。 便利なキーボードショートカット タイル型ウィンドマネージャを使ってて結局自分が欲しいウィンドウの操作って、 デスクトップの移動と左右半分の拡大とフォーカスの移動なので実際はこの位？ Ct…

VSCode上でCommon Lispを書くための設定について。 Common Lisp - Visual Studio Marketplace 確認したバージョン roswellでCommon Lisp環境を整えるのが前提。 Visual Studio Code : 1.59 roswell : 21.06.14.110(c0bc597) SBCL : 2.1.3 linedit : 4cfaf45d…

最近形式検証に興味があるので、ACL2を触ってみた。 形式検証とは 仕様を特定の形式で書くと正しさをチェックしてくれる、らしい。 ALC2とは Common Lispで書かれた形式検証のツール。 ACL2 Version 8.3 GitHub - acl2/acl2: ACL2 System and Books as Maint…

/etc/postgresql/12/main/pg_hba.confをpeerからmd5に変更すると動く、みたい。いいのかそれで？

UbuntuのPostgreSQLでダミーデータをinsertしてほっといてたらフリーズしており、その後psqlもエラーになるようになった。 psql: error: could not connect to server: そのようなファイルやディレクトリはありません Is the server running locally and acc…

Common Lispであるクラスのサブクラス全てを欲しかった。 というかmito:dao-table-classのサブクラス全てのが欲しかったが、具体的に分からなかったのでメモ。 前提条件として、Common Lisp Object Systemと呼ばれるクラスシステムが標準であるが、このCLOS…

前回で実行計画も見れるようになったので実際にベンチマークをとっていく。 PostgreSQL上でのベンチマークをとる準備その2 - gos-k’s blog 前提としてこれは私がDBを知らないから試しているのであって、まともに勉強している人にとって新しい情報は何も出て…

PostgreSQLのベンチマークをとる準備 - gos-k’s blog 前回に続いてまだまだ準備する。 explainの追加 現状のsxqlにexplainはないので追加した。 GitHub - gos-k/sxql: An SQL generator for Common Lisp. これをローカルにインストールする。 ros install go…

DB全般をあまり知らないので、仕事上使っているPostgreSQL上で簡単なベンチマークをとる。 実行環境 ASUS ROG Zephyrus GX502 Ubuntu 20.04 PostgreSQL 12.5 SBCL 2.0.11 Quicklisp 2020-12-20 参考文献 GitHub - fukamachi/cl-dbi: Database independent in…