About "programming" on monperrus.net/martin

How to print my voice? How to put music on paper? How to print an executable program? All this boils down to storing digital data on paper. This is also called paper data storage. Arrived in this domain from poetry, I’ve been investigating the area for some time. >>> read more

What are the biggest software repositories ever made? We are used to hear that we build software systems with millions of lines of codes, blablabla. Yet, this is a very abstract statement, with no clear meaning since no big software system has clear boundaries. >>> read more

How to use a Twilio SIP trunk account on a Cisco ATA SPA112? Here some hints from my own configuration. Introduction There are two ways to use SIP in Twilio, “SIP Domain” and “SIP Trunk” (PSTN numbers can work with both of them). >>> read more

Recently I wanted to know what are the files read and written by each test in Spoon. Here is what I managed to do it by using strace. >>> read more

Hotpatching is a really cool technology. Being involved in that realm, here are the most notable hotpatching solutions. List of commercial hotpatching solutions Apptimize has a product to hotfix errors, called “Instant Update” Rollout does hotpatching for iOS. >>> read more

Here is an example program to create a RSS feed from an HTML page in Python. >>> read more

Writing test cases are like levels in a video-game. There are easy test cases, and very hard ones. Only expert gamers kill the strongest monsters of the last level. Only expert programmers write the hardest tests using advanced techniques such as dependency injection and mocks. >>> read more

Mocking is a technique for better testing software. This post gives a short introduction of mocking, using examples in Java. What is a mock? There is no unique definition of “mock” (see [2,3] for various viewpoints). >>> read more

% % %intro %As shown in Section , some real world applications exist in which our technique is able to prove the satisfaction or the violation of our exception contracts. >>> read more

When software applications are tested with an automated test suite, it is common to measure the statement or branch coverage. However, many other kinds of coverage may be defined. In this post, we focus on two kinds of coverage dedicated to exception handling. >>> read more

Tcc (aka Tiny C Compiler, or tinycc) is a very lightweight C compiler. Dietlibc is lightweight libc (as opposed to GNU libc). Using a tiny C compiler and a tiny libc is a kind of software minimalism. Requirements First install dietlibc (apt-get install dietlibc-dev). >>> read more

Tcc (aka Tiny C Compiler, or tinycc) is a very lightweight C compiler. Dietlibc is a lighweight libc (as opposed to GNU libc). It is possible to compile tcc itself using dietlibc. First download the source code of tcc and install dietlibc (apt-get install dietlibc-dev). >>> read more

No preview available >>> read more

This document aims to be a comprehensive list of tools that measure Java software. >>> read more

^^The success of a piece of software depends on many factors, including the quality of its documentation. There are many kinds of documentation. >>> read more

By working on Java exceptions, we recently discovered that exceptions are not as trustful as we would have expected. =====Never Trust the Stack Trace===== It is widely known that an exception embeds a stack trace. >>> read more

    throw new RuntimeException();
  }
}

}

This results in

Exception in thread “main” java.lang.ExceptionInInitializerError at StaticException1.main(StaticException1.java:3) Caused by: java.lang.RuntimeException at Obj.(StaticException1.java:10) … >>> read more

^^I’ve recently discovered the existence of [[http://www.antlr.org/api/Java/classorg_1_1antlr_1_1runtime_1_1_token_rewrite_stream.html|org.antlr.runtime.TokenRewriteStream]]. >>> read more

This post shows that one can use all AJAX features of JQuery in Greasemonkey. It is an update of the excellent post of Ryan Greenberg ([[http://ryangreenberg.com/archives/2010/03/greasemonkey_jquery.php]]). >>> read more

Flash is a good solution to enable cross-domain ajax with http post (see [[http://engin.bzzzt.biz/2010/03/31/cross-domain-data-push-methods-compared/|this post]] and [[cross-domain ajax with http post for sending large amount of data]]). >>> read more

There are dozens of methods to make cross-domain ajax requests in Javascript (see [[http://engin.bzzzt.biz/2010/03/31/cross-domain-data-push-methods-compared/|this]] and [[http://www.arunranga.com/articles/browser-cross-site.html|this]] for a very good overview). >>> read more

I discovered recently the old key-value database paradigm and I am quite convinced. But what about the performance of different implementations? This document presents a comparison in the context of PHP. >>> read more

This document lists patterns of HTTP user-agents used by robots/crawlers/spiders. I maintain this list regularly based on my own logs. The list is now on Github [[https://github.com/monperrus/crawler-user-agents]]. >>> read more

This document presents an experiment to figure out what are the mechanisms used by Google to encode URLs. >>> read more