https://shnarazk.github.io/ https://shnarazk.github.io/2016/ https://shnarazk.github.io/2016/2016-03-08-code-sample/ 2018-06-22 https://shnarazk.github.io/2017/ https://shnarazk.github.io/2017/2017-03-05-math-sample/ 2017-03-05 https://shnarazk.github.io/2017/2017-10-20-emacs-tex-print/ 2017-10-20 https://shnarazk.github.io/2018/ https://shnarazk.github.io/2018/2018-02-03-Evil-keybindings/ 2019-08-18 https://shnarazk.github.io/2018/2018-02-04-upgrade-postgresql/ 2018-02-04 https://shnarazk.github.io/2018/2018-05-20-ghc-options/ 2018-05-20 https://shnarazk.github.io/2018/2018-05-31-flymake-Haskell/ 2018-05-31 https://shnarazk.github.io/2018/2018-06-20-KDE-in-R/ 2018-06-20 https://shnarazk.github.io/2018/2018-06-21-Reading-CSV-in-R/ 2018-06-21 https://shnarazk.github.io/2018/2018-06-21-glucose-on-nixos/ 2018-06-21 https://shnarazk.github.io/2018/2018-06-21-lingeling-on-nixos/ 2018-06-21 https://shnarazk.github.io/2018/2018-06-22-lualatex-on-archlinux/ 2018-06-22 https://shnarazk.github.io/2018/2018-06-24-haskell-on-heroku/ 2018-06-24 https://shnarazk.github.io/2018/2018-07-06-broken-intero/ 2018-07-06 https://shnarazk.github.io/2018/2018-07-10-unlock-files-on-nextcloud/ 2018-07-10 https://shnarazk.github.io/2018/2018-07-15-edit-personal-info-on-nextcloud/ 2018-07-15 https://shnarazk.github.io/2018/2018-07-18-compiling-haskell-on-nixos-on-darwin/ 2018-07-18 https://shnarazk.github.io/2018/2018-08-10-rustup/ 2018-08-10 https://shnarazk.github.io/2018/2018-09-27-nixos-on-majave/ 2018-09-27 https://shnarazk.github.io/2018/2018-11-16-gdm-autosuspend/ 2018-11-16 https://shnarazk.github.io/2018/2018-11-30-build-emacs-mozc-with-yay/ 2018-11-30 https://shnarazk.github.io/2018/luajitlatex/ 2018-06-30 https://shnarazk.github.io/2019/ https://shnarazk.github.io/2019/07-21/ https://shnarazk.github.io/2019/2019-01-06-texlive-install/ 2019-01-06 https://shnarazk.github.io/2019/2019-02-16-sat-solvers-on-crates_io/ 2019-02-16 https://shnarazk.github.io/2019/2019-02-20-hashmap-to-vec/ 2019-02-20 https://shnarazk.github.io/2019/2019-02-27-memo-on-nix/ 2019-02-27 https://shnarazk.github.io/2019/2019-03-04-benchmarking-glucose/ 2019-03-04 https://shnarazk.github.io/2019/2019-03-06-nixos-administration/ 2019-03-06 https://shnarazk.github.io/2019/2019-03-07-post-to-discord/ 2019-03-07 https://shnarazk.github.io/2019/2019-03-10-source-highlight-Rust/ 2019-03-10 https://shnarazk.github.io/2019/2019-03-14-gtk-development-on-nix/ 2020-07-05 https://shnarazk.github.io/2019/2019-03-17-now/ 2019-03-17 https://shnarazk.github.io/2019/2019-03-22-rust-program-with-resources-on-nixos/ 2019-03-22 https://shnarazk.github.io/2019/2019-03-28-rust-programs-using-openssl/ 2019-03-28 https://shnarazk.github.io/2019/2019-05-31-connect-mongodb-atlas-from-rust/ 2019-05-31 https://shnarazk.github.io/2019/2019-06-26-vue-scrollto/ 2019-06-26 https://shnarazk.github.io/2019/2019-07-11-varact-distribution/ 2019-07-11 https://shnarazk.github.io/2019/2019-07-15-splr/ 2019-07-15 https://shnarazk.github.io/2019/2019-07-21-first-UIP-distribution/ 2019-07-24 https://shnarazk.github.io/2019/2019-07-31-observable/ 2019-07-31 https://shnarazk.github.io/2019/2019-07-31-restart/ 2019-09-10 https://shnarazk.github.io/2019/2019-08-08-rust-lifetime/ 2019-08-08 https://shnarazk.github.io/2019/2019-09-14-splr014/ 2019-09-14 https://shnarazk.github.io/2019/2019-09-20-splr015/ 2019-09-20 https://shnarazk.github.io/2019/2019-10-08-nix-on-catalina/ 2019-10-08 https://shnarazk.github.io/2019/2019-12-17-blog/ 2019-12-17 https://shnarazk.github.io/2019/2019-12-17-end-of-rust-on-now/ 2019-12-17 https://shnarazk.github.io/2020/ https://shnarazk.github.io/2020/2020-01-15-SplrDL/ 2020-01-15 https://shnarazk.github.io/2020/2020-01-21-new-solver-technologies/ 2020-01-21 https://shnarazk.github.io/2020/2020-01-26-CNF-visualization/ 2020-01-29 https://shnarazk.github.io/2020/2020-02-02-add-to-list/ 2020-02-02 https://shnarazk.github.io/2020/2020-02-04-function-name-as-closure/ 2020-02-04 https://shnarazk.github.io/2020/2020-02-11-UNSATlog/ 2020-02-11 https://shnarazk.github.io/2020/2020-03-01-rust-error/ 2020-03-02 https://shnarazk.github.io/2020/2020-03-07-rustc-on-nixos/ 2020-03-19 https://shnarazk.github.io/2020/2020-03-08-rename-in-dired-mode/ 2020-03-08 https://shnarazk.github.io/2020/2020-03-16-Profile-Guided-Optimization-on-Rust/ 2020-03-16 https://shnarazk.github.io/2020/2020-03-19-structopt/ 2020-03-19 https://shnarazk.github.io/2020/2020-03-21-UNSATlog/ 2020-03-21 https://shnarazk.github.io/2020/2020-03-27-commit-hook/ 2020-03-27 https://shnarazk.github.io/2020/2020-04-05-nix-liveness/ 2020-04-05 https://shnarazk.github.io/2020/2020-04-08-modern-techniques-of-SAT-solver/ 2020-04-20 https://shnarazk.github.io/2020/2020-04-11-emacs27-on-nix/ 2020-04-11 https://shnarazk.github.io/2020/2020-04-22-UNSATlog/ 2020-04-22 https://shnarazk.github.io/2020/2020-05-09-Emacs-keybind-s-l/ 2020-05-09 https://shnarazk.github.io/2020/2020-05-19-two-heuristics/ 2020-05-19 https://shnarazk.github.io/2020/2020-05-20-LR-needs-something/ 2020-05-21 https://shnarazk.github.io/2020/2020-05-26-MiracleSudoku/ 2020-08-24 https://shnarazk.github.io/2020/2020-05-29-UNSATlog/ 2020-05-29 https://shnarazk.github.io/2020/2020-06-07-cargo-instruments/ 2020-06-07 https://shnarazk.github.io/2020/2020-06-13-clap3/ 2020-06-13 https://shnarazk.github.io/2020/2020-06-19-40M-steps/ 2020-06-19 https://shnarazk.github.io/2020/2020-06-20-vivification/ 2020-07-05 https://shnarazk.github.io/2020/2020-06-22-duplicate-learnt-clause/ 2020-06-22 https://shnarazk.github.io/2020/2020-07-05-UNSATlog/ 2020-07-05 https://shnarazk.github.io/2020/2020-07-05-vivification2/ 2020-08-23 https://shnarazk.github.io/2020/2020-07-18-summer-homework/ 2021-01-26 https://shnarazk.github.io/2020/2020-07-21-what-is-kissat/ 2020-07-21 https://shnarazk.github.io/2020/2020-07-25-lifetime-of-trait-object-type/ 2020-08-05 https://shnarazk.github.io/2020/2020-07-28-fallthrough-in-swift/ 2020-07-28 https://shnarazk.github.io/2020/2020-07-28-whats-new-in-cryptmitsat580/ 2020-07-28 https://shnarazk.github.io/2020/2020-07-31-UNSATlog/ 2020-07-31 https://shnarazk.github.io/2020/2020-08-07-NixOS-on-BigSur/ 2020-08-17 https://shnarazk.github.io/2020/2020-08-14-justanote-102/ 2020-08-14 https://shnarazk.github.io/2020/2020-08-15-Cow/ 2020-08-15 https://shnarazk.github.io/2020/2020-08-19-splr-with-vivification/ 2020-08-23 https://shnarazk.github.io/2020/2020-08-19-sudoku25/ 2020-11-25 https://shnarazk.github.io/2020/2020-08-30-zoom/ 2020-08-30 https://shnarazk.github.io/2020/2020-09-12-UNSATlog/ 2020-09-12 https://shnarazk.github.io/2020/2020-10-10-UNSATlog/ 2020-10-10 https://shnarazk.github.io/2020/2020-10-31-UNSATlog/ 2020-10-31 https://shnarazk.github.io/2020/2020-11-03-minimize-the-worst/ 2020-11-03 https://shnarazk.github.io/2020/2020-11-07-LubyStabilization/ 2020-11-18 https://shnarazk.github.io/2020/2020-11-08-Drop-a-JSON-file/ 2020-11-08 https://shnarazk.github.io/2020/2020-12-04-UNSATlog/ 2020-12-04 https://shnarazk.github.io/2020/2020-12-18-sudoku64/ 2020-12-18 https://shnarazk.github.io/2021/ https://shnarazk.github.io/2021/01-26/ https://shnarazk.github.io/2021/06-22-scratch/ https://shnarazk.github.io/2021/06-22/ https://shnarazk.github.io/2021/09-17-zola/ 2021-09-20 https://shnarazk.github.io/2021/2021-01-02-UNSATlog/ 2021-01-02 https://shnarazk.github.io/2021/2021-01-17-sudoku144/ 2021-01-17 https://shnarazk.github.io/2021/2021-02-02-UNSATlog/ 2021-02-02 https://shnarazk.github.io/2021/2021-03-09-UNSATlog/ 2021-03-12 https://shnarazk.github.io/2021/2021-03-14-nix-flakes/ 2021-03-16 https://shnarazk.github.io/2021/2021-03-16-3SAT-SC20-170058143/ 2021-03-17 https://shnarazk.github.io/2021/2021-03-28-UNSATlog/ 2021-04-05 https://shnarazk.github.io/2021/2021-04-10-UNSATlog/ 2021-04-10 https://shnarazk.github.io/2021/2021-04-10-splr-vivification/ 2021-05-04 https://shnarazk.github.io/2021/2021-05-01-UNSATlog/ 2021-05-01 https://shnarazk.github.io/2021/2021-06-05-UNSATlog/ 2021-06-05 https://shnarazk.github.io/2021/2021-06-11-mac-keylayout/ 2021-06-11 https://shnarazk.github.io/2021/2021-06-15-copy-and-paste-in-scratch/ 2021-06-15 https://shnarazk.github.io/2021/2021-06-22-chronoBT/ 2021-06-22 https://shnarazk.github.io/2021/2021-06-22-scope-of-vars-in-Scratch/ 2021-06-22 https://shnarazk.github.io/2021/2021-07-04-UNSATlog/ 2021-07-04 https://shnarazk.github.io/2021/2021-07-10-crawler-in-swift/ 2021-07-10 https://shnarazk.github.io/2021/2021-07-11-Blindsight/ 2021-07-11 https://shnarazk.github.io/2021/2021-07-25-NotoMono-Regular/ 2021-07-25 https://shnarazk.github.io/2021/2021-08-01-UNSATlog/ 2021-08-01 https://shnarazk.github.io/2021/2021-08-29-KlaraAndTheSun/ 2021-08-29 https://shnarazk.github.io/2021/2021-08-31-kissat-on-macos/ 2021-11-28 https://shnarazk.github.io/2021/2021-09-03-UNSATlog/ 2021-09-03 https://shnarazk.github.io/2021/2021-09-23-Trail-Saving/ 2021-10-01 https://shnarazk.github.io/2021/2021-10-01-UNSATlog/ 2021-10-01 https://shnarazk.github.io/2021/2021-10-29-nix24-requires-the-right-way/ 2021-10-29 https://shnarazk.github.io/2021/2021-11-01-UNSATlog/ 2021-11-01 https://shnarazk.github.io/2021/2021-11-02-Nix2.4/ 2021-11-11 https://shnarazk.github.io/2021/2021-11-06-ShadowCatcher-on-blender/ 2021-11-20 https://shnarazk.github.io/2021/2021-11-13-emacs28-on-Nix/ 2021-11-14 https://shnarazk.github.io/2021/2021-11-14-clouds/ https://shnarazk.github.io/2021/2021-11-14-clouds/2021-11-14-clouds-on-blender/ 2021-11-15 https://shnarazk.github.io/2021/2021-11-16-water/ https://shnarazk.github.io/2021/2021-11-16-water/2021-11-16-water-on-blender/ 2021-11-16 https://shnarazk.github.io/2021/2021-11-18-fluid-dynamics/ https://shnarazk.github.io/2021/2021-11-18-fluid-dynamics/2021-11-18-fluid-dynamics-on-blender/ 2021-11-18 https://shnarazk.github.io/2021/2021-11-27-rigging/ 2021-11-30 https://shnarazk.github.io/2021/2021-12-01-UNSATlog/ 2021-12-01 https://shnarazk.github.io/2021/2021-12-04-text-to-mesh/ 2021-12-05 https://shnarazk.github.io/2022/ https://shnarazk.github.io/2022/0102/ https://shnarazk.github.io/2022/0102/2022-01-02-UNSATlog/ 2022-01-02 https://shnarazk.github.io/2022/2022-01-11-Echoes-of-an-alien-sky/ 2022-01-11 https://shnarazk.github.io/2022/2022-01-11-Never-let-me-go/ 2022-01-11 https://shnarazk.github.io/2022/2022-01-27-the-book-of-all-skies/ 2022-01-27 https://shnarazk.github.io/2022/2022-02-01-UNSATlog/ 2022-02-01 https://shnarazk.github.io/2022/2022-03-02-UNSATlog/ 2022-03-02 https://shnarazk.github.io/2022/2022-03-15-helix/ 2021-03-21 https://shnarazk.github.io/2022/2022-04-01-UNSATlog/ 2022-04-01 https://shnarazk.github.io/2022/2022-04-08-Benchmarking-Smalltalks/ 2021-04-09 https://shnarazk.github.io/2022/2022-04-11-MacOS-Nixpkgs-Alacritty-Tmux-truecolor/ 2022-04-11 https://shnarazk.github.io/2022/2022-05-03-UNSATlog/ 2022-05-03 https://shnarazk.github.io/2022/2022-05-30-Rust-from-CuisSmalltalk/ 2022-05-30 https://shnarazk.github.io/2022/2022-06-01-UNSATlog/ 2022-06-01 https://shnarazk.github.io/2022/2022-07-07-UNSATlog/ 2022-07-07 https://shnarazk.github.io/2022/2022-07-12-Engram-for-JP/ 2022-07-12 https://shnarazk.github.io/2022/2022-07-22-TIL-from-rustlings/ 2022-07-22 https://shnarazk.github.io/2022/2022-08-10-UNSATlog/ 2022-08-10 https://shnarazk.github.io/2022/2022-09-08-UNSATlog/ 2022-09-08 https://shnarazk.github.io/2022/2022-09-24-Flake-of-Alacritty-0.11/ 2022-09-24 https://shnarazk.github.io/2022/2022-09-27-overlaying-Rusty-nixpkgs/ 2022-09-28 https://shnarazk.github.io/2022/2022-10-04-UNSATlog/ 2022-10-04 https://shnarazk.github.io/2022/2022-11-01-UNSATlog/ 2022-11-01 https://shnarazk.github.io/2022/2022-12-04-UNSATlog/ 2022-12-04 https://shnarazk.github.io/2023/ https://shnarazk.github.io/2023/2023-01-01-matrix-product-in-bqn/ 2021-01-01 https://shnarazk.github.io/2023/2023-01-17-UNSATlog/ 2023-01-17 https://shnarazk.github.io/2023/2023-01-31-UNSATlog/ 2023-01-31 https://shnarazk.github.io/2023/2023-03-02-uncurry-is-fold/ 2021-03-02 https://shnarazk.github.io/2023/2023-03-04-UNSATlog/ 2023-03-04 https://shnarazk.github.io/2023/2023-03-07-aoc2022-day19/ 2023-03-10 https://shnarazk.github.io/2023/2023-04-05-UNSATog/ 2023-04-05 https://shnarazk.github.io/2023/2023-04-14_nix-build/ 2023-04-14 https://shnarazk.github.io/2023/2023-05-05-UNSATlog/ 2023-05-05 https://shnarazk.github.io/2023/2023-06-02-UNSATlog/ 2023-06-02 https://shnarazk.github.io/2023/2023-07-01-UNSAT/ 2023-07-01 https://shnarazk.github.io/2023/2023-08-06-UNSAT/ 2023-08-06 https://shnarazk.github.io/2023/2023-09-03-UNSAT/ 2023-09-03 https://shnarazk.github.io/2023/two-searches-in-bqn/ 2023-06-04 https://shnarazk.github.io/about/ 2021-09-20 https://shnarazk.github.io/page/1/ https://shnarazk.github.io/page/10/ https://shnarazk.github.io/page/11/ https://shnarazk.github.io/page/12/ https://shnarazk.github.io/page/13/ https://shnarazk.github.io/page/14/ https://shnarazk.github.io/page/15/ https://shnarazk.github.io/page/2/ https://shnarazk.github.io/page/3/ https://shnarazk.github.io/page/4/ https://shnarazk.github.io/page/5/ https://shnarazk.github.io/page/6/ https://shnarazk.github.io/page/7/ https://shnarazk.github.io/page/8/ https://shnarazk.github.io/page/9/ https://shnarazk.github.io/tags/ https://shnarazk.github.io/tags/advent-of-code/ https://shnarazk.github.io/tags/apl/ https://shnarazk.github.io/tags/archlinux/ https://shnarazk.github.io/tags/blender/ https://shnarazk.github.io/tags/bqn/ https://shnarazk.github.io/tags/cadical/ https://shnarazk.github.io/tags/chronobt/ https://shnarazk.github.io/tags/cloud/ https://shnarazk.github.io/tags/covid19/ https://shnarazk.github.io/tags/cryptominisat/ https://shnarazk.github.io/tags/cuis/ https://shnarazk.github.io/tags/cuissmalltalk/ https://shnarazk.github.io/tags/discord/ https://shnarazk.github.io/tags/docker/ https://shnarazk.github.io/tags/emacs/ https://shnarazk.github.io/tags/engram/ https://shnarazk.github.io/tags/evil/ https://shnarazk.github.io/tags/font/ https://shnarazk.github.io/tags/gitlab/ https://shnarazk.github.io/tags/glucose/ https://shnarazk.github.io/tags/gnome/ https://shnarazk.github.io/tags/gtk/ https://shnarazk.github.io/tags/haskell/ https://shnarazk.github.io/tags/helix/ https://shnarazk.github.io/tags/heroku/ https://shnarazk.github.io/tags/hugo/ https://shnarazk.github.io/tags/issue/ https://shnarazk.github.io/tags/jang/ https://shnarazk.github.io/tags/javascript/ https://shnarazk.github.io/tags/kissat/ https://shnarazk.github.io/tags/latex/ https://shnarazk.github.io/tags/lingeling/ https://shnarazk.github.io/tags/macos/ https://shnarazk.github.io/tags/maxos/ https://shnarazk.github.io/tags/mios/ https://shnarazk.github.io/tags/mongodb/ https://shnarazk.github.io/tags/moodle/ https://shnarazk.github.io/tags/nextcloud/ https://shnarazk.github.io/tags/nix/ https://shnarazk.github.io/tags/nixos/ https://shnarazk.github.io/tags/novel/ https://shnarazk.github.io/tags/now/ https://shnarazk.github.io/tags/nuxtjs/ https://shnarazk.github.io/tags/observable/ https://shnarazk.github.io/tags/pharo/ https://shnarazk.github.io/tags/postgresql/ https://shnarazk.github.io/tags/privary/ https://shnarazk.github.io/tags/r/ https://shnarazk.github.io/tags/rust/ https://shnarazk.github.io/tags/sat/ https://shnarazk.github.io/tags/scratch/ https://shnarazk.github.io/tags/servant/ https://shnarazk.github.io/tags/sf/ https://shnarazk.github.io/tags/shell/ https://shnarazk.github.io/tags/smalltalk/ https://shnarazk.github.io/tags/splr/ https://shnarazk.github.io/tags/squeak/ https://shnarazk.github.io/tags/sudoku/ https://shnarazk.github.io/tags/swift/ https://shnarazk.github.io/tags/tmux/ https://shnarazk.github.io/tags/trail-saving/ https://shnarazk.github.io/tags/unsatlog/ https://shnarazk.github.io/tags/vim/ https://shnarazk.github.io/tags/vivification/ https://shnarazk.github.io/tags/vuejs/ https://shnarazk.github.io/tags/zola/ https://shnarazk.github.io/tags/zoom/