覚え書き
昨日は現状を整理して、要らないアプリをアンインストールしよう、というところまでやった。 アプリのアンインストール /Applicationsからアプリケーションを削除してはい終了、と行けばいいのだが、~/Library以下にゴミが残ったりする。 これを真面目に探し…
流石にまずいので、この三連休でどうにかします。目標は100GBの削減。 現状 現状。酷い。 関心があるのは一番上のMacintosh HD。その内訳は左から順に以下の通り。 書類:91.36GB App:39.39GB iOSファイル:21.12GB ミュージック:6.52GB デベロッパ:5.59G…
brew listでインストール済みのすべてのformulaを列挙する。 xargs -P ...でそれぞれのformulaについて、そのformulaに依存しているインストール済みのformulaの数を数える。 grep " 0"で依存されていないformulaのみを取得する。 $ brew list | xargs -P 10…
Software FoundationsのProgramming Language FoundationsのEquiv.vをProof Generalで読み込んだら以下のようなエラーが出た。 Error: The file /Users/yuya/dev/src/local/softwarefoundations/plf/Maps.vo contains library Top.Maps and not library Maps…
ANSI Common Lispではshebangの存在は考慮されない。 しかし、Roswell scriptのデバッグをSlimeでしていると、shebangでリードエラーが起きてツラくなる。 その回避方法。 Roswellは起動時に、$HOME/.roswell/init.lispを実行する。 また、ros:ignore-sheban…
defaults write -app Emacs AppleFontSmoothing -int 0を実行して、アンチエイリアスのかけ具合を最低にするとうまいこといった。
(declaim (inline function-name)) declaimはマクロ。 型宣言したり、インライン展開したり、コードの最適化に使われる。 http://cl.cddddr.org/index.cgi?%e6%9c%80%e9%81%a9%e5%8c%96#H-1yksz98dk7cep ここが詳しい。