Paolo G. Giarrusso Blaisorblade
Just run this from your Mac terminal and it'll drop you in a container with full permissions on the Docker VM. This also works for Docker for Windows for getting in Moby Linux VM (doesn't work for Windows Containers).
docker run -it --rm --privileged --pid=host justincormack/nsenter1
more info: https://github.com/justincormack/nsenter1
The philosophy behind Documentation-Driven Development is a simple: from the perspective of a user, if a feature is not documented, then it doesn't exist, and if a feature is documented incorrectly, then it's broken.
- Document the feature first. Figure out how you're going to describe the feature to users; if it's not documented, it doesn't exist. Documentation is the best way to define a feature in a user's eyes.
- Whenever possible, documentation should be reviewed by users (community or Spark Elite) before any development begins.
- Once documentation has been written, development should commence, and test-driven development is preferred.
- Unit tests should be written that test the features as described by the documentation. If the functionality ever comes out of alignment with the documentation, tests should fail.
- When a feature is being modified, it should be modified documentation-first.
- When documentation is modified, so should be the tests.
Last updated March 13, 2024
This Gist explains how to sign commits using gpg in a step-by-step fashion. Previously, krypt.co was heavily mentioned, but I've only recently learned they were acquired by Akamai and no longer update their previous free products. Those mentions have been removed.
Additionally, 1Password now supports signing Git commits with SSH keys and makes it pretty easy-plus you can easily configure Git Tower to use it for both signing and ssh.
For using a GUI-based GIT tool such as Tower or Github Desktop, follow the steps here for signing your commits with GPG.
| Inductive T := | |
| | Var : nat -> T | |
| | App : T -> T -> T. | |
| Inductive S e : Prop := | |
| | def: forall R, (forall i, R i -> S i) -> | |
| (forall e', R e' -> S (App e e')) -> S e. | |
| Definition def' : | |
| forall e, (forall e', S e' -> S (App e e')) -> S e. |
Copyright © 2016-2018 Fantasyland Institute of Learning. All rights reserved.
A function is a mapping from one set, called a domain, to another set, called the codomain. A function associates every element in the domain with exactly one element in the codomain. In Scala, both domain and codomain are types.
val square : Int => Int = x => x * x
The latest beta (3.5) includes separate color settings for light & dark mode. Toggling dark mode automatically switches colors.
Vist iTerm2 homepage or use brew install iterm2-beta to download the beta. Thanks @stefanwascoding.
- Add
switch_automatic.pyto~/Library/ApplicationSupport/iTerm2/Scripts/AutoLaunchwith:
No need for homebrew or anything like that. Works with https://www.git-tower.com and the command line.
- Install https://gpgtools.org -- I'd suggest to do a customized install and deselect GPGMail.
- Create or import a key -- see below for https://keybase.io
- Run
gpg --list-secret-keysand look forsec, use the key ID for the next step - Configure
gitto use GPG -- replace the key with the one fromgpg --list-secret-keys
| #!/bin/bash | |
| ## Fix OneDrive for Mac CPU usage | |
| ## | |
| ## Seems this is still a problem 5 years later after I created this little gist. | |
| ## I have long since stopped using OneDrive (luckily), but according to | |
| ## comments below, I have added the new path for OfficeFileCache for macOS | |
| ## Mojave (10.14) and Catalina (10.15). | |
| ## Run this on macOS Mojave (10.14) and Catalina (10.15) | |
| find ~/Library/Containers/ -type d -name OfficeFileCache -exec rm -r {} + |
| {-# OPTIONS --copatterns #-} | |
| module UntypedLambda where | |
| open import Size | |
| open import Function | |
| mutual | |
| data Delay (A : Set) (i : Size) : Set where |