From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from ffbox0-bg.mplayerhq.hu (ffbox0-bg.ffmpeg.org [79.124.17.100]) by master.gitmailbox.com (Postfix) with ESMTP id 25EAF4780D for ; Mon, 23 Oct 2023 20:42:12 +0000 (UTC) Received: from [127.0.1.1] (localhost [127.0.0.1]) by ffbox0-bg.mplayerhq.hu (Postfix) with ESMTP id F2C2D68CA60; Mon, 23 Oct 2023 23:42:10 +0300 (EEST) Received: from relay6-d.mail.gandi.net (relay6-d.mail.gandi.net [217.70.183.198]) by ffbox0-bg.mplayerhq.hu (Postfix) with ESMTPS id 0E96968C79C for ; Mon, 23 Oct 2023 23:42:05 +0300 (EEST) Received: by mail.gandi.net (Postfix) with ESMTPSA id DF9B3C0006 for ; Mon, 23 Oct 2023 20:42:03 +0000 (UTC) Date: Mon, 23 Oct 2023 22:42:02 +0200 From: Michael Niedermayer To: FFmpeg development discussions and patches Message-ID: <20231023204202.GB3543730@pb2> References: <169789021369.11195.1385621061208257297@lain.khirnov.net> MIME-Version: 1.0 In-Reply-To: <169789021369.11195.1385621061208257297@lain.khirnov.net> X-GND-Sasl: michael@niedermayer.cc Subject: Re: [FFmpeg-devel] [REFUND-REQUEST] VDD23 Travel X-BeenThere: ffmpeg-devel@ffmpeg.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: FFmpeg development discussions and patches List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Reply-To: FFmpeg development discussions and patches Content-Type: multipart/mixed; boundary="===============7708441826113971121==" Errors-To: ffmpeg-devel-bounces@ffmpeg.org Sender: "ffmpeg-devel" Archived-At: List-Archive: List-Post: --===============7708441826113971121== Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="EABog6r6AmHkbtH1" Content-Disposition: inline --EABog6r6AmHkbtH1 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable On Sat, Oct 21, 2023 at 02:10:13PM +0200, Anton Khirnov wrote: > Hi, > requesting refund of travel costs for VDD23: > * PRG -> DUB: 2789 CZK =E2=89=88 116 =E2=82=AC > * DUB -> PRG: 112.44 =E2=82=AC > * bus DUB <-> Dublin: 12 =E2=82=AC > total: ~240 =E2=82=AC LGTM thx [...] --=20 Michael GnuPG fingerprint: 9FF2128B147EF6730BADF133611EC787040B0FAB Awnsering whenever a program halts or runs forever is On a turing machine, in general impossible (turings halting problem). On any real computer, always possible as a real computer has a finite number of states N, and will either halt in less than N cycles or never halt. --EABog6r6AmHkbtH1 Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iFwEABEIAB0WIQSf8hKLFH72cwut8TNhHseHBAsPqwUCZTbamgAKCRBhHseHBAsP q9yUAJYryFl3LY8YNdIVjmSeEpjJis2qAJ0cRAEpbq43TTX8+AMQCQlLpfUciA== =Vy0x -----END PGP SIGNATURE----- --EABog6r6AmHkbtH1-- --===============7708441826113971121== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline _______________________________________________ ffmpeg-devel mailing list ffmpeg-devel@ffmpeg.org https://ffmpeg.org/mailman/listinfo/ffmpeg-devel To unsubscribe, visit link above, or email ffmpeg-devel-request@ffmpeg.org with subject "unsubscribe". --===============7708441826113971121==--