Blaisorblade

GPG and git on macOS

Setup

No need for homebrew or anything like that. Works with https://www.git-tower.com and the command line.

1. Install https://gpgtools.org -- I'd suggest to do a customized install and deselect GPGMail.
2. Create or import a key -- see below for https://keybase.io
3. Run gpg --list-secret-keys and look for sec, use the key ID for the next step
4. Configure git to use GPG -- replace the key with the one from gpg --list-secret-keys

Blaisorblade

{
/* Keybindings for emacs emulation.  Compiled by Jacob Rus.
 *
 * This is a pretty good set, especially considering that many emacs bindings
 * such as C-o, C-a, C-e, C-k, C-y, C-v, C-f, C-b, C-p, C-n, C-t, and
 * perhaps a few more, are already built into the system.
 *
 * BEWARE:
 * This file uses the Option key as a meta key.  This has the side-effect
 * of overriding Mac OS keybindings for the option key, which generally

Blaisorblade

module LP where

open import Data.Empty using () renaming (⊥ to Empty)
open import Data.Product using (∃ ; _×_ ; _,_ ; proj₁ ; proj₂)
open import Data.Unit using () renaming (⊤ to Unit ; tt to unit)
open import Relation.Binary.PropositionalEquality as P -- using (_≡_ ; refl; cong₂; subst)


data Cx (X : Set) : Set where
  ∅   : Cx X

Blaisorblade

Having trouble installing the latest stable version of tmux?

Save yourself some time and run this little fellow!

Prerequisities

• gcc
• wget

Blaisorblade

object experiment {

import language.experimental.macros
import language.dynamics

import scala.reflect.macros._

case class Rep[+T](x:String)

implicit def anyToRep[T](x:T) = new Rep[T](x.toString)

Blaisorblade

+++ b/src/library/scala/Enumeration.scala
+  @deprecated("Names should be specified individually or discovered via reflection", "2.10.0")
+  def this(initial: Int, names: String*) = {
+  @deprecated("Names should be specified individually or discovered via reflection", "2.10.0")
   def this(names: String*) = this(0, names: _*)

+++ b/src/library/scala/Predef.scala
+  // @deprecated("Use scala.AnyRef instead", "2.10.0")
+  // def AnyRef = scala.AnyRef