fizx

Who builds a house without drawing blueprints?

Leslie Lamport, Yammer, Jan 23 2013

Architects plan--programmers don't.  Maybe this is why programs crash and houses don't.

A blueprint for software is a spec.  Not a formal Coq-provable one, but real-world one.

Why don't programmers write specs?  
You can't code-gen from spec (retort--can't building-gen from blueprints)

fizx

module Kernel
  def eventually(timeout = 1.0, start = Time.now, exception = nil, &block)
    throw exception || Timeout::Error if Time.now > (start + timeout)
    begin
      return true if block.call
    rescue RSpec::Expectations::ExpectationNotMetError => exception
      EM.next_tick {
        eventually(timeout, start, exception, &block)
      }
    end  

fizx

Some type of (graph) database which I wish existed.

Assume I've put Wikipedia into the graph database. I'd like to ask questions
like "What are American movie stars under 39 years old with over $1B in movie
grosses?". It would be acceptable to make this a prepared statement of the
form "?nationality movie stars under ?age with over ?dollars in movie
grosses". I believe this is like SPARQL?!

Nodes in the graph can be of many "classes." A class would be a bag of
attributes that the node should respond to, similar to Ruby modules, or Java

fizx

I hear this embeds in twitter.

fizx

diff --git a/CHANGELOG b/CHANGELOG
new file mode 100644
index 0000000..e1ae018
--- /dev/null
+++ b/CHANGELOG
@@ -0,0 +1 @@
+1.2.0 (August 3, 2010) - Added manual setGauge and clearGauge to Stats.
\ No newline at end of file
diff --git a/project/build.properties b/project/build.properties
index 6cef012..2b7f796 100644

fizx

http: require 'http'
sys: require 'sys'

client: http.createClient(3000, "localhost")
server: http.createServer (req, res) ->
  clientReq: client.request(req.method, req.url, req.headers)
  clientReq.addListener 'response', (clientRes) =>
    res.writeHead(clientRes.statusCode, clientRes.headers)
    clientRes.addListener 'data', (chunk) =>
      res.write chunk

fizx

kyles-macbook:thrift-751142 kyle$  svn info
Path: .
URL: http://svn.apache.org/repos/asf/incubator/thrift/trunk
Repository Root: http://svn.apache.org/repos/asf
Repository UUID: 13f79535-47bb-0310-9956-ffa450edef68
Revision: 751142
Node Kind: directory
Schedule: normal
Last Changed Author: kclark
Last Changed Rev: 751142

fizx

kyles-macbook:gizzard kyle$ ant
Buildfile: build.xml

download-ivy:
      [get] Getting: file:/Users/kyle/.ivy2/ivy-2.1.0-rc2.jar
      [get] To: /Users/kyle/.ivy2/ivy-2.1.0-rc2.jar.download
     [move] Moving 1 file to /Users/kyle/.ivy2
      [get] Getting: file:/Users/kyle/.ivy2/jsch-0.1.29.jar
      [get] To: /Users/kyle/.ivy2/jsch-0.1.29.jar.download
     [move] Moving 1 file to /Users/kyle/.ivy2

fizx

kyles-macbook:Rowz kyle$ ant clean test -DDB_USERNAME=root
Buildfile: build.xml

download-ivy:
      [get] Getting: file:/Users/kyle/.ivy2/ivy-2.1.0-rc2.jar
      [get] To: /Users/kyle/.ivy2/ivy-2.1.0-rc2.jar.download
     [move] Moving 1 file to /Users/kyle/.ivy2
      [get] Getting: file:/Users/kyle/.ivy2/jsch-0.1.29.jar
      [get] To: /Users/kyle/.ivy2/jsch-0.1.29.jar.download
     [move] Moving 1 file to /Users/kyle/.ivy2

fizx

kyles-macbook:Rowz kyle$ ant test -DDB_USERNAME=root
Buildfile: build.xml

download-ivy:
      [get] Getting: file:/Users/kyle/.ivy2/ivy-2.1.0-rc2.jar
      [get] To: /Users/kyle/.ivy2/ivy-2.1.0-rc2.jar.download
     [move] Moving 1 file to /Users/kyle/.ivy2
      [get] Getting: file:/Users/kyle/.ivy2/jsch-0.1.29.jar
      [get] To: /Users/kyle/.ivy2/jsch-0.1.29.jar.download
     [move] Moving 1 file to /Users/kyle/.ivy2