| { | |
| config, | |
| pkgs, | |
| options, | |
| ... | |
| }: let | |
| hostname = "oatman-pc"; # to alllow per-machine config | |
| in { | |
| networking.hostName = hostname; |
| /* | |
| * A simple vscode style customization for https://github.com/be5invis/vscode-custom-css | |
| * Just put this file into anywhere and refer it from your vscode `settings.json` under `vscode_custom_css.imports` as following: | |
| * "vscode_custom_css.imports": [ | |
| * "file:///c:/Users/anyone/vscode.css" | |
| * ] | |
| **/ | |
| a.label-name, | |
| p.subtitle.description, | |
| h1.product-name.caption, |
| #!/usr/bin/env python3 | |
| # -*- coding: utf-8 -*- | |
| """ | |
| Git smart switch | |
| Like `git switch` but stashing uncommitted changes and recovering them when you are back. | |
| # Install |
| // Copyright (c) 2021 Advanced Micro Devices, Inc. All rights reserved. | |
| // | |
| // 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: | |
| // | |
| // The above copyright notice and this permission notice shall be included in |
Based on this blogpost.
To sign Git commits, you need a gpg key. GPG stands for GNU Privacy Guard and is the de facto implementation of the OpenPGP message format. PGP stands for ‘Pretty Good Privacy’ and is a standard to sign and encrypt messages.
Install with Homebrew:
$ brew install gpg
Serve your data as static JSON
How to make a read-only JSON REST API using Jekyll.
This doesn't need any Ruby plugins - you just use some built-in templating features in Jekyll 3 or 4.
You will end up with a single JSON file contains data for all pages on the site, and another JSON file of just posts. Alternatively, you can replace every HTML page and post with a JSON version.
| # Instructions for fresh install | |
| $ sh <(curl -L https://nixos.org/nix/install) --darwin-use-unencrypted-nix-store-volume --daemon | |
| # reboot | |
| $ source /nix/var/nix/profiles/default/etc/profile.d/nix-daemon.sh | |
| $ echo 'export NIX_PATH=darwin-config=$HOME/.nixpkgs/darwin-configuration.nix:$HOME/.nix-defexpr/channels${NIX_PATH:+:}$NIX_PATH' | tee -a ~/.zshrc | |
| $ echo 'source $HOME/.nix-profile/etc/profile.d/hm-session-vars.sh' | tee -a ~/.zshrc | |
| $ nix-channel --add https://nixos.org/channels/nixpkgs-unstable | |
| $ nix-channel --add https://github.com/LnL7/nix-darwin/archive/master.tar.gz darwin | |
| $ nix-channel --add https://github.com/nix-community/home-manager/archive/master.tar.gz home-manager |
Recommendations for getting started on Category Theory, from emilypi, in NE Scala Slack (#category-theory), 3/14/20:
Right, so let's just go through the branches and name the suggestions:
| " Location for installing plugins | |
| call plug#begin('~/.vim/plugged') | |
| " Other plugins are specified with user/repo on Github or x.vim on vimscripts | |
| " Git integration (status bar and commands like Gblame) | |
| Plug 'tpope/vim-fugitive' | |
| " Add info to sidebar about git | |
| Plug 'airblade/vim-gitgutter' | |
| " Add file-management commands like :Delete, :Move, and :Rename | |
| Plug 'tpope/vim-eunuch' |
| ; The stack pointer is going to be an index into the stack, and the | |
| ; stack is an array of words. The alternative would be to have the | |
| ; stack pointer me a pointer to memory, but this is perhaps a bit | |
| ; nicer, as where the stack actually lives is totally irrelevant. | |
| @stack = global [1000 x i64] undef | |
| @sp = global i64 undef; | |
| ; Now we have the basic stack operations: push, pop, and peek. As can | |
| ; be seen from the definitions, LLVM is typed, which is really nice as |