What is Mad Mode?
My day job is writing software to support research at the KU Med Center informatics division, though I'm best known for my work on HTML and Web Architecture at W3C.
I'm a family man, which gives a certain perspective on the KC area, America, and the world we live in.
Between all that, I like to tinker. The bane of my existence is doing things I know the computer could do for me. Have you ever had one of those ideas that won't let go, not even to eat or sleep? My mom said the first time she saw me like that was after they gave me tinker-toys for my 3rd or 4th Christmas. She said I was in "mad scientist mode," just like my father, a chemistry professor.
Patterns and Schemas
protobuf and cap'n proto tend to use structs with numbered fields where any names for the fields are not carried with the data.
In end/Agoric, JSON objects, i.e. records with named fields, are much more common. As noted, we use patterns to validate them. We've discussed using pattern-based compression:
I wonder about using
M.tagged(...)
patterns to connect patterns with schemas... or something.verified parse a la proof-carrying code?
To save consumers from parsing without reducing trust, I wonder if a proof-of-correct parse would be economical.
using idris? lean?
There's that lean checker in rust...
hm... rust and wasm get along nicely... another story altogether?
Spritely / Oaken connection?
I wonder to what extent the parsing-to-instructions approach applies to use in guile scheme?
see also:
jessie in scheme macros
Announcing Spritely Oaken — Spritely Institute
in-memory representation: protobuf? cap'n proto?
Protobuf interop would be really nice; for cosmos explorers and such.
But I suspect we'd grind our gears trying to fit object references in there. Cap'n Proto, on the other hand, does this for breakfast.
And there are industrial-strength application of zero-copy protobuf RPC. (Darn! I can't find that thing now.)
See also:
full text
It's been a long time since I visited USENET newsgroups about HTML and the web.
I'm encouraged to see healthy debate of HTML specifications, standards,
and extensions along with the general HTML techniques and how-to dialogue.
But I'm concerned with the level of Fear, Uncertainty, and Doubt in
many of these postings. What's the authoritative source of info on
HTML? Which browsers support what? Which browsers are broken in what
way?
I don't have anything specific to add to the debate. You can find
my opinions elsewhere. But I have a general recommendation:
An answer posted to USENET without references isn't worth the
bandwidth used to transmit it.
If you're answering an HTML syntax question, cite your source.
There's really no excuse not to. The beauty of internet technology is
that anybody can get at the authoritative specs in a matter of
seconds. And the beauty of the web is that you can make and follow
these references so easily.
Give a URL. And since web documents can change, give the revision
date. And since web documents can move, give the title and author, so
folks can use search services to find moved documents. (Crediting the
author is really a matter of politeness, too.) If you want to
save somebody a little time, excerpt the relevant portion of
the document.
Your argument will be so much more convincing if the reader can check
your answer from independent sources. You'll build
credibility. Quality of documents on the web will increase! World
hunger will be eliminated!!!! Er... ahem...
Dan
--
Daniel W. Connolly "We believe in the interconnectedness of all things"
Research Scientist, MIT/W3C PGP: EDF8 A8E4 F3BB 0F3C FD1B 7BE0 716C FF21
<conn...@w3.org> http://www.w3.org/hypertext/WWW/People/Connolly
Uploaded 100+ un-categorized transactions
I added a menu item for formatting un-categorized transactions in JSON and POSTing them to the Google Sheet. This works without closing GnuCash.
Handling redirects was interesting. TIL: a POST switches to a GET on a redirect.
Next up:
yarn push-tx-ids
functionality by doing transaction matching within the Google Apps Script.$ git log10
2025-05-30 03:03 cb23ab7 feat(gc-sync1): include account code in push-tx-ids
2025-05-30 03:03 d5bf4c0 feat(sync26): include account code in GnuCash_Uncat
2025-05-30 02:39 d663549 feat(gc-sync1): POST uncat txs works in 1 case
2025-05-30 00:43 874f6c9 docs(gc-sync1): trace imports to modules
2025-05-30 00:06 635f181 feat: format uncategorized splits in JSON
I just about figured out how to test some code using
guile
, outside GnuCash... but... unlike the python bindings, the scheme bindings don't seem to have a way to load / save a file. ugh!2025-05-29 01:05 de87e39 test(gc-sync1): run code with guile, outside gnucash
TODO: restore CapPython to working order; use it to give feedback to LLMs.
Assigned 1 category
~/projects/finquick/packages/gc-sync1$ git branch --show-current
gc-sync1
~/projects/finquick/packages/gc-sync1$ git log10 -n 4
2025-05-26 17:37 e73866b feat(sync-uncat): assign category to 1 split
2025-05-26 17:31 97fb736 feat(gnc-sync1): find uncategorized transactions
2025-05-26 14:35 822a962 test(gc-sync1): simple-checkbook fixture
2025-05-26 14:34 1d68a0a feat(gc-sync1): toward category sync from GnuCash menu item
can those values include capability references?
Do those messages have something like Payload with
content
andcapTable
?(btw... @endo/marshal calls them
body
andslots
and has aCapData
structure analagous toPayload
).I kicked the tires...
but then I looked for a "make a new item" button and instead found a ghost config file with an API key.
Would I use the normal hosted ghost service?
Where's the version control for the content? Can I give that up?
somewhat tempting...
haven't seen these symptoms in quite some time
I think I meant to close this.
Meanwhile, it might be time for a "divest from brave" issue:
I haven't used bitbucket in some time, but I rigged up something close for github comments:
speaking of bitbucket: Software Heritage archived bitbucket hg repositories before bitbucket took them down
kiwix packages wikipedia for local use
https://meta.wikimedia.org/wiki/Data_dump_torrents
looks like animating it is non-trivial... mediawiki and such
ah... kiwix...
magnet link:
symptoms seem to have gone; I'm not sure why.
fixed in d839d4c
quickjs seems to support single file deployment.
I kicked the tires on quickjs today: quickjs-web in finquick
1b85413
but the sqlite integration that I tried seems to be buggy.I haven't used sandstorm locally for some time.
I haven't been using sandstorm for some time; I didn't invest much for lack of backups:
looks like some point was about a year ago...
106517f was merged
This is an approach to
I was going to re-scope / narrow that one, but I realize I already have the reduced scope here.
I don't use it these days, but I did get it working.
let's leave any more write-up out of scope.