ARGON
Timeline
Login

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