| package com.example; | |
| import static org.junit.Assert.assertEquals; | |
| import java.lang.reflect.InvocationHandler; | |
| import java.lang.reflect.Method; | |
| import java.lang.reflect.Proxy; | |
| import java.util.concurrent.CountDownLatch; | |
| import org.junit.Test; | |
| public class Promise { |
Found 21 preprints so far of the 85 papers listed here, http://2013.icse-conferences.org/content/accepted-papers-technical-research-track (most recent additions first)
If yours is missing, tweet or email me! The same if you find a false positive.
What Good Are Strong Specifications? Nadia Polikarpova, Carlo A. Furia, Yu Pei, Yi Wei, and Bertrand Meyer (ETH Zurich, Switzerland)
| var http = require('http'); | |
| var shared = {count: 0} | |
| var server = http.createServer(function (req, res) { | |
| console.log([req.method,req.url]) | |
| res.writeHead(200, {'Content-Type': 'text/plain'}) | |
| res.write('You called me ' + (shared.count += 1) + ' times!\n') | |
| res.write('You are looking at ' + req.url + '\n') |
| // ==UserScript== | |
| // @name Reverse Web | |
| // @namespace http://www.example.com | |
| // @grant | |
| // ==/UserScript== | |
| function reverseWordButKeepCase(str) { | |
| var buffer = "" | |
| for (var i = 0, j = str.length - 1; i < str.length; i++, j--) { | |
| if (str.charAt(i) == str.charAt(i).toUpperCase()) { |
| // ==UserScript== | |
| // @name Disable Photo Preview on Twitter | |
| // @namespace http://example.com | |
| // @description hacked with love by @akuhn | |
| // @include https://twitter.com/* | |
| // @version 1 | |
| // @grant none | |
| // ==/UserScript== | |
| function addGlobalStyle(css) { |
| <html> | |
| <head> | |
| <script src="d3.v3.min.js" charset="utf-8"></script> | |
| <style> | |
| rect { | |
| stroke: blue; | |
| fill: #eee; | |
| } | |
| </style> | |
| </head> |
| require 'rubygems' | |
| require 'json' | |
| # This script extracts the structure of Sublime language grammars ... | |
| # | |
| # Usage: ruby tmLanguage.rb PHP.JSON-tmLanguage | |
| $root = JSON.parse(File.read(ARGV.first)) | |
| $seen = [] | |
| $stack = [] |
| // ==UserScript== | |
| // @name Peace of Mind | |
| // @namespace http://example.com | |
| // @description Facebooking without newsfeed. | |
| // @include https://*.facebook.com/* | |
| // @grant none | |
| // ==/UserScript== | |
| (function() { |
| #!/usr/bin/env bash | |
| if [[ $1 == '' ]] | |
| then | |
| ruby -e 'branches = `git branch`.split($/)' \ | |
| -e 'merged = `git branch --merged master`.split($/)' \ | |
| -e '(branches & merged).each { |d| d[2...2] = "\e[32m" }' \ | |
| -e 'print branches.join("\e[m\n").gsub("* ", "* \e[33m")' \ | |
| -e 'puts "\e[m"' | |
| elif [[ $1 == '-' ]] | |
| then |