26 May 17:18 2016Antti Ylikoski
*Shen and the ANNs: ANN technology with vectors: Does the SP already ha
24 May 22:13 2016Mark Tarver
*Shen Professional & type secure graphics: a screen shot preview
24 May 17:09 2016Antti Ylikoski
*The ANN business with Shen: A public (simple) demo
24 May 19:40 2016Antti Ylikoski
**The ANN business with Shen: The usability of Shen is really good
25 May 19:37 2016Mark Tarver
***The ANN business with Shen: The usability of Shen is really good
24 May 21:52 2016Mark Tarver
**The ANN business with Shen: A public (simple) demo
24 May 21:53 2016Mark Tarver
***The ANN business with Shen: A public (simple) demo
24 May 22:23 2016Antti Ylikoski
****The ANN business with Shen: A public (simple) demo
25 May 19:27 2016Mark Tarver
*****The ANN business with Shen: A public (simple) demo
24 May 22:52 2016Antti Ylikoski
***The ANN business with Shen: A public (simple) demo
25 May 08:13 2016Antti Ylikoski
**The ANN business with Shen, more
22 May 21:57 2016deech
*Escaped strings
22 May 22:25 2016Mark Tarver
**Escaped strings
22 May 22:26 2016Mark Tarver
***Escaped strings
22 May 22:23 2016deech
**Escaped strings
22 May 22:30 2016Mark Tarver
***Escaped strings
21 May 16:02 2016deech
*Parameterizing defcc
21 May 16:34 2016Mark Tarver
**Parameterizing defcc
21 May 17:00 2016deech
***Parameterizing defcc
21 May 18:44 2016fuzzy wozzy
**Parameterizing defcc
24 May 03:21 2016deech
***Parameterizing defcc
24 May 20:40 2016Mark Tarver
****Parameterizing defcc
18 May 17:32 2016Robert Herman
*unums and replacing floating point
20 May 03:23 2016Willi Riha
**unums and replacing floating point
20 May 04:26 2016Antti Ylikoski
***unums and replacing floating point
20 May 12:05 2016Pierpaolo Bernardi
***unums and replacing floating point
22 May 02:55 2016Willi Riha
**unums and replacing floating point
18 May 04:33 2016fuzzy wozzy
*will shen live up to the pledge it made, knowingly or unknowingly, to
18 May 11:42 2016Mark Tarver
**will shen live up to the pledge it made, knowingly or unknowingly, to
18 May 12:00 2016Mark Tarver
***will shen live up to the pledge it made, knowingly or unknowingly, to
18 May 14:59 2016fuzzy wozzy
**will shen live up to the pledge it made, knowingly or unknowingly, to
18 May 17:27 2016Robert Herman
***will shen live up to the pledge it made, knowingly or unknowingly, to
19 May 03:40 2016fuzzy wozzy
**will shen live up to the pledge it made, knowingly or unknowingly, to
19 May 17:18 2016Neal Alexander
***will shen live up to the pledge it made, knowingly or unknowingly, to
20 May 05:09 2016fuzzy wozzy
**will shen live up to the pledge it made, knowingly or unknowingly, to
20 May 05:21 2016fuzzy wozzy
**will shen live up to the pledge it made, knowingly or unknowingly, to
21 May 06:22 2016fuzzy wozzy
**will shen live up to the pledge it made, knowingly or unknowingly, to
17 May 13:09 2016Mark Tarver
*video page added to Shen website
17 May 21:16 2016s4
**video page added to Shen website
18 May 12:00 2016Mark Tarver
***video page added to Shen website
16 May 23:39 2016deech
*Shen Talk At LambdaConf
16 May 23:49 2016deech
**Shen Talk At LambdaConf
16 May 23:49 2016Raoul Duke
**Shen Talk At LambdaConf
17 May 09:56 2016Mark Tarver
***Shen Talk At LambdaConf
16 May 23:19 2016Stuart Gebhardt
*Preparing for "Logic, Proof and Computation"
17 May 09:57 2016Mark Tarver
**Preparing for "Logic, Proof and Computation"
16 May 02:56 2016Antti Ylikoski
*DEFSYSTEM for Shen
16 May 06:22 2016Ramil Farkhshatov
**DEFSYSTEM for Shen
15 May 16:02 2016Antti Ylikoski
*Discussion about Linux
15 May 17:14 2016Mark Tarver
**Discussion about Linux
15 May 19:51 2016Mark Tarver
***Discussion about Linux
15 May 18:02 2016Ramil Farkhshatov
**Discussion about Linux
15 May 20:51 2016Antti Ylikoski
***Discussion about Linux
16 May 20:58 2016Mark Thom
****Discussion about Linux
17 May 09:59 2016Mark Tarver
*****Discussion about Linux
15 May 19:04 2016Neal Alexander
**Discussion about Linux
19 May 22:30 2016Antti Ylikoski
***Discussion about Linux
14 May 09:43 2016Antti Ylikoski
*A novice's problem
15 May 04:29 2016Willi Riha
**A novice's problem
15 May 12:52 2016Mark Tarver
**A novice's problem
13 May 15:54 2016Mark Tarver
*Active X warnings
12 May 15:28 2016fuzzy wozzy
*shen challenges?
12 May 18:57 2016Mark Tarver
**shen challenges?
13 May 03:39 2016fuzzy wozzy
**shen challenges?
13 May 04:13 2016Antti Ylikoski
***shen challenges?
12 May 10:12 2016Mark Tarver
*proof Assistant from LPC gets a makeover for SP
11 May 04:33 2016fuzzy wozzy
*LOL
11 May 05:31 2016Antti Ylikoski
**LOL
12 May 03:37 2016fuzzy wozzy
**LOL
10 May 21:01 2016Antti Ylikoski
*Question
13 May 00:11 2016Mark Tarver
**Question
13 May 03:56 2016Antti Ylikoski
***Question
13 May 08:35 2016Mark Tarver
****Question
13 May 13:57 2016Antti Ylikoski
*****Question
13 May 15:43 2016Mark Tarver
******Question
13 May 16:25 2016Antti Ylikoski
*******Question
13 May 20:49 2016Mark Tarver
********Question
14 May 01:13 2016Antti Ylikoski
*********Question
14 May 10:17 2016Mark Tarver
**********Question
8 May 07:40 2016Antti Ylikoski
*Question to the Shen community
10 May 16:57 2016Mark Thom
**Question to the Shen community
10 May 21:16 2016Mark Thom
***Question to the Shen community
10 May 21:37 2016Antti Ylikoski
****Question to the Shen community
10 May 21:42 2016Mark Tarver
***Question to the Shen community
11 May 00:22 2016Mark Thom
****Question to the Shen community
7 May 17:02 2016fuzzy wozzy
*?
7 May 18:55 2016Mark Tarver
**?
8 May 00:45 2016fuzzy wozzy
**?
9 May 12:39 2016Mark Tarver
***?
8 May 00:26 2016fuzzy wozzy
**?
8 May 23:19 2016Willi Riha
**?
8 May 23:52 2016Willi Riha
**?
12 May 18:52 2016Mark Tarver
***?
9 May 04:05 2016fuzzy wozzy
**?
9 May 05:51 2016fuzzy wozzy
**?
14 May 17:56 2016fuzzy wozzy
**?
21 May 18:47 2016fuzzy wozzy
**?
21 May 18:49 2016fuzzy wozzy
**?
21 May 18:50 2016fuzzy wozzy
**?
7 May 11:08 2016Mark Tarver
*why OS is closed for effective innovation