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 | |