From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Marko Rauhamaa Newsgroups: gmane.lisp.guile.user Subject: Re: EOF as datum Date: Sat, 02 Jul 2016 13:29:02 +0300 Message-ID: <87lh1kjpu9.fsf@elektro.pacujo.net> References: <57763B70.8010006@gmail.com> <877fd44vb6.fsf@netris.org> <577787D9.5040207@gmail.com> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain X-Trace: ger.gmane.org 1467455372 15923 80.91.229.3 (2 Jul 2016 10:29:32 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sat, 2 Jul 2016 10:29:32 +0000 (UTC) Cc: guile-user@gnu.org To: Pierre Lairez Original-X-From: guile-user-bounces+guile-user=m.gmane.org@gnu.org Sat Jul 02 12:29:32 2016 Return-path: Envelope-to: guile-user@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1bJIB2-0007Lo-28 for guile-user@m.gmane.org; Sat, 02 Jul 2016 12:29:32 +0200 Original-Received: from localhost ([::1]:37831 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bJIB1-0005Df-7x for guile-user@m.gmane.org; Sat, 02 Jul 2016 06:29:31 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:37881) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bJIAe-0005DX-HN for guile-user@gnu.org; Sat, 02 Jul 2016 06:29:09 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1bJIAd-0003p2-Ng for guile-user@gnu.org; Sat, 02 Jul 2016 06:29:08 -0400 Original-Received: from [2001:1bc8:1a0:5384:7a2b:cbff:fe9f:e508] (port=58422 helo=pacujo.net) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bJIAd-0003nF-G7 for guile-user@gnu.org; Sat, 02 Jul 2016 06:29:07 -0400 Original-Received: from elektro.pacujo.net (192.168.1.200) by elektro.pacujo.net; Sat, 2 Jul 2016 13:29:02 +0300 Original-Received: by elektro.pacujo.net (sSMTP sendmail emulation); Sat, 02 Jul 2016 13:29:02 +0300 In-Reply-To: <577787D9.5040207@gmail.com> (Pierre Lairez's message of "Sat, 2 Jul 2016 11:22:33 +0200") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.5 (gnu/linux) X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 2001:1bc8:1a0:5384:7a2b:cbff:fe9f:e508 X-BeenThere: guile-user@gnu.org X-Mailman-Version: 2.1.21 Precedence: list List-Id: General Guile related discussions List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guile-user-bounces+guile-user=m.gmane.org@gnu.org Original-Sender: "guile-user" Xref: news.gmane.org gmane.lisp.guile.user:12720 Archived-At: Pierre Lairez : > No, forget what I just wrote, this is obvious. Two mathematicians met in the university cafeteria. They exchanged hellos and started chatting. It turned out one of them had just prepared a paper and was about to send it out for peer review. He had a draft copy with him and the friend asked to take a look. The friend was nodding to himself as he was reading, but then at one point, he raised his eyebrows and stopped. He asked, "How do you get this from that?" The first mathematician replied, "Oh, it follows trivially." The friend looked surprised, took out a small notepad and a pen from his breast pocket. He scribbled notes and equations for several minutes. Then, he put the notepad and pen back in his pocket, and said, "Yeah, it follows trivially." Marko