emillon

11 ms·

61.
by emillon 12y ago
Additionnally from the GC, parametric polymorphism requires a uniform representation of values. For example, List.map does not make assumptions about the values in the list like their size.
62.
Needle: ASCII-fied arrow notation(scrambledeggsontoast.github.io)
2 points by emillon 12y ago|0 comments
63.
Terra Infirma – The rise and fall of quicksand(slate.com)
1 points by emillon 12y ago|0 comments
64.
by emillon 12y ago
This notion of "for" loop is more a notion of "foreach ... in" than the C version which is indeed equivalent to a while loop.
65.
by emillon 12y ago
Folds are a restricted form of recursion which always terminate. Structural recursion (folds) is to general recursion (let rec) as the "for" loop is to the "while" loop.
66.
by emillon 12y ago
Fantastic! I've been meaning to do this myself, but glad to see that it exists. I believe that this kind of single-purpose OS can be even easily created using an unikernel such as mirage, but that removes part of the fun of course.
67.
by emillon 12y ago
Indeed. In dynamically typed, every expression is well typed and there is always an evaluation rule that works, so this trivially holds but means nothing.
68.
by emillon 12y ago
It is also interesting to consider the PL definition of type safety: the progress and preservation theorems. Progress: if an expression is well typed then either it is a value, or it can be further evaluated (in the sense that "an appr
69.
by emillon 12y ago
For video files, guessit does something similar using only the file name: http://guessit.readthedocs.org/
70.
by emillon 12y ago
I wrote an article on this example: http://blog.emillon.org/posts/2014-05-21-making-type-inferen... At first I expected something of the form O(2^n) too but DEXPTIME actually contains O(2^p(n)) where p is a polynomial.
71.
by emillon 12y ago
Since you're using a flight metaphor, let's continue it: when doing things like this, use your instruments! It helps a lot to have gitk (or tig) open next to your shell when doing things like this. Git is a DAG editor, you can tre
72.
Harmonic drive(en.wikipedia.org)
2 points by emillon 12y ago|0 comments
73.
ICFP Programming Contest 2014(icfpcontest.org)
2 points by emillon 12y ago|0 comments
74.
by emillon 12y ago
Previous discussion: https://news.ycombinator.com/item?id=8019346
75.
XPlain – Explaining X11 for the rest of us(magcius.github.io)
329 points by emillon 12y ago|65 comments
76.
by emillon 12y ago
The work on Mirage is very interesting. If I understand it correctly, it may be possible to run a Xen domain with a Linux application server, and with a TLS reverse proxy in front using another Xen domain (in the form of a unikernel). This
77.
by emillon 12y ago
I was confused at first :)
78.
by emillon 12y ago
To help you wrt your edit 2, you seem to be confusing two things: - the Ɵ() and O() notations can be used on mathematical function. For example 5n^2 + 3n = Ɵ(n^2) [^1] or 3n^2 = O(n^3). - algorithms have different complexities: for best cas
79.
by emillon 12y ago
"The axiom of choice is obviously true, the well-ordering principle obviously false, and who knows about Zorn's Lemma?" -- Jerry Bona
80.
by emillon 12y ago
All these plugins that do word-replacing should evolve like Adblock: a single plugin controlled by external lists.
81.
by emillon 12y ago
> Frankly I've never understood why email doesn't work this way, it looks backwards to me. It's (also) a privacy issue as it discloses when one of the recipient has read the email.
82.
by emillon 12y ago
EOF is returned by functions that can return a valid character. So this rules out all the values in 0x00-0xFF (0 would have been a nice choice for EOF but how do you read nul bytes?). -1 is the logical solution (note that getchar returns an
83.
by emillon 12y ago
Done!
84.
Starcraft 2 Anti-Debugging [2010](bhfiles.com)
2 points by emillon 12y ago|3 comments
85.
by emillon 12y ago
When Debian decided to incorporate crypto code in main (before, a "non-us" section was dedicated to that), it became necessary to declare the export. So they printed descriptions of the software and mailed it to the Department of
86.
by emillon 12y ago
n is the number of words in the dictionary.
87.
by emillon 12y ago
I believe that there is no benefit in using a GADDAG. Finding an anagram is an easier problem as you know that you will use all the letters, so sorting them is the optimal solution. But this method does not work with scrabble since you woul
88.
by emillon 12y ago
You can always embed a "metadata" table in your schema. Not ideal but would probably do the job in a lot of cases.
89.
by emillon 12y ago
sqlite3 is the package that provides the command-line tool. A lot more packages depend on the dynamic library: "apt-cache rdepends libsqlite3-0 | wc -l" returns 407 results.
90.
Mathematically Correct Breakfast – How to Slice a Bagel into Two Linked Halves(georgehart.com)
1 points by emillon 12y ago|0 comments

More ›