Marcos Benevides mtrsk

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

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

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

	{lib, options, pkgs, config, ...}:

	{
	systemd.services.ipfs-daemon = {
	description = "IPFS Daemon";
	wantedBy = [ "default.target" ];
	after = [ "network.target" ];
	serviceConfig = {
	Type = "forking";
	User = "usul";

	{ pkgs ? import <nixpkgs> {} }:

	with pkgs;

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

	mkShell {

	{ nixpkgs ? import <nixpkgs> {}
	, version ? "0.1"
	, proxy ? "http://10.183.23.58:3128"
	}:

	with nixpkgs;

	let
	elixir = beam.packages.erlangR21.elixir_1_7;
	nodejs = nodejs-10_x;

	self: super:

	let
	py-override = {
	packageOverrides = python-self: python-super: {
	altgraph = python-super.buildPythonPackage rec {
	pname = "altgraph";
	version = "0.16.1";

	doCheck = false;

	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 =

	{ config, lib, pkgs, ... }:
	{
	services.sshd.enable = true;
	services.terraria = {
	enable = true;
	home = "/srv/terraria";
	};
	nixpkgs.config.allowUnfree = true;

	networking.firewall.allowedTCPPorts = [ 80 ];

	{ pkgs ? import <nixpkgs> {} }:

	let
	makeEnv = python: pkgs.poetry2nix.mkPoetryEnv {
	python = python;
	pyproject = ./pyproject.toml;
	poetrylock = ./poetry.lock;
	overrides = [
	pkgs.poetry2nix.defaultPoetryOverrides
	(self: super: {