Table of Contents

 2020-04-11
Building Emacs27.nix on MacOS
as an overlay
 2020-04-08
Importance of modern techniques in SAT solvers
A case of CaDiCal
 2020-04-05
Liveness of nix-store created by 'nix-build'
No 'nix-store --delete --ignore-liveness'
 2020-03-27
pre.commit hook for Rust project
check with 'cargo fmt'
 2020-03-21
UNSAT LOG, 2020, Mar.
Vol.1, No.3.
 2020-03-19
Passing args to StructOpt
which start with '--'
 2020-03-16
Profile Guided Optimization on Rust
(rustc-1.42.0)
 2020-03-08
File renaming in dired mode on GNU Emacs
with default filename
 2020-03-07
rustc-1.41.1 on nixOS
especially for macOS
 2020-03-01
A Weird Rust Compile Error
by structopt-derive or proc-macro2
 2020-02-11
UNSAT LOG, 2020, Feb.
Vol.1, No.2.
 2020-02-04
Function name as a 1-argumented closure
more functional style