Re: Dijkstra's Methodology for Secure Systems Development

[Thien-Thi Nguyen]

() Ian Grant <ian.a.n.grant-gM/address@hidden>
() 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=p

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 ‘NUM_INT’, ‘C_INT’ for oid, size_t.
c485d36 2014-01-25 [pq slog] Avoid ‘scm_ftell’.
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 ‘if !USE_CMOD’ 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 ‘PQ_LDFLAGS’ munging after ‘LDFLAGS’ 
restoration.
693e3c6 2014-01-23 [pq int] Don't bother w/ <postgresql/...> headers.
9bc0ff4 2014-01-22 [maint] Mention ‘INITDB’ in "make kill-daemon" blurb in 
README; nfc.
b4ba56e 2014-01-22 [v] Overcome PostgreSQL 9.3 "CREATE TABLE .. serial" 
reticence.
ac17264 2014-01-22 [v] Handle PostgreSQL 9.3 config var 
‘unix_socket_directories’.
50a55ef 2014-01-21 [boot int] Use ‘m4_normalize’ in ‘AC_CHECK_FUNCS’ 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 ‘status’ field values in libpq.org; nfc.
1f60a9c 2014-01-19 [v int] Move "fake-cluster-control 1" invocation to runtest.
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 ‘(guile-baux common)’ 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 ‘truly_up’ more.
91b80a0 2014-01-17 [v int] Use "DROP DATABASE IF EXISTS".
11f446b 2014-01-17 [v int] Make ‘d/c’ take symbols, not strings.
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 ‘C_ULONG’ for conversion to ‘size_t’.
a536173 2014-01-10 [pq int] Use ‘VALIDATE_NNINT_COPY’ more.
6d26dc7 2014-01-10 [slog] Decruft: Don't #include <guile/gh.h> 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 ‘SNUGGLE_CHECK_CLASSIC_HEADERS’.
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 ‘VREF’ to ‘VECTOR_REF’.
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 snail 
mail addr; nfc.
cbaff13 2014-01-09 [pq int] Avoid ‘EVAL_STRING’.
0f8e233 2014-01-09 [pq] Fix bug: Make ‘pg-result-error-field’ DTRT.
11b8337 2014-01-09 [int] Don't bother w/ ‘lob_close’ rv.
8100df0 2014-01-09 [int] Use ‘BSTRING’ 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 ‘pg-flush’ inside.
fd35d01 2014-01-08 [v] Do/check ‘pg-get-result’ after ‘pg-put-copy-end’.
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.

-- 
Thien-Thi Nguyen
   GPG key: 4C807502
   (if you're human and you know it)
      read my lisp: (responsep (questions 'technical)
                               (not (via 'mailing-list)))
                     => nil

signature.asc
Description: PGP signature