emillon

> To get out of command history mode, it's the opposite.

You can leave command history just by typing <enter>, not :q<enter>.

Wadler's law strikes again :

http://www.haskell.org/haskellwiki/Wadlers_Law

Still, it's an indirection because AS3 primitives are not Dart primitives.

> Hindley-Milner type systems to the rescue!

You're implying that all type-systems derived from HM have a form of bounded polymorphism. They're not, for example OCaml does not have type classes (you could probably encode a lot into objects, though).

For that reason, sites are not allowed to store CVV2 numbers : a user input is always needed.

In the context of the AGPL, serving an application is like distributing a binary, so they should distribute its sources too.

> There are several awesome interpreters available for it!

Technically, it's not another interpreter (like IronPython or Jython), just an interface to the classic CPython REPL.

> that means the result of a function is dependent on it's inputs ONLY

Not quite, it means that a function call can be replaced by its value (A function can depend only on its inputs, yet write to a global variable, for example).

I believe that OfflineIMAP now has gmail-specific code (type = Gmail) :

http://docs.offlineimap.org/en/latest/MANUAL.html#sync-from-...

Jonathan Corbet sometimes posts LWN articles on reddit, this is how I found this one.

If a is duplicated and b missing, computing the sum and the product of all the numbers can give you a-b and a/b, from which you can deduce a and b.

> accept for all relay

If this defines an open mail relay, please think twice because your machine may be used to send spam and get blacklisted.

A friend of mine in a compiler writing class produced a compiler with one error message ‘you lied to me when you told me this was a program’. —Pete Fenelon

There's also hte, which is free :)

http://hte.sourceforge.net/screenshots.html

I found vcsh to be very effective. Files live directly in $HOME but the .git repository is in a special directory.

https://github.com/RichiH/vcsh

git-flow is not needed, especially for small projects. For most repositories, developing on and sending pull requests to master is acceptable.

I believe that the point is more against collaborative documentation than against the builtin wiki.

Minor nitpick : the linker (ld) is provided by binutils, not GCC.

> I started to get a feeling this wasn't right, and so I googled around for a way to undo the add.

At that moment, the easiest way would have been to "rm -r .git". As git stores all its metadata in that hidden directory, this is a safe way to undo the creation of a repository.

It's open source, but not free software.

I think that it boils down to writing arbitrary data in memory (so that they can't follow the usual path of programs, as with compilers). For the anecdote, a friend of mine used to flash a "hello world" program into a microcontroller using push buttons only :)

That's the problem : you would have to trust your assembler. How was the assembler compiled or assembled ? Etc etc. You would go back to the first "physical" translation of a program "into" a computer.

Fixed - thank you !

I did something similar with SNES roms. Sometimes the in-game text is encoded using "DTE compression", a mapping from one hex character to an alphanumeric sequence (bounded Huffman coding, basically). On certain sentences you can notice that gaps are smaller (in terms of bytes) than what should fit in there ; so you can deduce that it was a bigram (or trigram, or more).

A very nice (but a bit academic) way to look at "cat" as a monadic "return" on unix pipes :

http://okmij.org/ftp/Computation/monadic-shell.html

Most generally, it will trick any command into thinking that it's not writing to a tty ; so piping into cat will often remove colors.

> I (symmetrically) encrypt my private key

That's basically what a passphrase does already.

git-annex is the way to go ! I use to manage my media library and it's 95% awesome (the nitpick being that you can't easily edit files once they're checked in - there ain't no such thing as a free lunch I guess).

Surfraw is a tool that exposes a similar interface to bang patterns.

http://surfraw.alioth.debian.org/

> pgp/gpg is mostly dead by now, used only by geeks that line up to compare their fingerprints and passports, calling that a 'party'

Can you suggest an alternative to keysigning parties to build a (decentralized) web of trust ?