Homepage
Welcome on my personnal website.
Here are the begining† of my 5 last blog posts.
You can also search the entries with tag cloud
You can subscribe to my RSS feed. You'll never miss a post. Click here if you don't know what RSS feeds are.† approximatively the 800 first characters.
2 Sep 2010 Use git to calculate trusted mtimes
You can remark at the bottom of each page I provide a last modification date.
This label was first calculated using the mtime of the file on the file system.
But many times I modify this date just to force some recompilation.
Therefore the date wasn’t a date of real modification.
I use git to version my website. And fortunately I can know the last date of real change of a file. This is how I do this with nanoc:
def 2 Sep 2010 base64 and sha1 on iPhone
Lets be straight:
here are two functions to add to your code to have base64 and hexadecimal version of the sha1 hash of an NSString.
To use it, simply copy the code in your class and use as this:
#import <CommonCrypto/CommonDigest.h> ... NSString *b64_hash = [self b64_sha1:@"some NSString to be sha1'ed"]; ...
31 Aug 2010 send mail from command line with attached file
I had to send a mail using only command line.
I was surprised it isn’t straightforward at all.
I didn’t had pine nor mutt or anything like that.
Just mail and mailx.
What Internet say (via google) is
uuencode fic.jpg fic.jpg | mail -s 'Subject'
I tried it.
And it works almost each times.
But for my file, it didn’t worked.
I compressed it to .gz, .bz2 and .zip.
Using .bz2 format it worked nicely, but not with other formats.
Instead of having an attached file I saw this in my email.
begin 664 fic....
23 Aug 2010 Now hosted by heroku
Now on Heroku
I now changed my hosting to Heroku. I believe it will be far more reliable.
But as you should know my website is completely static. I use nanoc to generate it. But here is the conf to make it work on heroku.
The root of my files is /output. You only need to create a config.ru1 file:
require 11 Aug 2010 Undecidabilities (part 1)
tl;dr: I pretend to create a world to give examples of different meanings behind the word undecidability:
- Undecidability due to measure errors,
- Big errors resulting from small initial measure error,
- Fractal undecidability ;
- Logic Undecidability.
The Undecidabilities
If a demiurge made our world, he certainly had a great sense of humor. After this read, you should be convinced. I’ll pretend to be him. I’ll create a simplified world. A world that obey to simple mathematical rules. And I’ll ...