Marcos Benevides schonfinkel

Some recommended books for improving as a software developer

Most software books are too language specific and go out of date too quickly. What I find has stayed with me are books about bigger concepts, such as systems thinking and complexity, and also so-called "soft skills" such as management and psychology.

User experience

These are all really about developing empathy for other people :)

"The Design of Everyday Things" by Donald Norman

Password-store keeps your passwords (or any other sensitive information) saved in GnuPG encrypted files organized in ~/.password-store. For more information about GPG, consult the GNU Privacy Handbook.

Getting started

To get started, install pass and generate a keypair.

$ brew install pass
$ gpg --gen-key
$ gpg --list-keys

Tutorial

This is a Spacemacs config, I only use it for Coq + Proof General.

Instalation

Make sure you have Emacs & Coq installed
Install Proof General

cd ~/.emacs.d/private/local

	open System
	open System.IO
	open System.Net
	open System.Text.Json
	open System.Collections.Generic
	open System.Security.Cryptography

	/// Taken from hash.cc in the nix codebase
	/// https://github.com/NixOS/nix/blob/a7540294cfae82c098e8691cd5212a9184add574/src/libutil/hash.cc
	module Base32 =

	{ pkgs ? import <nixpkgs> {} }:

	with pkgs;

	let
	inherit (lib) optional optionals;
	proxy = "<your proxy if you need one>";
	in

	mkShell {