From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Thien-Thi Nguyen Newsgroups: gmane.lisp.guile.devel Subject: Re: Dijkstra's Methodology for Secure Systems Development Date: Sat, 20 Sep 2014 10:27:45 +0200 Message-ID: <87a95ubsse.fsf@zigzag.favinet> References: Reply-To: guile-devel@gnu.org NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha1; protocol="application/pgp-signature" X-Trace: ger.gmane.org 1411201466 29238 80.91.229.3 (20 Sep 2014 08:24:26 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sat, 20 Sep 2014 08:24:26 +0000 (UTC) To: guile-devel@gnu.org Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Sat Sep 20 10:24:18 2014 Return-path: Envelope-to: guile-devel@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 1XVFxp-0007JK-6n for guile-devel@m.gmane.org; Sat, 20 Sep 2014 10:24:17 +0200 Original-Received: from localhost ([::1]:33774 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XVFxo-00053J-Mr for guile-devel@m.gmane.org; Sat, 20 Sep 2014 04:24:16 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:42412) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XVFxc-000539-Sq for guile-devel@gnu.org; Sat, 20 Sep 2014 04:24:11 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1XVFxW-0004WN-Ik for guile-devel@gnu.org; Sat, 20 Sep 2014 04:24:04 -0400 Original-Received: from smtp209.alice.it ([82.57.200.105]:13057) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XVFxW-0004Nu-4D for guile-devel@gnu.org; Sat, 20 Sep 2014 04:23:58 -0400 Original-Received: from zigzag.favinet (79.51.87.110) by smtp209.alice.it (8.6.060.43) id 540DA63202571CA2 for guile-devel@gnu.org; Sat, 20 Sep 2014 10:23:51 +0200 Original-Received: from ttn by zigzag.favinet with local (Exim 4.80) (envelope-from ) id 1XVG1K-0006Sw-GT for guile-devel@gnu.org; Sat, 20 Sep 2014 10:27:54 +0200 Mail-Followup-To: guile-devel@gnu.org In-Reply-To: (Ian Grant's message of "Fri, 19 Sep 2014 19:17:04 -0400") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.4.50 (gnu/linux) X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 82.57.200.105 X-BeenThere: guile-devel@gnu.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: "Developers list for Guile, the GNU extensibility library" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Original-Sender: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Xref: news.gmane.org gmane.lisp.guile.devel:17493 Archived-At: --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable () Ian Grant () Fri, 19 Sep 2014 19:17:04 -0400 My other major achievement is that I was a guile developer back in 1999. I wrote guile-pg, which ttn has let fall to bit-rot! Shame on him! But after maintaining it for over a decade, I can't blame him for getting bored. I beg your indulgence for my slow pace. I, too, am unemployed and have rotting teeth. But fear not! Since Guile-PG 0.46 was released (2013-03-14), a bunch of changes[0] have been accumulating and will Some Day find their way into 0.47 (unless i die beforehand -- a new maintainer for the Free Software you begat might choose a different version numbering scheme :-D). In the meantime, Guile-PG home page and repo are, respectively: http://www.nongnu.org/guile-pg/ http://git.sv.nongnu.org/cgit/guile-pg.git?h=3Dp BTW, i also read the thunder PDF. I understood a bit of it and believe myself to understand the overall thrust, but who knows -- a fool is foolish, after all, and certifying what a fool understands is 10 GOTO 10. [to,cc recast] ___________________________________________________ [0] $ glog v0.46.. ab4645f 2014-01-27 [build] Don't enable GCC warnings in configuration. dd63744 2014-01-27 [pq int] Elide single-use local var. f7177fc 2014-01-27 [pq int] Avoid =E2=80=98NUM_INT=E2=80=99, =E2=80=98C_INT= =E2=80=99 for oid, size_t. c485d36 2014-01-25 [pq slog] Avoid =E2=80=98scm_ftell=E2=80=99. 72eab83 2014-01-25 [doc] Add some @cindex. 58c2b40 2014-01-25 [doc] Modernize title page. a106f93 2014-01-25 [doc] Change license to GNU FDL. ddb73f6 2014-01-25 [maint] Update ignorance; nfc. c68d5be 2014-01-25 [maint] Update README, HACKING; nfc. 95b3d68 2014-01-25 [build int] Consolidate some =E2=80=98if !USE_CMOD=E2=80= =99 blocks. 709760e 2014-01-25 [pq int] De-bifurcate module init flow. 534c6a6 2014-01-24 [build] Do sofix/uninstall-sofixed unconditionally. 015392c 2014-01-24 [build int] Use Guile-BAUX for to set {un,}sofix flags. 8a62ac9 2014-01-24 [build] Avoid sofile version. 22f828c 2014-01-24 [build int] Add abstraction: bx 3abe814 2014-01-24 [maint] Update years in copyright notice; nfc. 65370e5 2014-01-24 [maint] Reduce indentation in README; nfc. dd8bc19 2014-01-23 [maint] Update "other stuff to do" in HACKING; nfc. bbc0c43 2014-01-23 [boot] Revamp libpq configury. 16d387c 2014-01-23 [boot] If configure cannot find sane libpq, error out. 493ce00 2014-01-23 [boot int] Move =E2=80=98PQ_LDFLAGS=E2=80=99 munging aft= er =E2=80=98LDFLAGS=E2=80=99 restoration. 693e3c6 2014-01-23 [pq int] Don't bother w/ headers. 9bc0ff4 2014-01-22 [maint] Mention =E2=80=98INITDB=E2=80=99 in "make kill-d= aemon" blurb in README; nfc. b4ba56e 2014-01-22 [v] Overcome PostgreSQL 9.3 "CREATE TABLE .. serial" ret= icence. ac17264 2014-01-22 [v] Handle PostgreSQL 9.3 config var =E2=80=98unix_socke= t_directories=E2=80=99. 50a55ef 2014-01-21 [boot int] Use =E2=80=98m4_normalize=E2=80=99 in =E2=80= =98AC_CHECK_FUNCS=E2=80=99 arg. 6804f38 2014-01-21 [maint] Update src/libpq.org; nfc. d25da80 2014-01-20 [maint] Update "other stuff to do" in HACKING; nfc. 7e12fdb 2014-01-19 [maint] Explain =E2=80=98status=E2=80=99 field values in= libpq.org; nfc. 1f60a9c 2014-01-19 [v int] Move "fake-cluster-control 1" invocation to runt= est. 9b473c8 2014-01-19 [v] Add "make drop-database". cff5e2c 2014-01-19 [v] Create database exactly once, after daemon up. 790753d 2014-01-19 [v int] Add abstraction: frob 00d20cf 2014-01-19 [v int] Drop basic test table when done. 277e846 2014-01-19 [v int] Use temporary tables. 7d1c65a 2014-01-18 [v int] Use =E2=80=98(guile-baux common)=E2=80=99 procs. c0ac49c 2014-01-18 [v] Fix bug: Do "COMMIT TRANSACTION" after cancel. 92d7d37 2014-01-18 [maint] Update src/libpq.org; nfc. 524ada2 2014-01-17 [v int] Use =E2=80=98truly_up=E2=80=99 more. 91b80a0 2014-01-17 [v int] Use "DROP DATABASE IF EXISTS". 11f446b 2014-01-17 [v int] Make =E2=80=98d/c=E2=80=99 take symbols, not str= ings. b2788ac 2014-01-17 [v] Remove lame synchronization delays. 8a579ef 2014-01-16 [v int] Use "fake-cluster-control 0" more. d8958fe 2014-01-16 [v] Handle daemon-down case where pidfile exists but is = stale. 46dfe3f 2014-01-16 [doc] Mention PQ funcs behind dropped procs. eea5a89 2014-01-15 [pq int] Use =E2=80=98C_ULONG=E2=80=99 for conversion to= =E2=80=98size_t=E2=80=99. a536173 2014-01-10 [pq int] Use =E2=80=98VALIDATE_NNINT_COPY=E2=80=99 more. 6d26dc7 2014-01-10 [slog] Decruft: Don't #include directly. 832a9b3 2014-01-10 [slog] Decruft: Use GI_LEVEL_1_8 directly. 316cd85 2014-01-10 [slog] Use "snuggle/modsup.h". 80f1596 2014-01-10 [slog] Use =E2=80=98SNUGGLE_CHECK_CLASSIC_HEADERS=E2=80= =99. f0c0cde 2014-01-09 [slog] Use "snuggle/defsmob.h". 9f896bc 2014-01-09 [pq] Work w/ "integer" instead of "exact". 2e207f8 2014-01-09 [slog] Use "snuggle/humdrum.h". 39e847d 2014-01-09 [pq int] Use scm_set_c[ad]r_x directly. 363a2e2 2014-01-09 [pq int] Rename macro =E2=80=98VREF=E2=80=99 to =E2=80= =98VECTOR_REF=E2=80=99. 76d3aa3 2014-01-09 [slog] Use "snuggle/finangle.h". 263b6d2 2014-01-09 [slog] Use "snuggle/level.h". b1cb667 2014-01-09 [build int] Use Guile-BAUX for src/snuggle/*.h. 770c1d3 2014-01-09 [build int] Use Guile-BAUX for snuggle.m4. adc87ec 2014-01-09 [maint] Update license notice to use URL instead of snai= l mail addr; nfc. cbaff13 2014-01-09 [pq int] Avoid =E2=80=98EVAL_STRING=E2=80=99. 0f8e233 2014-01-09 [pq] Fix bug: Make =E2=80=98pg-result-error-field=E2=80= =99 DTRT. 11b8337 2014-01-09 [int] Don't bother w/ =E2=80=98lob_close=E2=80=99 rv. 8100df0 2014-01-09 [int] Use =E2=80=98BSTRING=E2=80=99 more. 4d5a7ff 2014-01-08 [maint] Update years in copyright notice; nfc. 78e0d50 2014-01-08 Drop procs: pg-{getline,getlineasync,putline,endcopy} 6dbbd2f 2014-01-08 [v] Use pg-put-copy-{data,end} for async retrieval test. 5f5c1ed 2014-01-08 [v int] Rework loop to call =E2=80=98pg-flush=E2=80=99 i= nside. fd35d01 2014-01-08 [v] Do/check =E2=80=98pg-get-result=E2=80=99 after =E2= =80=98pg-put-copy-end=E2=80=99. 40f2089 2014-01-08 [v] No longer send "\\.\n" for COPY..STDIN. 689d814 2014-01-06 [v int] Stash validated protocol version. 00eeb0e 2014-01-05 [maint] Update ignorance; nfc. 79d133b 2013-12-20 Change bug-report email address. a31789c 2013-07-24 [maint] Reformat NEWS; nfc. 1ae068e 2013-04-02 [maint] Update "repo branch discipline" in HACKING; nfc. =2D-=20 Thien-Thi Nguyen GPG key: 4C807502 (if you're human and you know it) read my lisp: (responsep (questions 'technical) (not (via 'mailing-list))) =3D> nil --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iEYEARECAAYFAlQdOoQACgkQZwMiJEyAdQKPcQCeNYAiL3U0YELFy20V6Pgwc5F+ MwgAn29EAzO38g5KySASlRaGLN6ncY7G =ViOj -----END PGP SIGNATURE----- --=-=-=--