Armando Ramirez ramirez7

k0001's handwavy guide to high quality software

This is a work in progress where I try to convey what high quality software means to me, and how to build it. Be warned: This is a very opinionated and handwavy guide.

Copyright Renzo Carbonara, 2016. This work is licensed under a Creative Commons Attribution 4.0 International License.

	module FizzBuzzC

	%default total

	-- Dependently typed FizzBuzz, constructively

	-- A number is fizzy if it is evenly divisible by 3
	data Fizzy : Nat -> Type where
	ZeroFizzy : Fizzy 0
	Fizz : Fizzy n -> Fizzy (3 + n)

	{ pkgs, lib, config, ... }:
	{
	networking = {
	firewall.allowedTCPPorts = [
	3000 # grafana
	9090 # prometheus
	9093 # alertmanager
	];
	useDHCP = true;
	};

	(defun copy-from-osx ()
	(shell-command-to-string "pbpaste"))

	(defun paste-to-osx (text &optional push)
	(let ((process-connection-type nil))
	(let ((proc (start-process "pbcopy" "Messages" "pbcopy")))
	(process-send-string proc text)
	(process-send-eof proc))))

	(setq interprogram-cut-function 'paste-to-osx)