C言語は「ソフトウェア工学の後退」だったのか？（great leap backward） 2026-05-032026-05-01 by chiilabo #LISP（23） #Rust（22） #C言語（19） #UNIX（18） #プログラミング言語（14）
【JSCL】インストールなしでCommon Lispを動かす 2026-04-08 by chiilabo #Common Lisp（154） #Emacs（65） #JavaScript（45） #SBCL（43） #REPL（30）
【Common Lisp】log x² と 2 log x は同じ関数か？（定義域とデバッグ） 2026-04-042026-04-04 by chiilabo #Common Lisp（154） #defun（23） #型宣言（19） #declare（17） #マクロ（17）
( ) 【Common Lisp】SBCLのREPLは単なるインタープリタではない 2026-04-01 by chiilabo #Common Lisp（154） #SBCL（43） #REPL（30） #S式（20） #型宣言（19）
【Lean】コンパイラの型チェックで、証明を検証したことになるカラクリ 2026-03-282026-03-27 by chiilabo #関数型プログラミング（17） #コンパイラ（8） #型推論（8） #フィボナッチ数列（7） #シンボルテーブル（5）
Common Lispの定数宣言とヒープ最適化（defconstant） 2026-03-222026-03-18 by chiilabo #Common Lisp（154） #SBCL（43） #REPL（30） #fixnum（22） #型宣言（19）
macOSのEmacsでnative-compエラーが出た 2026-02-082026-02-06 by chiilabo #macOS（75） #Emacs（65） #開発環境（26） #LISP（23） #Homebrew（21）
【unsafe by default】 RustやZigから振り返るC言語の魅力と課題 2026-01-222026-01-22 by chiilabo #Rust（22） #C言語（19） #パフォーマンス（18） #プログラミング言語（14） #安全性（14）