s. Y Laird

3 Questions 192 Answers 0 Followers

Questions related from s. Y Laird

Are you doing your 'next big discovery' backwards?

From Fresh print U.S 1 Survival Guide Editor is this article ( on page 4): "Are you doing your job search backwards" ? The typical way to look for ajob is to put a resume together andthen look at...

01 January 1970 3,666 36 View

Has anyone used an Automated Deduction / Theorem Prover to 'prove' a subset of computing language run-time...?

I have this thought today: has anyone used an automated deduction/theorem prover(ATP) to 'prove' that another ATP written in one computing interpreter/language has been 'correctly' ported to...

01 January 1970 2,827 1 View

Do you see Google's DeepMind's AlphaGo defeat of professional 9-dan Go player as good as IT gets?

Lately, Chinese news media is all excited about Google's DeepMind's defeat of Korean Professional 9-dan Go player two matches in a row. This is a BIG deal since Go/围棋/Baduk is an ancient board...

01 January 1970 9,805 17 View