ARGON
Timeline
Login

Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

50 most recent check-ins

2018-03-08
18:06
AURUM fees in MERCURY requests Leaf check-in: 397f1cf018 user: alaric tags: trunk
2018-01-31
23:15
Interesting paper on partial evaluation of interpreters check-in: cff8b86a04 user: alaric tags: trunk
2018-01-06
11:11
Minor improvements to the CHROME intro check-in: a79e82cbae user: alaric tags: trunk
2017-07-26
19:07
Subcontinuations paper check-in: b22e5f42be user: alaric tags: trunk
19:05
Fexprs in kernel paper check-in: 3bc06e06ae user: alaric tags: trunk
2017-07-11
21:01
Fixed wiki markup links check-in: c1d292a038 user: alaric tags: trunk
20:59
Updated CHROME, with thoughts from reading Design Concepts in Programming Languages and reading about Idris. check-in: 971887d31c user: alaric tags: trunk
2017-06-02
21:57
Expounded on Iodine Object Push, and wondered about special support for it within MERCURY. check-in: 6ad45702f4 user: alaric tags: trunk
2017-03-16
18:19
Laid down the framework for "ARGON devops": ARGON code lives in CARBON stuff published by entities, so I laid out a framework for a "document entity" that publishes something with distributed workflow, ticketing, change control, etc. check-in: 4423936034 user: alaric tags: trunk
2015-07-08
08:51
"Phiosphy" type (thanks to Oskar Schirmer for spotting it!) check-in: 536f2beab9 user: alaric tags: trunk
2013-07-16
20:47
XENON added check-in: dd84df30e7 user: alaric tags: trunk
2013-06-27
15:42
Thoughts on content-addressible storage check-in: 9ed1933bce user: alaric tags: trunk
2012-12-06
20:23
More elaboration of CARBON check-in: f22fe263a5 user: alaric tags: trunk
13:29
Put in links to in-progress intro pages, so I remember they exist.    Elaborated somewhat on carbon and iodine. check-in: 5b2e596027 user: alaric tags: trunk
2012-11-30
13:00
Added more detail to NITROGEN about failure modes and special cases, sorted out the reference linking, and clarified what states real-time tasks and device drivers run in. check-in: 7ae135dc3e user: alaric tags: trunk
11:51
Mainly NITROGEN - documenting the node lifecycle state machine. Updated other sections to refer properly to it. Removed the bootstrap code from the ARGON page as it's all been eaten up by NITROGEN. check-in: 309ad96ecf user: alaric tags: trunk
2012-07-26
08:36
wolfram: FIXME about lightweight job generation interface check-in: e6c37344e9 user: alaric tags: trunk
2012-07-23
16:31
Noted that one can schedule SINGLE jobs as well as job generators in HELIUM and WOLFRAM. check-in: 5cfd191570 user: alaric tags: trunk
2012-07-13
15:06
Fixed METADATA.rdf check-in: 0439d2fa47 user: alaric tags: trunk
12:33
New metadata check-in: 1d78ca7cbe user: alaric tags: trunk
2012-07-06
16:28
Assorted updates:    • Petnames in NEON.    • Suggested an encapsulated-information-bundle format for signed or encrypted messages.    • An entity need not have a CARBON name.    • Suggested a physical-object interface for IODINE. check-in: 692d6ff61a user: alaric tags: trunk
2012-05-30
15:02
Working on CARBON, and a few other minor notes here and there check-in: 66765bc0b9 user: alaric tags: trunk
2012-05-23
10:21
More CAESIUM check-in: 36e2a33a58 user: alaric tags: trunk
10:11
CAESIUM check-in: 528ecc28cf user: alaric tags: trunk
09:31
Tidied up security terminology a bit. check-in: b3283b1940 user: alaric tags: trunk
2012-05-22
21:12
A better model for more complex update semantics check-in: 66bcec0eac user: alaric tags: trunk
17:03
Markup fixes for MERCURY check-in: 45797d7d8a user: alaric tags: trunk
16:59
Lots more details, and MERCURY written up check-in: 5de53dbd38 user: alaric tags: trunk
2012-05-21
20:19
Fleshing out administrator and user views check-in: 411312b861 user: alaric tags: trunk
2012-05-17
14:19
Content imported from the old argon and security pages, and many other more minor clarifications and cross-referencings. check-in: 60efa5b77c user: alaric tags: trunk
2012-05-16
20:53
A few minor points check-in: c23e567eea user: alaric tags: trunk
15:02
Extensive awesomeness. Things are really starting to fit together now! check-in: 0fff6d3ca4 user: alaric tags: trunk
2012-05-15
20:32
Improved handling of temporary data in TUNGSTEN check-in: 6a3433a8b9 user: alaric tags: trunk
20:22
Wolfram thoughts check-in: 6ad17fe350 user: alaric tags: trunk
2012-05-14
23:10
IRON binary encodings check-in: f3d3b2b914 user: alaric tags: trunk
16:08
A bit of a proof-read; added some minor details here and there. check-in: 84b54ad660 user: alaric tags: trunk
14:24
Second-class macros for CHROME, and format details for TUNGSTEN. check-in: 10ca85fe1f user: alaric tags: trunk
2012-05-13
07:53
Notes about removable mass storage devices check-in: 79372c487f user: alaric tags: trunk
07:44
Realised the NITROGEN node entity will benefit from special-case handling of static CARBON publishing too, as it will have static information about the node and NEON user interface code to publish. check-in: 5d194f7654 user: alaric tags: trunk
07:43
Moved CARBON into the kernel, as it does that special-case thing with LITHIUM, so it can't just be a userland library. check-in: 4870ed1a10 user: alaric tags: trunk
07:25
FIxed markup typo check-in: 9d946d7d07 user: alaric tags: trunk
07:21
Added some more thoughts on LITHIUM and clarified the page structure a bit check-in: 69fcc2c21f user: alaric tags: trunk
00:02
Added rationale for TUNGSTEN key structure check-in: f0ce92d1a4 user: alaric tags: trunk
00:00
Mentioned TUNGSTEN's implementation language. check-in: b1f2032a2e user: alaric tags: trunk
2012-05-12
23:59
Documented TUNGSTEN check-in: c1ca83c054 user: alaric tags: trunk
11:36
Added LITHIUM page check-in: c3616b52e8 user: alaric tags: trunk
2012-05-11
13:56
Added NITROGEN to the node diagram check-in: fc97fab4cf user: alaric tags: trunk
13:55
Added NITROGEN check-in: 7a0b201700 user: alaric tags: trunk
2012-05-10
16:26
Wrote about IRIDIUM check-in: caf3be208b user: alaric tags: trunk
2012-05-09
23:14
Dcoumented the concepts up as far as CHROME check-in: b2649fd6c3 user: alaric tags: trunk