This is my blog made with Zola. test

• Running Glucose in benchmark mode
• Development of Var activities (2019-07-11)
• End of Rust on Now
• NixOS administration
• Directions for the next Splr
• First UIP distribution (2019-07-21)
• Connect mongoDB Atlas from Rust
• Make Vec from HashMap in Rust
• Memo about installing Texlive
• A trait definition with lifetimes
• GTK development on Nix on macOS
• Can't bind an expression to v-scroll-to
• SAT solvers in crates.io
• Post to Discord from shell
• SAT Solver Development Log
• Build GNU Source-highlight supporting Rust for NixOS
• Memo on Nixpkgs
• Memo about @now/rust by Zeit
• About Observable
• A Consideration about Restart (2019-07-31)
• Splr-0.1.4 released
• Install Rust programs with resources on NixOS
• EMA of LBD
• Using Nix on Catalina
• Compiling Rust programs that use openssl