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

mtrsk

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

mtrsk

# https://www.tweag.io/blog/2020-07-31-nixos-flakes/

# To switch from channels to flakes execute:
# cd /etc/nixos
# sudo wget -O flake.nix https://gist.githubusercontent.com/misuzu/80af74212ba76d03f6a7a6f2e8ae1620/raw/flake.nix
# sudo sed -i "s/myhost/$(hostname)/g" flake.nix
# sudo git init
# sudo git add . # won't work without this
# nix run nixpkgs.nixFlakes -c sudo nix --experimental-features 'flakes nix-command' build .#nixosConfigurations.$(hostname).config.system.build.toplevel
# sudo ./result/bin/switch-to-configuration switch

mtrsk

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

with lib;

let
  cfg = config.services.batteryNotifier;
in {
  options = {
    services.batteryNotifier = {
      enable = mkOption {

mtrsk

{ pkgs ? import <nixpkgs> {}}:

let
jupyterPort = pkgs.config.jupyterPort;
fhs = pkgs.buildFHSUserEnv {
  name = "julia-fhs";
  targetPkgs = pkgs: with pkgs;
    [
      git
      gitRepo

mtrsk

Program Analysis Resources

(draft; work in progress)

See also:

• Compilers
  • correctness
• Program analysis:
• Dynamic analysis - instrumentation, translation, sanitizers

mtrsk

{ pkgs ? import <nixpkgs> {} }:

let

  # To use this shell.nix on NixOS your user needs to be configured as such:
  # users.extraUsers.adisbladis = {
  #   subUidRanges = [{ startUid = 100000; count = 65536; }];
  #   subGidRanges = [{ startGid = 100000; count = 65536; }];
  # };

mtrsk

{ pkgs ? import <nixpkgs> {} }:

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

mtrsk

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

  networking.firewall.allowedTCPPorts = [ 80 ];

mtrsk

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