Email Gateway (Aug 23 2022 at 08:54): Email Gateway (Aug 23 2022 at 08:54):From: "Jens-D. Doll" <jens.doll@live.de>
Today I wanted to download the latest Isabelle software and asked Bing
for "Isabelle 2020 download", but could not find it. So I asked Google,
where it appeared on the first page in first rank. Would it be possible,
if desired, to improve the Bing ranking?
Jens, http://cococo.de
Email Gateway (Aug 23 2022 at 08:54):From: Makarius <makarius@sketis.net>
I don't care much about "ranking" of any kind --- this is not a game for an
elite community like Isabelle.
Note that we are approaching the Isabelle2020 release, see
https://isabelle-dev.sketis.net/phame/post/view/5/release_candidates_for_isabelle2020
and especially https://isabelle.in.tum.de/website-Isabelle2020-RC5
There are approx. 24h left to report remaining problems or irregularities,
before scheduled lift-off of the final and immutable release tomorrow.
Makarius
Email Gateway (Aug 23 2022 at 08:55):From: "Jens-D. Doll" <jens.doll@live.de>
Never neglect the real world. Philosophy of science says, that a theory
without an application is worthless. So if you are busy in theory you
have to keep it's application in mind and look for possible users. Bing
is strong in the area of applications and economy.
Jens
Email Gateway (Aug 23 2022 at 08:55):From: Lawrence Paulson <lp15@cam.ac.uk>
I am not sure what’s going on here. I went to Bing, typed "isabelle 2020 download” and the very first hit was https://isabelle.in.tum.de. I don’t see how we could do better than that.
Larry Paulson
Email Gateway (Aug 23 2022 at 08:55):From: "Jens-D. Doll" <jens.doll@live.de>
I get different results in ranking, depending on a:=being logged on/off
and b:=search filter setting(off/moderate/strict) c:=using Chrome or
Edge
Edge a=on yields >20, 9, 3
Edge a=off yields 14, 8, 2
Chrome a=on yields 3, 3, >20
Chrome a=off yields >20, 10, >20
Ranks above 7 on the first page are normally not visible before
scrolling.
Jens
Email Gateway (Aug 23 2022 at 08:55):From: Lawrence Paulson <lp15@cam.ac.uk>
A complication is that there is a 2018 film called “Isabelle”, so “Isabelle download” will get many relevant hits. But I imagine that most people are smart enough to qualify their search with e.g. “Isabelle theorem prover” or “Isabelle/HOL”, when surely they will get the right results.
Larry Paulson
Last updated: Apr 25 2024 at 20:15 UTC