Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
73 check-ins related to "trunk"
|
2022-12-08
| ||
| 09:18 | Simplified IRON syntax greatly by overloading : less Leaf check-in: b990187a30 user: alaric tags: trunk | |
|
2022-11-17
| ||
| 07:36 | IRON improvements check-in: 590ac8285c user: alaric tags: trunk | |
|
2022-11-15
| ||
| 23:35 | IRON refresh: full types, CAS references, shared values, and a general tidy up check-in: 8b8e58cb73 user: alaric tags: trunk | |
|
2022-09-23
| ||
| 11:03 | Old notes.oo3 recovered check-in: 6d941c288b user: alaric tags: trunk | |
|
2022-09-19
| ||
| 23:28 | NEON elaboration check-in: 359b1bb141 user: alaric tags: trunk | |
|
2022-09-17
| ||
| 09:38 | Further tidying up and making things consistent check-in: c672996416 user: alaric tags: trunk | |
|
2022-09-15
| ||
| 23:10 | Further tidying and updating check-in: 9e06f52095 user: alaric tags: trunk | |
| 17:59 | Tidying things up and propagating changes check-in: 5af5385ec3 user: alaric tags: trunk | |
|
2022-09-11
| ||
| 16:34 | Huge simplification of core system state management check-in: f77046d3c1 user: alaric tags: trunk | |
|
2020-10-09
| ||
| 13:26 | TUNGSTEN/WOLFRAM/CARBON/MERCURY support for fast and peer-to-peer serving of static content check-in: 23502c78ae user: alaric tags: trunk | |
|
2020-08-18
| ||
| 23:03 | CHROME Modules check-in: 8aa0a304a1 user: alaric tags: trunk | |
| 22:38 | CHROME notes updated check-in: ebd8bb0c0b user: alaric tags: trunk | |
|
2019-11-11
| ||
| 10:43 | Avalanche paper check-in: 871e7bd838 user: alaric tags: trunk | |
|
2018-03-08
| ||
| 18:06 | AURUM fees in MERCURY requests 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:
| |
|
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 | |
| 22:45 | Linked to old argon.html page, lest I forget it. check-in: 84468f95ac user: alaric tags: trunk | |
| 22:44 | Created template pages for missing component intros so we have somewhere to link to. check-in: cae733a8ea user: alaric tags: trunk | |
| 22:14 | Added a page for IRON check-in: ea91d5f906 user: alaric tags: trunk | |
| 13:26 | Node diagram imported. Some fixes to link syntax in README.wiki, too. check-in: d88487c525 user: alaric tags: trunk | |
|
2012-05-08
| ||
| 14:01 | More links to existing materials! check-in: 1b8e5859a2 user: alaric tags: trunk | |
| 12:00 | Added links to old site pages, to help me see what needs migrating. check-in: 95512a73b5 user: alaric tags: trunk | |
| 11:51 | A nice new README! check-in: b62f0fb7eb user: alaric tags: trunk | |
|
2012-05-07
| ||
| 21:36 | Imported HYDROGEN page check-in: ccdd455469 user: alaric tags: trunk | |
| 21:29 | Initial import check-in: c21a9b7f73 user: alaric tags: trunk | |
| 20:54 | initial empty check-in check-in: 7401e38785 user: alaric tags: trunk | |