Henri Maurer hmaurer

The CoqIDE bundle (8.5pl1, OS X) with ssreflect preinstalled.

coqide-8.5pl1-ssreflect.7z - around 75 MB. (Smaller than the standard CoqIDE bundle!)

A great big caveat: the app bundle is no longer codesigned. If you wish to keep CoqIDE*.app codesigned, install a clean CoqIDE*.app, and replace the Resource/bin and Resources/lib/coq/user-contrib with the ones here.

Sanity testing the installation

I’m sure the reference manual is out of date - instead, I use test cases from the mathcomp/ssrtest folder. Note the new, extended library import paths. Try this, for example:

Postgres push triggers

Watch a table for changes and push a notification with a payload describing the change.

Example

In the Postgres shell:

-- Create the functions

Atom Clojure Setup

This describes how I setup Atom for an ideal Clojure development workflow. This fixes indentation on newlines, handles parentheses, etc. The keybinding settings for enter (in keymap.cson) are important to get proper newlines with indentation at the right level. There are other helpers in init.coffee and keymap.cson that are useful for cutting, copying, pasting, deleting, and indenting Lisp expressions.

Install Atom

Download Atom

The Atom documentation is excellent. It's highly worth reading the flight manual.

Building a Maintainable, Agile Architecture for Realtime, Transactional Apps

A maintainable application architecture requires that the UI only contain the rendering logic and execute queries and mutations against the underlying data model on the server. A maintainable architecture must not contain any logic for composing "app state" on the client as that would necessarily embed business logic in the client. App state should be persisted to the database and the client projection of it should be composed in the mid tier, and refreshed as mutations occur on the server (and after network interruption) for a highly interactive, realtime UX.

With GraphQL we are able to define an easy-to-change application-level data schema on the server that captures the types and relationships in our data, and wiring it to data sources via resolvers that leverage our db's own query language (or data-oriented, uniform service APIs) to resolve client-specified "queries" and "mutations" against the schema.

We use GraphQL to dyn

Base installations

sudo apt-get install blueman build-essentials calcurse chromium-browser cpufrequtils gnupg2 gparted hfsprogs imagemagick linux-tools-common lxappearance mplayer rtorrent ruby skype ubuntu-restricted-essentials urlview vagrant vim xclip

	#error {
	:cause nil
	:via
	[{:type clojure.lang.Compiler$CompilerException
	:message java.lang.StackOverflowError, compiling:(wef_backend/core.clj:1:1)
	:at [clojure.lang.Compiler load Compiler.java 7391]}
	{:type java.lang.StackOverflowError
	:message nil
	:at [org.apache.log4j.MDC put MDC.java 22]}]
	:trace

	(ns wef-backend.core-test
	(:require [clojure.test :refer :all]
	[datomic.api :as d]
	[datomock.core :as dm]
	[integrant.core :as ig]
	[wef-backend.core :refer :all]
	[wef-backend.app.identity :as app.identity]))

	(defn- transact-hello-identity [conn]
	@(d/transact conn [{:identity/email-address "[email protected]"

	{
	object(rid: "2450090569620309683") {
	id
	children {
	rid
	name
	children {
	id
	}
	}

	(defn compose-cycles [cycle-a cycle-b]
	(let [inv-cycle-a (clojure.set/map-invert cycle-a)]
	(reduce-kv
	(fn [acc k v]
	(cond
	(contains? inv-cycle-a k) (assoc acc (get inv-cycle-a k) v)
	(contains? cycle-a k) acc
	:else (assoc acc k v)))
	cycle-a
	cycle-b)))

	CREATE EXTENSION btree_gist;

	CREATE TABLE room_reservations (
	room_id integer,
	reserved_at timestamptz,
	reserved_until timestamptz,
	canceled boolean DEFAULT false,
	EXCLUDE USING gist (
	room_id WITH =, tstzrange(reserved_at, reserved_until) WITH &&
	) WHERE (not canceled)