helderco

#!/bin/bash
set -e

show_help() {
cat << EOF
Usage: ${0##*/} [-u USER] [-p PASS] [-P PORT] [-H HOST] [DATABASE]
       ${0##*/} -h

Open a standard connection in Sequel PRO.

matthieubulte

List of papers (with links to the PDF versions) mentioned in Philip Wadler's presentation on Propositions as Types at StrangeLoop 2015 (https://www.youtube.com/watch?v=IOiZatlZtGU)

• Propositions as Types, Philip Wadler 2014
• Grundzuge der Theoretischen Logik, David Hilbert and Wilhelm Ackermann 1928
  • Unfortunately I couldn't find it available online for free, but you can find it on amazon!
• Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I (original, translated), Kurt Gödel 1930
• Proof of normalization for natural deduction, Gerhard Gentzen 1935
• An Unsolvable Problem of Elementary Number Theory, Alonzo Church 1936
• [General recursive functions of na

essen

HTTP and related specifications

This gist is deprecated in favor of https://github.com/ninenines/cowboy/blob/master/doc/src/guide/specs.asciidoc which has a formatted version at https://ninenines.eu/docs/en/cowboy/2.0/guide/specs/

HTTP

IANA Registries

• HTTP Method Registry
• HTTP Status Code Registry

dideler

TL;DR

Create a backup:

pg_dumpall > mybackup.sql

Perform the upgrade:

sudo pg_dropcluster 9.4 main --stop

hawkw

CMPSC420: Introduction to Compiler Design August 27th, 2014

Professor Jumadinova Email: jjumadinova@allegheny.edu Office: Alden 105 Office hours: Monday 10-12am and 4:30pm-5:30pm Wednesday 10-12am and 2:30-3:30pm

hawkw

ECON100: Intro to Micro August 27th, 2014

Professor Steven 'Zurigbo Onyeiwu Office Hours: M 1-3 pm, WF 9-11 AM, and by appointment Office: Quigley 206 Email: sonyeiwu@allegheny.edu Phone: 332-3338

hawkw

CMPSC380: DATABASES August 26th, 2014

Data Management

• How much data is there in the world today?
  • infinite amounts of data in an infinite universe
  • ~1 yottabyte stored by people
• How much data is produced every day?

cabo

(defconst elixir--cabo-prettify-symbols-alist
  '(
    ("->" . ?➙) ; → ➜➽➤
    ("::" . ?∷)
    ("<-" . ?⬅) ; ←
    ("<<" . ?⟪ ) ; «≪
    ("=>" . ?⇒)
    (">>" . ?⟫ ) ; »≫
    ("do" . ?⫷)

staltz

The introduction to Reactive Programming you've been missing

(by @andrestaltz)

---

This tutorial as a series of videos

If you prefer to watch video tutorials with live-coding, then check out this series I recorded with the same contents as in this article: Egghead.io - Introduction to Reactive Programming.

---

koudelka

#
# Would this be useful to Phoenix?
#
# In controllers, it'd be nice to be able to refer to status codes as atoms instead of integers.
#


defmodule Phoenix.Controller.StatusCodes do

  @http_status_codes %{