Thales Macedo Garitezi thalesmg

Use password-store (aka pass) with forge and github-review

We can use pass as an emacs auth-source backend to access credentials.

Add auth-source-pass (included with emacs 26) to your emacs config:

(require 'auth-source-pass)
(auth-source-pass-enable)

This prepends password-store to the variable auth-sources.

Here's the unusually long linkography from the Zoom chat during World Building in Haskell with Tom Harding:

Perlin noise youtube playlist: https://www.youtube.com/playlist?list=PLRqwX-V7Uu6bgPNQAdxQZpJuJCjeOr7VD

Tom's repo: https://github.com/i-am-tom/world-building-in-haskell/blob/7c75b3711c021bf32f2c4c521accf03a32c7597d/src/Data/Vect.hs

The inventor of Liquid Haskell Ranjit Jhala is funny: https://www.youtube.com/watch?v=Ci48kqp11F8

Fun Prolog stuff, totally off-topic: https://arxiv.org/abs/1809.02840

Delimited Continuations

Delimited continuations manipulate the control flow of programs. Similar to control structures like conditionals or loops they allow to deviate from a sequential flow of control.

We use exception handling as another example for control flow manipulation and later show how to implement it using delimited continuations. Finally, we show that nondeterminism can also be expressed using delimited continuations.

Exception Handling

Optics By Example Cheat Sheets

The following are appendices from Optics By Example, a comprehensive guide to optics from beginner to advanced! If you like the content below, there's plenty more where that came from; pick up the book!

Operators
Composition Guide
Substitution Guide
Optical Constarints and Types

Operator Cheat Sheet

Statically checked overloaded strings

This gist demonstrates a trick I came up with which is defining IsString for Q (TExp a), where a is lift-able. This allows you to write $$("...") and have the string parsed at compile-time.

This offers a light-weight way to enforce compile-time constraints. It's basically OverloadedStrings with static checks.

This trick works already in existing (old) GHCs.

	#!/bin/bash -x
	#######################################################################
	#
	# Demo of Erlang IDL, as applied to property testing of Java code.

	# We'll need Triq.
	git clone git://github.com/krestenkrab/triq.git
	(cd triq && ./rebar compile)

	ERL_ROOT=`erl -noshell -eval 'io:format("~s\n", [code:root_dir()]), init:stop().'`

	%%%-------------------------------------------------------------------
	%%% @author Ahmad Baitalmal
	%%% @copyright (C) 2017, Ahmad Baitalmal
	%%% Permission is hereby granted, free of charge, to any person obtaining
	%%% a copy of this software and associated documentation files
	%%% (the “Software”), to deal in the Software without restriction,
	%%% including without limitation the rights to use, copy, modify, merge,
	%%% publish, distribute, sublicense, and/or sell copies of the Software,
	%%% and to permit persons to whom the Software is furnished to do so,
	%%% subject to the following conditions:

	#!/usr/bin/env python3

	import os
	import paramiko

	ssh_key_filename = os.getenv('HOME') + '/.ssh/id_rsa'

	jumpbox_public_addr = '168.128.52.199'
	jumpbox_private_addr = '10.0.5.10'
	target_addr = '10.0.5.20'

	{ pkgs ? import <nixpkgs> {} }:

	with pkgs;

	let
	elixir_1_12 = { mkDerivation }:
	mkDerivation rec {
	version = "1.12.0";
	sha256 = "00dc3szjn2k552jp7n1c98kjab6wac9d49v2gr43pf3yzcyv8mk1";
	minimumOTPVersion = "24";

	#!/usr/bin/env python
	# Reflects the requests from HTTP methods GET, POST, PUT, and DELETE
	# Written by Nathan Hamiel (2010)

	from http.server import HTTPServer, BaseHTTPRequestHandler
	from optparse import OptionParser

	class RequestHandler(BaseHTTPRequestHandler):

	def do_GET(self):