immutef immutef

Easy pthreads Pools

The final solution !!

Since the first version of pthreads, PHP has had the ability to initialize Worker threads for users. Onto those Worker threads are stacked objects of class Stackable for execution concurrently.

The objects stacked onto workers do not have their reference counts changed, pthreads forces the user to maintain the reference counts in userland, for the extremely good reason that this enables the programmer to keep control of memory usage; and so, execute indefinitely.

This is the cause of much heartache for newcomers to pthreads; if you do not maintain references properly you will, definitely, experience segmentation faults.

a simple git branching model (written in 2013)

This is a very simple git workflow. It (and variants) is in use by many people. I settled on it after using it very effectively at Athena. GitHub does something similar; Zach Holman mentioned it in this talk.

Update: Woah, thanks for all the attention. Didn't expect this simple rant to get popular.

Go to Google bigquery and execute the following query replacing XXX with your GitHub login

	<?php
	/**
	* Projection Rebuilder
	* @author Markus Muschol <[email protected]>
	*/
	use Broadway\Domain\DateTime;
	use Broadway\Domain\DomainEventStream;
	use Broadway\Domain\DomainMessage;
	use Broadway\Domain\Metadata;
	use Broadway\EventHandling\EventBusInterface;

	<?php

	namespace Acme\HelloBundle\Menu;

	use Knp\Menu\FactoryInterface;
	use Symfony\Component\DependencyInjection\ContainerAware;

	class MenuBuilder extends ContainerAware
	{
	public function mainMenu(FactoryInterface $factory, array $options)

	To terminate user sessions or queries on DB instances, Amazon RDS provides the following commands:

	PROMPT> CALL mysql.rds_kill(thread-ID)
	PROMPT> CALL mysql.rds_kill_query(thread-ID)

	For example, to kill the session that is running on thread 99, you would type the following:

	PROMPT> CALL mysql.rds_kill(99);

	To kill the query that is running on thread 99, you would type the following:

	# Install ARCH Linux with encrypted file-system and UEFI
	# The official installation guide (https://wiki.archlinux.org/index.php/Installation_Guide) contains a more verbose description.

	# Download the archiso image from https://www.archlinux.org/
	# Copy to a usb-drive
	dd if=archlinux.img of=/dev/sdX bs=16M && sync # on linux

	# Boot from the usb. If the usb fails to boot, make sure that secure boot is disabled in the BIOS configuration.

	# Set swedish keymap

	#!/bin/bash
	#
	# Usage:
	# $ echo "host1 host2 host3" \| ./sshmany uname -a
	# $ cat myservers \| ./sshmany echo Hello world
	#
	cmd="$@"
	servers="$(cat)"
	i=37
	for server in $servers; do

	#!/usr/bin/env bash
	# Generates gource video (h.264) out of multiple repositories.
	# Pass the repositories in command line arguments.
	# Example:
	# <this.sh> /path/to/repo1 /path/to/repo2

	OUTFILE="gource.mp4"

	set -x

	.nav-list {
	padding-left: 15px;
	padding-right: 15px;
	margin-bottom: 0;
	}

	.nav-list > li > a,
	.nav-list .nav-header {
	margin-left: -15px;
	margin-right: -15px;