- Meditation as Experimental Introspection 🔶/MEI
- Meditation as Mental Purification 🔷/MMP
The coloured diamonds are for skimming, the abbreviations for textual search.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| module Loadable exposing | |
| ( Loadable(..), toMaybe, withDefault, fromResult | |
| , map, andThen, apply, map2, mapError | |
| , isInit, isLoading, isLoaded, isError, isDone, isPending | |
| ) | |
| {-| Model loadable values | |
| This is inspired by: <http://blog.jenkster.com/2016/06/how-elm-slays-a-ui-antipattern.html> |
knuton
/ gen-art.diff
Created
March 11, 2022 13:38
Non-Haskell deps for https://github.com/quchen/generative-art via Stack/Nix
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| diff --git a/stack.yaml b/stack.yaml | |
| index 2cfb16b..96a236e 100644 | |
| --- a/stack.yaml | |
| +++ b/stack.yaml | |
| @@ -7,3 +7,6 @@ extra-deps: | |
| - Noise-1.0.6@sha256:7eb0d021e334ca2341a9cb51eac7d6f2c76b4e4e1a27264509b38264dc202b32,1994 | |
| - data-r-tree-0.6.0@sha256:10a25ef70e6779c3bf5128cd45d033482a370ea07e92ab1c82678675de01d870,3668 | |
| resolver: lts-18.19 | |
| +nix: | |
| + enable: true |
knuton
/ nvaltalt.bash
Last active
July 29, 2021 10:16
Notational Velocity/nvALT approximation using fzf, ripgrep and awk
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # Bash function to approximate Notational Velocity using fzf and ripgrep. | |
| # | |
| # Will search for and preview matching files based on name and content, then open with $EDITOR on enter. | |
| # Assumes Markdown files. | |
| # | |
| # Based on | |
| # - https://demu.red/blog/2021/04/a-notational-velocity-stopgap-solution-for-linux/ | |
| # - https://github.com/junegunn/fzf#3-interactive-ripgrep-integration | |
| function note() { | |
| pushd ~/notes 1>/dev/null && \ |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| digraph G { | |
| rankdir = BT; | |
| node [ shape=box ]; | |
| small_cat [ label="small cat" ]; | |
| commutative_monoid [ label="commutative monoid" ]; | |
| inverse_semigroup [ label="inverse semigroup" ]; | |
| unital_magma [ label="unital magma" ]; | |
| abelian_group [ label="abelian group" ]; |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # This script will download and install Dividat Driver as a Windows service. | |
| ## Configuration ########################################## | |
| $releaseUrl = "https://dist.dividat.com/releases/driver2/" | |
| $channel = "master" | |
| $installDir = "C:\Program Files\dividat-driver" | |
| ########################################################### | |
| $ErrorActionPreference = "Stop" |
knuton
/ setup-pseudo-senso.sh
Last active
August 14, 2017 15:37
Script to set up a "pseudo Senso" on Raspbian
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # Purpose: Set up the Senso driver to run as a Senso simulator on boot | |
| # Requires ARMv7 or newer. | |
| # Usage: curl -L https://git.io/vQIGb | sudo sh -e | |
| PARENT_DIR=$(pwd) | |
| SETUP_DIR="pseudo-senso" | |
| DRIVER_VERSION="v0.3.2" | |
| export DEBIAN_FRONTEND=noninteractive |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Require Import Omega. | |
| Require Import Coq.Setoids.Setoid. | |
| Inductive trans_r : nat -> nat -> Prop := | |
| | trans_r_base : trans_r 0 3 | |
| | trans_r_plus : forall m n, trans_r m n -> trans_r (m+3) (n+3) | |
| | trans_r_trans : forall m n o, trans_r m n -> trans_r n o -> trans_r m o. | |
| Example trans_r_6_9 : trans_r 3 9. | |
| Proof. |
knuton
/ software-foundations-errata.coq
Last active
December 27, 2015 11:59
Collecting errata for "Software Foundations" http://www.cis.upenn.edu/~bcpierce/sf/index.html
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| (** Basics.v, More Exercises | |
| "similar to the previous one but where the second hypothesis says" should simply be | |
| "similar to the previous one but where the hypothesis says"*) |
knuton
/ javascript_helper.rb
Created
October 19, 2013 18:53
Helper for inlining minified JavaScripts from the Rails Asset Pipeline/Sprockets
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| def javascript_inline_tag(asset_path) | |
| content_tag( | |
| :script, | |
| raw(Uglifier.new.compile(AppName::Application.assets.find_asset(asset_path).to_s)) | |
| ) | |
| end |
NewerOlder