星にゃーんのブログ

ほとんど無害。

覚え書き

残り40GBは流石にまずい二日目

昨日は現状を整理して、要らないアプリをアンインストールしよう、というところまでやった。 アプリのアンインストール /Applicationsからアプリケーションを削除してはい終了、と行けばいいのだが、~/Library以下にゴミが残ったりする。 これを真面目に探し…

残り40GBは流石にまずい一日目

流石にまずいので、この三連休でどうにかします。目標は100GBの削減。 現状 現状。酷い。 関心があるのは一番上のMacintosh HD。その内訳は左から順に以下の通り。 書類:91.36GB App:39.39GB iOSファイル:21.12GB ミュージック:6.52GB デベロッパ:5.59G…

Homebrewで他のformulaから依存されていないformulaを列挙する

brew listでインストール済みのすべてのformulaを列挙する。 xargs -P ...でそれぞれのformulaについて、そのformulaに依存しているインストール済みのformulaの数を数える。 grep " 0"で依存されていないformulaのみを取得する。 $ brew list | xargs -P 10…

Coq 8.7.1でSoftware Foundationsを読もうとしてハマったメモ

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…

Roswell scriptでshebangツライときの覚え書き

ANSI Common Lispではshebangの存在は考慮されない。 しかし、Roswell scriptのデバッグをSlimeでしていると、shebangでリードエラーが起きてツラくなる。 その回避方法。 Roswellは起動時に、$HOME/.roswell/init.lispを実行する。 また、ros:ignore-sheban…

Emacsでアンチエイリアスがかかりすぎる on macOS

defaults write -app Emacs AppleFontSmoothing -int 0を実行して、アンチエイリアスのかけ具合を最低にするとうまいこといった。

declaim

(declaim (inline function-name)) declaimはマクロ。 型宣言したり、インライン展開したり、コードの最適化に使われる。 http://cl.cddddr.org/index.cgi?%e6%9c%80%e9%81%a9%e5%8c%96#H-1yksz98dk7cep ここが詳しい。