Their patience will be awarded.
After the last months of frenzy work our team delivered
the next VM machine version.
It's great. It have already brought novel, unique results.
Unlike the MATLAB or Maple or Mathematica testers, being
not a human, the VM machine does not know what fatigue is.
Best wishes,
Vladimir Bondarenko
Co-founder, CEO, Mathematical Director
http://www.cybertester.com/ Cyber Tester, LLC
----------------------------------------------------------
"We must understand that technologies
like these are the way of the future."
----------------------------------------------------------
On Oct 12, 9:40 pm, "Walter Roberson" writes:
http://groups.google.com/group/comp.soft-sys.matlab/msg/01ea75192e88d0bf
WR> ...
WR>
WR> It is disappointing to see systematic analysis attacked
WR> as being of low value on the basis that the analyzer
WR> does not provide "solutions" or does not debug
WR> far enough to find the root cause for all of the
WR> difficulties encountered.
WR>
WR> There is value in knowing the problems that exist. A
WR> person skilled in finding the problems is not
WR> necessarily a person who is skilled in fault
WR> classification, or in debugging, or in deep category
WR> theory, or in figuring out -why- humans tend to have
WR> problems with certain kinds of knowledge
WR>
WR> ...
[ security mindset ]
http://www.wired.com/politics/security/commentary/securitymatters/2008/03/securitymatters_0320
BS> ...
BS>
BS> I've often speculated about how much of this is innate,
BS> and how much is teachable. In general, I think it's a
BS> particular way of looking at the world, and that it's far
BS> easier to teach someone domain expertise -- cryptography
BS> or software security or safecracking or document forgery
BS> -- than it is to teach someone a security mindset.
BS>
BS> ...
WR> So Vladimir has somewhat of the "security mindset" when
WR> it comes to CAS: he is good at finding ways to make them
WR> fail.
This is a very nice description of what happens.
Actually, years in, years out, after lots of failed attempts,
trying, in particular, to make my own life to be easier and
more efficient, I was able to invent the VM machine which is
a failure prediction oracle, a "security mindset" amplifier.
What is the best, it turned out to be possible to make it
ticking without human intervention.
We the humans may read, watch TV, drink, dance, do whatever
we want while the VM machine ticking around the clock comes
with new, not so much seldom, novel ways the environments
like Maple, Mathematica, MATLAB etc fail (crash, hang, yield
mathematically wrong, at times absurd outputs etc)
Now, with a new resource we gained we are in the process of
a major update of our sites, - and more.
Best wishes,
Vladimir Bondarenko
Co-founder, CEO, Mathematical Director
http://www.cybertester.com/ Cyber Tester Ltd.
--------------------------------------------------------------
"We must understand that technologies
like these are the way of the future."
--------------------------------------------------------------
-- Gottfried Wilhelm Leibniz
http://en.wikipedia.org/wiki/Mairzy_Doats
Is this our headache that some guys are not able to
understand the direction we keep driving at?
New correctness standard for computer mathematics.
Maple 12> length(int(1/(z^2+2^I)^11, z=0..infinity));
177590013
The answer is just 22 bytes long, 46189*Pi/2^(19+21*I/2).
Cheers,
Vladimir Bondarenko
Co-founder, CEO, Mathematical Director
http://www.cybertester.com/ Cyber Tester Ltd.
---------------------------------------------------------
"We must understand that technologies
At the time being, we'd rather eschew the further specs.
Let's wait and see what will happen.
- Frequently.
- How often?
- Well, some hundreds of times.
- Then how many are there?
- How many? I don't know.
- Quite so! You have not observed. And yet you have seen.
That is just my point. Now, I know that there are seventeen
steps, because I have both seen and observed."
A year ago, Jan 16, 2008, I wrote
................................................................
http://groups.google.com/group/sci.math.symbolic/msg/a2b3bfcfd03818b2
Hello the world,
2008 will be the year of Cyber Tester.
We will bring you something you have
never seen before us.
Cheers,
Vladimir Bondarenko
VM and GEMM architect
Co-founder, CEO, Mathematical Director
http://www.cybertester.com/ Cyber Tester, LLC
http://maple.bug-list.org/ Maple Bugs Encyclopaedia
http://www.CAS-testing.org/ CAS Testing
................................................................
As I was able to foresee, during the last 12 months our company
was able to make a positive pure profit.
This was important for us. 1st, stabilization is often a boon;
2nd, we were able to embark on the next step of our development,
both figuratively and literally.
During the last 12 months we analyzed further Mathematica 7,
Maple 12, MATLAB 2008b, MuPAD 4.0.6, Macsyma 2.4, Maxima 5.15.0
to 5.17.0, Axiom, and Derive 6.1.
So as of Jan 17, 2009 Cyber Tester Ltd. owns a unique data base
of computer algebra systems bearing 100000s distinct CAS defects
and this data base keeps expanding daily.
The best, to achieve a (much) better performance, over the last
8 months our engineers redesigned the VM machine.
Now, typically, given a new version of math/engineering package,
the VM machine running on a SINGLE computer is able to discover
the 1st critical defect like a crash caused by a VALID input
within just an hour.
If we speak of mathematically invalid results, a typical time
to discover the 1st defect is of order several minutes.
Consider, here we are NOT speaking of using our huge precomputed
data base, we mean discovering these defects from the initial
state of the VM machine.
The new version of it delivered us the results we promised on
Jan 16, 2008. You may wish to spot some bits of our results
over the Google Groups, but by and large our new results are
not available publicly.
We feel we need to pay further attention to more powerful CAS
bug taxonomy and better methods of automated classification.
Also, we feel positively that our sites got flagrantly obsolete
and require a capital makeover, and this is yet another point
we are also focused now.
In a nutshell, our message to the world.
Frankly, as of Jan 17, 2009, by and large, both the commercial
mathematical and engineering packages and open source CAS ones
yield a conspicuous part of invalid answers.
To overcome this customers frustrating situation, it requires
further CAS related algorithm research, usage of the achieved
new results, and, last but not least, the iron determination
to change the current awry course of events to the better.
We reached the point when we feel the amazing results achieved
by us, for the sake of further CAS progress, should be either
sold to the manufacturers, or presented them totally free of
charge to help them to improve their systems.
Fruitful cooperation is our goal, but we should not be greedy.
May the fittest survives.
Last but not least. Right now we have something many of our
readers do not expect from us.
Folks, this is called a Surprise. ;)
Viva la new math correctness standards!
Viva la computer algebra systems high quality!
Cheers,
Vladimir Bondarenko
Co-founder, CEO, Mathematical Director
http://www.cybertester.com/ Cyber Tester Ltd.
----------------------------------------------------------------
"We must understand that technologies
like these are the way of the future."
----------------------------------------------------------------
http://groups.google.com/group/sci.math.symbolic/msg/ac91eff0c17093c2
RJF> Happy new year, the first year of the post-cyber tester era.
On behalf of the growing Cyber Tester's team let me wish
Professor Fateman to stay in the best health and keep his
inspiring champagne enthusiasm for computer algebra.
Cheers,
Vladimir Bondarenko
Co-founder, CEO, Mathematical Director
http://www.cybertester.com/ Cyber Tester Ltd.
-----------------------------------------------------------------
"We must understand that technologies
like these are the way of the future."
-----------------------------------------------------------------
On Jan 17, 8:13 am, Vladimir Bondarenko <v...@cybertester.com> wrote:
> Hello to CAS customers from far-off CAS-events-rich Simferopol,
>
> Ayearago, Jan 16, 2008, I wrote
>
> ................................................................
>
> http://groups.google.com/group/sci.math.symbolic/msg/a2b3bfcfd03818b2
>
> Hello the world,
>
> 2008 will be theyearofCyberTester.
> We will bring you something you have
> never seen before us.
>
> Cheers,
>
> Vladimir Bondarenko
>
> VM and GEMM architect
> Co-founder, CEO, Mathematical Director
>
> http://www.cybertester.com/ CyberTester, LLChttp://maple.bug-list.org/ Maple Bugs Encyclopaediahttp://www.CAS-testing.org/ CAS Testing
>
> ................................................................
>
> As I was able to foresee, during the last 12 months our company
> was able to make a positive pure profit.
>
> This was important for us. 1st, stabilization is often a boon;
> 2nd, we were able to embark on the next step of our development,
> both figuratively and literally.
>
> During the last 12 months we analyzed further Mathematica 7,
> Maple 12, MATLAB 2008b, MuPAD 4.0.6, Macsyma 2.4, Maxima 5.15.0
> to 5.17.0, Axiom, and Derive 6.1.
>
> So as of Jan 17, 2009CyberTesterLtd. owns a unique data base
From Russia with love,
Vladimir Bondarenko
Co-founder, CEO, Mathematical Director
http://www.cybertester.com/ Cyber Tester Ltd.
-----------------------------------------------------------------
"We must understand that technologies
like these are the way of the future."
-----------------------------------------------------------------
Best wishes,
Vladimir Bondarenko
Co-founder, CEO, Mathematical Director
http://www.cybertester.com/Cyber Tester Ltd.
-----------------------------------------------------------------
"We must understand that technologies
like these are the way of the future."
-----------------------------------------------------------------
On Mar 22, 10:48 pm, Vladimir Bondarenko <v...@cybertester.com> wrote:
> Let me greet all the computer algebra fans from MSU,
> Moscow. Tomorrow in the morning I am leaving Moscow
> for Dusseldorf.
>
> From Russia with love,
>
> Vladimir Bondarenko
>
> Co-founder, CEO, Mathematical Director
>
> http://www.cybertester.com/Cyber Tester Ltd.
>
> -----------------------------------------------------------------
>
> "We must understand that technologies
> like these are the way of the future."
>
> -----------------------------------------------------------------
>
> On 16 ÆÅ×, 18:42, Vladimir Bondarenko <v...@cybertester.com> wrote:
>
> > Professor Richard J. Fateman writes
>
> >http://groups.google.com/group/sci.math.symbolic/msg/ac91eff0c17093c2
>
> > RJF> Happy new year, the first year of the post-cyber tester era.
>
> > On behalf of the growing Cyber Tester's team let me wish
> > Professor Fateman to stay in the best health and keep his
> > inspiring champagne enthusiasm for computer algebra.
>
> > Cheers,
>
> > Vladimir Bondarenko
>
> > Co-founder, CEO, Mathematical Director
>
> >http://www.cybertester.com/šCyber Tester Ltd.
>
> > -----------------------------------------------------------------
>
> > "We must understand that technologies
> > like these are the way of the future."
>
> > -----------------------------------------------------------------
>
> > On Jan 17, 8:13šam, Vladimir Bondarenko <v...@cybertester.com> wrote:
>
> > > Hello to CAS customers from far-off CAS-events-rich Simferopol,
>
> > > Ayearago, Jan 16, 2008, I wrote
>
> > > ................................................................
>
> > >http://groups.google.com/group/sci.math.symbolic/msg/a2b3bfcfd03818b2
>
> > > Hello the world,
>
> > > 2008 will be theyearofCyberTester.
> > > We will bring you something you have
> > > never seen before us.
>
> > > Cheers,
>
> > > Vladimir Bondarenko
>
> > > VM and GEMM architect
> > > Co-founder, CEO, Mathematical Director
>
> > >http://www.cybertester.com/šCyberTester, LLChttp://maple.bug-list.org/šMaple Bugs Encyclopaediahttp://www.CAS-testing.org/šCAS Testing
> > >http://www.cybertester.com/šCyberTesterLtd.
I get a 403 - Forbidden error on this URL:
"You don't have permission to access /Private/Germany-2009/HNF.jpg on
this server."
Perhaps this is, in part, a testing strategy?
regards, chip
I had no problem acecessing it on Thursday at 02:43 GMT+01:00 (for
reference, your message above arrived on Thursday 21:16 GMT+01:00).
The jpg picture is a self-promotion showing Vladimir (I guess it's
him) next to a cybertester ad ("Command the brilliance of a thousand
cocktailed mathematicians") displayed on what looks like an outdoor
ATM purporting to be made by Wincor/Nixdorf, and the file is a
whopping 1.3 MByte in size.
Martin.
http://www.cybertester.com/Private/gs2.85/GEMM_output_Dec_2001.jpg
http://www.cybertester.com/Private/gs2.85/school%20of%20mathematical%20sciences.pdf
http://www.cybertester.com/Private/gs2.85/servico%20publico%20federal-1.pdf
http://www.cybertester.com/Private/gs2.85/awardscardsetc.jpg
http://www.cybertester.com/Private/gs2.85/TexasInstruments'2007-0.jpg
http://www.cybertester.com/Private/gs2.85/TexasInstruments'2007-5.jpg
http://www.cybertester.com/Private/gs2.85/CybertesterBusinessPlan.jpg
Could some events of my life be a mere
application of the probability theory?
Musatov * Bondarenko | Riemann Hypothesis / Matlab Seed Proof ...2
posts - 1 author - Last post: May 29
Mathematical Directorhttp://www.cybertester.com/ Cyber Tester ...
From: Martin Musatov Date: 25 May, 2009 03:36:14 Message: 2 of 6 ...
http://groups.google.com/group/sci.math.num-analysis/browse_thread/thread/5d24e88347ab4462
Yet another funny bug in Maple 13...6 posts - Last post: 3 days ago
http://www.cybertester.com/ Cyber Tester Ltd. .... Math Forum
Discussions Martin Musatov wrote:> Vladimir Bondarenko ...
http://www.groupsrv.com/science/post-3086746.html
An exact simplification challenge - 91 (eerie PolyGamma) -
comp ...http://www.cybertester.com/ Cyber Tester Ltd. ... search
sci.math: "Musatov" and "Eerie". Want to keep going? I enjoy it. It
keeps getting more gratifying ...
http://groups.google.com/group/comp.soft-sys.math.maple/browse_thread/thread/030521fe65ef689b
Math Forum Discussions Now the gate has opened as recognized proven by
Musatov (2009) ... Bondarenko Co-founder, CEO, Mathematical
Directorhttp://www.cybertester.com/Cyber Tester ...
http://mathforum.org/kb/thread.jspa?messageID=6727340&tstart=0
Yet another funny bug in Maple 13 - sci.math | Google Groups6 posts -
4 authors - Last post: 2 days ago
http://www.cybertester.com/ Cyber Tester Ltd. ..... Martin Musatov
P=NP Freedom Fighter fighting in Panama with the rebels since
1993. ...
http://groups.google.com/group/sci.math/browse_thread/thread/99b528cc71f3bf20/283ee259e71212f4?lnk=raot
Math Forum Discussions Jun 13, 2009 ... http://www.cybertester.com/
Cyber Tester Ltd.
---------------------------------------------------------- ... Martin
Michael Musatov ...
http://mathforum.org/kb/thread.jspa?threadID=1954511&tstart=0
Discussions - sci.math.symbolic | Google Groups... CEO, Mathematical
Director [link] Cyber Tester Ltd. ... Proof pi is NOT irrational:
[link] Musatov (Inverse 19 Mathematics Co-Creator): not the only
but ...
http://groups.google.com/group/sci.math.symbolic?lnk=rgr
Discussions - sci.math.symbolic | Google Groups10 posts - 9 authors -
Last post: Jun 9
... CEO, Mathematical Director [link] Cyber Tester Ltd. ... Proof pi
is NOT irrational: [link] Musatov (Inverse 19 Mathematics Co-
Creator): ...
http://groups.google.com/group/sci.math.symbolic
Math Forum Discussions Jun 13, 2009 ... http://www.cybertester.com/
Cyber Tester Ltd. > >
---------------------------------------------------------- ... Martin
Michael Musatov ...
http://mathforum.org/kb/message.jspa?messageID=6750376&tstart=120
probably
Maybe within a couple of months I will know
the answer.
Meanwhile, going to visit China within the next weeks.
If someone has an experience with this country, could
you please contact me at
v b @ c y b e r t e s t e r . c o m
?
Thanks in advance.
The next year.
Alive and kickin', making money to be back :)
Results 1 - 10 for speedup in the CT return.. (0.33 seconds)
Governor Rowland: Governor Rowland, Speaker Lyons Announce Plans ...
Mar 1, 2004 ...
Governor Rowland, Speaker Lyons Announce Plans to Speed Up
Purchases ...
Return to CT.Gov Home ...
STATE OF CONNECTICUT EXECUTIVE CHAMBERS ...
www.ct.gov/governorrowland/cwp/view.asp?A=1551&Q=271942
[PATCH] invoke_handler speedup
Jan 24, 1998 ...
Subject, [PATCH] invoke_handler speedup ...
+ pw ++; + } else { + ph->hr.content_type = ct; + ph->hr.handler =
handp->handler; ...
DECLINED) + return result; + } } return NOT_IMPLEMENTED; @@ -1300,6
+1354,7 @@ for (m ...
mail-archives.apache.org/...
/%3CPine.LNX.3.95dg3.980...@twinlark.arctic.org
%3E
[PDF] Programming Option Pricing Financial Models with Ct File Format:
PDF/Adobe Acrobat - Quick View
by K Contributors - 2007 - Related articles
This is the return the underlying assets could earn if they
were .....
the 8X single core speedup: First, Ct has a very fast, vectorized
implementation of a ...
techresearch.intel.com/userfiles/en-us/File/...
/Ct-appnote-option-pricing.pdf
Speed Up Your Job Search - job site, media/new media, banking on Shine
Apr 17, 2010 ...
Speed Up Your Job Search - job site, media/new media, banking ...
jobs in Broward Estates FL, paralegal schools ct, s hospital jobs, job
search lafayette louisiana, ...
Return to the page from #1 and login if prompted ...
shine.yahoo.com/...
/speed-up-your-job-search-job-site-media-new-media-banking-1292030/
Do Labour Market Programmes Speed up the Return to Work?*Do Labour
Market Programmes Speed up the. Return to Work?*. Knut RŲed and
OddbjŲrn Raaum. The Ragnar Frisch Centre of Economic Research, Oslo,
Norway ...
doi.wiley.com/10.1111/j.1468-0084.2006.00177.x
Speed Up Your Job Search , find training, marketing/advertising/pr ...
Apr 18, 2010 ...
Speed Up Your Job Search , find training, marketing/advertising/pr,
it, part-time and other ... Managed Care Vice President job in
Connecticut, Warehouse Worker jobs ....
Return to the page from #1 and login if prompted ...
shine.yahoo.com/...
/speed-up-your-job-search-find-training-marketing-advertising-pr-it-
part-time-and-other-1282827/
UK - Welcome to XBRLTo speed up the production of CT Returns by
filers. · To enable improved decision-support for the Inland Revenue.
· To enable a reduction in the data ...
www.xbrl.org/nmpxbrl.aspx?id=114
Speed Up Your Job Search , find telecom industry jobs, education ...
Apr 16, 2010 ...
Speed Up Your Job Search , find telecom industry jobs, education,
pharmacy technician ...
Security Officer jobs in Jewett CT, Administrative Assistant in Toccoa
GA, ....
Return to the page from #1 and login if prompted ...
shine.yahoo.com/...
/speed-up-your-job-search-find-telecom-industry-jobs-education-
pharmacy-technician-1289432/
Sample Driver's Test Questions 2B) Speed up and get out of the way. C)
Maintain your speed. ...
D) Slow down and let them safely return to the drive lane. Question
14: When you approach a ...
C) 15 feet. D) 20 feet. For more information, please see CT Driver's
Manual. ...
www.dmvct.state.ct.us/optstq2.htm
Speed Up Your Job Search , find strategic management jobs ...
Apr 16, 2010 ...
Speed Up Your Job Search , find strategic management jobs, education,
pharmacy technician ... Dealer in Oriental Carpets job in Connecticut,
Security Officer jobs in ....
Return to the page from #1 and login if prompted ...
shine.yahoo.com/...
/speed-up-your-job-search-find-strategic-management-jobs-education-
pharmacy-technician-1289314/
1 2 3 4 5 6 7 8 9 10 Next
http://www.apmaths.uwo.ca/~arich/
More about our plans in a month.
We already have the unique Rubi
QA results from the VM machine.
More about our plans in a month.
Rubi2 is quite raw and buggy.
Yes.
The VM machine will analyze Rubi 3 to
compare it to Rubi 2/Rubi.
But maybe some other news are coming.
I know, years in years out, some guys have
been waiting for my new words. Thanks for
you guys, for your support and patience!
It was quite a challenge to live through
these turbulent years of the local crisis,
it was quite a pain to feed my team... at
times, even myself.
But I managed to do what I wanted.
Consider now my first new step
http://wiki.sagemath.org/days27
http://www.cybertester.com/Private/Software/Bondarenko_Invite.pdf
My next step will be finished soon.
Cheers,
Vladimir Bondarenko
Co-founder, CEO, Mathematical Director
http://www.cybertester.com/ Cyber Tester Ltd.
----------------------------------------------
"We must understand that technologies
like these are the way of the future."
----------------------------------------------
Cheers indeed, Vladimir! May your meeting be
a productive one.
regards, chip
Much thanks, Chip!
I keep working on a SAGE QA presentation...
and one more new thing.
Hope to tell more within 2 weeks.
Cheers, vladimir
http://sage.math.washington.edu/home/wstein/sagedays/27/video_intros.html
But we do not want to tread water.
Vladimir,
did your VM manage to find any bugs in Sage that were previously
unknown?
I don't see your name list at
http://trac.sagemath.org/sage_trac/
as one who has a trac account, but not everyone who has an account
puts their name.
Dave
Dave,
This is a perfect case to say,
No comment.
Vladimir