emillon

25 ms·

211.
by emillon 14y ago
For that purpose I use ticgit which creates an unrelated branch in a git repository to store data. There's even a web client if you want to go fancy. https://github.com/schacon/ticgit
212.
by emillon 14y ago
It is also windows only.
213.
by emillon 14y ago
For a self-hosted translation management system, you can have a look at weblate : http://weblate.org/
214.
by emillon 14y ago
Neat ! Small remark: the github link does not work (it has an extra .github.com).
215.
by emillon 14y ago
Execv'ing processes is OK as long as you don't fork: __import__("os").execv("/usr/bin/uname", ["uname", "-a"]) Linux ip-10-196-3-111 2.6.32-amazon-xen-r3 #1 SMP Mon Jan 16 21:03:16 PST 2012 i686 GNU/Linux As for the actual file
216.
by emillon 14y ago
This particular behaviour can occur because the process is disallowed to call fork() and can be done with setrlimit() (see RLIMIT_NPROC). There should be other protections, though, because forking a "ls" is not the only way to access the fi
217.
by emillon 14y ago
There's also gdbtui which is built-in (gdb -tui or "layout next" when in a gdb session) and not too bad to at least view the code and type commands at the same time.
218.
by emillon 14y ago
I use separate screens. Usually I have one terminal for vim and one terminal with a shell for make, git, etc. Using this setup and a tiling window manager, I can see the build log whenever I type :w.
219.
by emillon 14y ago
This will stop trying to build at the first compile error.
220.
by emillon 14y ago
On linux you can use inotify to avoid polling. I use such a rule for my makefiles : watch: while true ; do inotifywait -qe close_write $(SRC); $(MAKE) ; done
221.
Beer Selection(drbunsen.org)
2 points by emillon 14y ago|0 comments
222.
by emillon 14y ago
Closest you can find is news.arc, for example see a mirror on [1]. The canonical source should be in the arc distribution. [1]: https://github.com/wting/hackernews/blob/master/news.arc
223.
by emillon 14y ago
> I think Ubuntu actually takes the Testing packages anyway. The automatic synchronization actually picks from unstable. Not that it changes a lot, because the majority of packages end up migrating. I'm not too familiar with the ubuntu
224.
Threading the NEIDL, a biosafety level 4 laboratory(twiv.tv)
1 points by emillon 14y ago|0 comments
225.
by emillon 14y ago
It's impossible to have a static decision procedure about dynamic properties of programs, such as the size of dynamically allocated memory areas (Rice's theorem). So, it is necessary to either include false positives (correct programs rejec
226.
by emillon 14y ago
do a rest desugars to a >> do rest and do x <- a rest desugars to a >>= \x -> do rest
227.
The Wireworld computer(quinapalus.com)
11 points by emillon 14y ago|1 comments
228.
by emillon 14y ago
What is the licensing information for these pictures?
229.
Undefined Behavior Executed by Coq(blog.regehr.org)
1 points by emillon 14y ago|0 comments
230.
by emillon 14y ago
If you want "anyone" to do it, why don't you do it yourself? It's an interesting and rewarding project and there are a lot of resources for this, plus a similar project that already exists.
231.
by emillon 14y ago
tikz is awesome for this. I believe that DFAs are one of the examples described in the manual.
232.
by emillon 14y ago
A bit offtopic, but I think that you could have let the default `pandocCompiler` in Hakyll handle your old posts written in Textile format.
233.
by emillon 14y ago
The rationale for this is that if you need to post a long text post, it should be in the form of a blog post instead. I agree with you that it's not really adapted for a meta post.
234.
by emillon 14y ago
Well, the semantics of a lazy language are a bit different than usual. While I agree that pages of s-expressions are hard to feel, seeing the graph reduction algorithm on a few examples was quite refreshing.
235.
by emillon 14y ago
Blackberry too, and I suspect a few webmail clients.
236.
by emillon 14y ago
A X11 window manager can only manage X11 apps.
237.
Massive Dosing - the LSD Thumbprint(insanebraintrain.blogspot.fr)
164 points by emillon 14y ago|156 comments
238.
Sexism is not funny, let's stop laughing(johannakoll.posterous.com)
105 points by emillon 14y ago|235 comments
239.
by emillon 14y ago
Here they are on gmane: [CVE-2013-0276]: http://permalink.gmane.org/gmane.comp.security.oss.general/9... [CVE-2013-0277]: http://permalink.gmane.org/gmane.comp.security.oss.general/9...
240.
by emillon 14y ago
You can read Huet's seminal paper on zippers [1]. I found that Edward Z Yang's article[2] explains well the more general zippers. The generic operation of differentiation to create the the type of zipper is explained in this article[3] from

More ›