Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
50 most recent check-ins
|
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 | |