gum agumonkey

Reading

Title	Author(s)	Year
Intuitionistic Type Theory	Per Martin-Löf	1984
On the Meanings of the Logical Constants and the Justification of the Logical Laws	Per Martin-Löf	1996
[[http://mat.uab.cat/~kock/crm/h

This page provides a full overview of PHP's SessionHandler life-cycle - this was generated by a set of test-scripts, in order to provide an exact overview of when and what you can expect will be called in your custom SessionHandler implementation.

Each example is a separate script being run by a client with cookies enabled.

To the left, you can see the function being called in your script, and to the right, you can see the resulting calls being made to a custom session-handler registed using session_set_save_handler().

📂 Persistent "pipes" in Linux

In a project I'm working on I ran into the requirement of having some sort of persistent FIFO buffer or pipe in Linux, i.e. something file-like that could accept writes from a process and persist it to disk until a second process reads (and acknowledges) it. The persistence should be both across process restarts as well as OS restarts.

AFAICT unfortunately in the Linux world such a primitive does not exist (named pipes/FIFOs do not persist

	# http://www.artima.com/weblogs/viewpost.jsp?thread=101605

	@multimethod(int, int)
	def foo(a, b):
	return a + b
	@multimethod(float, float):
	def foo(a, b):
	return int(a+b)
	@multimethod(str, str):
	def foo(a, b):

	; originally posted on https://github.com/rodricios/eatiht/issues/2#issuecomment-67769343
	(import
	[collections [Counter]]
	[cookielib [CookieJar]]
	[lxml.etree [HTML tostring]]
	[urllib2 [build-opener HTTPCookieProcessor]])

	(def min-length 20)

	(def text-xpath (+ "//body//[not(self::script or self::style or self::i or self::b or self::strong or self::span or self::a)]/text()[string-length(normalize-space()) > " (str min-length*) "]/.."))

	(defmacro update-in*
	"'Updates' a value in a nested associative structure, where ks is a
	sequence of keys and f is a function that will take the old value
	and any supplied args and return the new value, and returns a new
	nested structure. If any levels do not exist, hash-maps will be
	created."
	([m [k & ks] f & args]
	(if ks
	`(let [m# ~m k# ~k] (assoc m# k# (update-in* (get m# k#) ~ks ~f ~@args)))
	`(let [m# ~m k# ~k] (assoc m# k# (~f (get m# k#) ~@args))))))

	<!DOCTYPE html>
	<html>
	<head>
	<script src="https://code.jquery.com/jquery-2.1.1.min.js"></script>
	<meta charset="utf-8">
	<title>JS Bin</title>
	<style id="jsbin-css">
	#main{
	padding:4px;
	cursor: pointer;

	import numpy as np

	# The Fibonacii matrix
	M = np.array([[0, 1], [1, 1]], dtype=np.float32)

	# Compute the eigendecomposition of the matrix
	w, v = np.linalg.eig(M)
	inv_v = np.linalg.inv(v)

	base_case = np.array([0, 1]).T # base case as a column vector

	# Config for GNU GRand Unified Bootloader (GRUB) (2)
	# /boot/grub2/grub.cfg
	# or
	# /boot/grub/grub.cfg
	# Mostly only 'legacy' CSM/BIOS boot methods currently.
	# Unable to boot loop entries with Secure Boot

	# Notes:
	# Description:
	# This grub.cfg file was created by Lance http://www.pendrivelinux.com

	# This entry boots an Antergos (Arch) Linux ISO straight from disk.
	# LVM is not supported because the lvm module is not loaded in Antergos initrd

	menuentry "Antergos Minimal ISO 2015-09-13" {
	insmod part_gpt
	insmod lvm
	insmod loopback
	set root=(hd0,0)
	set isofile=/antergos.iso
	search --no-floppy --file ${isofile} --set