【JSCL】インストールなしでCommon Lispを動かす 2026-04-08 by chiilabo #Common Lisp(82) #Emacs(54) #JavaScript(43) #SBCL(31) #ブラウザ(25)
【Common Lisp】log x² と 2 log x は同じ関数か?(定義域とデバッグ) 2026-04-042026-04-04 by chiilabo #Common Lisp(82) #マクロ(17) #defun(15) #型宣言(12) #declare(11)
( ) 【Common Lisp】SBCLのREPLは単なるインタープリタではない 2026-04-01 by chiilabo #Common Lisp(82) #SBCL(31) #REPL(22) #S式(15) #型宣言(12)
【Lean】コンパイラの型チェックで、証明を検証したことになるカラクリ 2026-03-282026-03-27 by chiilabo #関数型プログラミング(14) #コンパイラ(7) #型推論(6) #カーネル(4) #シンボルテーブル(4)
Common Lispの定数宣言とヒープ最適化(defconstant) 2026-03-222026-03-18 by chiilabo #Common Lisp(82) #SBCL(31) #REPL(22) #最適化(16) #型宣言(12)
macOSのEmacsでnative-compエラーが出た 2026-02-082026-02-06 by chiilabo #macOS(70) #Emacs(54) #開発環境(25) #Homebrew(19) #LISP(17)
【unsafe by default】 RustやZigから振り返るC言語の魅力と課題 2026-01-222026-01-22 by chiilabo #Rust(17) #パフォーマンス(16) #C言語(15) #安全性(14) #プログラミング言語(13)