- CT: Category Theory
- FP: Functional Programming (typically meaning more pure functional programming)
- TFP: Total Functional Programming
- TDD: Type Driven Development (e.g. via Idris or Agda)
- TT: Type Theory
- PLT: Programming Language Theory
This file contains 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
# https://gist.github.com/dubiouscript/6c82fab69c731647bfe4d60231b90161 | |
# https://georgik.rocks/cgi-server-bash-one-liner/#gzip | |
# | |
# get_request_header "Accept-Encoding" | grep -q -e "gzip" && set_response_header "Content-encoding" "gzip"; | |
# | |
# encodeing_gzip() { get_request_header "Accept-Encoding"| grep -q -e "gzip" ; [ $? -eq 0 ] && gzip || cat ; } | |
# | |
# serve_file() { |
This file contains 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
#!/usr/bin/env bash | |
# Purpose: Provide HTTP server that displays the current server date to | |
# validate the artifact structure and play with. | |
declare -a _http_responses=( | |
[200]="OK" | |
[201]="Created" | |
[202]="Accepted" | |
[204]="No Content" | |
[301]="Moved Permanently" |
This file contains 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
#!/usr/bin/env bash | |
# HTTP web service implemented in socat + bash | |
# Usage: socat -T 1 -d -d tcp-l:8080,reuseaddr,fork,crlf exec:./server | |
# Purpose: Provide an HTTP server that displays the current server date, | |
# to validate the artifact structure and play with it. | |
# Note: socat crlf option is translating all our \n to \r\n on output. | |
http_version="1.0" | |
declare -a _http_responses=( |
People
![]() :bowtie: |
๐ :smile: |
๐ :laughing: |
---|---|---|
๐ :blush: |
๐ :smiley: |
:relaxed: |
๐ :smirk: |
๐ :heart_eyes: |
๐ :kissing_heart: |
๐ :kissing_closed_eyes: |
๐ณ :flushed: |
๐ :relieved: |
๐ :satisfied: |
๐ :grin: |
๐ :wink: |
๐ :stuck_out_tongue_winking_eye: |
๐ :stuck_out_tongue_closed_eyes: |
๐ :grinning: |
๐ :kissing: |
๐ :kissing_smiling_eyes: |
๐ :stuck_out_tongue: |
This file contains 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
#!/bin/bash | |
# | |
# Copyright 2016-2017 Martin Goellnitz | |
# | |
# update gitlab api | |
# https://gist.github.com/dubiouscript/5553dce89497ffd9805dd0de16503e8d | |
# -dscript- | |
# | |
# This program is free software: you can redistribute it and/or modify | |
# it under the terms of the GNU General Public License as published by |
explainshell.com is a web app for intelligently
displaying man
page help text for a given command line.
This is helpful and convenient ... and anyone working from the command-line is going to want a CLI variant for obvious reasons.
There's been a number of requests for a CLI on explainshell's issue list.
In liue of a thin-client that queries a currently non-existing RESTful API
This file contains 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
#!/usr/bin/env bash | |
statefile=~/.config/nixpkgs/declarative | |
action="$1" | |
package="$2" | |
mkdir -p $(dirname "$statefile") | |
touch "$statefile" | |
function update { | |
envExpr=~/.config/nixpkgs/declarative-env.nix |
First at all, falsehoods programmers believe about musical tuning:
- Cโฏ and Dโญ are the same notes
- C๐ช and D are the same notes
- Semitone is 100 cents wide
- There's only 12 notes in the octave
- There's only 24 notes
- Okay, 31 notes
- Come on, 72 notes per octave is enough for everybody
- You're kidding, right?