jhrr

# Adapted from github comment:
# https://github.com/dimitri/pgloader/issues/782#issuecomment-1136067634

if [ -z "$3" ]; then
    echo "Usage: $0 <db name> <mysql dump> <psql dump output>"
    echo "Requirements: docker"
    exit 1
fi

if ! command -v docker &> /dev/null

jhrr

;; Detect OS
(defvar macosx-p (string-match "darwin" (symbol-name system-type)))
 
;; osx fixes
(defun insert-hash ()
  (interactive)
  (insert "#"))
 
(defun set-exec-path-from-shell-PATH ()
  (let ((path-from-shell

jhrr

AWS S3 bucket and IAM policy recipes

• Recipes
  • Anonymous GET access
  • Anonymous GET access - match HTTP referrer
  • Full access for specific IAM user/role
  • GET/PUT/DELETE access to specific path within a bucket
  • Restricted LIST & PUT/DELETE access to specific path within a bucket
  • Full access (and S3 console) for specific IAM users
  • Bucket and object delete deny

jhrr

{-#  OPTIONS --type-in-type #-}
{- 
  Computer Aided Formal Reasoning (G53CFR, G54CFR)
  Thorsten Altenkirch

  Lecture 20: Russell's paradox

  In this lecture we show that it is inconsistent to have
  Set:Set. Luckily, Agda is aware of this and indeed 
  Set=Set₀ : Set₁ : Set₂ : ...

jhrr

What's this

Sample codes in this blog. https://dev.to/paprikamah/how-to-setup-aws-waf-v2-21f1

jhrr

$('#multi-films .film-grid').children().map(function() {
    var $this = $(this),
        rank = $this.find('.list-film-position').text().trim(),
        title = $this.find('.film-title').text().trim(),
        dirYear = $this.find('.director-year').text().trim(),
        re = dirYear.match(/^(.+), (\d+)$/),
        dir = re ? re[1] : dirYear,
        year = re ? re[2] : '';
    return [rank, title, year, dir].join('\t');
}).get().join('\n');

jhrr

/* bling.js */

window.$ = document.querySelectorAll.bind(document)

Node.prototype.on = window.on = function (name, fn) {
  this.addEventListener(name, fn)
}

NodeList.prototype.__proto__ = Array.prototype

jhrr

import itertools

def neighbors(point):
    x, y = point
    yield x + 1, y
    yield x - 1, y
    yield x, y + 1
    yield x, y - 1
    yield x + 1, y + 1
    yield x + 1, y - 1

jhrr

;;; .emacs (full version)

;;; A .emacs file for C311 students.  To use this file, rename
;;; it to '.emacs' and place it in your home directory.

;;; [3 November 2004]
;;; Will Byrd created the initial version of this file from the 
;;; simple .emacs file posted earlier.   Portions of this file were
;;; were taken from Aziz Ghuloum's .emacs file.

jhrr

PROGRAMMING WITH EFFECTS
Graham Hutton, January 2015

Shall we be pure or impure?

The functional programming community divides into two camps:

 o "Pure" languages, such as Haskell, are based directly
   upon the mathematical notion of a function as a
   mapping from arguments to results.