terabyte

Prologue

I wrote this answer on stackexchange, here: https://stackoverflow.com/posts/12597919/

It was wrongly deleted for containing "proprietary information" years later. I think that's bullshit so I am posting it here. Come at me.

The Question

Amazon is a SOA system with 100s of services (or so says Amazon Chief Technology Officer Werner Vogels). How do they handle build and release?

abreslav

    class Ratio(num : Int, denom : Int) {
     val numerator: Int
     val denominator: Int
    
     {
        val theGcd = gcd(num, denom)
        numerator = num / theGcd
        denominator = denom / theGcd
      }
    }

leonelag

<!--
  Example of data source configuration for Jetty 8
  -->

<?xml version="1.0"?>
<!DOCTYPE Configure PUBLIC "-//Mort Bay Consulting//DTD Configure//EN" "http://jetty.mortbay.org/configure.dtd">

<Configure class="org.eclipse.jetty.webapp.WebAppContext">
  <Set name="contextPath">/myapp</Set>

misterbrownlee

I just had to set up Jenkins to use GitHub. My notes (to myself, mostly):

Detailed Instructions

For setting up Jenkins to build GitHub projects. This assumes some ability to manage Jenkins, use the command line, set up a utility LDAP account, etc. Please share or improve this Gist as needed.

Install Jenkins Plugins

• get both the git and github plugin
• http://wiki.jenkins-ci.org/display/JENKINS/Git+Plugin

hayeshaugen

# sudo su -
# apt-get install openjdk-6-jdk
# apt-get install ant1.8

Source control, in this case svn:

# apt-get install subversion

Install Jenkins

kencoba

(ns
    ^{:doc
      "Simple Theorem Prover 'Programming Language Theory and its Implementation' Michael J.C. Gordon"
      :author "Kenichi Kobayashi"}
  prover
  (:use [clojure.test])
  (:require [clojure.walk :as cw]))

(def constant #{'+ '- '< '<= '> '>= '* '= 'T 'F 'DIV 'not 'and 'or 'implies})

ryanflorence

var http = require("http"),
    url = require("url"),
    path = require("path"),
    fs = require("fs")
    port = process.argv[2] || 8888;

http.createServer(function(request, response) {

  var uri = url.parse(request.url).pathname
    , filename = path.join(process.cwd(), uri);