Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
50 most recent timeline items
|
2017-07-26
| ||
| 19:07 | [b22e5f42be] Leaf: Subcontinuations paper (user: alaric, tags: trunk) | |
| 19:05 | [3bc06e06ae] Fexprs in kernel paper (user: alaric, tags: trunk) | |
|
2017-07-11
| ||
| 21:01 | [c1d292a038] Fixed wiki markup links (user: alaric, tags: trunk) | |
| 20:59 | [971887d31c] Updated CHROME, with thoughts from reading Design Concepts in Programming Languages and reading about Idris. (user: alaric, tags: trunk) | |
|
2017-06-02
| ||
| 21:57 | [6ad45702f4] Expounded on Iodine Object Push, and wondered about special support for it within MERCURY. (user: alaric, tags: trunk) | |
|
2017-03-16
| ||
| 18:19 | [4423936034] 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. (user: alaric, tags: trunk) | |
|
2015-07-08
| ||
| 08:51 | [536f2beab9] "Phiosphy" type (thanks to Oskar Schirmer for spotting it!) (user: alaric, tags: trunk) | |
|
2013-07-16
| ||
| 20:47 | [dd84df30e7] XENON added (user: alaric, tags: trunk) | |
| 11:36 | • New ticket [11776edc91] Consider support for replicated processing. (user: alaric) | |
| 11:30 | • New ticket [3b8d13ee40] Improve privacy support. (user: alaric) | |
|
2013-06-27
| ||
| 15:42 | [9ed1933bce] Thoughts on content-addressible storage (user: alaric, tags: trunk) | |
|
2012-12-06
| ||
| 20:23 | [f22fe263a5] More elaboration of CARBON (user: alaric, tags: trunk) | |
| 13:29 | [5b2e596027] Put in links to in-progress intro pages, so I remember they exist. Elaborated somewhat on carbon and iodine. (user: alaric, tags: trunk) | |
|
2012-11-30
| ||
| 13:00 | [7ae135dc3e] 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. (user: alaric, tags: trunk) | |
| 11:51 | [309ad96ecf] 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. (user: alaric, tags: trunk) | |
|
2012-07-26
| ||
| 08:36 | [e6c37344e9] wolfram: FIXME about lightweight job generation interface (user: alaric, tags: trunk) | |
|
2012-07-23
| ||
| 16:31 | [5cfd191570] Noted that one can schedule SINGLE jobs as well as job generators in HELIUM and WOLFRAM. (user: alaric, tags: trunk) | |
|
2012-07-13
| ||
| 15:06 | [0439d2fa47] Fixed METADATA.rdf (user: alaric, tags: trunk) | |
| 12:33 | [1d78ca7cbe] New metadata (user: alaric, tags: trunk) | |
|
2012-07-11
| ||
| 10:58 | • New ticket [57bec99116] Make HYDROGEN core floats be "best precision" and provide an explicit IEEE library?. (user: alaric) | |
|
2012-07-06
| ||
| 16:28 | [692d6ff61a] 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. (user: alaric, tags: trunk) | |
|
2012-05-30
| ||
| 15:02 | [66765bc0b9] Working on CARBON, and a few other minor notes here and there (user: alaric, tags: trunk) | |
|
2012-05-23
| ||
| 10:21 | [36e2a33a58] More CAESIUM (user: alaric, tags: trunk) | |
| 10:11 | [528ecc28cf] CAESIUM (user: alaric, tags: trunk) | |
| 09:31 | [b3283b1940] Tidied up security terminology a bit. (user: alaric, tags: trunk) | |
|
2012-05-22
| ||
| 21:12 | [66bcec0eac] A better model for more complex update semantics (user: alaric, tags: trunk) | |
| 17:03 | [45797d7d8a] Markup fixes for MERCURY (user: alaric, tags: trunk) | |
| 16:59 | [5de53dbd38] Lots more details, and MERCURY written up (user: alaric, tags: trunk) | |
|
2012-05-21
| ||
| 20:19 | [411312b861] Fleshing out administrator and user views (user: alaric, tags: trunk) | |
|
2012-05-17
| ||
| 14:19 | [60efa5b77c] Content imported from the old argon and security pages, and many other more minor clarifications and cross-referencings. (user: alaric, tags: trunk) | |
|
2012-05-16
| ||
| 20:53 | [c23e567eea] A few minor points (user: alaric, tags: trunk) | |
| 15:02 | [0fff6d3ca4] Extensive awesomeness. Things are really starting to fit together now! (user: alaric, tags: trunk) | |
|
2012-05-15
| ||
| 20:32 | [6a3433a8b9] Improved handling of temporary data in TUNGSTEN (user: alaric, tags: trunk) | |
| 20:22 | [6ad17fe350] Wolfram thoughts (user: alaric, tags: trunk) | |
|
2012-05-14
| ||
| 23:10 | [f3d3b2b914] IRON binary encodings (user: alaric, tags: trunk) | |
| 16:08 | [84b54ad660] A bit of a proof-read; added some minor details here and there. (user: alaric, tags: trunk) | |
| 14:24 | [10ca85fe1f] Second-class macros for CHROME, and format details for TUNGSTEN. (user: alaric, tags: trunk) | |
|
2012-05-13
| ||
| 07:53 | [79372c487f] Notes about removable mass storage devices (user: alaric, tags: trunk) | |
| 07:44 | [5d194f7654] 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. (user: alaric, tags: trunk) | |
| 07:43 | [4870ed1a10] Moved CARBON into the kernel, as it does that special-case thing with LITHIUM, so it can't just be a userland library. (user: alaric, tags: trunk) | |
| 07:25 | [9d946d7d07] FIxed markup typo (user: alaric, tags: trunk) | |
| 07:21 | [69fcc2c21f] Added some more thoughts on LITHIUM and clarified the page structure a bit (user: alaric, tags: trunk) | |
| 00:02 | [f0ce92d1a4] Added rationale for TUNGSTEN key structure (user: alaric, tags: trunk) | |
| 00:00 | [b1f2032a2e] Mentioned TUNGSTEN's implementation language. (user: alaric, tags: trunk) | |
|
2012-05-12
| ||
| 23:59 | [c1ca83c054] Documented TUNGSTEN (user: alaric, tags: trunk) | |
| 11:36 | [c3616b52e8] Added LITHIUM page (user: alaric, tags: trunk) | |
|
2012-05-11
| ||
| 13:56 | [fc97fab4cf] Added NITROGEN to the node diagram (user: alaric, tags: trunk) | |
| 13:55 | [7a0b201700] Added NITROGEN (user: alaric, tags: trunk) | |
|
2012-05-10
| ||
| 16:26 | [caf3be208b] Wrote about IRIDIUM (user: alaric, tags: trunk) | |
|
2012-05-09
| ||
| 23:14 | [b2649fd6c3] Dcoumented the concepts up as far as CHROME (user: alaric, tags: trunk) | |